SECDマシン - QiitaSECDマシン SECDマシンã¨ã¯ã€é–¢æ•°åž‹è¨€èªžã®ã‚³ãƒ³ãƒ‘イラã®ã‚¿ãƒ¼ã‚²ãƒƒãƒˆï¼ˆç›®çš„機械）をæ„図ã—ã€å¾Œã«å¤§ããªå½±éŸ¿ã‚’与ãˆãŸæŠ½è±¡æ©Ÿæ¢°ã§ã‚る。SECD 㯠Stack（スタック）ã€Environment（環境）ã€Code（コード）ã€Dump（ダンプ）ã®ç•¥ã§ã‚ã‚Šã€ãã‚Œãžã‚Œä»®æƒ³æ©Ÿæ¢°ã«ã‚るレジスタã®å称ã¨ãªã£ã¦ã„ã‚‹ SECDマシンã§ç´”Lispを実装ã—ã¾ã™ 今回ã¯haskellã§æ›¸ãã¾ã™ã€ã‚„ã£ãŸã github Spec defã®ä»£ã‚ã‚Šã«let/letrecを使用 足ã—ç®—ã¨æ•°å€¤ãƒªãƒ†ãƒ©ãƒ«ã‚’è¿½åŠ Environmentã¯Mapã§å¤‰æ•°ç®¡ç† Internal 内部ã§å…±ç”¨ã™ã‚‹dataã‚„typeãªã© module SECD.Internal where import Prelude hiding (EQ) import qualified Data.Map as M import Data.List (intersper
netzhansa
In the SECD Machine how does "rap" work?
SECD Machine - RAP? | Lambda the Ultimate
サービス終了ã®ãŠçŸ¥ã‚‰ã›
secd machine simulator - Google 検索
https://www.google.co.jp/webhp?sourceid=chrome-instant&ion=1&espv=2&ie=UTF-8#q=c%2B%2B+stack+chunk
LispKit Lisp - Qiita
SECD Machine in Lisp - Let's write β
http://webdocs.cs.ualberta.ca/~you/courses/325/Mynotes/Fun/SECD-slides.html
{{#tags}}- {{label}}
{{/tags}}