Hacker News new | ask | show | jobs
by maleldil 251 days ago
What is an example of a real functional language for you?
2 comments
grumpyprole 250 days ago
Haskell. 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.
link
DanielBryars 250 days ago
Like LEAN4 ?
link
CharlieDigital 250 days ago
I, too, am curious and keep checking back for a reply!
link