История Tolk

warning

Эта страница переведена сообществом на русский язык, но нуждается в улучшениях. Если вы хотите принять участие в переводе свяжитесь с @alexgton.

Когда будут выпущены новые версии Tolk, они будут упомянуты здесь.

v0.7

1. Под капотом: рефакторинг внутренних компонентов компилятора; ядро ​​семантического анализа на уровне AST
2. Под капотом: переписываем систему типов с Хиндли-Милнера на статическую типизацию

v0.7

1. Под капотом: рефакторинг внутренних компонентов компилятора; ядро ​​семантического анализа на уровне AST
2. Под капотом: переписываем систему типов с Хиндли-Милнера на статическую типизацию
3. Понятные и читаемые сообщения об ошибках при несоответствии типов
4. Универсальные функции fun f<T>(...) и их экземпляры, такие как f<int>(...)
5. Тип bool; приведение типа через value as T

v0.6

Первый публичный релиз. Вот некоторые заметки о его происхождении:

Как появился Tolk

В общем, вместо того, чтобы объединить v0.5.0 и продолжить разработку FunC, мы решили разветвить его. Чтобы оставить FunC нетронутым, как есть. Как всегда. И разработать новый язык, движимый свежим и новым именем.

Несколько месяцев я работал над Tolk в частном порядке. Я реализовал огромный список изменений. И дело не только в синтаксисе. Например, у Tolk есть внутреннее представление AST, полностью отсутствующее в FunC.

На TON Gateway 1-2 ноября в Дубае я выступил с речью, в которой представил Tolk публике, и мы опубликовали ее в тот же день. Видео доступно на YouTube.

Вот самый первый pull request: "Язык Tolk: следующее поколение FunC".

Первая версия языка Tolk — v0.6, метафора FunC v0.5, которая упустила шанс появиться.

Первая версия языка Tolk — v0.6, метафора FunC v0.5, которая упустила шанс появиться.

Значение названия "Tolk"

В английском языке это созвучно с talk. Потому что, вообще, зачем нам нужен язык? Он нам нужен, чтобы разговаривать с компьютерами.

Во всех славянских языках корень толк и фраза иметь толк означают "иметь смысл", "иметь глубокие внутренние чувства".

Но на самом деле TOLK — это аббревиатура. Вы знаете, что TON — это The Open Network. По аналогии, TOLK — это The Open Language K.

Что такое К, спросите вы? Наверное, "кот" — ник Николая Дурова? Или Коля? Котенок? Ядро (Kernel)? Кит? Знание (Knowledge)? Правильный ответ — ничего из этого. Эта буква ничего не значит. Она открытая. The Open Letter K

Что такое К, спросите вы? Наверное, "кот" — ник Николая Дурова? Или Коля? Котенок? Ядро (Kernel)? Кит? Знание (Knowledge)? Правильный ответ — ничего из этого. Эта буква ничего не значит. Она открытая. The Open Letter K