My understanding is that it is useful for beginners to run their programs, complete with type errors, so they can see where they fail. Debugging type errors if

My understanding is that it is useful for beginners to run their programs, complete with type errors, so they can see where they fail. Debugging type errors if difficult without a strong model of evaluation and type inference. Since beginners are learning these very things, type errors can be very confusing to them and hinder learning. I'm sure Shriram will correct me if I'm wrong.