haskell-ja > Archives > 2013/06/20
Built on
Chaton
Search
|
Badge
|
Tools
2013/05
2013/06
2013/06/01 (0)
2013/06/02 (111)
2013/06/03 (15)
2013/06/04 (4)
2013/06/05 (9)
2013/06/06 (4)
2013/06/07 (0)
2013/06/08 (0)
2013/06/09 (0)
2013/06/10 (0)
2013/06/11 (43)
2013/06/12 (2)
2013/06/13 (61)
2013/06/14 (0)
2013/06/15 (0)
2013/06/16 (0)
2013/06/17 (0)
2013/06/18 (0)
2013/06/19 (15)
2013/06/20 (3)
2013/06/21 (0)
2013/06/22 (0)
2013/06/23 (0)
2013/06/24 (0)
2013/06/25 (12)
2013/06/26 (0)
2013/06/27 (3)
2013/06/28 (0)
2013/06/29 (0)
2013/06/30 (0)
2013/07
<< 2013/06/19
Back to the chat room
2013/06/21 >>
2013/06/20 00:51:16 UTC
cutsea110
#
すくなくともcdrの型情報としてEmptyかNonEmptyかが得られないとダメってのはそうですね。
#
Empty/NonEmptyに対応する情報をNatで持っていればさらにcdrを取らずとも分かるのでずっとスマートにはなるんだけど
#
今FOPのPhantom Typeの章を読めばもう少し何をしているか分かるかも知れない
<< 2013/06/19
Back to the chat room
2013/06/21 >>
haskell-ja > Archives > 2013/06/20