Yuval Shavit

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...

In my last post, I talked about Effes' concept of "assumptions," and how they can be used to specify an object's behavior....

I've been playing around in vim with some ideas, and I think I have an idea of how I want Effes to look. Here's a dime tour. It'...

In my introduction to Project Effes, I talked a bit about why I want to create a new programming language (tl;dr: because I think it'd b...

I spent a couple hours the other day digging through layers of some unfamiliar code to track down a bug that ended up being a really simple,...

Mutable data can lead to confusing code , but it's also useful when it lets developers think in simpler, more convenient patterns — like...