[Haskell-cafe] Clearly, Haskell is ill-founded
Andrew Coppin
andrewcoppin at btinternet.com
Tue Jul 10 16:07:45 EDT 2007
Stefan O'Rear wrote:
> On Tue, Jul 10, 2007 at 08:08:52PM +0100, Andrew Coppin wrote:
>
>> Erm... Wait a sec... coroutines, comonads, coprograms, codata... what in
>> the name of goodness does "co" actually *mean* anyway??
>>
>
> Nothing.
>
> When mathematicians find a new thing completely unlike an OldThing, but
> related by some symmetry, they often call the new thing a CoOldThing.
>
> Data can only be constructed using constructors, but can be
> deconstructed using recursive folds;
> Codata can only be deconstructed using case analysis, but can be
> constructed using recursive unfolds.
>
> Monads keep things inside.
> Comonads keep things outside.
>
> Homology theory studies the boundaries of shapes.
> Cohomology theory studies the insides of curves.
>
> ...
>
...so it's similar to the term "normal"?
As in
Normal vector - a vector having unit length.
Normal distribution - a common monomodal distribution following a
characterstic Gaussian bell curve.
Normal subgroup - a subset of a group such that all elements of it
commute with the all elements of the whole group.
...
More information about the Haskell-Cafe
mailing list