← Back to context

Comment by weatherlight

9 hours ago

I'm working on Glyph, Its a is a statically typed functional language in the ML family.

Surface syntax is mostly SML-1997-ish, but underneath it's a different thing: simple-sub type inference, algebraic effects, modular implicits, and Perceus-style reference counting instead of a tracing GC.

The compiler is currently a Rust frontend -> Zig codegen -> native binary pipeline.

Its been a lot of fun thus far.

Funny I was going to make a programming language called Glyph as well but than i discovered GlyphLang so I decided to call it Kith instead.

  • When creating a programming language it's worth assuming nobody will ever use it.

    So name it after yourself, or give it a single-letter name (that seems equally common based on looking at /r/compilers or /r/ProgrammingLanguages).

    I named my toy "s", s for Steve, so I could do both at the same time!