GADTs使ã£ã¦ã¿ãŸ - Faith and Brave - C++ã§éŠã¼ã†ã“ã®ã‚¨ãƒ³ãƒˆãƒªã¯ã€Haskell Advent Calendar 2011ã®å‚åŠ è¨˜äº‹ã§ã™ã€‚ 今回ã¯ã€Haskellã®GHCæ‹¡å¼µã§ã‚ã‚‹GADTs(Generalized Algebraic Data Types : 一般化代数データ型)を調ã¹ã¦ä½¿ã£ã¦ã¿ãŸã¨ã„ã†å†…容を書ã„ã¦ã¿ã¾ã—ãŸã€‚ 最åˆã«ã€GADTsã¯GHCæ‹¡å¼µãªã®ã§ã€ä½¿ç”¨ã™ã‚‹ã«ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«ã—ã¦æ‹¡å¼µã‚’有効ã«ã™ã‚‹å¿…è¦ãŒã‚ã‚Šã¾ã™ï¼š {-#LANGUAGE GADTs #-} ã¾ãšã¯æ§‹æ–‡çš„ãªé•ã„ã‚’ã€Maybeを例ã«ã—ã¦è¦‹ã¦ã¿ã¾ã—ょã†ã€‚ 通常ã®ä»£æ•°ãƒ‡ãƒ¼ã‚¿åž‹ã§ã¯ã€Maybeã¯ä»¥ä¸‹ã®ã‚ˆã†ã«æ›¸ãã¾ã™ï¼š data Maybe a = Nothing | Just a GADTsã§ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«æ›¸ãã¾ã™ï¼š data Maybe a where Nothing :: Maybe a Just :: a -> Maybe a 通常ã®ä»£æ•°ãƒ‡ãƒ¼ã‚¿åž‹ã§ã¯ã€ãƒ‡ãƒ¼ã‚¿ã‚³ãƒ³ã‚¹
Haskellã®è¬›ç¾©ã«é–¢ã™ã‚‹Q&A - ã‚ã©ã‘ãªã„話
経験15å¹´ã®OCaml ユーザー㌠Haskell を仕事ã§åŠå¹´ä½¿ã£ã¦ã¿ãŸ - camlspotter’s blog
Arrowã«ã‚ˆã‚‹Haskellプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®åŸºç¤Žã€‚…パイプ感覚ã§é †æ¬¡/分å²/繰返㗠- よãã‚ã‹ã‚Šã¾ã›ã‚“
ãƒãƒªãƒ¢ãƒ«ãƒ•ã‚£ã‚ºãƒ ï¼ãƒãƒªãƒ¢ãƒ¼ãƒ•ã‚£ã‚ºãƒ 
Scala Implicits: 型クラスã€è¥²æ¥ · eed3si9n
The Typeclassopediaを訳ã—ã¾ã—ãŸ, The Typeclassopedia - #3(2009-10-20)
関数型言語ã§ã®ãƒ‡ã‚¶ã‚¤ãƒ³æ‰‹æ³•
Lazy I/O must go! - Iteratee: 列挙ベースã®I/O - 純粋関数型雑記帳
途ä¸è„±å‡ºã®ã‚ã‚‹å復計算 - HaHaHa!
ã‚ã©ã‘ãªã„話
é…延評価ã¨IO - ã‚ã©ã‘ãªã„話
All About Monads モナドã®ã™ã¹ã¦
The Haskell 98 Language Report
jQueryã¯æœ¬å½“ã«ãƒ¢ãƒŠãƒ‰ã ã£ãŸ - Pixel Pedals of Tomakomai
本物ã®ãƒ—ãƒã‚°ãƒ©ãƒžã¯Haskellを使ã†ï¼šITpro
プãƒã‚°ãƒ©ãƒžãƒ¼ãŒè¦šãˆã¦ãŠãã¹ã10ã®è‹±èªžãƒ•ãƒ¬ãƒ¼ã‚º - ã“ã®ãƒ–ãƒã‚°ã¯è¨¼æ˜Žã§ããªã„。
自由ã«åƒã‘る新宿ã®ãƒãƒ£ãƒƒãƒˆãƒ¬ãƒ‡ã‚£æ±‚人ã¯å¤§å¦ç”Ÿã«ã‚‚ãŠã™ã™ã‚
{{#tags}}- {{label}}
{{/tags}}