Да, лучше тащить с БД рантайм лиспа👍

и емакс заодно :)

В Лиспе всё это уже есть

Реализацию на высокоуровневом языке типа питона можно считать псевдокодом, не более специфичным чем UML

Читаю "Type-driven development with Idris". Говорят, что функции на уровне типов существуют только во время компиляции. Хорошо, принял к сведению.

Но потом они показывают пример с БД в терминале. Суть такова: есть схема данных, которые вводит пользователь, она определена примерно так:

data Schema = SchemaInt Schema | SchemaString Schema | End

Есть функция SchemaType, которая вычисляет тип записи в БД по Schema. Например, из SchemaInt (SchemaString End) получается (Int, String).

Теперь сама суть: мы в самом начале работы программы парсим строку в Schema, а потом из Schema вычисляем SchemaType. Но как такое возможно, ведь мы Schema получили во время исполнения, а функции на уровне типов, такие как SchemaType, работают только во время компиляции?

Сейчас нет никакой реализации в принципе. Так как у меня типы могут создаваться динамически, генераторы парсеров не смогут покрыть все возможности языка. Первое, что я планирую сделать - это рантайм парсинг. А генераторы парсеров для частных случаев на языке C сделаю потом. Они пригодятся главным образом для микроконтроллеров, куда полноценный рантайм впихнуть вряд ли получится.

data Schema = SchemaInt Schema | SchemaString Schema | End

В общем и целом, функции на типах действительно отрабатывают во время компиляции, гарантируя, что код посчитает так как надо для любых данных, которые придут во время выполнения.
Но бывают краевые случаи, когда некоторые типы не удаётся стереть при компиляции и они остаются во время выполнения.

Хм, а от перестановки флоатов/даблов при умножении/делении может результат разнится?

Хм, ясно-понятно, спасибо

Ну при делении точно будет разный))))

А, да, не подумал что написал😂

Просто в Notepad++ пишу примеры кода на своём языке, пытаюсь самим языком описать его же бинарный формат. Пишу комментарии с правилами, по которым он работает, и планом реализации по пунктам. Когда достигну минимального необходимого количества непротиворечащих друг другу правил и полностью опишу бинарный формат, начну реализовавывать.

Чё вам листик и ручка не нравятся

Реализацию буду делать на C++. У меня уже есть своя библиотека с наработками, которые пригодятся для реализации. Я думаю, основная реализация займёт порядка 50 КБ в скомпилированном бинарнике. Хотя когда буду внедрять шифрование, сжатие и другие алгоритмы, размер реализации может подрасти за счёт сторонних библиотек, которые будут реализовывать эти алгоритмы.

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

Ещё в редакторе писать и редактировать удобнее, чем в блокнотике с ластиком

На листочке ты напишешь за пару минут то что на питоне будешь писать минут 10

Нет, на листочке удобнее писать)

И редактировать тоже - перечеркнул, и все

А в голове вообще моментально!