@rml I was a huge fan of #haskell & type theory. That's how I got into "advanced programming languages". I tinkered with it over a year and end up considering it totally useless.

In (kinda&-)functional programming we have just functions and data. MLs praises functions. Lisps praises data. And I prefer data.