> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
