I dont' care about static vs dynamic typing but if I could at least typehint function arguments my IDE intellisense and I would be so happy :) Maybe it could even be compiled to guard clauses or something?

Writing specs is tedious and apparently not even encouraged for private functions.