FX-90(ID:2654/fx:003)

Scheme dialect allowing side-effects 

Partial type and effect reconstruction and first-class modules.
Related languages
FX-89 => FX-90   Evolution of
FX-90 => FX-91   Evolution of