C Style Haskell
The other day I found this blog post on using GADTs to write more usable C style Haskell with effects, references and loops.  I couldn't get the example to typecheck without unsafe code, so I decided to write my own version.  I wanted the behavior of expressions and operators to be similar to that of C.  This is what I came up with: swap(r1, r2) = function $ do { z <- auto undefined; z =: r1; r1 =
型クラス㧠tagless DSL メタプãƒã‚°ãƒ©ãƒŸãƒ³ã‚° - keigoiã®æ—¥è¨˜
ã“れ㯠Haskell Advent Calendar 2011 ã®5日目ã®è¨˜äº‹ã§ã™ã€‚ 去年も書ãã¾ã—ãŸãŒã€ãã®è¨˜äº‹ã¯ã“ã¡ã‚‰ → Haskell厨を6å¹´ã‚„ã£ã¦ã‚‹ä¿ºãŒOCamlを仕事ã§2ヶ月使ã£ã¦ã¿ãŸ - keigoiã®æ—¥è¨˜ 先日ã®è¨˜äº‹ Haskell＋タグレスãªåž‹ä»˜ãDSLã§æ¥½ã€…ï¼Cè¨€èªžã‚³ãƒ¼ãƒ‰ç”Ÿæˆ - keigoiã®æ—¥è¨˜ ã‚’ã¡ã‚‡ã£ã¨ãƒ–ラッシュアップã—ãŸã€‚å‰å›žã¯ã‚³ãƒ¼ãƒ‰ã«ã¤ã„ã¦ã¯å…¨ã説明ã—ãªã‹ã£ãŸã®ã§ã€æ”¹ã‚ã¦è§£èª¬ã™ã‚‹ã€‚ ãŠã•ã‚‰ã„ Haskellã‚„OCamlãªã©ã®é–¢æ•°åž‹è¨€èªžã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å‡¦ç† ― 構文解æžã¨ã‚³ãƒ¼ãƒ‰ç”Ÿæˆ ― ãŒã¨ã¦ã‚‚å¾—æ„ã 。 大手ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ä¼æ¥ã¨ã—ã¦çŸ¥ã‚‰ã‚Œã‚‹ NTTデータも既å˜ã‚³ãƒ¼ãƒ‰ã®å‡¦ç† (構文解æžã€œãƒªãƒãƒ¼ã‚¹ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãƒªãƒ³ã‚°) ã®ãŸã‚ã« Haskell を使ã£ã¦ã„ã‚‹ãã†ã 。 (函数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®é›†ã„2011より。インドã«å¤–注ã™ã‚‹éƒ¨åˆ†ã‚‚ã‚ã‚‹ãㆠtogetter 1
Haskell＋タグレスãªåž‹ä»˜ãDSLã§æ¥½ã€…ï¼Cè¨€èªžã‚³ãƒ¼ãƒ‰ç”Ÿæˆ - keigoiã®æ—¥è¨˜
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨ã‚³ãƒ¼ãƒ‰ç”Ÿæˆ Haskellã‚„OCamlãªã©ã¯ã‚³ãƒ³ãƒ‘イラãªã©ã®è¨€èªžå‡¦ç†ç³»ã®å®Ÿè£…ã‚’å¾—æ„ã¨ã—ã¦ã„る。ã•ã™ãŒã«æ—¥å¸¸çš„ã«ã‚³ãƒ³ãƒ‘イラを実装ã—ã¦ã„る人ã¯ãã†å¤šããªã„ã¨æ€ã†ã‘ã©ã€ä¾‹ãˆã°ã‚³ãƒ¼ãƒ‰è‡ªå‹•ç”Ÿæˆã¯ã™ã試ã›ã‚‹å‰²ã«åŠ¹ãç›®ãŒå¤§ããã€ä»•äº‹ã‚’効率化ã™ã‚‹æ–¹æ³•ã¨ã—ã¦ãœã²è©¦ã—ã¦ã¿ãŸã„é¸æŠžè‚¢ã 。 今回ã¯ã€Haskellã®è¨€èªžå†…DSLã‹ã‚‰C言語ã®ã‚³ãƒ¼ãƒ‰ã‚’生æˆã™ã‚‹æ–¹æ³•ï¼ˆã®ä¸€ã¤ï¼‰ã‚’ç°¡å˜ã«ç´¹ä»‹ã™ã‚‹ã€‚ ã“ã®æ–¹æ³•ã§ã€Haskell上ã®EDSLを使ã£ã¦ (1) C言語ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’生æˆã§ã〠(2) Haskellã®å¼ã¨ã—ã¦è©•ä¾¡ã§ãる。 ã“ã®ã‚ˆã†ã«ã€ã‚ã–ã‚ã–パーサを書ã‹ãªãã¦ã‚‚ã€ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã‚’é©å½“ã«ä½œã‚Œã°ã™ãã«DSLを作ã£ã¦ã—ã¾ãˆã‚‹ã®ã‚‚ã€é–¢æ•°åž‹è¨€èªžã®é…力ã‹ã‚‚ã—ã‚Œãªã„。 taglessãªæ–¹æ³• ãŸã ã—ã€ã¡ã‚‡ã£ã¨ä»–ã¨é•ã†æ–¹æ³•ã‚’試ã™ã€‚ Olegã•ã‚“ã®ã‚µã‚¤ãƒˆã«Typed Tagless Interpretation
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
c-dsl
{{#tags}}- {{label}}
{{/tags}}