Just found that there are some questions for which I cannot find answers... hello, anybody? Not that I did not open Abadi/Cardelli, or Moggi, or Uustalo... just looking for simple answers, if there are any.
- What is the right way of expressing, functionally, via monads most probably, parser combinators? Is it just a special case of state monad?
- We can discuss the ellipse/circle OOP paradox ad libitum, but my question is: how do we know it this class, called Ellipse and having 4 members, is actually an ellipse? Not just four numbers, not a point in R4, but an ellipse? There's nothing in the definition that makes it an ellipse; there's nothing that makes it different from a rectangle. So the question could be, is Ellipse a Rectangle? Is Square a Circle? (And why not, from OOP point of view)
- What is a mutable class, or a mutable class member, from, hmm, a mathematical, say, categorical p.o.v.? A function? A generalized point? The last one would be a cool answer... I mean, I can build immutable classes from primitive types using pullbacks in a category with pullbacks and pushouts, but how about mutables? Clueless, kind of.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
