"all types will be promotable to kinds" の all typesてどの範囲だろう、GADTsも持ち上げられるとしたら型クラス制約とか入るんだけど、とか思ってたらtype familiesまで含まれると書いてあったし型クラス制約も全部持ち上げられるぽいな - ruicc のブックマーク / はてなブックマーク

"all types will be promotable to kinds" の all typesてどの範囲だろう、GADTsも持ち上げられるとしたら型クラス制約とか入るんだけど、とか思ってたらtype familiesまで含まれると書いてあったし型クラス制約も全部持ち上げられるぽいな

ruicc のブックマーク 2014/07/05 17:19

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/200984150/comment/ruicc" data-user-id="ruicc" data-entry-url="https://b.hatena.ne.jp/entry/s/gitlab.haskell.org/ghc/ghc/-/wikis/status/ghc-7.10.1" data-original-href="https://gitlab.haskell.org/ghc/ghc/-/wikis/status/ghc-7.10.1" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgitlab.haskell.org%2Fghc%2Fghc%2F-%2Fwikis%2Fstatus%2Fghc-7.10.1" data-user-icon="/users/ruicc/profile.png">ghc 7.10.1 · Wiki · Glasgow Haskell Compiler / GHC · GitLab</a><br><p style="clear: left">&quot;all types will be promotable to kinds&quot; の all typesてどの範囲だろう、GADTsも持ち上げられるとしたら型クラス制約とか入るんだけど、とか思ってたらtype familiesまで含まれると書いてあったし型クラス制約も全部持ち上げられるぽいな</p><a class="datetime" href="https://b.hatena.ne.jp/ruicc/20140705#bookmark-200984150"><span class="datetime-body">2014/07/05 17:19</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

ghc 7.10.1 · Wiki · Glasgow Haskell Compiler / GHC · GitLab

gitlab.haskell.org2014/06/24

The Glorious Glasgow Haskell Compiler.

8 人がブックマーク・2 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

設定を変更しましたx