SECDマシン - Qiita
SECDマシン 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
LispKit Lisp - Qiita
LispKit Lisp を Gauche で書いてみました． LispKit Lisp は SECD 機械という仮想機械をターゲットにした小さな Lisp 処理系です．LispKit Lisp と SECD 機械については以下の本に解説があります． Functional Programming Application and Implementation, Peter Henderson, （邦訳：関数型プログラミング） コンピュータサイエンス入門〈1〉アルゴリズムとプログラミング言語 , 大堀 淳，ジャック ガリグ，西村 進 SECD マシン, Wikipedia LispKit Lisp http://www.principia-m.com/ts/0117/index-jp.html LispKit Lisp 2 - SECD 機械 in C http://www.principia
SECD Machine in Lisp - Let's write β
;; List Utilities (defun head (lst) (car lst)) (defun tail (list) (cdr list)) ;; Lambda Expression (defun lam-expr (var body) `(lambda ,var ,body)) (defun is-lambda (list) (and (listp list) (eql 'lambda (car list)))) (defun bv (lam) (cadr lam)) (defun body (lam) (caddr lam)) ;; Closure (defun clos (e x) `(clos ,e ,x)) (defun is-closure (list) (and (listp list) (eql 'clos (car list)))) (defun envir
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
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
http://webdocs.cs.ualberta.ca/~you/courses/325/Mynotes/Fun/SECD-slides.html
