Yuval Shavit

I implemented open types in Effes the other day, so I’m gearing up for the next big push: generics! I was thinking of doing tuples first, bu...

In my last post, I talked about open aliases and how they can be used to achieve polymorphism. Since then, I’ve been a bit stuck on the exa...

I haven’t updated this blog in a while, but I’ve actually been making some pretty decent progress on Effes. I’ve got basic types working, m...

One aspect of the type system that’s always left me unsatisfied is its asymmetry against traditional object-oriented languages. Most OO lang...

I’ve been giving some thought to method invocation lately, trying to come up with something that’s fluent in simple cases, and familiar (to ...

Method overloading has always struck me as a bit clunky. It separates a method’s main code from helper code, adds clutter, and doesn’t play ...

I've been working on the parser for Effes a bit, and I got a bit stuck on an ambiguity in case constructs; I want them to work as eithe...