Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
OCaml machine (was: Re: speed versus C)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-10-14 (12:58)
From: Juergen Pfitzenmaier <pfitzen@i...>
Subject: OCaml machine (was: Re: speed versus C)
Alain Frisch wrote:
> Do you think it would be easy to design processors with built-in support
> for boxed values, GC tags, OO, etc ... that is, a concrete OCaml machine ?

Hey that's exactly what I was talking about with some friends a week ago.
One evening we were sitting over some coffe and beer and talking what we
would like to do in the near future and how to make a living of it.
One idea that came up was the design of ML in hardware just like the
long gone Lisp machines. Our idea was to build it because it would mean
some value to the collector/FP programmer/freak and not because of
some imagined gain in execution speed. And the first reason is: I would
like to have a ML machine sitting on my desk (others collect tea spoons,
stamps ... I collect hardware).

At this time that idea is not considered seriously but next year my company
might have some extra money that we could spend in some VHDL design just
for fun and there a some cool people around who are willing to join in.

ciao pfitzen