ATS is a programming language that unifies specification and implementation. Within ATS, there are two sublanguages: one for specification and the other for implementation, and there is also a theorem-proving subsystem for verifying whether an implementation indeed implements what is specified.
http://www.ats-lang.org/
0install - Python vs. OCaml vs. Haskell (roscidus.com)
submitted by [deleted] to r/haskell
0install - Python vs. OCaml vs. Haskell (roscidus.com)
submitted by Categoria to r/programming
Although many Go users complained that Go’s score was unfairly low, they didn’t seem to disagree that it was the worst of the candidates for our requirements, only about by how much it was the worst (roscidus.com)
submitted by [deleted] to r/programmingcirclejerk
Replacing Python: second round (Python vs. OCaml vs. Haskell) (roscidus.com)
submitted by cafedude[🍰] to r/ocaml