Version française
Home     About     Download     Resources     Contact us    
Browse thread
MinCaml: an educational compiler for tiny ML subset (documented in Japanese)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jon Harrop <jon@j...>
Subject: Re: [Caml-list] MinCaml: an educational compiler for tiny ML subset (documented in Japanese)
On Thursday 03 March 2005 22:26, Eijiro Sumii wrote:
> I have implemented a simple but efficient compiler from a tiny ML
> subset to the SPARC assembly language.
>
>   http://min-caml.sourceforge.net/min-caml.tar.gz
>
> The primary purpose is advanced education:

I think this is an absolutely fantastic project!

A tiny ML compiler would have helped me to learn how to write ML compilers and 
interpreters when I decided to study this. I had a go at writing my own but 
it will take a lot more practise before I am good enough. I think this 
project could help a lot of people.

> Yet, it produces as efficient SPARC code as OCaml and GCC does

Did you choose SPARC because of availability or for technical reasons?

> for the tiny ML subset and equivalent C programs).

What features of ML are implemented?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists