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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact