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 hellbanner on Friday June 16, 2017 @11:49AM (#14569992)
Does anyone remember the language that wanted to be future of programming, making everything (API calls, lists on screen etc) inherit from 1 base class, and it used SQL-like searching for filtering on collections?

It had a browser based demo.

[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by mmalone on Friday June 16, 2017 @01:09PM (#14570699)
Eve? http://witheve.com/

The Eve core is based on a distributed logic programming semantics (although SQL-like is a good accessible description). It was inspired by a datalog-based language called Dedalus (amongst other things).

[ Parent | on HN ]
Re:Things that Idris improves things over Haskell by hellbanner on Sunday June 18, 2017 @12:12PM (#14581294)
Yes, thank you!
[ Parent | on HN ]
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 ]