I certainly know and admire eve. However I don't think I consciously took that many features from it into EYG. I'd be curios what the crossover is

Oh, scratch that. I misremembered.

I guess ASML chips are selling as well as they hoped, need a bigger customer.

ASML doesn't sell chips, you're probably thinking about TSMC.

Ahh yes so I am. thanks for the correction

I'm excited to see less object allocations as an improvement. Should really help when walking AST's

I'm pretty confident they will become a common feature in functional languages. Unison, Roc, EYG also have some version.

Then we just need to wait for the functional languages to become mainstream.

I wrote about them here. https://crowdhailer.me/2025-02-14/algebraic-effects-are-a-fu... as I got a reasonable handle on implementing them in EYG

All the examples are editable, though not as text.

I super enjoyed the last installation of this. I think I've watched every talk twice. I'd love a similar format for a selection of language design talks.

I'd love to try implementing this in some other languages.

Indeed. Here's a link to one episode https://pod.link/developer-voices/episode/e47720e8c6dc3d1660...

What requires the format to be text-like? I'm not sure I agree with this assertion. I think structural editors need to be language specific so that they can offer higher value edits that might only make sense for specific languages.

"Text-like" meaning easy to parse and universally understood. With language-specific (or indeed, all) AST/generic tree attributes serialized in a uniform way that does not entirely break parsing if an editor does not understand one of them. I.e. I can edit code even if my editor doesn't understand the language and doesn't give me syntax highlighting and completion. More, that that 'understanding' can be factored out of the editor core, as is done with language servers today.

The EYG type system does support recovery, so you will get multiple type errors if that's the case in the program.

My point is that type error recovery is the property of the type system. Not the property of structural code editor.