2007-02-04から1日間の記事一覧
ググっていたら見つけたエントリ「GHCは気色悪い」について. これは GHC が気色悪いのではなくて,seq が気色悪いのではないかと. seq があると,パラメトリシティを維持するためには論理関係 R が admissibile(連続かつ正格)なだけでは不十分で bottom-…
ググっていたら見つけたエントリ「GHCは気色悪い」について. これは GHC が気色悪いのではなくて,seq が気色悪いのではないかと. seq があると,パラメトリシティを維持するためには論理関係 R が admissibile(連続かつ正格)なだけでは不十分で bottom-…