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...
Friday, February 7, 2014

Python-like indentation using Antlr4

›
Introducing a small helper class for implementing python-like indentation in antlr4: antlr-denter on github. I've started writing the...
2 comments:
Sunday, January 12, 2014

A solution to the object-equality problem

›
As I mentioned in my last post, there are certain methods that require transitivity — and that means both objects must agree on a single im...
Thursday, January 2, 2014

Equalities in object-oriented programs

›
There's a problem in object-oriented programming: equality and polymorphism don't generally get along. Specifically, extra state int...