[Haskell-cafe] How to convert a list to a vector encoding its
length in its type?
miguelimo38 at yandex.ru
Fri Aug 21 12:23:27 EDT 2009
>> Don't worry, it's just me not liking UndecidableInstances.
> Without it, GHC doesn't like the 'Arg f ~ b' constraint
He's probably right. I don't like it either.
> What will the type of 'levmarHL' look like using tuples or using your
> special list-like type?
I guess it would be something like
LevMarParamCoolType c => (a -> c -> Double) -> c -> [(a, Double)] -> c
More information about the Haskell-Cafe