You're not wrong, but the thing to know about the type system is once you get it it's like this amazing thing. You start to think about your program in terms of

You're not wrong, but the thing to know about the type system is once you get it it's like this amazing thing. You start to think about your program in terms of the data it manipulates, you'll find yourself just without effort writing the code that does exactly what you intended, it's pretty wonderful. But on the way there it is painful.