[Haskell-cafe] Re: Type-level arithmetic

[Ross Paterson]

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.