型系統(tǒng)詳解：dims、pmat、pvec等內(nèi)建類(lèi)型與強(qiáng)制靜態(tài)類(lèi)型機(jī)制)
prometeo類(lèi)型系統(tǒng)詳解dims、pmat、pvec等內(nèi)建類(lèi)型與強(qiáng)制靜態(tài)類(lèi)型機(jī)制【免費(fèi)下載鏈接】prometeoAn experimental Python-to-C transpiler and domain specific language for embedded high-performance computing項(xiàng)目地址: https://gitcode.com/gh_mirrors/pr/prometeoprometeo 是一個(gè)面向嵌入式高性能計(jì)算embedded high-performance computing的實(shí)驗(yàn)性Python 轉(zhuǎn) C 編譯器與領(lǐng)域?qū)Ｓ谜Z(yǔ)言DSL你可以用接近純 Python 的語(yǔ)法編寫(xiě)科學(xué)計(jì)算程序再由它生成可直接部署到嵌入式設(shè)備的自包含 C 代碼。而這一切的基石正是 prometeo 的類(lèi)型系統(tǒng)——它利用 Python 原生類(lèi)型注解強(qiáng)制實(shí)施靜態(tài)類(lèi)型并提供了dims、pmat、pvec、plist等專(zhuān)為數(shù)值計(jì)算與內(nèi)存可控而設(shè)計(jì)的內(nèi)建類(lèi)型。本文將從零開(kāi)始為你逐層拆解 prometeo 類(lèi)型系統(tǒng)的設(shè)計(jì)、用法與底層機(jī)制幫助新手快速理解“為什么 prometeo 敢保證性能與內(nèi)存確定性”。prometeo 是什么為什么類(lèi)型系統(tǒng)如此關(guān)鍵prometeo 的目標(biāo)很簡(jiǎn)單讓高性能計(jì)算代碼“寫(xiě)起來(lái)像 Python跑起來(lái)像 C”。為了做到這一點(diǎn)編譯器必須在編譯期知道每個(gè)變量的類(lèi)型、每個(gè)矩陣的維度才能生成無(wú)動(dòng)態(tài)分派的高性能 C 代碼提前規(guī)劃堆內(nèi)存避免運(yùn)行期垃圾回收在代碼生成前就發(fā)現(xiàn)維度不匹配等錯(cuò)誤。因此prometeo 對(duì)代碼有兩條硬性要求必須使用類(lèi)型注解且矩陣大小必須由編譯期可知的dims常量決定。這兩條規(guī)則共同構(gòu)成了它“強(qiáng)制靜態(tài)類(lèi)型”的機(jī)制。上圖是 prometeo 對(duì)代碼進(jìn)行 AST抽象語(yǔ)法樹(shù)分析的示意函數(shù)參數(shù)a、帶注解的賦值、返回類(lèi)型int等節(jié)點(diǎn)都會(huì)被逐一記錄成為后續(xù)類(lèi)型推斷與 C 代碼生成的輸入。這一整套邏輯的核心實(shí)現(xiàn)位于 prometeo/mem/ast_analyzer.py而最終的類(lèi)型記錄typed_record、維度記錄dim_record與變量維度記錄var_dim_record會(huì)一起交給 prometeo/laparser/laparser.py 與 prometeo/cgen/code_gen_c.py 使用。dims 類(lèi)型編譯期整數(shù)矩陣維度的“硬約束”dims是 prometeo 中最有特色的內(nèi)建類(lèi)型它代表編譯期可知的整數(shù)維度。與普通的int不同dims的值會(huì)被編譯器記錄進(jìn)維度表dim_record并參與常量算術(shù)運(yùn)算。from prometeo import * nm: dims 10 # 質(zhì)量彈簧系統(tǒng)的自由度 nx: dims 2*nm # 狀態(tài)維度 2 * nm nu: dims nm # 控制維度 nxu: dims nx nu # 增廣維度 N: dims 5 # 預(yù)測(cè)時(shí)域長(zhǎng)度看到?jīng)]dims甚至支持2*nm、nx nu這樣的編譯期算術(shù)——編譯器會(huì)把這些表達(dá)式展開(kāi)成具體數(shù)值并記錄之后所有pmat(nx, nx)的構(gòu)造都會(huì)在編譯期確定大小。上面的例子來(lái)自 examples/riccati_example/riccati_mass_spring.py是典型的模型預(yù)測(cè)控制MPC代碼風(fēng)格。新手提示dims相當(dāng)于“常量 維度語(yǔ)義”的結(jié)合體。它既能防呆防止把運(yùn)行期變量當(dāng)維度用又能讓編譯器提前分配內(nèi)存。這也是 prometeo 內(nèi)存確定性的根源之一。pmat 類(lèi)型面向 BLASFEO 的高性能稠密矩陣pmatprometeo matrix是 prometeo 的核心數(shù)值類(lèi)型底層直接對(duì)接高性能線(xiàn)性代數(shù)庫(kù) BLASFEO。它的用法非常 Pythonicdef main() - int: A: pmat pmat(nx, nx) # 構(gòu)造 nx x nx 矩陣 for i in range(nx): for j in range(nx): A[i, j] 1.0 # 逐元素賦值 B: pmat pmat(nx, nu) for i in range(nu): B[i, i] 1.0 # 單位陣 C: pmat pmat(nx, nx) pmt_gemm(A, B, C) # C A * B中間層 API pmat_print(C) # 打印矩陣 return 0pmat支持的能力包括能力示例說(shuō)明構(gòu)造pmat(m, n)創(chuàng)建 m 行 n 列矩陣維度必須來(lái)自dims元素訪(fǎng)問(wèn)A[i, j]讀取/寫(xiě)入單個(gè)元素越界會(huì)拋出異常切片賦值M[0:nu, 0:nu] R子矩陣塊賦值自動(dòng)做維度一致性校驗(yàn)運(yùn)算符重載C A * B、D A B通過(guò)multipledispatch分派到pmt_gemm、pmt_gead等中間層 APIpmt_gemm_nn/nt/tn/tt顯式指定轉(zhuǎn)置的通用矩陣乘分解/求解pmt_potrf、pmt_getrf、pmt_trsm、pmt_trsvCholesky、LU 分解與三角求解輔助函數(shù)pmat_fill、pmat_copy、pmat_tran、pmat_hcat、pmat_vcat填充、拷貝、轉(zhuǎn)置、拼接這些實(shí)現(xiàn)的源碼都在 prometeo/linalg/pmat.py其 C 接口封裝見(jiàn) prometeo/linalg/pmat_blasfeo_wrapper.py。值得一提的還有運(yùn)行時(shí)維度校驗(yàn)例如pmt_gemm會(huì)檢查A.n ! B.m或輸出矩陣不匹配一旦出錯(cuò)立即拋出帶詳細(xì)信息的異常避免把錯(cuò)誤帶到 C 代碼里。pvec 類(lèi)型輕量高性能稠密向量pvecprometeo vector是pmat的一維兄弟專(zhuān)門(mén)表示列向量x: pvec pvec(nx) # 構(gòu)造長(zhǎng)度為 nx 的向量 x.fill(0.0) # 全部置零 x[i] 1.0 # 元素賦值 val x[i] # 元素讀取pvec提供了fill()、copy()方法以及pvec_set、pvec_get、pvec_print、pvec_copy等輔助函數(shù)在矩陣乘向量pmt_gemv_n、三角求解pmt_trsv_*等場(chǎng)景中與pmat緊密配合。相關(guān)實(shí)現(xiàn)見(jiàn) prometeo/linalg/pvec.py 與 prometeo/linalg/pvec_blasfeo_wrapper.py。plist 類(lèi)型類(lèi)型化的矩陣/向量列表實(shí)際的控制算法里經(jīng)常需要一組同構(gòu)的矩陣比如每個(gè)時(shí)刻的Q、R矩陣。prometeo 提供了plist來(lái)創(chuàng)建類(lèi)型明確、維度確定的列表sizes: dimv [[2,2], [2,2], [2,2], [2,2], [2,2]] class qp_data: def __init__(self) - None: self.A: List plist(pmat, sizes) # 5 個(gè) 2x2 矩陣 self.Q: List plist(pmat, sizes)plist支持pmat、pvec、int、float四種元素類(lèi)型不支持的類(lèi)型會(huì)直接拋異常。它保證了列表里每個(gè)元素的大小在編譯期可知從而可以安全地生成 C 代碼。源碼見(jiàn) prometeo/auxl/plist.py典型用法可參考 examples/riccati_example/riccati.py。強(qiáng)制靜態(tài)類(lèi)型機(jī)制從注解到 C 代碼的完整鏈路prometeo 的“強(qiáng)制”體現(xiàn)在三個(gè)層面類(lèi)型注解是入口函數(shù)簽名必須寫(xiě)def foo(a: int) - int變量必須寫(xiě)a: int 1矩陣必須寫(xiě)A: pmat pmat(...)。原生類(lèi)型只有int和float兩類(lèi)見(jiàn) prometeo/mem/ast_analyzer.py 中的native_types。AST 靜態(tài)分析編譯器遍歷語(yǔ)法樹(shù)把每個(gè)變量的類(lèi)型寫(xiě)入 typed_record把每個(gè)dims的取值寫(xiě)入 dim_record并跟蹤維度算術(shù)。任何“維度未知”的表達(dá)式都會(huì)被拒絕。代碼生成前校驗(yàn)在生成 C 代碼之前所有pmt_*調(diào)用、矩陣運(yùn)算都會(huì)做維度一致性檢查C 端生成的pmat結(jié)構(gòu)體也完全由編譯期大小決定見(jiàn) prometeo/cgen/code_gen_c.py 中dims到 C 類(lèi)型的映射。簡(jiǎn)單說(shuō)Python 是 prometeo 的“前端語(yǔ)言”類(lèi)型注解是它和 C 之間的契約。違反了契約編譯器在生成代碼前就會(huì)攔下你而不是讓你在嵌入式設(shè)備上調(diào)試段錯(cuò)誤。LAParser用數(shù)學(xué)表達(dá)式直接寫(xiě)線(xiàn)性代數(shù)除了函數(shù)式 APIprometeo 還內(nèi)置了一個(gè)線(xiàn)性代數(shù)解析器支持把A B * C、A B.T、A B \ C求解這類(lèi)自然寫(xiě)法翻譯成底層 BLASFEO 調(diào)用。解析器內(nèi)部會(huì)維護(hù)每個(gè)操作數(shù)的類(lèi)型與尺寸維度不匹配同樣會(huì)拋出TypeError。語(yǔ)法定義與求值邏輯見(jiàn) prometeo/laparser/laparser.py示例見(jiàn) examples/laparser/laparser.py。靜態(tài)類(lèi)型帶來(lái)的性能紅利強(qiáng)制靜態(tài)類(lèi)型不是束縛而是 prometeo 性能的“發(fā)動(dòng)機(jī)”。因?yàn)轭?lèi)型與維度在編譯期全部已知生成的 C 代碼可以完全繞開(kāi) Python 運(yùn)行時(shí)直接調(diào)用 BLASFEO 的高性能內(nèi)核。下面的基準(zhǔn)測(cè)試對(duì)比了 Riccati 因子分解的 CPU 時(shí)間可以看到prometeo 生成的代碼藍(lán)色在幾乎所有矩陣規(guī)模下都快于手寫(xiě) BLASFEO C 代碼之外的方案更大幅領(lǐng)先 NumPy 與 Julia 的實(shí)現(xiàn)。這也是靜態(tài)類(lèi)型 編譯期維度分析帶來(lái)的直接回報(bào)?？焖偕鲜煮w驗(yàn)第一個(gè)類(lèi)型化程序想親自感受 prometeo 類(lèi)型系統(tǒng)只需三步安裝pip install prometeo-dsl或克隆倉(cāng)庫(kù)后pip install -e .倉(cāng)庫(kù)地址https://gitcode.com/gh_mirrors/pr/prometeo運(yùn)行示例examples/simple_example/simple_example.py 中定義了n : dims 10并構(gòu)造了兩個(gè)pmat做矩陣乘選擇執(zhí)行方式pmt simple_example.py --cgenFalse直接由 Python 解釋器運(yùn)行--cgenTrue則生成 C 代碼、編譯并執(zhí)行。結(jié)語(yǔ)prometeo 的類(lèi)型系統(tǒng)可以用一句話(huà)概括用 Python 的語(yǔ)法立 C 的規(guī)矩。dims讓維度在編譯期確定pmat/pvec/plist讓數(shù)值計(jì)算擁有高性能且內(nèi)存可控的載體AST 靜態(tài)分析與類(lèi)型記錄則保證了從 Python 到 C 的每一次轉(zhuǎn)化都“類(lèi)型安全”。對(duì)于想在嵌入式設(shè)備上運(yùn)行高效算法、又不想手寫(xiě) C 的開(kāi)發(fā)者來(lái)說(shuō)理解這套類(lèi)型系統(tǒng)就是打開(kāi) prometeo 大門(mén)的第一把鑰匙?！久赓M(fèi)下載鏈接】prometeoAn experimental Python-to-C transpiler and domain specific language for embedded high-performance computing項(xiàng)目地址: https://gitcode.com/gh_mirrors/pr/prometeo創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 prometeo類(lèi)型系統(tǒng)詳解：dims、pmat、pvec等內(nèi)建類(lèi)型與強(qiáng)制靜態(tài)類(lèi)型機(jī)制
prometeo類(lèi)型系統(tǒng)詳解dims、pmat、pvec等內(nèi)建類(lèi)型與強(qiáng)制靜態(tài)類(lèi)型機(jī)制【免費(fèi)下載鏈接】prometeoAn experimental Python-to-C transpiler and domain specific language for embedded high-performance computing項(xiàng)目地址: https://gitcode.com/gh_mirrors/pr/prometeoprometeo 是一個(gè)面向嵌入式高性能計(jì)算embedded high-performance computing的實(shí)驗(yàn)性Python 轉(zhuǎn) C 編譯器與領(lǐng)域?qū)Ｓ谜Z(yǔ)言DSL你可以用接近純 Python 的語(yǔ)法編寫(xiě)科學(xué)計(jì)算程序再由它生成可直接部署到嵌入式設(shè)備的自包含 C 代碼。而這一切的基石正是 prometeo 的類(lèi)型系統(tǒng)——它利用 Python 原生類(lèi)型注解強(qiáng)制實(shí)施靜態(tài)類(lèi)型并提供了dims、pmat、pvec、plist等專(zhuān)為數(shù)值計(jì)算與內(nèi)存可控而設(shè)計(jì)的內(nèi)建類(lèi)型。本文將從零開(kāi)始為你逐層拆解 prometeo 類(lèi)型系統(tǒng)的設(shè)計(jì)、用法與底層機(jī)制幫助新手快速理解“為什么 prometeo 敢保證性能與內(nèi)存確定性”。prometeo 是什么為什么類(lèi)型系統(tǒng)如此關(guān)鍵prometeo 的目標(biāo)很簡(jiǎn)單讓高性能計(jì)算代碼“寫(xiě)起來(lái)像 Python跑起來(lái)像 C”。為了做到這一點(diǎn)編譯器必須在編譯期知道每個(gè)變量的類(lèi)型、每個(gè)矩陣的維度才能生成無(wú)動(dòng)態(tài)分派的高性能 C 代碼提前規(guī)劃堆內(nèi)存避免運(yùn)行期垃圾回收在代碼生成前就發(fā)現(xiàn)維度不匹配等錯(cuò)誤。因此prometeo 對(duì)代碼有兩條硬性要求必須使用類(lèi)型注解且矩陣大小必須由編譯期可知的dims常量決定。這兩條規(guī)則共同構(gòu)成了它“強(qiáng)制靜態(tài)類(lèi)型”的機(jī)制。上圖是 prometeo 對(duì)代碼進(jìn)行 AST抽象語(yǔ)法樹(shù)分析的示意函數(shù)參數(shù)a、帶注解的賦值、返回類(lèi)型int等節(jié)點(diǎn)都會(huì)被逐一記錄成為后續(xù)類(lèi)型推斷與 C 代碼生成的輸入。這一整套邏輯的核心實(shí)現(xiàn)位于 prometeo/mem/ast_analyzer.py而最終的類(lèi)型記錄typed_record、維度記錄dim_record與變量維度記錄var_dim_record會(huì)一起交給 prometeo/laparser/laparser.py 與 prometeo/cgen/code_gen_c.py 使用。dims 類(lèi)型編譯期整數(shù)矩陣維度的“硬約束”dims是 prometeo 中最有特色的內(nèi)建類(lèi)型它代表編譯期可知的整數(shù)維度。與普通的int不同dims的值會(huì)被編譯器記錄進(jìn)維度表dim_record并參與常量算術(shù)運(yùn)算。from prometeo import * nm: dims 10 # 質(zhì)量彈簧系統(tǒng)的自由度 nx: dims 2*nm # 狀態(tài)維度 2 * nm nu: dims nm # 控制維度 nxu: dims nx nu # 增廣維度 N: dims 5 # 預(yù)測(cè)時(shí)域長(zhǎng)度看到?jīng)]dims甚至支持2*nm、nx nu這樣的編譯期算術(shù)——編譯器會(huì)把這些表達(dá)式展開(kāi)成具體數(shù)值并記錄之后所有pmat(nx, nx)的構(gòu)造都會(huì)在編譯期確定大小。上面的例子來(lái)自 examples/riccati_example/riccati_mass_spring.py是典型的模型預(yù)測(cè)控制MPC代碼風(fēng)格。新手提示dims相當(dāng)于“常量 維度語(yǔ)義”的結(jié)合體。它既能防呆防止把運(yùn)行期變量當(dāng)維度用又能讓編譯器提前分配內(nèi)存。這也是 prometeo 內(nèi)存確定性的根源之一。pmat 類(lèi)型面向 BLASFEO 的高性能稠密矩陣pmatprometeo matrix是 prometeo 的核心數(shù)值類(lèi)型底層直接對(duì)接高性能線(xiàn)性代數(shù)庫(kù) BLASFEO。它的用法非常 Pythonicdef main() - int: A: pmat pmat(nx, nx) # 構(gòu)造 nx x nx 矩陣 for i in range(nx): for j in range(nx): A[i, j] 1.0 # 逐元素賦值 B: pmat pmat(nx, nu) for i in range(nu): B[i, i] 1.0 # 單位陣 C: pmat pmat(nx, nx) pmt_gemm(A, B, C) # C A * B中間層 API pmat_print(C) # 打印矩陣 return 0pmat支持的能力包括能力示例說(shuō)明構(gòu)造pmat(m, n)創(chuàng)建 m 行 n 列矩陣維度必須來(lái)自dims元素訪(fǎng)問(wèn)A[i, j]讀取/寫(xiě)入單個(gè)元素越界會(huì)拋出異常切片賦值M[0:nu, 0:nu] R子矩陣塊賦值自動(dòng)做維度一致性校驗(yàn)運(yùn)算符重載C A * B、D A B通過(guò)multipledispatch分派到pmt_gemm、pmt_gead等中間層 APIpmt_gemm_nn/nt/tn/tt顯式指定轉(zhuǎn)置的通用矩陣乘分解/求解pmt_potrf、pmt_getrf、pmt_trsm、pmt_trsvCholesky、LU 分解與三角求解輔助函數(shù)pmat_fill、pmat_copy、pmat_tran、pmat_hcat、pmat_vcat填充、拷貝、轉(zhuǎn)置、拼接這些實(shí)現(xiàn)的源碼都在 prometeo/linalg/pmat.py其 C 接口封裝見(jiàn) prometeo/linalg/pmat_blasfeo_wrapper.py。值得一提的還有運(yùn)行時(shí)維度校驗(yàn)例如pmt_gemm會(huì)檢查A.n ! B.m或輸出矩陣不匹配一旦出錯(cuò)立即拋出帶詳細(xì)信息的異常避免把錯(cuò)誤帶到 C 代碼里。pvec 類(lèi)型輕量高性能稠密向量pvecprometeo vector是pmat的一維兄弟專(zhuān)門(mén)表示列向量x: pvec pvec(nx) # 構(gòu)造長(zhǎng)度為 nx 的向量 x.fill(0.0) # 全部置零 x[i] 1.0 # 元素賦值 val x[i] # 元素讀取pvec提供了fill()、copy()方法以及pvec_set、pvec_get、pvec_print、pvec_copy等輔助函數(shù)在矩陣乘向量pmt_gemv_n、三角求解pmt_trsv_*等場(chǎng)景中與pmat緊密配合。相關(guān)實(shí)現(xiàn)見(jiàn) prometeo/linalg/pvec.py 與 prometeo/linalg/pvec_blasfeo_wrapper.py。plist 類(lèi)型類(lèi)型化的矩陣/向量列表實(shí)際的控制算法里經(jīng)常需要一組同構(gòu)的矩陣比如每個(gè)時(shí)刻的Q、R矩陣。prometeo 提供了plist來(lái)創(chuàng)建類(lèi)型明確、維度確定的列表sizes: dimv [[2,2], [2,2], [2,2], [2,2], [2,2]] class qp_data: def __init__(self) - None: self.A: List plist(pmat, sizes) # 5 個(gè) 2x2 矩陣 self.Q: List plist(pmat, sizes)plist支持pmat、pvec、int、float四種元素類(lèi)型不支持的類(lèi)型會(huì)直接拋異常。它保證了列表里每個(gè)元素的大小在編譯期可知從而可以安全地生成 C 代碼。源碼見(jiàn) prometeo/auxl/plist.py典型用法可參考 examples/riccati_example/riccati.py。強(qiáng)制靜態(tài)類(lèi)型機(jī)制從注解到 C 代碼的完整鏈路prometeo 的“強(qiáng)制”體現(xiàn)在三個(gè)層面類(lèi)型注解是入口函數(shù)簽名必須寫(xiě)def foo(a: int) - int變量必須寫(xiě)a: int 1矩陣必須寫(xiě)A: pmat pmat(...)。原生類(lèi)型只有int和float兩類(lèi)見(jiàn) prometeo/mem/ast_analyzer.py 中的native_types。AST 靜態(tài)分析編譯器遍歷語(yǔ)法樹(shù)把每個(gè)變量的類(lèi)型寫(xiě)入 typed_record把每個(gè)dims的取值寫(xiě)入 dim_record并跟蹤維度算術(shù)。任何“維度未知”的表達(dá)式都會(huì)被拒絕。代碼生成前校驗(yàn)在生成 C 代碼之前所有pmt_*調(diào)用、矩陣運(yùn)算都會(huì)做維度一致性檢查C 端生成的pmat結(jié)構(gòu)體也完全由編譯期大小決定見(jiàn) prometeo/cgen/code_gen_c.py 中dims到 C 類(lèi)型的映射。簡(jiǎn)單說(shuō)Python 是 prometeo 的“前端語(yǔ)言”類(lèi)型注解是它和 C 之間的契約。違反了契約編譯器在生成代碼前就會(huì)攔下你而不是讓你在嵌入式設(shè)備上調(diào)試段錯(cuò)誤。LAParser用數(shù)學(xué)表達(dá)式直接寫(xiě)線(xiàn)性代數(shù)除了函數(shù)式 APIprometeo 還內(nèi)置了一個(gè)線(xiàn)性代數(shù)解析器支持把A B * C、A B.T、A B \ C求解這類(lèi)自然寫(xiě)法翻譯成底層 BLASFEO 調(diào)用。解析器內(nèi)部會(huì)維護(hù)每個(gè)操作數(shù)的類(lèi)型與尺寸維度不匹配同樣會(huì)拋出TypeError。語(yǔ)法定義與求值邏輯見(jiàn) prometeo/laparser/laparser.py示例見(jiàn) examples/laparser/laparser.py。靜態(tài)類(lèi)型帶來(lái)的性能紅利強(qiáng)制靜態(tài)類(lèi)型不是束縛而是 prometeo 性能的“發(fā)動(dòng)機(jī)”。因?yàn)轭?lèi)型與維度在編譯期全部已知生成的 C 代碼可以完全繞開(kāi) Python 運(yùn)行時(shí)直接調(diào)用 BLASFEO 的高性能內(nèi)核。下面的基準(zhǔn)測(cè)試對(duì)比了 Riccati 因子分解的 CPU 時(shí)間可以看到prometeo 生成的代碼藍(lán)色在幾乎所有矩陣規(guī)模下都快于手寫(xiě) BLASFEO C 代碼之外的方案更大幅領(lǐng)先 NumPy 與 Julia 的實(shí)現(xiàn)。這也是靜態(tài)類(lèi)型 編譯期維度分析帶來(lái)的直接回報(bào)?？焖偕鲜煮w驗(yàn)第一個(gè)類(lèi)型化程序想親自感受 prometeo 類(lèi)型系統(tǒng)只需三步安裝pip install prometeo-dsl或克隆倉(cāng)庫(kù)后pip install -e .倉(cāng)庫(kù)地址https://gitcode.com/gh_mirrors/pr/prometeo運(yùn)行示例examples/simple_example/simple_example.py 中定義了n : dims 10并構(gòu)造了兩個(gè)pmat做矩陣乘選擇執(zhí)行方式pmt simple_example.py --cgenFalse直接由 Python 解釋器運(yùn)行--cgenTrue則生成 C 代碼、編譯并執(zhí)行。結(jié)語(yǔ)prometeo 的類(lèi)型系統(tǒng)可以用一句話(huà)概括用 Python 的語(yǔ)法立 C 的規(guī)矩。dims讓維度在編譯期確定pmat/pvec/plist讓數(shù)值計(jì)算擁有高性能且內(nèi)存可控的載體AST 靜態(tài)分析與類(lèi)型記錄則保證了從 Python 到 C 的每一次轉(zhuǎn)化都“類(lèi)型安全”。對(duì)于想在嵌入式設(shè)備上運(yùn)行高效算法、又不想手寫(xiě) C 的開(kāi)發(fā)者來(lái)說(shuō)理解這套類(lèi)型系統(tǒng)就是打開(kāi) prometeo 大門(mén)的第一把鑰匙?！久赓M(fèi)下載鏈接】prometeoAn experimental Python-to-C transpiler and domain specific language for embedded high-performance computing項(xiàng)目地址: https://gitcode.com/gh_mirrors/pr/prometeo創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考