A Crazy Programming Language Idea: Prescriptive Trait Inference

lambda-the-ultimate.org