Haskell Foldable Wats

Kosyrev Serge _deepfire at feelingofgreen.ru
Wed Feb 24 23:14:46 UTC 2016

David Feuer <david.feuer at gmail.com> writes:
> Haskell's notion of Functor is in fact somewhat arbitrary from the
> standpoint of mathematical functors. It's not at all arbitrary from
> the standpoint of the general variety of type system Haskell uses.

This fact that we can't partially apply a type constructor in an
arbitrary way -- is it really all that fundamental to the Haskell type system?

Is it truly something more than an implementation detail?

If so, why?

с уважениeм / respectfully,
Косырев Сергей

More information about the Libraries mailing list