PyMini

Что это

PyMini это интерпретатор подмножества Python, написанный на Swift и встроенный в клавиатуру. На нём работают все ваши панели и все ваши действия. Он читает тот Python, который вы уже знаете, и один язык годится и для скрипта, который рисует интерфейс, и для того, который переписывает слово.

# 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

Зачем он нужен

Мы сделали PyMini, потому что Clink нужен был способ дать людям программировать собственную клавиатуру скриптами, а ничего из найденного в клавиатуру не помещалось. При этом ничто в нём не привязано к клавиатурам, поэтому теперь у него открытый исходный код и это отдельный Swift-пакет для любого приложения, которое хочет дать пользователям написать немного Python.

Это не CPython, и он его не встраивает. Расширению клавиатуры достаётся доля той памяти, что получает приложение, и двоичный файл с кучей CPython израсходовали бы этот бюджет раньше, чем запустился бы ваш скрипт. PyMini это пара сотен килобайт Swift без единой двоичной зависимости.

Он пригодится везде, где пользователям нужна своя логика: преобразования текста в приложении для письма, правила в списке дел или приложении для бюджета, формулы, автоматизация, моды для игр или система плагинов для приложения с сообществом. Многие уже немного знают Python, так что учить новый язык не нужно, а скрипт это обычный текст, который можно хранить, синхронизировать и передавать, как любую другую настройку.

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

Исходный код, описание языка и тесты лежат на GitHub.

Что он гарантирует

Файловой системы, сети и процессов для скрипта попросту нет: песочница это форма самого интерпретатора, а не список того, что он отвергает. Единственная дверь наружу это import, и ведёт она в короткий список пространств имён, которые только вычисляют. Всё остальное стоит шагов. Каждое выражение, каждый виток цикла, каждый шаг регулярного выражения и каждая строка JSON тратят один из 2 000 000, а строки и списки ограничены по мере роста.

Бюджет не перехватывается. Ветка except поймает KeyError, но не поймает прерывание, которым заканчивается убежавший цикл: поймать его и значило бы дать убежавшему скрипту работать дальше.

История изменений

Все версии PyMini, от новых к старым, и что появилось в каждой.

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

Куда дальше

Язык целиком, словарь панелей и конструктор, который пишет и то и другое, пока вы не набрали ни строчки.