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
Estimating the size of the ocaml community
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-07 (17:41)
From: Ken Rose <kenrose@t...>
Subject: Re: [Caml-list] The boon of static type checking
Brian Hurt wrote:

> I note with humor that the big new optimization in GCC is the SSA-Tree 
> form- "Single Static Assignment".  The idea behind SSA is that you can 
> only assign a variable a value when you create it, you can not change it 
> latter.  Once you express C++ in SSA, it's a lot easier to apply a lot of 
> optimizations to it.  Of course, the more I look at SSA, the more it looks 
> like a functional language to me.  

The thought has occurred to others, as well.  See

  - ken