4 ms·
Show HN: My structured editor for my language [video]
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 3y agoWould be interested in more information about the runtime.
- crowdhailer 3y agoI 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/eyg/runtime/interpreter.gleam https://github.com/CrowdHailer/eyg-lang/blob/main/eyg/src/ey...