C# は幸いなことに、型推論を全く使わないコードで教えればその辺り教えるの向いてると思うけど、PythonやらRubyやらで教える人はどうやって教えるのか謎＞＜