Maybe I'm missing something, but the example at the bottom, you can do just as much type checking with the terse command-line syntax as with what he calls the '

Maybe I'm missing something, but the example at the bottom, you can do just as much type checking with the terse command-line syntax as with what he calls the 'typed interface'.