- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
640 ：デフォルトの名無しさん[sage]：2015/10/30(金) 01:13:23.74 ID:FTBRryE0 - >>639
=> は型制約？
それとも -> という関数型データ構築子の誤記？
data ShowAny = forall a. Show a => SA a
みたいなデータ型を定義すると、この型を使って
heteroList :: [ShowAny]
heteroList = [SA 7, SA "Hello!", SA [1,2,3], SA ()]
みたいなリストを作って、
map show heteroList
メソッドディスパッチ的な多相みたいなことができるようになる。
forall を書くことでデータ型宣言の右側に量化を及ぼせるようになるのが
forall（とExistentialQuantification拡張）の意義だよ。
| - プログラミング言語 Rust
474 ：デフォルトの名無しさん[]：2015/10/30(金) 23:57:05.43 ID:FTBRryE0 - ランタイムを持たずに低水準を弄ろうというシステム向け言語で
デフォルトでグリーンスレッドをサポートとかそりゃ無理でしょ
ま、需要があればライブラリで提供されるだろうさ
|
|