Hi,
Several days ago, bluestorm and I started working on monads-related stuffs for Batteries, so that we’d be able to provide a good API for writing and using monads in Objective Caml.
Well, we’ve now written the basis of the future monad-related functions and modules in Batteries.
Of course, we’ve introduced two key monads, keeping Batteries’ spirit : [...]
Hi,
I’m writing this post because I want to thank and encourage the OCaml community. Indeed, there are many really *great* news this week that you may have seen if you read either Planet OCaml(Core), the Caml mailing list or both.
OCaml and Debian — The first one is a very good one for making OCaml more [...]
Hi,
Today, I met (again…) persons who think that maths are useless in life.
That’s absolutely not the first time, and probably won’t be the last.
However, I really do not understand such people. There are persons who pretend Maths are useless, but there are persons who really think so ! That’s quite shocking !
There are so many [...]
Hi,
I’m currently investigating the categorical side of Functional Programming. That’s a very interesting field, as it put together a very abstract mathematical field and a way/category of programming/programming languages.
I’m reading many papers including the two following ones, that anyone interested should read in my opinion.
An introduction to category theory, category theory monads, and their relationship [...]
Hi,
I’ve moved, 4 weeks ago, in my new home. a 27m² apartment, with my fiancée. We had some problems about our internet/phone/TV stuffs… which, after some phone calls, brought us a free internet/phone/TV month !
But I currently haven’t any PC nor internet at home… After X’mas that should be okay.
I’m still reading news from C++ [...]
Hi,
I’ve just opened this blog in order to publish blog tickets mainly about C++ & Prolog programming and Artificial Intelligence, and only in English.
It’s now time to introduce myself : I’m a French computer sciences and artificial intelligence student and I plan to obtain a doctorate in Artificial Intelligence.
I’m currently in charge of the Qt [...]
