[Haskell-cafe] SIGPLAN Programming Languages Software Award
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.
More information about the Haskell-Cafe