> The types are absolutely still there and need thought about

Yes, if they aren't in the code, it just means the programmer has figure out and carry that around mentally when reading or writing code.