與 Python 集成

導出到 Python

編譯 Erg 腳本時，會生成一個 .pyc 文件，可以簡單地將其作為 Python 模塊導入 但是，無法從 Python 訪問在 Erg 端設置為私有的變量

# foo.er
.public = "this is a public variable"
private = "this is a private variable"

erg --compile foo.er

import foo

print(foo.public)
print(foo.private) # 屬性錯誤:

從 Python 導入

默認情況下，從 Python 導入的所有對象都是"Object"類型。由于此時無法進行比較，因此有必要細化類型

標準庫中的類型規范

Python 標準庫中的所有 API 都是由 Erg 開發團隊指定的類型

time = pyimport "time"
time.sleep! 1

用戶腳本的類型規范

創建一個類型為 Python foo 模塊的 foo.d.er 文件 Python 端的類型提示被忽略，因為它們不是 100% 保證的

# foo.py
X = ...
def bar(x):
    ...
def baz():
    ...
...

# foo.d.er
foo = pyimport "foo"
.X = declare foo.'X', Int
.bar = declare foo.'bar', Int -> Int
.baz! = declare foo.'baz', () => Int

foo = pyimport "foo"
assert foo.bar(1) in Int

這通過在運行時執行類型檢查來確保類型安全。declare 函數大致如下工作

declare|S: Subroutine| sub!: S, T =
    # 實際上，=> 可以強制轉換為沒有塊副作用的函數
    x =>
        assert x in T.Input
        y = sub!(x)
        assert y in T.Output
        y

由于這是運行時開銷，因此計劃使用 Erg 的類型系統對 Python 腳本進行靜態類型分析