Show HN: My structured editor for my language, a walkthrough https://bit.ly/3C97Qjv

Show HN: My structured editor for my language, a walkthrough 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. https://bit.ly/3X5LrgJ June 5, 2023 at 04:36PM