3 ms·

I agree, I would call OCaml, Haskell, and Rust cousins, more or less ... descendants of ML. Though the original Rust compiler was written in OCaml, so dependin

by chubot 6y ago

I agree, I would call OCaml, Haskell, and Rust cousins, more or less ... descendants of ML. Though the original Rust compiler was written in OCaml, so depending on your viewpoint it could also be its child. I'm not sure if Rust lifted any features or syntax from OCaml specifically. I think the "O" in OCaml was not influential ... ---- edit: I found a list of influences, and it does credit Haskell with typeclasses, but SML/OCaml and C++ are credited first: https://doc.rust-lang.org/reference/influences.html https://doc.rust-lang.org/reference/influences.html I always thought of Rust as a mashup of OCaml and C++, but Haskell is in there too.

bitdizzy 6y ago
While Haskell has a lot of influence from ML it is also a descendant of the highly influential line of programming languages designed by David Turner starting with SASL. If Miranda weren't a closed source language it perhaps would be what all of us are talking about now. Some History of Functional Programming Languages (David Turner) https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf
- chubot 6y ago
  Interesting, I didn't know about SASL. Miranda was open sourced earlier this year! I remember downloading the tarball and looking at its source code. https://old.reddit.com/r/programming/comments/fbtmar/miranda_has_been_released_as_free_software_its/ https://old.reddit.com/r/programming/comments/fbtmar/miranda... https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads...
- zeckalpha 6y ago
  This Landin paper predates SASL by about a decade: http://thecorememory.com/Next_700.pdf http://thecorememory.com/Next_700.pdf
  - bitdizzy 6y ago
    Mentioned in the PDF I linked to :) And lambda calculus came decades before still.

by chubot 6y ago

bitdizzy 6y ago

While Haskell has a lot of influence from ML it is also a descendant of the highly influential line of programming languages designed by David Turner starting with SASL. If Miranda weren't a closed source language it perhaps would be what all of us are talking about now. Some History of Functional Programming Languages (David Turner) https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf

chubot 6y ago
Interesting, I didn't know about SASL. Miranda was open sourced earlier this year! I remember downloading the tarball and looking at its source code. https://old.reddit.com/r/programming/comments/fbtmar/miranda_has_been_released_as_free_software_its/ https://old.reddit.com/r/programming/comments/fbtmar/miranda... https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads/ https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads...
zeckalpha 6y ago
This Landin paper predates SASL by about a decade: http://thecorememory.com/Next_700.pdf http://thecorememory.com/Next_700.pdf
- bitdizzy 6y ago
  Mentioned in the PDF I linked to :) And lambda calculus came decades before still.