English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners