haskell-ja > Archives > 2012/08/08
Built on
Chaton
Search
|
Badge
|
Tools
2012/07
2012/08
2012/08/01 (0)
2012/08/02 (0)
2012/08/03 (0)
2012/08/04 (0)
2012/08/05 (6)
2012/08/06 (0)
2012/08/07 (0)
2012/08/08 (3)
2012/08/09 (0)
2012/08/10 (0)
2012/08/11 (0)
2012/08/12 (2)
2012/08/13 (0)
2012/08/14 (0)
2012/08/15 (0)
2012/08/16 (0)
2012/08/17 (1)
2012/08/18 (0)
2012/08/19 (0)
2012/08/20 (0)
2012/08/21 (0)
2012/08/22 (0)
2012/08/23 (3)
2012/08/24 (2)
2012/08/25 (0)
2012/08/26 (0)
2012/08/27 (5)
2012/08/28 (0)
2012/08/29 (0)
2012/08/30 (0)
2012/08/31 (0)
2012/09
<< 2012/08/07
Back to the chat room
2012/08/09 >>
2012/08/08 00:28:06 UTC
sakai
#
「『型表現Type』および『動的な型の同値性検査tequal』を拡張してα→βという関数の型を含めよ」です。
#
Typeにデータ構築子を追加して関数型に対応させ、tequalもそれを扱えるよう変更せよ、ということ。
2012/08/08 01:22:01 UTC
cutsea110
#
なるほど。
<< 2012/08/07
Back to the chat room
2012/08/09 >>
haskell-ja > Archives > 2012/08/08haskell-ja > Archives > 2012/08/08