Comment Comment by infinity0 This is what strongly-typed functional programming languages have been teaching and preaching and practising for years. parent infinity0 10 years ago