Eyg is a functional language with:<p>- Exhaustive typing, so a type checked program will never crash<p>- Structural (not nominal typing), so there is never any need to write a type declaration<p>- Effect types, built using row types. Row types are also used for Records and Unions<p>- No syntax, there is no parser the public interface to the language is a JSON format of the Abstract Syntax Tree (AST), which makes the structural editor necessary.