caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Eijiro Sumii <eijiro_sumii@anet.ne.jp>
To: caml-list@inria.fr
Cc: sumii@saul.cis.upenn.edu
Subject: MinCaml: an educational compiler for tiny ML subset (documented in Japanese)
Date: Thu, 03 Mar 2005 17:26:52 -0500 (EST)	[thread overview]
Message-ID: <20050303.172652.36931998.eijiro_sumii@anet.ne.jp> (raw)

Hi,

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: the compiler is well
documented (only in Japanese for now, unfortunately)

  http://min-caml.sourceforge.net/

and has been used in a class at Tokyo for years.

The compiler consists of only 2000 lines of OCaml.  Yet, it produces
as efficient SPARC code as OCaml and GCC does (for the tiny ML subset
and equivalent C programs).

  A typical functional program (Ackermann):

    GCC 6.8s
    OCaml 0.9s
    MinCaml 0.9s

  A typical imperative program (raytracing):

    GCC 14.7s
    OCaml 36.7s (could perhaps be improved by using BigArray)
    MinCaml 17.0s

So, please take a look if you are interested.  Even if you don't
understand Japanese, you may be able to understand OCaml!:-)

Best,

--
Eijiro Sumii (http://www.cis.upenn.edu/~sumii/)
Department of Computer and Information Science, University of Pennsylvania


             reply	other threads:[~2005-03-03 22:26 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-03-03 22:26 Eijiro Sumii [this message]
2005-03-05  8:32 ` [Caml-list] " Jon Harrop
2005-03-05 14:37   ` Eijiro Sumii
2005-03-05 14:48     ` Eijiro Sumii
2005-03-07  0:20     ` Jon Harrop
2005-03-08  3:01       ` MinCaml English Documentation Eijiro Sumii
2005-03-08  4:12         ` Jon Harrop
2005-03-08  7:09         ` [Caml-list] " Ken Friis Larsen
2005-03-08 18:59         ` David MENTRE
2005-03-08 19:15           ` Eijiro Sumii
2005-03-08 20:13         ` Xavier Leroy
2005-03-08 22:32           ` Eijiro Sumii
2005-03-14 17:31             ` Looking for an efficient implementation of simply typed lambda calculus Sébastien Hinderer
2005-03-15 20:59               ` [Caml-list] " Manos Renieris
2005-03-05  9:46 ` [Caml-list] MinCaml: an educational compiler for tiny ML subset (documented in Japanese) Corey O'Connor
2005-03-05 12:01 ` Oliver Bandel
2005-03-05 16:45   ` Eijiro Sumii
2005-03-05 17:19 ` OT: " Richard Jones

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20050303.172652.36931998.eijiro_sumii@anet.ne.jp \
    --to=eijiro_sumii@anet.ne.jp \
    --cc=caml-list@inria.fr \
    --cc=sumii@saul.cis.upenn.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).