etalian

7 ms·

1. 1.▲
   by etalian 4y ago

   Edit: nevermind, I might promote it when it's more generally available.
2. 2.▲
   by etalian 6y ago

   A language that I am working on has those things "built-in" (it still generates compilable C++ in the backend). I did recently add pattern matching (and not just on variants) where the above would be equivalent to: $v:|[:int,
3. 3.▲
   by etalian 7y ago

   I wondered the same a while ago, and it turns out you can, in fact to test this hypothesis I ended up implementing such a language myself. The resulting syntax can express every construct from modern C++, is fully LALR(1) (no ambiguities an