Can't Gei Programmin Language Compiler?

In haskell, you don't have to define the type of most of the variables. This means that when you compile your programme, the compiler can reason about the type of an object and do type checking for you. In c plus plus, you 'ud have to do templativ programming in order to kind of handle generic types. And just like in ceplus plus, you can get into some really deep weeds with a playing with the type system.