Добро пожаловать!

Спасибо что заглянули. Я потер весь тот хлам что был тут ранее - половина из того что было выглядит чушью на данном этапе моего развития, другая половина - просто не интересна (мне). На данный момент есть только одна тема которой я хотел бы поделиться, собственно все посты ниже - о ней.

Итого - сайт посвящен функциональному и certified программированию в целом и разработке τ-lang в частности. Работа только началась, в готовом виде только описание языка, сейчас переписываю proof of concept с node.js на haskell, так что статьи обновляться будут нечасто, но вы заглядывайте.

upd: 07.02.2020 Выложил реализацию на haskell, пока без препроцессора (нужен для модулей) но полнофункциональную. В тестах - пример quicksort на τ-lang. Enjoy!

upd: 22.02.2020 Добавил препроцессор. Теперь можно раскладывать код на модули. Пример - в директории examples.


τ

Статьи


А попишу ка я немного и про typescript