simvux

3 ms·

1. 1.▲
   by simvux 7mo ago

   I have ported this into my real-world compiler however in the same re-implementation I'm also adding RVSDG and incremental compilation so it's gonna be a bit until it can be tested in practice. > Also: won't this type less
2. 2.▲
   by simvux 7mo ago

   Working around the performance concerns by only running this algorithm after a faster algorithm found an error is an interesting idea. I think it could work, as things that produce errors would in a real compiler be marked as "poisoned
3. 3.▲
   Quadratic Micropass Type Inference(articles.luminalang.com)

   37 points by simvux 7mo ago|7 comments
4. 4.▲
   Show HN: Lumina Functional Programming Language(github.com)

   7 points by simvux 1y ago|0 comments