Yuval Shavit

A lot of functional and functional-inspired languages don't have the concept of null . Instead, they have types called Maybe or Optiona...

I've been playing with Effes syntax off and on for the last couple weeks, and I happened across a use case for conjunctive types. I'...

"This business isn't for men of words," said Borja. "It's for men of action." A. Perez-Reverte, The Club Dumas ...

It's time to turn my attention to functions. Like virtually any language, Effes has functions; like any language written in the last few...

I know I've talked about mutability before, but I realized the other day yet another argument against taking immutability too far: it co...

In my last post, I summarized Effes' polymorphism by observing that you can't know exactly how an object will behave unless you crea...

I've been putting off for too long my ideas for subtyping and function resolution, because I've wanted to get things juuust right. I...