PyMini

O que é

O PyMini é um interpretador de um subconjunto de Python, escrito em Swift e integrado no teclado. Todos os seus painéis e todas as suas ações correm nele. Lê o Python que já conhece, e a mesma linguagem serve quer um script desenhe uma interface quer reescreva uma palavra.

# 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

Porquê usá-lo

Criámos o PyMini porque o Clink precisava de uma forma de as pessoas programarem o seu próprio teclado com scripts, e nada do que encontrámos cabia dentro de um. Mas nada nele está preso a teclados, por isso agora é open source, como pacote Swift independente, para qualquer app que queira deixar os seus utilizadores escrever um pouco de Python.

Não é CPython, nem o traz dentro. Uma extensão de teclado recebe uma fração da memória de uma app, e o binário e o heap do CPython gastariam esse orçamento antes de o seu script correr. O PyMini são umas centenas de kilobytes de Swift, sem dependências binárias.

Serve em qualquer sítio onde os utilizadores queiram lógica própria: transformações de texto numa app de escrita, regras numa app de tarefas ou de orçamento, fórmulas, automatizações, mods de jogos, ou um sistema de plugins para uma app com comunidade. Muita gente já sabe algum Python, por isso não há uma linguagem nova para ensinar, e um script é texto simples que pode guardar, sincronizar e partilhar como qualquer outra definição.

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

O código-fonte, a referência da linguagem e os testes estão no GitHub.

O que garante

Não há sistema de ficheiros, nem rede, nem processo ao alcance de um script: a caixa de areia é a forma do interpretador, não uma lista de coisas que recusa. import é a única porta para fora, e dá para uma lista curta de espaços de nomes que apenas calculam. Tudo o resto custa passos. Cada expressão, cada volta de um ciclo, cada passo de uma expressão regular e cada linha de JSON gasta um de 2.000.000, e as cadeias e as listas têm um limite à medida que crescem.

O orçamento não se pode apanhar. Uma cláusula except apanha um KeyError, mas não o aborto que põe fim a um ciclo desgovernado, porque apanhá-lo seria justamente como um script desgovernado continuaria a correr.

Registo de alterações

Cada versão do PyMini, da mais recente para a mais antiga, e o que acrescentou.

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

Para onde ir a seguir

A linguagem por inteiro, o vocabulário dos painéis, e um construtor que escreve ambos sem que escreva uma linha.