1 0!? Q.? A. Q. B. Q.? A.! 2 10 6 Scheme 80! λ 81!? λ ( ) 82!? λ ( ) 83!? λ 4 3! λ
0 1 1 @master q 3 1.1.......................................... 3 1.2....................................... 4 1.3............................................ 6 1.4 : POSIX........................... 8 1.5.......................................... 14 1.6 :.......................... 16 1.7.......................................... 25 1.8 :......................... 28 1.9......................................... 43 1.10....................................... 43 1.11.......................................... 44 2 jhc @master q 45 2.1 jhc..................................... 45 2.2.......................................... 46 3 @nushio 47 3.1............................................ 48 3.2..................................... 49 3.3.......................................... 56 3.4........................................ 58 4 @dif engine 71 4.1......................................... 71 4.2..................................... 74 4.3.......................................... 81 4.4............................................. 88 4.5.......................................... 94 4.6............................... 96 4.7................................... 106 4.8....................................... 111 4.9............................................. 116 4.10......................................... 118
5? @ark golgo 123 5.1......................................... 123 5.2................................... 124 5.3.......................... 126 5.4................................. 126 5.5 Df-pn............................................ 127 5.6............................................ 128 5.7 Df-pn........................................ 130 5.8.......................................... 132 5.9......................................... 132 5.10.......................................... 132 6 @xhl kogitsune 133 6.1....................................... 133 6.2................................. 134 6.3 Bottom-Up.................................... 136 6.4 LR........................................ 140 7 HaskEll Shaddai @fumieval 153 7.1 Lens............................................. 156 7.2 Traversal........................................... 159 7.3 Iso Prism......................................... 160 7.4 Real World Lens...................................... 162 7.5............................................ 164? 166
3 1 @master q 1.1 2013 Web UI Web! /! CPU POSIX API!!!
4 1 1.2 Web 100 UML Web kernel UNIX kernel / kernel 10 ( ) kernel *1 OCaml kernel kernel kernel *2 UNIX kernel kernel kernel UNIX kernel POSIX *3 kernel *1 Haskell/OCaml OS http://metasepi.org/posts/2012-08-18-haskell-or-ocaml-os.html *2 http://www.multibintang.co.id/ *3 : Copilot http://www.paraiso-lang.org/ikmsm/books/c81.html
1.2 5 kernel kernel *4 20 POSIX POSIX API kernel kernel ( 1.1 ) POSIX GCC Firefox Web 1.1: POSIX API OS kernel kernel POSIX *5 C kernel ( 1.2 ) 1.2: : kernel *4 http://www.amazon.co.jp/dp/4822247570 *5 http://en.wikipedia.org/wiki/snatcher
6 1 POSIX OCaml UNIX kernel 1.3!! *6 *6 http://www.amazon.co.jp/dp/4894712741
47 3 @nushio lens Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire Web https://github.com/nushio3/ lens lens lens
3.2 53 3 b B A B B h A B h Nil = b (1) h(cons(a,as)) = a (h as) foldr h = ( b, ) (2) length = ( 0, ) where a n = 1 + n filter p = ( Nil, ) where a as p a = Cons(a,as) p a = as EMACS Haskell cata length filter!!
71 4 @dif engine Haskell Haskell Haskell 4.1 4.1.1 Haskell
106 4 (K5) (M5) (M1)-(M5) (K1)-(K5) (M1)-(M5) (K1)-(K5) 4.6.7 Kleisli M C M Kleisli X C X Ob(C) f : X Y f : X M(Y ) X id X η X : X M(X) f : X Y g: Y Z g f µ Z M A (g) f X Y hom Hom(X, Y ) Hom ( X, M(Y ) ) 4.4: C M Kleisli C Haskell Hask M X M(Y ) * 10 4.7 4.7.1 *10 Haskell
123 第5章 λカ娘探索? @ark golgo 5.1 プロローグ 図 5.1: λカ娘三連敗! あううう また負けたでゲソ これで儂の 3 連勝 やはり置石が足らんかな そ そんなことないでゲソ 4 子も置いて負けたのはたまたまでゲソ! 次は勝つでゲソ!! まあその意気込みだけは買ってやるがな λカ娘は最近ある老人と囲碁を打つようになった (図 5.1) 囲碁に自信があったλカ娘である が この老人には 4 子のハンデ (段級位にして 4 段級差に相当) を付けてもらってもまるで勝てな かった あううう ああは言ったものの そう簡単に勝てる相手ではないことは良くわかるでゲソ 囲碁 はそう簡単に強くなれるゲームでは無いでゲソ 私も囲碁歴は 10 年近くて アマ三段はあると思 うでゲソが あの老人は何者でゲソか 特に読みの力が全然違うでゲソ うーん 仕方な いでゲソ こうなったら 自分で囲碁の探索プログラムを作ってそれを使ってカンニングする でゲソ! そう考えたλカ娘は 早速図書館で囲碁の探索に関する論文を探し始めた しばらくして 証明
133 6 @xhl kogitsune LLVM *1 ( ) *2 ( )! (4) : : : 6.1????!?! LR!? LR(k)! *1, ( ), ( ): 3 LLVM, MotiPizza (2012). http://motipizza.com/catalog/c82 http://d.hatena.ne.jp/motipizza/20120724 http://d.hatena.ne.jp/sabottenda/20120728 *2 http://motipizza.com/member
155 7 HaskEll Shaddai @fumieval import Control.Lens data Person = Person { _name :: String, _self :: Object, _endurance :: Int, _equipment :: Equipment } data Object = Object { _position :: Vector3, _velocity :: Vector3 } data Equipment = Equipment { _sword :: Object, _body :: ArmorType } data Vector3 = Vector3 { _x :: Float, _y :: Float, _z :: Float } makelenses Person makelenses Object makelenses Equipment makelenses Vector3
156 7 HaskEll Shaddai do zoom (equipment. sword) $ do velocity. x += 5 v <- use velocity position %= addv3 v self. velocity. z += 3 7.1 Lens import Control.Applicative type LensLike f s a = (a -> f a) -> s -> f s lens :: Functor f => (s -> a) -> (s -> a -> s) -> LensLike f s a lens getter setter f s = fmap (setter s) (f (getter s)) _1 :: Functor f => LensLike f (a, b) a _1 f (a, b) = fmap (\a -> (a, b)) (f a) contains :: (Ord a, Functor f) => a -> LensLike f (Set.Set a) Bool contains a f s = fmap (\b -> if b then Set.insert a s else Set.delete a s) $ f (Set.elem a s) Lens LensLike f s a s a a s Lens type Getting r s a = LensLike (Const r) s a type Getter s a = Getting a s a -- (a -> Const a a) -> s -> Const a s view :: Getter s a -> s -> a view g = getconst. g Const Getter Const a s s a Lens Const Const a