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
native code and ZINC machine
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-11-05 (14:25)
From: Aaron Bohannon <bohannon@s...>
Subject: native code and ZINC machine
I was quite surprised, recently, when I found out that the native code 
compiler implements left-to-right evaulation, as opposed to the 
right-to-left evaulation of the bytecode.  [NB: My question is not about 
trying to write code that is dependent on the order of arguments.]

You see, I am quite familiar with the ZINC machine and the benefits of 
its design, and I thought that the design could be adapted in some way 
or another to the native code setting.  I am interested in finding out 
what factors prevented this, or what made the ZINC machine execution 
model impractical in the native runtime.  My knowledge of systems is 
perhaps somewhat weak, so maybe I am overlooking some obvious point.

I have googled for papers and discussions, and poked around the obvious 
websites looking for answers, but I must have missed something.  Any 
pointers in the right direction would be appreciated.

Aaron Bohannon