Yuval Shavit

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

Monday, June 17, 2013

Stateful assumptions

›
The last major component of Effes' data types is the concept of stateful assumptions. As the last few posts have discussed, assumptions ...
Tuesday, June 11, 2013

Nicknames, function resolution and edge cases

›
In my first post about the Effes type system , lied a bit in my last post when I said that nicknames are just typing shortcuts. They also pr...
Monday, June 10, 2013

Data types and satisfying assumptions

›
In my last post, I talked about Effes' concept of "assumptions," and how they can be used to specify an object's behavior....
Thursday, June 6, 2013

A first peek at Effes

›
I've been playing around in vim with some ideas, and I think I have an idea of how I want Effes to look. Here's a dime tour. It'...
Monday, June 3, 2013

Elegance with a balance

›
In my introduction to Project Effes, I talked a bit about why I want to create a new programming language (tl;dr: because I think it'd b...
Thursday, May 30, 2013

Weak typing is weak

›
I spent a couple hours the other day digging through layers of some unfamiliar code to track down a bug that ended up being a really simple,...
Wednesday, May 29, 2013

Semi-mutability in Project Effes

›
Mutable data can lead to confusing code , but it's also useful when it lets developers think in simpler, more convenient patterns — like...
‹
›
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.