Categories
Archives
Meta
Category Archives: SML
ICFP Contest 2006, Team KFL
In 1967, during excavation for the construction of a new shopping center in Monroeville, Pennsylvania, workers uncovered a vault containing a cache of ancient scrolls. Most were severely damaged, but those that could be recovered confirmed the existence of a … Continue reading
Posted in Fun, General, Personal, SML
2 Comments
Refactoring SML Quiz, Part 2
The answer to yesterdays quiz is: Yes, types are necessary for lambda-lifting refactoring. Namely, if the lifted function contains an overloaded operator such as, e.g., +. For example, given the program: fun foo x = let fun add y = … Continue reading
Posted in Coding, General, SML
Leave a comment
Refactoring SML Quiz, Part 1
Yesterday, I discussed with some students who are implementing an SML plug-in for eclipse, whether types are necessary for a lambda-lifting refactoring for SML. So today’s quiz is simply: Are types necessary for lambda-lifting refactoring in SML? Why/Why not? Remember, … Continue reading
Posted in Coding, General, SML
Leave a comment
SQLite for Moscow ML
Stop The Press! Henning has started to make a binding of SQLite for Moscow ML. This absolutelly great news. I’m looking so much forward to play with this binding (hint, hint, Henning). At work we are using SQLite with great … Continue reading
Posted in General, SML
6 Comments
mGTK pre-release 0.93
Tonight Henning and managed to make a release of mGTK. We call it a prerelease becase we have not written any documentation, the release has only been tested on my laptop (running Debian Sarge/Sid), and we have not made a … Continue reading
Posted in SML, mGTK
7 Comments
A Unicode editor for Michael
Michael claims that he does not have an editor that can handle Unicode. Thus, Henning and I whipped up an editor using mGTK that can handle Unicode. Oh, and did I mention that you can it compile with either Moscow … Continue reading
Posted in SML, mGTK
5 Comments
More mGTK Progress
Henning and I have been working hard (leisure time hard, that is) on mGTK since my last mGTK progress report. We have ported all the interesting Gtk# examples from Mono: A Developer’s Notebook Chapter 4. Currently the only missing bits … Continue reading
Posted in SML, mGTK
Leave a comment
callcc for Moscow ML
The last few days I have tried to recreate my implementation of callcc for Moscow ML. My original (incomplete) implementation was lost last fall when my old laptop was stolen (or it is still lurking somewhere in mess which is … Continue reading
Posted in SML
Leave a comment
A hand full of Queens
Or: SML/Moscow ML is faster than C++/GCC Inspired by a remark by Peter about the abysmal performance of exceptions on the .NET platform. I decided to check it for myself with a micro-benchmark. I also decided to check the performance … Continue reading
Posted in C++, Coding, O'Caml, SML
Leave a comment
mGTK progress
Tonight I decided to try and port an example from Mono: A Developer’s Notebook to the upcoming release of mGTK. By joining forces with Henning we were able to compile the example for the following screenshot: The email entry-box is … Continue reading
Posted in SML, mGTK
Leave a comment