Typed Lisp aficionados offer a *mind-blowing* revelation: you too can experience the joy of static typing, but only if you're prepared to navigate a labyrinthine manifesto of type hierarchies and algebraic data types, all while still loving #Haskell 💻✨. Because, apparently, there's nothing more exhilarating than making Lisp even more confusing for beginners 🤯📚.
https://alhassy.com/TypedLisp.html #TypedLisp #StaticTyping #TypeTheory #ProgrammingJoy #ConfusingBeginners #HackerNews #ngated