back to the tutorial home page
back to the MGS home page
An MGS presentation in french: partial, unfinished and the syntax has dramatically changed, but it still gives a good flavor of the current MGS interpreter.
MGS is embedded in a dynamically typed functional language (higher order function, currification, functions are first class value, and all that kind of stuff).
However, the thesis of Julien Cohen (in french) investigate a type inference systems for homogeneous and heterogeneous collections. The original MGS evaluator is also described in the thesis, but see the Generic Pattern Matching section.
See the MGS Graphic Gallery for several commented and illustrated examples. See also the Application section.