13章 一般化と高階関数 をつづきから。 https://nerimarb.esa.io/posts/34
「引数の型がなんでもいいことを多相性という」という説明が出てきたのですが、英語ではPolimophizmと書いてあったので「え！ポリモーフィック思ってたんと違う！」となったのが個人的に難しくて発見があってワクワクした箇所です。
Rubyでは、引数には型を求めないので（中でエラーになることはあるかもしれないけれど）、そういうのもポリモーフィズムっていうん？と思ったのが疑問のきっかけです。
Rubyの文脈でのポリモーフィズムはダックタイピングみたいな理解をしているのだけど、本当にそうなのか、もう何もわからないって気持ちでいます。
で、やや混乱気味だし難しいことに足を突っ込んでしまった感はあり、情報が整理できていないのですが、多相性にも種類があるということまではわかりました。
"Ruby 多相性"で検索すると、もれなく結果のトップに松本宗太郎さんの論文が並ぶので、”なるほど、これがいつか松田さんがおっしゃっていた、sotaroさんは型を何年も研究しているスペシャリスト”ということかと、その一端を感じた気がしました。
