PHOAS - Parametric Higher Order Abstract Syntax - ã‚’ Haskell㧠- keigoiã®æ—¥è¨˜å½“該タイトルã®è«–文㯠http://dx.doi.org/10.1145/1411203.1411226 è«–æ–‡ã§ã¯ Coqã§æ›¸ã„ã¦ã‚ã‚‹ãŒã€åŒã˜ã“ã¨ãŒ Haskell (+GADT) ã§ã‚‚ã§ãるよã†ã§ã€Haskell-cafe ã«æŠ•ç¨¿ã•ã‚Œã¦ã„ãŸï¼š http://www.mail-archive.com/[email protected]/msg48913.html HOASã¨ã¯ http://en.wikipedia.org/wiki/Higher-order_abstract_syntax コンパイラやインタプリタç‰ã§(?)〠ターゲット言語ã®Î»å¼ã‚„letæ–‡ã¿ãŸã„㪠変数æŸç¸›ã‚’ ホスト言語ã®Î»å¼ã§è¡¨ç¾ã—ã¦ã‚„ã‚ã†ãœã¨ã„ã†ãŠè©± 変数ã®ç®¡ç†ã‚’ã—ãªãã¦ã‚ˆã„ã®ãŒæ¥½ã€‚ ã‚㨠domain specific language ã®å¤‰æ•°æŸç¸›ã‚’ãŠæ‰‹è»½ã«å®Ÿè£…ã—ãŸã‚Š PHOASã¨ã¯ HOASã 㨠λ
Haskell+GADTã§å®šç†è¨¼æ˜Ž ãã®1: 型レベル自然数ã®ç‰ä¾¡æ€§ - keigoiã®æ—¥è¨˜
{{#tags}}- {{label}}
{{/tags}}