Yuval Shavit

I thought about an "interesting" (ie, I'm probably the only one who finds it interesting) question yesterday. Is it possible t...

In my last post, I discussed problems with the runtime binding of composed objects: if object a has a method foo , and object b also has a...

There's a problem with Effes that could prove deadly, at least to object composition: composed objects can conflict in ways that can...

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