News for hackers. Stuff that matters.

A comment on Monads are monoids in the category of endofunctors. Parent comment

Re:Monads are monoids in the category of endofunctors by zabzonk on Thursday September 09, 2021 @09:29PM (#28476782)
> the pointer operator *

Do you mean declarator?, As in:

     Foo * f;    // f is a pointer to a Foo
The operator dereferences something - it certainly does not create a new type. And neither does the above - the concept of pointers to addressable types is innate to the C and C++ type systems - if you create a type Foo, you get pointers to Foo for free.
[ Parent | on HN ]
Re:Monads are monoids in the category of endofunctors by jkhdigital on Friday September 10, 2021 @12:25AM (#28477813)
The fact that pointers to Foo are "free" doesn't invalidate the notion that the * is, in some sense, a semantic extension of whatever Foo is and thus a generic type. I know that this is not literally true in the "theory" of the C programming language and type system, but conceptually it matches up pretty well.
[ Parent | on HN ]
Re:Monads are monoids in the category of endofunctors by hikarudo on Thursday September 09, 2021 @09:34PM (#28476814)
You are correct, my mistake.
[ Parent | on HN ]