PyMini

Qué es

PyMini es un intérprete de un subconjunto de Python, escrito en Swift y metido dentro del teclado. Cada panel y cada acción tuya corre sobre él. Lee el Python que ya conoces, y el mismo lenguaje sirve tanto si un script dibuja una interfaz como si reescribe una palabra.

# 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

Por qué usarlo

Creamos PyMini porque Clink necesitaba que cualquiera pudiera programar su propio teclado con scripts, y nada de lo que encontramos cabía dentro de uno. Pero no tiene nada atado a los teclados, así que ahora es de código abierto y un paquete de Swift independiente, para cualquier app que quiera dejar que sus usuarios escriban un poco de Python.

No es CPython, ni lo lleva dentro. Una extensión de teclado recibe una fracción de la memoria de una app, y el binario y el montón de CPython se gastarían ese presupuesto antes de que tu script corriera. PyMini son unos cientos de kilobytes de Swift, sin dependencias binarias.

Úsalo donde tus usuarios quieran su propia lógica: transformaciones de texto en una app de escritura, reglas en una app de tareas o de presupuestos, fórmulas, automatizaciones, mods de juegos o un sistema de plugins para una app con comunidad. Mucha gente ya sabe algo de Python, así que no hay un lenguaje nuevo que enseñar, y un script es texto plano que puedes guardar, sincronizar y compartir como cualquier otro ajuste.

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

El código fuente, la referencia del lenguaje y las pruebas están en GitHub.

Qué garantiza

No hay sistema de archivos, ni red, ni proceso al que un script pueda llegar: el aislamiento es la forma del intérprete, no una lista de cosas que rechaza. import es la única puerta hacia fuera, y da a una lista corta de espacios de nombres que solo calculan. Todo lo demás cuesta pasos. Cada expresión, cada vuelta de un bucle, cada paso de una expresión regular y cada línea de JSON gasta uno de 2.000.000, y las cadenas y las listas tienen un tope al crecer.

El presupuesto no se puede capturar. Una cláusula except atrapa un KeyError, pero no el aborto que termina un bucle desbocado, porque atraparlo es justo la forma en que un script desbocado seguiría corriendo.

Registro de cambios

Cada versión de PyMini, de la más reciente a la más antigua, y lo que añadió.

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

Por dónde seguir

El lenguaje completo, el vocabulario de los paneles, y un constructor que escribe ambos sin que teclees una línea.