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
[Caml-list] extensible records again
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-03-22 (03:15)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] extensible records again
On Mon, 2004-03-22 at 04:36, Oleg Trott wrote:

> >My Vyper interpreter (a Python interpreter written in Ocaml)
>                                                            ^^^^^^^^^^
> Compared to the interpretation overhead, I don't think you'll see any 
> difference in performance, not by a long shot.

In Vyper it was quite significant.

> If I were writing a dynamically-typed language implementation in O'Caml, 
> I'd _compile_ it _to_ O'Caml (as opposed to interpreting the language) 

Unfortunately, Ocamlopt isn't capable of dynamic loading. 
This was one of the reasons for abandoning Vyper.

The other was the difficulty of providing stackless operation,
i.e. the inability to provide a continuation passing based
implementation. This could probably have been done if I'd
implemented a significantly more complex system than the 
simple mapping of functional code to functional code I actually

Don't be confused here: The task was to provide a Python
system, not an arbitrary interpreter.

John Skaller,
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: