Viewing profile — monads

In my previous job, I've worked on a project that requires disassembling large amounts of x86/amd64 instructions (several billion instructions each running is very common). I've fo…

Many thanks.

An interesting paper. Do you know books/papers to learn more about memory models?

A lot of thanks for your feedback. I actually criticise the illusion (that the book and the series bring) that the category theory is "the ultimate source" of motivation in FP lang…

I will get down-vote for sure but it's trivial this book and also the series "category theory for programmers". It's actually not very far from the content of several first pages o…

Agree. It's difficult to guess the definition of "exist" while reading it. The phrase > ...accepting the existence of the reals means that there are numbers that exist but can neve…

Yes, I think metaphors are used to put the formal definition of computation monads into some concrete situations (for getting intuition). But "too many bad metaphors" will make mon…

The definition of computation monads (in sense of Moggy) is simple, but not trivial. It's deep since it generalizes many computation "phenomena": side effects, exceptions, etc. Con…

I fairly agree with this. I still wonder how the author visualizes irrational numbers, exponential functions, etc. and more importantly, proves some (even simple) theorems with thi…

It still does not work on Fedora 24 :-(

After my experience, it run smoothly on Linux. I followed the guide at http://www.monodevelop.com/ to install mono, then F#; monodevelop is also a good IDE but personally I use spa…