Haskellers Meeting 2010 Spring で発表したスライドを以下のように公開しました。 もう1つの外界との対話の表現 Another Expression for Interaction with Outside World プログラムコードについてはSanta Claus problem - HaHaHa!をどうぞ

{-# LANGUAGE TypeOperators #-} import Data.List import Data.Pseudo (Pseudo, (:->),randomDelayList,merger,probe,embedPseudo) data Colleague = Elf Int | Reindeer Int deriving (Eq,Show) elf :: Int -> [Colleague] -> [Colleague] elf n (x:xs) = …

読むかなぁ Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)作者: B. Jacobs出版社/メーカー: Elsevier Science発売日: 2001/07/01メディア: ハードカバー購入: 2人 クリック: 86回この商品を含むブ…

関数の型構成子とKleisliトリプル以外にArrowのインスタンスで一般的なものって？

和訳抜きで英語は教えられるかを読んでふと思った。