10 Jun
2011
10 Jun
'11
6:45 a.m.
Curious observation:
Object language Type language OO (C++) functional functional (Haskell) logical
It makes me wonder what comes next...
To be more accurate, it was Functional Dependencies that introduced a logic programming language to the type level in Haskell. Type Families are an explicit attempt to use instead a functional language at the type level to mirror the functional language at the value level. Regards, Malcolm