News for hackers. Stuff that matters.

A comment on Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013). Parent comment

Re:Hasochism: The pleasure and pain of dependently typed Has... by jech on Tuesday April 08, 2025 @09:36AM (#43621627)
> Idris is strict, unlike Haskell.

"The next Haskell will be strict." — Simon Peyton-Jones

[ Parent | on HN ]

There are no comments on this comment yet.