His argument actually seems to point to dynamically-typed functional programming, which is not surprising, considering his work with Scheme.