Сделал язык True — программа циклично читает и меняет саму себя (дайте обратную связь)

True - язык программирования, где программа есть цикл, а код программы - лента кубитов (строк).

Simple - кроссплатформенный интерпретатор на Python 3 + Tkinter. Простой, без зависимостей.

Статус: Проект экспериментальный, на стадии MVP. В общем и целом, True - полноценный язык с собственной концепцией, и может развиваться как самостоятельный язык.

Идея

В True программа является и источником данных(одним из) и набором инструкций для исполнителя (агента).

Программа здесь лента строк (я называю их кубитами). 

Агент-наблюдатель - часть программы (первая строка .cycle). Он идёт по ленте сверху вниз, на каждом шаге меняет строку с нижестоящей и выполняет прочитанное.

Программа одновременно и источник данных, и инструкции для выполнения. Нет отдельного кода и данных - есть кубиты, которые агент читает и переставляет.

Агент - не внешний интерпретатор, а часть файла .cycle. Он исполнитель и данные одновременно: строка Mr.Green, ... - такая же строка программы, как и все остальные, но именно она читает остальные.

Одна и та же логика на четырёх языках

True (main.cycle):

Mr.Green, #5fb85f | Data as <condition> | Aim: 1
Поднимайся на лифте Mr.Green :)

6 = max
1 = floor
1 = dir

= lift

dir > 0 ? floor =>| lift:y(, ):floor
dir < 0 ? lift:y(, ):last  -> ::nothing

floor == max ? -1 => dir
floor == 1 ? 1 => dir

floor + dir => ::math => floor

(Здесь => - копирование, -> - перемещение, ? - условие)

Python:

max_floor = 6
floor = 1
dir = 1
lift = []

while True:
    if dir > 0:
        lift.append(floor)
    if dir < 0 and lift:
        lift.pop()
    if floor == max_floor:
        dir = -1
    if floor == 1:
        dir = 1
    floor = floor + dir
    print(f"floor={floor} dir={dir} lift={lift}")

Lisp (Scheme):

(define max-floor 6)
(define floor 1)
(define dir 1)
(define lift '())

(define (step)
  (when (> dir 0) (set! lift (append lift (list floor))))
  (when (and (< dir 0) (not (null? lift))) (set! lift (reverse (cdr (reverse lift)))))
  (when (= floor max-floor) (set! dir -1))
  (when (= floor 1) (set! dir 1))
  (set! floor (+ floor dir))
  (display (list floor dir lift)) (newline))

(let loop () (step) (loop))

Rust:

fn main() {
    let max_floor = 6;
    let mut floor = 1;
    let mut dir: i32 = 1;
    let mut lift: Vec<i32> = Vec::new();

    loop {
        if dir > 0 { lift.push(floor); }
        if dir < 0 { lift.pop(); }
        if floor == max_floor { dir = -1; }
        if floor == 1 { dir = 1; }
        floor += dir;
        println!("floor={} dir={} lift={:?}", floor, dir, lift);
    }
}

Python, Lisp и Rust здесь реализуют ту же логику, но не читают и не меняют свой исходный код. True делает это на каждом шаге - программа самомодифицируется: агент меняет строки, memory отражается в тексте, <type> обновляется. Это отличие True от императивных языков: программа = данные + инструкции в одном.

Ключевые идеи

1. Кубит = строка

Строка - кубит. Её значение зависит от наблюдателя (агент).

На каждом шаге агент:

• читает строку target (тип, значение),

• выполняет действие (если action / condition),

• меняет lines (flush памяти),

• меняет строку агента (Data as <type>).

2. Наблюдатель = агент = часть программы

Агент - первая строка .cycle:

Mr.Green, #5fb85f | Data as <condition> | Aim: 1

• Mr.Green - имя,

• #5fb85f - цвет,

• Data as <...> - тип, который агент распознал (обновляется каждый шаг),

• Aim: 1 - цель, условие при котором цель считается достигнутой (в ROADMAP)

3. Цепочки кубитов

Пустая строка ("") - граница блока. Когда агент определяет тип первого кубита в цепочке, вся цепочка до separator срабатывает вместе как один блок этого типа.

Фрагмент реальной программы (main.cycle):

Mr.Green, #5fb85f | Data as <condition> | Aim: 1
dir > 0 ? floor =>| lift:y(, ):floor
dir < 0 ? lift:y(, ):last  -> ::nothing

floor + dir => ::math => floor

• dir > 0 ? ... и dir < 0 ? ... - один блок condition (пустая строка - граница).

• floor + dir => ... - отдельный блок action (после separator).

Это позволяет группировать логику без скобок и определять тип всей цепочки определив только один кубит.

4. Оси данных

Контейнер может быть осью - списком:

Разделитель оси можно переопределять.

Пример:

1, 2, 3 = lift
lift:y(, ):last -> ::nothing

→ lift = "1, 2" (удалён последний элемент).

Оси - это способ интерпретации данных\кубита.

5. Расширения (вида ::name)

• ::math - арифметика (+ - * / % ^ == != && ||),

• ::nothing - удаление (-> удаляет, => - no-op).

Где посмотреть

• github.com/e39din/True - репозиторий с доками и кодом

• Демка:

  

Философия

• Кубит = строка - данные в чистом виде, тип данных и как с ними работать определяет агент.

• Наблюдатель = агент = часть программы - исполнитель и данные одновременно.

• Программа читает и меняет саму себя - отличие от императивных языков.

• Цепочки кубитов - группировка без скобок.

• Оси данных - работа с данными как с геометрической фигурой.

• Программа как цикл - программа циклична (можно остановить инструкцией).

• ::name - функции расширения, встроенные или скомпилированные модули.

• Наглядность процесса исполнения - живая обратная связь.

True v0.9.6. Simple v0.16.3.

Буду рад вашей обратной связи, добро пожаловать к обсуждению :)

Только зарегистрированные пользователи могут участвовать в опросе. Войдите, пожалуйста.