- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
566 ：デフォルトの名無しさん[sage]：2016/08/15(月) 15:59:46.77 ID:HKYH1nb5 - >>565
型構成子って type contructor のこと？
実装とは？
|
- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
567 ：デフォルトの名無しさん[sage]：2016/08/15(月) 16:08:31.81 ID:HKYH1nb5 - >>565
すまん、type constructor の事かと訊きたかった。
もしそうなら、リストとの関係は特に語ることもないよ。
type synonym において、type a のリストの type construcor を [a] と記述する構文規則になっている、ただそれだけ。
たぶん、こういう事が訊きたかったのでは無いんだらうなとは思うが、
>>565 の質問文からはこれくらいしか読み取れなかった。
|
- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
568 ：デフォルトの名無しさん[sage]：2016/08/15(月) 16:13:33.96 ID:HKYH1nb5 - >>562
すまん、グダグダだな。
type synonym じゃなくて type signature ね。
あと、実装は何の実装の話か、具体例か何かあると、
もしかしたらもっと適切なレスができるかも。
|