2019-10-21から1日間の記事一覧

polymorphism

種類内容実装 Haskell parametric すべての型に対して成立する実装が同じ type variable ad-hoc 一部の型に対して成立する成立させる型ごとに実装が異なる type class