Effes programming language (blog at yuvalshavit.com)