Show HN: My structured editor for my language [video]

3 points by crowdhailer a year ago

Eyg is a functional language with:

- Exhaustive typing, so a type checked program will never crash

- Structural (not nominal typing), so there is never any need to write a type declaration

- Effect types, built using row types. Row types are also used for Records and Unions

- 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.

MH15 a year ago

Would be interested in more information about the runtime.

crowdhailer a year ago

I have implemented a few runtimes for Eyg so far. The AST is deliberately small to make this easy. However when running in the browser the runtime is an interpreter implemented in Gleam (compiled to JavaScript) and you can find it here. https://github.com/CrowdHailer/eyg-lang/blob/main/eyg/src/ey...