Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Virgil: a statically-typed language balancing functional and OO features