4 ms·
Both OCaml and Clojure are principled and well designed languages, but they are mostly evolutions of Lisp and ML from the 70s. That's not where functional progr
by grumpyprole 1y ago
Both OCaml and Clojure are principled and well designed languages, but they are mostly evolutions of Lisp and ML from the 70s. That's not where functional programming is today. Both encourage a functional style, which is good. And maybe that's your definition of a "functional language". But I think that definition will get increasingly less useful over time.
- maleldil 1y agoWhat is an example of a real functional language for you?
- CharlieDigital 1y agoI, too, am curious and keep checking back for a reply!
- grumpyprole 1y agoHaskell. But there are other examples of "pure functional programming". And the state of the art is dependently typed languages, which are essentially theorem provers but can be used to extract working code.
- DanielBryars 1y agoLike LEAN4 ?