yosh3d ago

New blog post: An effect notation based on with-clauses

https://blog.yoshuawuyts.com/a-with-based-effect-notation

This is my third attempt at defining a notation for a full-fledged effect system in Rust. It's taken some influence from Flix, Koka, and Effekt. As well as including a little sprinkling of Python, Swift, and Scala.

With some luck people will hate this design less than the last time I had a go at this.

An effect notation based on with-clauses and blocks

Show threadmiaouPlop3d ago
@yosh I’m not going to comment on the content as it’s way way over my head but can we use effect instead of eff? It’s not much longer and, in my opinion, is clearer.
Show threadyosh
@miaouPlop I started with effect as the keyword, but after a while it just seemed too long. I suspect this might be an instance of Stroustrup's rule.
Mar 20 at 8:49pmWeb
Show threadmiaouPlop2d ago
@yosh you’re probably right! Like I said, I know absolutely nothing about language design, it was just my feeling reading it.