I’m reading Pearls of Functional Algorithm Design, which is just a wonderful book on algorithms and functional programming. I’m also playing around with Category Theory and I enjoy the feeling of abstraction. I try to apply some of the ideas to some basic algorithm problems, and it seems to work. Here is a very simple example.

What to Expect from this Post

Currently the MLton runtime compiles against Sparc RTEMS (Leon 3 BSP). The MLton is capable of recognizing RTEMS and Sparc in -target flag. But the compiled executable does not work.