次世代言語12 Go Rust Swift Kotlin TypeScript

次世代言語12 Go Rust Swift Kotlin TypeScriptat TECH

次世代言語12 Go Rust Swift Kotlin TypeScript - 暇つぶし2ch556:デフォルトの名無しさん
18/07/31 22:27:24.42 10MH4XIN.net
>>539
ちゃうやろおっさん
型理論的にはn>=2に拡張するために持ち出すのがpair
なのでn=0,1にpairを持ち出す必要がない
別の言い方をすると型理論的にはAと<A>は同じ
そこを区別するのがアドホックにpairを導入した言語ということ
組み込みの土方より

次ページ

続きを表示

1を表示