News for hackers. Stuff that matters.

A comment on Haskell vs. Erlang for bittorent clients. Parent comment

Re:Haskell vs. Erlang for bittorent clients by Dewie on Saturday January 04, 2014 @06:27AM (#7010742)
ATS is meant to be a general purpose programming language. The fact that you have a theorem proving subsystem is to aid in the programming/verification. Idris is another dependently typed prog. lang. that is intended for general purpose programming.
[ Parent | on HN ]
Re:Haskell vs. Erlang for bittorent clients by jlouis on Saturday January 04, 2014 @09:22AM (#7011099)
Idris was not on my radar in 2010 :)
[ Parent | on HN ]