Michael
Michael
Would my 2c be welcome in this discussion, given that I'm a complete outsider and barely know pony?
Thanks for the invitation. I meant to suggest inferring the exception annotations with an algorithm similar to let-polymorphism. I thought this would largely solve the accidental coupling between the thrower...
I can provide some links, yes. The best source I know is Benjamin Pierce's "Types for programming languages", from which I've studied long ago - chapter 22 presents let-polymorphism (section...
I'll also mention that Xavier Leroy has published work on the topic of inferring exception types: http://gallium.inria.fr/~xleroy/bibrefs/Pessaux-Leroy-exn.html I took a peek at this approach and it didn't seem very simple...
Sorry chap, I'm not maintaining this repo any more. I'll take it down eventually so that people don't get confused. Note that some core nim devs have forked it, and...
OK, the repo stays.
I'm considering of adding Unison as a plugin language for [AnyType](https://anytype.io) and I think having a more conventional syntax would be a definite advantage in that role.
> @micklat That sounds cool. What does that mean? More explanations in the unison discord, [here](https://discord.com/channels/862108724948500490/1230435745895026729). If that doesn't clarify do ask me anything.
Thanks, that explains it.