PyMini

Ce que c'est

PyMini est un interpréteur d'un sous-ensemble de Python, écrit en Swift et intégré au clavier. Chacun de vos panneaux et chacune de vos actions tourne dessus. Il lit le Python que vous connaissez déjà, et le même langage sert qu'un script dessine une interface ou réécrive un mot.

# 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

Pourquoi l'utiliser

Nous avons créé PyMini parce que Clink avait besoin d'un moyen pour chacun de programmer son propre clavier, et rien de ce que nous avons trouvé ne tenait dans un clavier. Pourtant rien en lui n'est lié aux claviers : il est donc désormais open source, sous forme de package Swift indépendant, pour toute app qui veut laisser ses utilisateurs écrire un peu de Python.

Ce n'est pas CPython, et il ne l'embarque pas. Une extension de clavier reçoit une fraction de la mémoire d'une app, et le binaire et le tas de CPython dépenseraient ce budget avant même que votre script tourne. PyMini, c'est quelques centaines de kilo-octets de Swift, sans aucune dépendance binaire.

Il a sa place partout où vos utilisateurs veulent leur propre logique : transformations de texte dans une app d'écriture, règles dans une app de tâches ou de budget, formules, automatisations, mods de jeux, ou système de plugins pour une app qui a sa communauté. Beaucoup de gens connaissent déjà un peu de Python, il n'y a donc pas de nouveau langage à enseigner, et un script est du texte brut que vous pouvez stocker, synchroniser et partager comme n'importe quel réglage.

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

Le code source, la référence du langage et les tests sont sur GitHub.

Ce qu'il garantit

Aucun système de fichiers, aucun réseau, aucun processus n'est accessible depuis un script : le bac à sable est la forme de l'interpréteur, pas une liste de choses qu'il refuse. import est la seule porte de sortie, et elle donne sur une courte liste d'espaces de noms qui ne font que calculer. Tout le reste coûte des pas. Chaque expression, chaque tour de boucle, chaque pas d'une expression régulière et chaque ligne de JSON en dépense un sur 2 000 000, et les chaînes comme les listes sont plafonnées à mesure qu'elles grossissent.

Le budget ne se rattrape pas. Une clause except attrape une KeyError, mais pas l'abandon qui met fin à une boucle emballée : l'attraper serait précisément le moyen pour un script emballé de continuer à tourner.

Journal des modifications

Chaque version de PyMini, de la plus récente à la plus ancienne, et ce qu'elle a ajouté.

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

Où aller ensuite

Le langage au complet, le vocabulaire des panneaux, et un atelier qui écrit les deux sans que vous tapiez une ligne.