Idris for instance is strict "by default" but still supports laziness through th... | Hacker News

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

		pera on Feb 9, 2021 \| parent \| context \| favorite \| on: Haskell: The Bad Parts, part 2 (2020) Idris for instance is strict "by default" but still supports laziness through the Lazy data type.

cies on Feb 9, 2021 [–]

Forgot about Idris.

Elm, PureScript, OCaml (Reason/ReScript) and F# did come to mind.

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