Well, your answers regarding OO calculus appear to be otherwise.

Here is a nice exercise, an FP calculus notation about the semantics of type classes in Haskell.

Afterwards, it would be nice to see the lambda calculus for functors in OCaml.

>Well, your answers regarding OO calculus appear to be otherwise.

I'm obviously not trolling. You literally admitted you are. I can't flag you, so I'm going to plant a word here that will hopefully attract attention and get some admin to stop you. Stop trolling or fuck off.

You were the one stating that only FP has a perfect calculus representation, and have dismissed all the posts from everyone that that proved otherwise.

I asked for the papers describing specific semantic models of two mainstream FP languages to give you the opportunity to prove your point, instead you threat to flag me, I think Dan will take his own conclusions.

>You were the one stating that only FP has a perfect calculus representation, and have dismissed all the posts from everyone that that proved otherwise.

That's my opinion. That's not called trolling. Disagreeing with people respectfully is not called trolling. Saying the shit you said above: that you're out of food to continue trolling me IS trolling.

I'd flag you already but you need a certain rep to do that. I'm quite new.. but let's see if Dang actually does his job.