Yuval Shavit

Meanderings on the way to creating a new programming language, because the world needs more of those.

Monday, August 3, 2015

Evolutionary programming

›
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...
1 comment:
Tuesday, July 28, 2015

A type by any other name

›
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...
Friday, July 10, 2015

I'm too lazy to type

›
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...
Wednesday, July 8, 2015

In Soviet Russia, recursion invokes you!

›
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...
Saturday, July 4, 2015

Pattern matching using recursion

›
(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 ...
Tuesday, June 16, 2015

Getting clever with pattern matching

›
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...
Saturday, March 21, 2015

Sophisticated primitives

›
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...
‹
›
Home
View web version

About Me

My photo
YS
Somerville, MA, United States
Programmer, skier, hockey player and fan. Blogger?
View my complete profile
Powered by Blogger.