News for hackers. Stuff that matters.

A comment on Things that Idris improves things over Haskell. Parent comment

Re:Things that Idris improves things over Haskell by m-j-fox on Friday June 16, 2017 @12:21PM (#14570237)
No but tell me if you remember.
[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by wesp321 on Friday June 16, 2017 @02:07PM (#14571291)
Fortress?
[ Parent | on HN ]
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 ]
Re:Things that Idris improves things over Haskell by hellbanner on Tuesday June 20, 2017 @09:29AM (#14594434)
It's Eve
[ Parent | on HN ]