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,
Jon Harrop has written many articles in his OCaml Journal, and some of them are related to low-level optimization, which is a very important topic for OCaml developers, as OCaml is a fast functional language and can race against mainstream languages if we help him with our way of writing code, using the compiler, etc.
These [...]
Hi,
It’s been some days I was working on a very interesting project…
Many of you probably know Internet Relay Chat (IRC), in particular the Freenode network. You can access it through an IRC Client, the most known being XChat. The host is irc.freenode.net, on port 6667.
Some of you are used to bots on IRC, often provided [...]
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 [...]
Hello,
Here is some OCaml code I’ve written that let me approach function roots using the Newton method.
You don’t know or don’t remember what it is and how it works ? Check the Wikipedia article about Newton’s method.
So here we just define iteration criterias and then, until we’re satisfied, calculate at each loop cycle. deriv [...]
