HaskellとScalaの型システムとforall (2ページ目)

@kmizu @halcat0x15a @nagise @xuwei_k @yuroyoro forall というキーワードを PolymorphicComponents や Rank2Types などの言語拡張に使える処理系がいくつか存在していて、

2013-09-12 20:36:01

病気の美少女 @lyrical_logical

そも Haskell 2010 て explicit に forall 書けるの

2013-09-12 20:38:13

shelarcy（しぇらーしぃ） @shelarcy

@kmizu @halcat0x15a @nagise @xuwei_k @yuroyoro ランク2に留まらずにランク3以上のランクN多相（RankNTypes）を言語拡張として提供したり、非叙述的多相まで提供していたりするのが GHC という感じです。

2013-09-12 20:40:39

shelarcy（しぇらーしぃ） @shelarcy

2013-09-12 20:41:57

ねこはる @halcat0x15a

@shelarcy @kmizu @nagise @xuwei_k @yuroyoro haskellとしてはまだforallを使えないのですね。ありがとうございます。

2013-09-12 20:47:37

Kenji Yoshida @xuwei_k

https://t.co/EFHSlA8bzp "非叙述的多相"ってなんだよ聞いたこと無い→英語でimpredicativeって言うのか→Scalaでできるのかぐぐってみる→shapelessでの例が1年以上前にすでにあった→よくわからないけどshapelessすごい(ｲﾏｺｺ

2013-09-12 20:48:12

Kenji Yoshida @xuwei_k

https://t.co/JP95La0NtJ shapeless の impredicative type の例のURL貼るの忘れた

2013-09-12 20:48:54

shelarcy（しぇらーしぃ） @shelarcy

まだです。Haskell 2014 で書けるようになる予定（今年こそ策定されれば）です。 QT @lyrical_logical: そも Haskell 2010 て explicit に forall 書けるの

2013-09-12 20:51:48

shelarcy（しぇらーしぃ） @shelarcy

あっ……現在の GHC 7.6.x の(7.4.x も) 非叙述的多相は、Boxy Types ではなく QML に近い感じだそうです。（さっきのドキュメントの記述は古いままですが……） http://t.co/Jy2R379PaD http://t.co/plo9xuvZxg

2013-09-12 21:10:30