> Folks who prefer dynamically-typed languages are generally of the opinion that working with compiler error messages sucks. I think a big factor here is dynam

> Folks who prefer dynamically-typed languages are generally of the opinion that working with compiler error messages sucks. I think a big factor here is dynamic languages can show concrete variable instantiations to help you understand what went wrong so it's less abstract e.g. the code `plus x y` might give the runtime error "x was 'abc' which is type String and not type Number" vs something more abstract and confusing like "x is type String and not type Number" that you tend to see in compile-time errors. Are there any languages that give concrete variable instantiation examples as part of compile-time error messages? For instance, example values could be generated from the types, come from previous program runs, or supplied by the coder somewhere. When errors get tricky, you tend to start plugging in concrete values or stepping through the program manually so compilers could definitely help more here.