News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by hderms on Thursday June 07, 2018 @10:10PM (#17262020)
am I understanding that you are suggesting code that explicitly avoids 'do' notation in Haskell can be more imperative than code using 'do' notation? I don't get it
[ Parent | on HN ]
Re:Notes on Idris (2017) by kqr on Sunday June 10, 2018 @09:25AM (#17278001)
Not more imperative. Just still imperative, but now using features Haskell users wish were available in other imperative languages.
[ Parent | on HN ]