ポリモーフィズムが1種類しかないと思ってたエンジニアの備忘録

この記事は毎週必ず記事がでるテックブログ Loglass Tech Blog Sprint の72週目の記事です！ 2年間連続達成まで残り34週となりました！ はじめに ソフトウェアエンジニアの福土（@ryoya_cre8or）です。 ふと社内のSlackで「ポリモーフィズムを使っているときに、冗長になるコードをジェネリクスを使うことで綺麗にまとめる事ができる」と呟いたところ、「ジェネリクスもポリモーフィズムの1種だよ」とツッコミをいただき、それを機にポリモーフィズムの概念について整理したいと思っていたので、年末年始にオリャっとまとめちゃいます。 実は共変性・反変性の概念を理解する上でもポリモーフィズムの概念を整理することはすごく良かったので、そこまで記事を書き切りたかったのですが息が足りず... 続きは次回とし本記事ではポリモーフィズムが何なのかについてまとめています。 ポリモーフィズム

[atsushieno]

「List of IntとList of StringはListのsubtypeではない」という前提は割と危うい（言語依存なところがある）ので、これをparametric polymorphismと解すべきかは疑問がある。SFINAEなtemplate parameterならほぼ疑問の余地が無いかな。

[dorapon2000]

“以下にて関数と演算子のオーバーロードによるアドホック多相の例を紹介します。”

[skypenguins]

だいたい「達人プログラマー」に書いてある内容だった、あと「多態性」の方が分かりやすいかな