PyMini

Che cos'è

PyMini è un interprete di un sottoinsieme di Python, scritto in Swift e integrato nella tastiera. Ogni tuo pannello e ogni tua azione gira lì sopra. Legge il Python che già conosci, e la stessa lingua serve sia a uno script che disegna un'interfaccia sia a uno che riscrive una parola.

# 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

Perché usarlo

Abbiamo creato PyMini perché Clink aveva bisogno di un modo per programmare la propria tastiera con degli script, e niente di quello che abbiamo trovato ci stava dentro. Eppure non ha nulla di legato alle tastiere, quindi ora è open source come pacchetto Swift a sé, per qualsiasi app che voglia lasciare ai propri utenti scrivere un po' di Python.

Non è CPython e non lo incorpora. Un'estensione di tastiera riceve una frazione della memoria di un'app, e il binario e lo heap di CPython spenderebbero quel budget prima ancora che il tuo script parta. PyMini è qualche centinaio di kilobyte di Swift, senza dipendenze binarie.

Usalo ovunque i tuoi utenti vogliano una logica tutta loro: trasformazioni di testo in un'app di scrittura, regole in un'app di attività o di budget, formule, automazioni, mod per giochi o un sistema di plugin per un'app con una community. Tanta gente conosce già un po' di Python, quindi non c'è un nuovo linguaggio da insegnare, e uno script è testo semplice che puoi salvare, sincronizzare e condividere come qualsiasi altra impostazione.

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

Il codice sorgente, il riferimento del linguaggio e i test sono su GitHub.

Che cosa garantisce

Non c'è filesystem, non c'è rete e non c'è processo che uno script possa raggiungere: la sandbox è la forma dell'interprete, non un elenco di cose che rifiuta. import è l'unica porta verso l'esterno, e si apre su un breve elenco di spazi dei nomi che si limitano a calcolare. Tutto il resto costa passi. Ogni espressione, ogni giro di un ciclo, ogni passo di un'espressione regolare e ogni riga di JSON ne spende uno su 2.000.000, e stringhe e liste hanno un tetto mentre crescono.

Il budget non si può catturare. Una clausola except prende un KeyError, ma non l'interruzione che chiude un ciclo impazzito: catturarla sarebbe proprio il modo in cui uno script impazzito continuerebbe a girare.

Registro delle modifiche

Ogni versione di PyMini, dalla più recente, e cosa ha aggiunto.

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

Dove andare poi

Tutta la lingua, il vocabolario dei pannelli, e un costruttore che scrive entrambi senza che tu digiti una riga.