Yuval Shavit

I think it’s actually going to be easier than I feared. ~ Me, writing Famous Last Words Uh, yeah. So it turns out it won’t actuall...

The title is a double joke. It’s a pun with “lazy” and [data] types, but it’s also funny cause it’s true! This post was supposed to be abou...

This is one of those “I know what worked, but I don’t quite know what I learned” posts. To implement my type-safe pattern matching , I hav...

(part 1 of 4ish) I’ve made a fair amount of progress in the past few weeks, and have mostly implemented the pattern matching I mentioned in ...

If I haven’t blogged much lately, it’s because I haven’t worked on Effes much lately. Some of it is because I’ve been busy, and some of it i...

I mentioned built-in types (aka primitives) in my last post. It turns out, pattern matching lets Effes be a bit more expressive than the sta...

Generics are wrapping up, and I’ve just implemented built-in types at last, so I’m starting to think ahead to next tasks. One of them is exc...