In a past life I was coaxing public transportation to transport tuples, in this life I am doing research on early error detection for dynamically typed languages.
This early error detection starts by extracting preconditions from primitive operations and propagating them upwards in the program.
Bearing certain limitations in mind (escaping from conditional expressions, for example), these preconditions can be tested much earlier, leading to faster debugging and development for programmers.