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 DanWaterworth on Saturday January 04, 2014 @06:20AM (#7010728)
Very next sentence:

The only systems which can beat it are theorem provers like Coq, and they are not general purpose programming languages (Morriset and the YNot team might disagree though!).

ATS is dependently typed and therefore falls under theorem provers.

[ Parent | on HN ]
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 ]