24 Feb
2016
24 Feb
'16
6:14 p.m.
David Feuer
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, Косырев Сергей