Sounds like you want Eager Haskell. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Tyr42 on July 13, 2017 | parent | context | favorite | on: Toward Go 2

Sounds like you want Eager Haskell.

piinbinary on July 13, 2017 | [–]

Idris is basically an eager-evaluated Haskell, with other niceties on top (dependent types if you want them; fixed String type)

daww on July 13, 2017 | [–]

yes please

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact