上海茶芯科技 -
TVM虛擬機
技術核心優勢：
TVM 引擎支持 Lisp、JavaScript、Python、Ruby、Lua、Pascal、Basic 等多種語法。
TVM 超微型內核引擎(不足500kb)，擁有幾百個實用函數。 內核模塊非常緊湊，所需系統資源很
小，因此與其他語言相比加載執行起來更加快速。
TVM 建立在通用的UNIX系統的C語言庫函數基礎上， 可以運行在各種操作系統平台，如
Windows，
軟件開發
,
虛擬機
,
編程語言
上海茶芯科技 -
TeaScript IDE集成開發環境
1.TeaScriptIDE的主要組成部分和功能為：
①代碼編輯器：代碼編輯，語法着色，改善其可讀性。
②代碼調試器：在輸出窗口顯示代碼運行結果。
③相關幫助：提供 TeaScript 內建函數的詳細信息。
④打包功能：可將編譯後的 TeaScript 文件打包成單個可執行文件。
⑤保存和恢復：可保存和恢復 TeaScript 最近打開的文件。
2.TeaScript
軟件開發
,
編程語言
,
ide
上海茶芯科技 -
用户定義函數—λ 演算
λ 演算(lambda calculus)是一套用於研究函數定義、函數應用和遞歸的形式系統。 它
由阿隆佐·邱奇(Alonzo Church，1903年6月14日－1995年8月11日)和他的學生在20世
紀30年代引入。 邱奇運用λ演算在1936年給出判定性問題(Entscheidungsproblem)的
一個否定的答案。 這種演算可以用來清晰地定義什麼是一個可計算函數。 L
函數
,
編輯器
,
知識
