3 ms·

"statically, strongly typed Lisp that still doesn't sacrifice its flexibility and expressive power" SML

• TeMPOraL 6y ago
  ... with sane (i.e. s-expression based) syntax. :). But I'll check out SML. That's Standard ML, right?
  • Ar-Curunir 6y ago
    FWIW, SML is an old research-focused language that was the progenitor of Haskell and Ocaml and Rust, and not something to program in :)
    • tasogare 6y ago
      F# is a modern derivative usable in the real world.
  • cconroy 6y ago
    Yeah. ML syntax is very pleasant, and roughly, sexprs w/o all the punctuation noise. I don't believe it has a macro capability like lisps though, but you gain a sophisticated type helper. Definitely worth looking into!
  • masklinn 6y ago
    > ... with sane (i.e. s-expression based) syntax. You can just enclose all your function calls in parens :D Also you probably want to check out OCaml rather than SML, I don't know that SML has much of a presence… anywhere really.