Hacker News Reader

> “Can I use any language?”

> “Sure.”

> Move quickly, before he realizes his mistake.

This part always gets me.

> Criss is still here, at least physically.

Got me.

This uses the older/classic haskell 98 features to encode the types.

It works, but with modern haskell, one can use techniques that are less verbose.

Seems to me that Lisp weenies have been outsmugged by Haskell weenies.

Read the next few ones, Lisp comes back strong.

Thanks for mentioning this. Both stories are lovely, some of the most enjoyable and intellectually satisfying writing I've read this month.

On that note, I keep dreaming that one day, someone will make a Lisp with all the code generation goodies and Haskell-grade type system. That would be my dream language to code in.

(As it is right now, I mostly do C++17 in overtly-type-safe style at work, and typed Common Lisp on the side...)

Possibly inspired by https://codegolf.stackexchange.com/a/3790

That may be the greatest thing I've ever read.