You don't want libmlton to by a dynamic library if you want to make bringing MLton compiled executables to machines that don't have MLton installed easy. (I.e., you can just bring the a.out and not have to carry along any libmlton.so).