haskell-ja > Archives

2015/07/21 05:36:27 UTC[1..100]>>=pen

近づいたので再掲。7月22日（水）「第2期第17回 H本読書会 in 秋葉原」 #readhbon https://readhbon.doorkeeper.jp/events/28154/

2015/07/21 05:40:53 UTC[1..100]>>=pen

7月25日（土）徳島「Haskellもくもく会in徳島」 #hasmoku http://connpass.com/event/17927/ 東京と同時開催ですね。

2015/07/21 05:41:49 UTCigrep

お、みなさんには当日まで内緒にしようと思っていたのに...。まぁいいか。

2015/07/21 05:47:46 UTC[1..100]>>=pen

おっと、そうでしたか。でも見つけてしまったからには書かずにはいられません。

2015/07/21 05:48:32 UTCigrep

大丈夫です。そもそもイベントページを作るとさえ思っていなかったのでw

2015/07/21 11:05:37 UTCrahAloe

一体なにがしたいのよ。

2015/07/21 11:13:20 UTCrahAloe

まだ会話にならない

2015/07/21 15:08:06 UTCsakai

エラーをちゃんと見ていないですが、このインスタンス宣言は、head部分に現れない変数n3をcontextで言及している時点で無理筋で、関数従属性や型族を使って、n1とn2からn3が決まるようにする必要がある気がします。

haskell-ja > Archives > 2015/07/21