PLAI_Chapter3:A First Look at Interpretation

Let’s write an evaluator, in the form of an interpreter, for our arithmetic language.

數(shù)據(jù)類型和parser都和上一篇的一樣豌骏,interp還是naive形態(tài)的垢啼。。测摔。


#lang plai-typed

(define-type ArithC
  [numC (n : number)]
  [plusC (l : ArithC) (r : ArithC)]
  [multC (l : ArithC) (r : ArithC)])

(define (parse [s : s-expression]) : ArithC
  (cond
    [(s-exp-number? s) (numC (s-exp->number s))]
    [(s-exp-list? s)
     (let ([sl (s-exp->list s)])
       (case (s-exp->symbol (first sl))
         [(+) (plusC (parse (second sl)) (parse (third sl)))]
         [(*) (multC (parse (second sl)) (parse (third sl)))]
         [else (error 'parse "invalid list input")]))]
    [else (error 'parse "invalid input")]))

(define (interp [a : ArithC]) : number
  (type-case ArithC a
    [numC (n) n]
    [plusC (l r) (+ (interp l) (interp r))]
    [multC (l r) (* (interp l) (interp r))]))

(define (driver [s : s-expression]) : number  
  (interp (parse s)))

(driver '(+ 1 1))
最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
  • 序言:七十年代末托呕,一起剝皮案震驚了整個濱河市差牛,隨后出現(xiàn)的幾起案子钦讳,更是在濱河造成了極大的恐慌鞭执,老刑警劉巖,帶你破解...
    沈念sama閱讀 216,843評論 6 502
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件嗅绰,死亡現(xiàn)場離奇詭異超棺,居然都是意外死亡向族,警方通過查閱死者的電腦和手機,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 92,538評論 3 392
  • 文/潘曉璐 我一進店門棠绘,熙熙樓的掌柜王于貴愁眉苦臉地迎上來件相,“玉大人,你說我怎么就攤上這事氧苍∫勾#” “怎么了?”我有些...
    開封第一講書人閱讀 163,187評論 0 353
  • 文/不壞的土叔 我叫張陵让虐,是天一觀的道長紊撕。 經(jīng)常有香客問我,道長赡突,這世上最難降的妖魔是什么对扶? 我笑而不...
    開封第一講書人閱讀 58,264評論 1 292
  • 正文 為了忘掉前任,我火速辦了婚禮惭缰,結(jié)果婚禮上浪南,老公的妹妹穿的比我還像新娘。我一直安慰自己漱受,他們只是感情好络凿,可當我...
    茶點故事閱讀 67,289評論 6 390
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著,像睡著了一般喷众。 火紅的嫁衣襯著肌膚如雪各谚。 梳的紋絲不亂的頭發(fā)上,一...
    開封第一講書人閱讀 51,231評論 1 299
  • 那天到千,我揣著相機與錄音昌渤,去河邊找鬼。 笑死憔四,一個胖子當著我的面吹牛膀息,可吹牛的內(nèi)容都是我干的。 我是一名探鬼主播了赵,決...
    沈念sama閱讀 40,116評論 3 418
  • 文/蒼蘭香墨 我猛地睜開眼潜支,長吁一口氣:“原來是場噩夢啊……” “哼!你這毒婦竟也來了柿汛?” 一聲冷哼從身側(cè)響起冗酿,我...
    開封第一講書人閱讀 38,945評論 0 275
  • 序言:老撾萬榮一對情侶失蹤,失蹤者是張志新(化名)和其女友劉穎络断,沒想到半個月后裁替,有當?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 45,367評論 1 313
  • 正文 獨居荒郊野嶺守林人離奇死亡貌笨,尸身上長有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點故事閱讀 37,581評論 2 333
  • 正文 我和宋清朗相戀三年弱判,在試婚紗的時候發(fā)現(xiàn)自己被綠了。 大學時的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片锥惋。...
    茶點故事閱讀 39,754評論 1 348
  • 序言:一個原本活蹦亂跳的男人離奇死亡昌腰,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出膀跌,到底是詐尸還是另有隱情遭商,我是刑警寧澤,帶...
    沈念sama閱讀 35,458評論 5 344
  • 正文 年R本政府宣布淹父,位于F島的核電站株婴,受9級特大地震影響怎虫,放射性物質(zhì)發(fā)生泄漏暑认。R本人自食惡果不足惜,卻給世界環(huán)境...
    茶點故事閱讀 41,068評論 3 327
  • 文/蒙蒙 一大审、第九天 我趴在偏房一處隱蔽的房頂上張望蘸际。 院中可真熱鬧,春花似錦徒扶、人聲如沸粮彤。這莊子的主人今日做“春日...
    開封第一講書人閱讀 31,692評論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽导坟。三九已至屿良,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間惫周,已是汗流浹背尘惧。 一陣腳步聲響...
    開封第一講書人閱讀 32,842評論 1 269
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機就差點兒被人妖公主榨干…… 1. 我叫王不留递递,地道東北人喷橙。 一個月前我還...
    沈念sama閱讀 47,797評論 2 369
  • 正文 我出身青樓,卻偏偏與公主長得像登舞,于是被迫代替她去往敵國和親贰逾。 傳聞我的和親對象是個殘疾皇子,可洞房花燭夜當晚...
    茶點故事閱讀 44,654評論 2 354

推薦閱讀更多精彩內(nèi)容