[Haskell-cafe] SIGPLAN Programming Languages Software Award

Malcolm Wallace malcolm.wallace at me.com
Fri Jun 10 08:45:10 CEST 2011


> 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



More information about the Haskell-Cafe mailing list