News for hackers. Stuff that matters.

A comment on Haskell Beats C Using Generalized Stream Fusion [pdf]. Parent comment

Re:Haskell Beats C Using Generalized Stream Fusion [pdf] by nilkn on Sunday April 07, 2013 @03:15PM (#5508281)
There is Idris: http://idris-lang.org/

It seems similar to what plinkplonk is talking about.

[ Parent | on HN ]
Re:Haskell Beats C Using Generalized Stream Fusion [pdf] by tome on Sunday April 07, 2013 @03:41PM (#5508394)
Hmm, I always thought of Idris, Coq and Agda as proof assistants rather than programming languages, but perhaps that's just me being unimaginative.
[ Parent | on HN ]
Re:Haskell Beats C Using Generalized Stream Fusion [pdf] by cyrus_ on Sunday April 07, 2013 @04:35PM (#5508643)
Idris is explicitly billed as a programming language. You can do pretty sophisticated programming in Coq too (Coq can be reasonably straightforwardly compiled down to Ocaml, Haskell and some other languages.)
[ Parent | on HN ]
Re:Haskell Beats C Using Generalized Stream Fusion [pdf] by tome on Sunday April 07, 2013 @06:30PM (#5509037)
I'd better spend some time checking it out then!
[ Parent | on HN ]