エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
$'Caml : O'Caml compiler modification for dictionary dispatching and overloading It's an extensio... $'Caml : O'Caml compiler modification for dictionary dispatching and overloading It's an extension patch for O'Caml to add a simple type class overloading. Closed world assumptionDispatch abstraction/application can be implicit/explicitType class and instance declarations by the module syntax Automatic overload resolution (pretty weak for now)No fancy things like fundeps or type families It is a t