PyMini

Was es ist

PyMini ist ein in Swift geschriebener Interpreter für eine Teilmenge von Python, fest in der Tastatur. Jedes eigene Panel und jede eigene Aktion läuft darauf. Er liest das Python, das du schon kennst, und dieselbe Sprache trägt beides: ein Skript, das eine Oberfläche zeichnet, und eines, das ein Wort umschreibt.

# 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

Warum PyMini

Wir haben PyMini gebaut, weil Clink eine Möglichkeit brauchte, die eigene Tastatur mit Skripten zu erweitern, und nichts, was wir fanden, in eine Tastatur passte. An Tastaturen gebunden ist daran aber nichts. Deshalb ist es jetzt Open Source und ein eigenständiges Swift-Paket, für jede App, deren Nutzer ein wenig Python schreiben sollen.

Es ist nicht CPython und bettet es auch nicht ein. Eine Tastaturerweiterung bekommt einen Bruchteil des Speichers einer App, und CPythons Binärdatei und Heap wären aufgebraucht, bevor dein Skript liefe. PyMini sind ein paar hundert Kilobyte Swift, ganz ohne Binärabhängigkeiten.

Es passt überall dort, wo Nutzer eigene Logik brauchen: Textumformungen in einer Schreib-App, Regeln in einer To-do- oder Budget-App, Formeln, Automationen, Spielmods oder ein Plugin-System für eine App mit eigener Community. Viele Menschen können schon ein bisschen Python, du musst also keine neue Sprache beibringen, und ein Skript ist einfacher Text, den du wie jede andere Einstellung speichern, synchronisieren und teilen kannst.

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

Quellcode, Sprachreferenz und Tests liegen auf GitHub.

Was es zusichert

Es gibt kein Dateisystem, kein Netzwerk und keinen Prozess, an den ein Skript herankäme: Die Sandbox ist die Form des Interpreters, keine Liste von Dingen, die er ablehnt. import ist die einzige Tür nach draußen, und sie führt auf eine kurze Liste von Namensräumen, die nur rechnen. Alles andere kostet Schritte. Jeder Ausdruck, jeder Schleifendurchlauf, jeder Schritt eines regulären Ausdrucks und jede Zeile JSON verbraucht einen von 2.000.000, und Zeichenketten und Listen sind im Wachstum gedeckelt.

Das Budget lässt sich nicht abfangen. Eine except-Klausel fängt einen KeyError, aber nicht den Abbruch, der eine entlaufene Schleife beendet: Ihn abzufangen wäre genau der Weg, auf dem ein entlaufenes Skript weiterliefe.

Änderungsprotokoll

Jede Version von PyMini, die neueste zuerst, und was sie hinzugefügt hat.

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

Wie es weitergeht

Die Sprache in voller Breite, das Panel-Vokabular und ein Baukasten, der beides schreibt, ohne dass du eine Zeile tippst.