Japanese 型クラス Cited by user Poshnegev on 13 Dec 2021 (計算機科学の)型クラス(Type class)は、をサポートする型システムの機能である。などでののにを付加して、関数オーバーロードと演算子オーバーロードを実現するのが元々の目的になる。.
English Mogensen–Scott encoding Cited by user Cwjnkins on 21 Jan 2020 In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus.
English Type class Cited by user Citation bot on 30 Jan 2019 In computer science, a type class is a type system construct that supports ad hoc polymorphism.