Archives of the Caml mailing list > Message from Jon Harrop

Browse thread

MinCaml: an educational compiler for tiny ML subset (documented in Japanese)

Eijiro Sumii
- Jon Harrop
  - Eijiro Sumii
    - Eijiro Sumii
    - Jon Harrop
      - Eijiro Sumii
        
        Jon Harrop
        
        Ken Friis Larsen
        
        David MENTRE
        
        Eijiro Sumii
        
        Xavier Leroy
        
        Eijiro Sumii
        
        Sébastien Hinderer
        
        Manos Renieris
- Corey O'Connor
- Oliver Bandel
  - Eijiro Sumii
- Richard Jones

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