I'm not trolling. I'm serious. You'd be warned if Dang saw that comment. Not even kidding.
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.
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.
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.
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.