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