[Haskell-cafe] SIGPLAN Programming Languages Software Award

[Malcolm Wallace]

> 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