Why sorbet is fast

made by nelhage, submitted by porterjamesj
A post explaining how Sorbet, a Ruby typechecker that Nelson worked on, achieves its high performance.