hakstagsでググって昔自分が書いたページが引っかかた…orz #readghc アルゴリズム勉強会 http://t.co/UKHVMC3s
2012-02-11 16:59:06TypeChecker 周りを知るのに重要な論文 1. "Modular type inference with local assumptions: OutsideIn(X)" http://t.co/fPpSc3xw #readghc
2012-02-11 16:59:512. "Giving Haskell a promotion" 3. "Generative Type Abstraction and Type-level Computation" http://t.co/9n6NLELJ #readghc
2012-02-11 17:01:36"Generative Type Abstraction and Type-level Computation" は、現在未解決の newtype deriving と型族(関連型)の問題を解決する方法について提案している論文です。 #readghc
2012-02-11 17:03:05master_q「お前たちが発表する意志を見せなければ、俺はこの勉強会を開催しないだけだ!!」 #readghc アルゴリズム勉強会 http://t.co/UKHVMC3s
2012-02-11 17:06:20RT @oskimura: パーサは誰も興味なかった! #readghc アルゴリズム勉強会 http://t.co/UKHVMC3s
2012-02-11 17:17:47RT @ruicc: mk/build.mk.sample参考にBuildFlavor=quickとかするとghcコンパイル速いらし #readghc
2012-02-11 17:19:57こんなだからパーサーが改善されないんだ!とか何とか RT @oskimura: パーサは誰も興味なかった! #readghc アルゴリズム勉強会 http://t.co/1ocUJTa9
2012-02-11 17:25:20RT @khibino: http://t.co/igNOYj7s 以下にモジュールや型のドキュメントが結構あるように見える。読み始めのとっかかりに良さそうです #readghc
2012-02-11 17:45:15