[Haskell-cafe] Re: Type-level arithmetic

Ross Paterson ross at soi.city.ac.uk
Thu Oct 18 05:56:51 EDT 2007

On Tue, Oct 16, 2007 at 10:56:27AM +1000, Manuel M T Chakravarty wrote:
> Lennart Augustsson wrote,
>> And Haskell embedded a logical programming language on accident.
> Well, we are just trying to fix that :)

Since types are inferred using unification, and classes are still present,
adding functions yields a functional logic programming language at the
type level.

More information about the Haskell-Cafe mailing list