4 ms·
What is an example of a real functional language for you?
by maleldil 1y ago
What 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 ?