Hey HN<p>I'm Julia, and recently I've open sourced Fae, a programming language project I've been working on for a while.<p>Fae is an unsafe systems language designed to be pleasant to read, write, and reason about.<p>Small list of notable features include:<p>- Generic type system (trait system planned)<p>- Mutability in the type system<p>- Rich enums w/variant matching<p>- Expression blocks/if-else<p>- First class extension method support<p>- Newline-significant syntax<p>The compiler currently produces executables with LLVM, but I plan to build a custom codegen backend for debug builds in the future.<p>Errors can currently be handled with Option/Result types, but a more complete error system is planned. That said though, the details are not yet concrete.
I like your design decisions and influence languages! I'm not the particular target market for this lang, but think it would be of interest to <a href="https://reddit.com/r/programminglanguages" rel="nofollow">https://reddit.com/r/programminglanguages</a><p>My user test: <a href="https://www.youtube.com/watch?v=FXiRfpFufOQ" rel="nofollow">https://www.youtube.com/watch?v=FXiRfpFufOQ</a>