That paper was from 2004. In the meantime they acknowledge that "all those parentheses" can be challenging for some students. That is why Pyret was developed.
Support for static typing. Pyret will have a conventional type system with tagged unions and a type checker, resulting in straightforward type errors without the complications associated with type inference algorithms. We have carefully designed Pyret to always be typeable, but our earlier type systems were not good enough.
That paper was from 2004. In the meantime they acknowledge that "all those parentheses" can be challenging for some students. That is why Pyret was developed.
However:
So in terms of education static type checking is still being delayed.
See also Programming and Programming Languages
They still deal with types (other than
string
) - they just don't use static typing from day one.Well that explains it then.
Most of the "coping techniques" outlined in "JavaScript the Good Parts" are about leveraging JavaScript's Scheme-y bits to maximum effect.