Things that Idris improves things over Haskell

Re:Things that Idris improves things over Haskell by m-j-fox on Friday June 16, 2017 @08:49PM (#14573654)

Depressing thing to Google. Seems like an interesting project that couldn't keep it's funding in volatile times. It might have been Swift or F# if developed at a better company.

[ Parent | on HN ]

Re:Things that Idris improves things over Haskell by zem on Saturday June 17, 2017 @03:56AM (#14574812)

they did the best job of operator associativity and precedence i've ever seen. still hoping some other languages pick up on it. http://lambda-the-ultimate.org/node/2943#comment-43411

[ Parent | on HN ]

Re:Things that Idris improves things over Haskell by m-j-fox on Saturday June 17, 2017 @10:35PM (#14578691)

Whitespace-implied parenthesis.

    1+2 * 3 == 9

Sick! I wish Haskell notices this.

[ Parent | on HN ]