インタフェースと型クラス、どちらでもできること・どちらかでしかできないこと - Qiita

最近にわかに 型クラス が盛り上がっているようです。しかし、型クラスはインタフェースに似たものだという意見もあればまったく別のものだという意見もあり、混乱する人が多いのではないかと思います。 そのような混乱を招く理由は、 インタフェースと型クラスはどちらも抽象化を実現するためのもの であり、 インタフェースでも型クラスでもできること インタフェースでしかできないこと 型クラスでしかできないこと があるからです。 1 に着目した人は似ていると語り、 2 や 3 に着目した人はまったく違うものだと言います。 本投稿では、 Java / Kotlin のインタフェース、 Haskell の型クラス、 Swift のプロトコルを比較し、上記の 3 点を整理します。 Swift のプロトコルを加えるのは、 Swift のプロトコルがインタフェースと型クラスの両方の性質を備えたものなので、比較対象とし

[megumin1]

特定の言語の特定の機能を「インタフェース」「型クラス」のような一般的な用語に無理やりオレオレ分類した結果、案の定、不毛な議論を生んでいる。タイトルを含めて全体としてオレオレ解釈が目立つ悪記事。

[tick2tack]

インターフェース/型クラスの本質的な話なのか、単に言語の機能の有無なだけの話なのか。Higher Kindを扱えるかとか。

[Haaaa_N]

Kotlin型クラスがないのがなあ

[seal2501]

“ジェネリクス”

[slash_01]

うん。難しい！

[qtamaki]

forallを使えば混在リストも処理できるけど野暮か