Yuval Shavit

It's obviously been a while since I updated this, and I've gotten one or two questions about it — enough to get me to write a brief ...

I’ve been busy busy busy, so I haven’t had much time to work on Effes, but I did want to share a technique I developed for mimicking algebra...

I finally finished implementing pattern matching! I just looked to see when I last updated this blog, and holy crap , it’s been half a yea...

I’ve realized that working on Effes is a different beast than working in my day job, primarily due to time and a lack of continuity. It hasn...

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