Viewing profile — thunderseethe

Yeah I was just wrong here. I was under the impression clang had a concept of a request the same way Swiftc does and that is just not true. That's my bad!

What are you calling bidir, if the introduction of unification means its no longer bidir?

> You can get localised unification but bidir as a whole like in Rust but you lose most of the advantage of unification. Could you expand on this? I do not follow. You can create a…

It is a double edged sword of the single page layout that you really have to make one point briefly and get out of there. I had to pare down many details to fit the layout. If you …

In general I agree with what youre advocating for. Languages should require annotations on function parameters and return types and most top level definitions. But even if you only…

> The real question is unification vs bidir Quite the opposite, imo. Unification does not exclude bidir and the two fit together very well. You can have one system with both Unific…

> I wonder if this is a reference to "I need you to understand that people don't have conversations where they randomly recommend operating systems to one another" It is! > my unde…

There's an interactive playground to show off the LSP we implement at https://thunderseethe.dev/making-a-language

This is probably my biggest regret with this article. Much earlier and much more prominently I should've explained that the title is a play on a running joke Andreas Rossberg inclu…

Take a look at The Rapier in GHC: https://www.researchgate.net/publication/220676611_Secrets_o... It employs a similar idea. Track the set of in scope variables and use them to uni…