3 ms·

yeah i have fever dreams of C and ML having some sort of super baby. rust and nim are close but not quite

yawaramin 10y ago
I dream of something like https://github.com/pikatchu/LinearML https://github.com/pikatchu/LinearML one day coming into the scene.
- zem 10y ago
  mezzo looks promising: http://protz.github.io/mezzo/ http://protz.github.io/mezzo/
  - yawaramin 10y ago
    Interesting, thank you. It looks a bit complex at first sight.
zem 10y ago
some others worth checking out (all largely single-developer efforts): http://www.ats-lang.org/ http://www.ats-lang.org/ [ml + c + everything dialled up to eleven. linear and dependent types. comes out of academia, but under active development and slowly beginning to gather a community.] https://eigenstate.org/myrddin/ https://eigenstate.org/myrddin/ [not really familiar with this one but it looks interetsing. close to the metal, has pattern matching over algebraic datatypes but seems more towards the c than the ml end of the spectrum from the brief glance i took.] http://mythryl.org/ http://mythryl.org/ [never took off, sadly; i really liked the looks of this one and its ambitious goals. strong sml influence, with better posix integration and some c-like surface features. developer is currently battling cancer: http://mythryl.org/pipermail/mythryl/2016-April/000942.html http://mythryl.org/pipermail/mythryl/2016-April/000942.html] http://felix-lang.org/ http://felix-lang.org/ [spawn of ml + c++ rather than ml + c. under enthusiastic if haphazard development.] there have been a few others i've seen pop up over the years; i keep meaning to make a website or at least a github awesome-style list cataloguing and tracking them.
- Drup 10y ago
  For all those propositions, I have only one question: Why would I use that instead of OCaml ? OCaml is far from being perfect, but it has lot's of features and a decent community (especially compared to all those hobby/research languages). OCaml can do pretty much anything except things like image processing and video game programming. I mostly don't care about those things, and if I did, I would use Rust. Now, from a research point of view, sure, those languages are interesting.
  - zem 10y ago
    i'm in the same boat - i keep an interested eye on developments in the ML-cross-C space, but so far none of them seems compelling to use over ocaml. however, if one of them had a cross-compiler as good as go's, that would be a killer feature. i would really like an ml-like language i could use to develop desktop apps and trivially deliver binaries for multiple platforms.
- elechi 10y ago
  I've tried to use ATS, but I constantly run into installation problems. I wish I could try it, though, because it sounds super fast.
  - zem 10y ago
    check out this new tutorial series: http://ryanking.com/blog/Joy-of-ATS-1-Installing-ATS/ http://ryanking.com/blog/Joy-of-ATS-1-Installing-ATS/
    - elechi 10y ago
      Can't wait to try it out. Thank you for your response.

I dream of something like https://github.com/pikatchu/LinearML https://github.com/pikatchu/LinearML one day coming into the scene.

zem 10y ago
mezzo looks promising: http://protz.github.io/mezzo/ http://protz.github.io/mezzo/
- yawaramin 10y ago
  Interesting, thank you. It looks a bit complex at first sight.

zem 10y ago

some others worth checking out (all largely single-developer efforts): http://www.ats-lang.org/ http://www.ats-lang.org/ [ml + c + everything dialled up to eleven. linear and dependent types. comes out of academia, but under active development and slowly beginning to gather a community.] https://eigenstate.org/myrddin/ https://eigenstate.org/myrddin/ [not really familiar with this one but it looks interetsing. close to the metal, has pattern matching over algebraic datatypes but seems more towards the c than the ml end of the spectrum from the brief glance i took.] http://mythryl.org/ http://mythryl.org/ [never took off, sadly; i really liked the looks of this one and its ambitious goals. strong sml influence, with better posix integration and some c-like surface features. developer is currently battling cancer: http://mythryl.org/pipermail/mythryl/2016-April/000942.html http://mythryl.org/pipermail/mythryl/2016-April/000942.html] http://felix-lang.org/ http://felix-lang.org/ [spawn of ml + c++ rather than ml + c. under enthusiastic if haphazard development.] there have been a few others i've seen pop up over the years; i keep meaning to make a website or at least a github awesome-style list cataloguing and tracking them.

Drup 10y ago
For all those propositions, I have only one question: Why would I use that instead of OCaml ? OCaml is far from being perfect, but it has lot's of features and a decent community (especially compared to all those hobby/research languages). OCaml can do pretty much anything except things like image processing and video game programming. I mostly don't care about those things, and if I did, I would use Rust. Now, from a research point of view, sure, those languages are interesting.
- zem 10y ago
  i'm in the same boat - i keep an interested eye on developments in the ML-cross-C space, but so far none of them seems compelling to use over ocaml. however, if one of them had a cross-compiler as good as go's, that would be a killer feature. i would really like an ml-like language i could use to develop desktop apps and trivially deliver binaries for multiple platforms.
elechi 10y ago
I've tried to use ATS, but I constantly run into installation problems. I wish I could try it, though, because it sounds super fast.
- zem 10y ago
  check out this new tutorial series: http://ryanking.com/blog/Joy-of-ATS-1-Installing-ATS/ http://ryanking.com/blog/Joy-of-ATS-1-Installing-ATS/
  - elechi 10y ago
    Can't wait to try it out. Thank you for your response.