PyMini

どんなものか

PyMini は Swift で書かれた Python サブセットのインタプリタで、キーボードに組み込まれています。あなたが作るパネルもアクションも、すべてこの上で動きます。読むのはすでにご存じの形の Python で、画面を描くスクリプトも語を書き換えるスクリプトも、同じ言語で書けます。

# an action: text in, text out
def transform(text):
    return text.upper()

# a panel: a view, and what a tap does
def view(state):
    return button("Shout", "shout")

def on_action(action, state):
    insert(context()["word"].upper())
    return state

使う理由

PyMini を作ったのは、Clink に自分のキーボードをスクリプトで拡張できる仕組みが必要だったのに、キーボードの中に収まるものが見つからなかったからです。とはいえキーボードに縛られた部分は何もありません。そこで今は独立した Swift パッケージとしてオープンソースになり、ユーザーに少し Python を書いてもらいたいどんなアプリでも使えます。

CPython ではありませんし、組み込んでもいません。キーボード拡張に与えられるメモリはアプリのごく一部で、CPython のバイナリとヒープだけで、あなたのスクリプトが走る前に使い切ってしまいます。PyMini は数百キロバイトの Swift だけで、バイナリ依存はありません。

ユーザーが自分なりのロジックを持ちたい場面ならどこでも使えます。文章アプリのテキスト変換、ToDo や家計簿アプリのルール、数式、自動化、ゲームの MOD、コミュニティのあるアプリのプラグインの仕組みなど。Python を少し知っている人は多いので新しい言語を教える必要がなく、スクリプトはただのテキストなので、ほかの設定と同じように保存、同期、共有できます。

import PyMini

let py = PyRuntime(modules: ["math", "json", "re"])

// your app, as a Python function
py.define("shout") { call in
    try call.argument(0, as: String.self).uppercased()
}

// a script one of your users wrote
try py.load("""
def tidy(text):
    return shout(" ".join(text.split()))
""")

try py.call("tidy", "  hello    there ")  // HELLO THERE

ソースコード、言語リファレンス、テストは GitHub にあります。

何を約束するか

スクリプトから触れるファイルシステムもネットワークもプロセスもありません。サンドボックスは「断るものの一覧」ではなく、インタプリタそのものの形です。外に出る扉は import だけで、その先にあるのは計算しかしない少数の名前空間です。ほかはすべてステップを消費します。式 1 つ、ループ 1 周、正規表現の 1 ステップ、JSON の 1 行がそれぞれ 2,000,000 のうちの 1 を使い、文字列とリストは伸びるそばから上限がかかります。

この予算は捕まえられません。except 節は KeyError を捕まえますが、暴走したループを終わらせる中断は捕まえられません。それを捕まえることこそ、暴走したスクリプトが走り続ける方法だからです。

変更履歴

PyMini の各版を新しい順に並べ、それぞれで加わったものをまとめています。

import re

def initial():
    return {"words": []}

def view(state):
    top = sorted(set(state["words"]), key=lambda w: -len(w))[:3]
    return vstack([text(f"{len(state['words']):,} words", mono=True)]
                  + [row(w, detail=f"{len(w)}") for w in top])

def on_open(state):
    state["words"] = re.findall(r"\w+", context()["before"])
    return state

次に読むもの

言語の全体像、パネルの語彙、そして一行も打たずに両方を書いてくれるビルダー。