Yuval Shavit

Since I just brought up object construction, it's worth discussing when a new object is really created, as opposed to when a previous ob...

Up until now, I've talked mostly about types. In this post, I'm going to take a slight detour and talk about objects. This won't...

In my last post, I discussed the data keyword as sugar for stateful, struct-like traits. This is mostly pure sugar, although it's also...

Over the past few points, I've gone over some of my ideas for data types and assumption-types in Effes. The latter were originally inten...

Until now, I've been using the term "assumption" to describe several ideas: interfaces that define behaviors, stateful traits ...

The last major component of Effes' data types is the concept of stateful assumptions. As the last few posts have discussed, assumptions ...

In my first post about the Effes type system , lied a bit in my last post when I said that nicknames are just typing shortcuts. They also pr...