Lisp格式到C格式的轉換

• Lisp的函式呼叫格式為： (函式名 引數1 引數2 … 引數n)
• C的函式呼叫格式為：函式名(引數1, 引數2, …, 引數n)
• 現有五個整數的二元函式add、sub、mul、div、mod和一些使用這些函式的Lisp格式表示式，請實現一個程式轉換器，將這些Lisp格式表示式轉成C格式的表示式，如下表。
  

首先考慮的是，需要將操作符(add等)和運算元(1,2…)得到。
先把表示式兩端無用括號去掉，然後以空格分隔成陣列，並且記錄（和）的個數來判斷當前是否為一個完整的運算元（可能是單獨的一個數或一個完整的表示式如 ( add 1 1 )）。

def
 
 split_s(ss):
    pass
'''
add 1 1 => ["add", "1", "1"]
add ( add 1 1 ) ( sub 1 5 )  => ["add", "( add 1 1 )", "( sub 1 5 )"]
add ( add 1 1 ) ( sub 1 5 ) ( mul 1 2 3 )
=> ["add", "( add 1 1 )", "( sub 1 5 )", "( mul 1 5 )"]
'''

接下來只要遞迴處理獲得單個操作符和單個運算元即可。
沒錯就是遞迴。

# lisp 轉 c
def to_c(ss):
 

    pass
'''
add 1 2 => add(1,2)
add ( add 1 1 ) ( sub 1 5 )  => add(add(1,1),sub(1,5))
add ( sub 4 2 ) ( div 2 3 ) ( mul 10 1 ) ( add 1 1 2 ) 1 
=> add(sub(4,2),div(2,3),mul(10,1),add(1,1,2),1)
'''

Lisp格式表示式的型別檢測

• Lisp的函式呼叫格式為： (函式名 引數1 引數2 … 引數n)
• 現有兩個型別：整數int和布林型別bool，以及五個整數的二元函式add、sub、gt、lt、equ和三個布林值的函式and、or、not，其型別檢測規則如下：
  
• 請實現一個型別檢測器，並檢測這些Lisp格式表示式
  大致思路就是將“+-*”結果記為0，“/%”結果記為1，剩餘操作記為“T”表示bool型別。每次運算需先判斷是否型別匹配，且“/%”還需額外判斷除第一個數其餘數非0。判斷型別匹配用到了reduce處理。

這裡需要用到上述得到操作符和運算元的方法，然後將每個運算元做型別對映，比如可以把所有的int轉0，bool轉true等，然後依次累加啊處理啊，就可以了。注意的是還要關注除法和%操作第二個運算元不能為0，就搞定啦。可以考慮用py的map和reduce來簡化處理。

from functools import reduce


# 判斷是否為bool型別
def is_bool(ss):
    return ss in ["T", "F"]


# Lisp格式表示式的型別檢測
def check(ss):
    pass

Lisp格式表示式的計算

• Lisp的函式呼叫格式為： (函式名 引數1 引數2 … 引數n)
• 現有五個整數的二元函式add、sub、mul、div、mod，其語義計算規則如下
  
• 請實現一個計算器，計算這些Lisp格式表示式

做完型別檢測，處理計算就容易多了，沒什麼問題。

# 表示式計算，需先進行check()型別檢測
def cal(ss):
    pass
'''
( add 1 2 ) => 3
( add ( add 1 1 ) ( sub 1 5 ) ) => -2
( add ( sub 4 2 ) ( div 2 3 ) ( mul 10 1 ) ( add 1 1 2 ) 1 ) => 23
( add ( sub 4 2 ) ( div 2 3 ) ( mul 10 1 ) ( add 1 e 2 ) 1 ) => e
'''

思想都擺在上邊，最後實現的是支援多個引數的轉換器和計算器。
pass有需要的可以自己YY填空，渡過安全期再補上，渡劫渡劫… =。=