Yuval Shavit

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

Friday, May 9, 2014

Next up: generics!

›
I implemented open types in Effes the other day, so I’m gearing up for the next big push: generics! I was thinking of doing tuples first, bu...
Monday, May 5, 2014

Syntax for open types

›
In my last post, I talked about open aliases and how they can be used to achieve polymorphism. Since then, I’ve been a bit stuck on the exa...
Tuesday, April 22, 2014

Polymorphism using disjunctive types

›
I haven’t updated this blog in a while, but I’ve actually been making some pretty decent progress on Effes. I’ve got basic types working, m...
Monday, March 17, 2014

Inheritance is dead, long live composition

›
One aspect of the type system that’s always left me unsatisfied is its asymmetry against traditional object-oriented languages. Most OO lang...
Thursday, February 20, 2014

Method invocation syntax

›
I’ve been giving some thought to method invocation lately, trying to come up with something that’s fluent in simple cases, and familiar (to ...
Tuesday, February 18, 2014

An alternative to function overloading

›
Method overloading has always struck me as a bit clunky. It separates a method’s main code from helper code, adds clutter, and doesn’t play ...
Thursday, February 13, 2014

Statements and expressions: an exploration of ambiguity

›
I've been working on the parser for Effes a bit, and I got a bit stuck on an ambiguity in case constructs; I want them to work as eithe...
‹
›
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.