型推論、よく聞きますね。よく聞くのでWikipediaにも型推論のページがあります。 この仕組みの恩恵は案外自然と享受しているものですが、機能を提供することライブラリの開発においては知らないと始まらない前提のようなものであると最近思います。が、自然…