DigitableCourses
Настройки портала
Показать возможности портала

Локально и без аккаунта. Аккаунта нет, регистрация не нужна: введённое в инструменты остаётся в localStorage браузера и на сервер не уходит.

Свой счётчик считает открытия страниц и дочитывания: уезжает адрес и десятая доля текста. Без cookies и чужих счётчиков, IP не хранится, Do Not Track уважается. Как это проверить

Репозиторий портала не выложен, «открытым кодом» мы его не зовём. Открыто это:

Живёт портал на донатах, платных консультациях и разборах по запросу и покупке Workbench.

Планов делать курсы платными нет.

База знаний

Тема: языки-программирования

22 материалов в этой теме.

Материалы

12 на странице
Статья

Своя поверхность: как написать тот же язык по-французски

У flang четыре поверхности слов — русская, английская, эсперантская и китайская, — и все они компилируются в одно дерево разбора. Разбираем, как это устроено на самом …

#flang#языки программирования#поверхности
6 мин
Статья

Библиотеки на языке: flang-tui, flang-ribbon и flang-env

Три библиотеки, написанные на flang целиком: раскладка терминального экрана, арифметика ленты окон и разбор переменных окружения. Второго языка в деревьях нет — ни Go, ни …

#flang#библиотеки#языки-программирования
10 мин
Статья

Словарь языка: все формы и что они делают

Весь flang одним листингом без вкладок и свёрток: каждая форма языка со всеми написаниями и каждая конструкция с пояснением — страница для вычитки целиком

#flang#языки-программирования#справочник
1 мин
Статья

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

Что появилось в каждой версии flang: релизы, даты и записи, собранные из тегов и коммитов репозитория языка

#flang#языки-программирования#релизы
1 мин
Статья

Справочник конструкций языка

Все формы flang и FTS: у каждой — работающий пример, который открывается в песочнице нажатием и правится там же

#flang#языки-программирования#справочник
1 мин
Статья

flang — описание языка

Что за язык flang: два класса программ, печать в девять языков, самоприменение, fspec — спеки на flang — и честная граница между доказанным и проверенным

#flang#языки-программирования#формальные-методы
14 мин
Статья

Синтаксис по факту: модули, функции, выражения, образцы

Разбор конструкций языка по файлам репозитория и по программам, которые мы прогнали через check и test: теоркат — функтор, моноид, изоморфизм, бифунктор; функции как …

#flang#синтаксис#сопоставление с образцом
24 мин
Статья

Старые модели: что компилятор делает с прежней поверхностью

У языка была ранняя поверхность — «категория», «объект», «утилита», «правило», «свойство». Компилятор её слова до сих пор читает, но программой такой файл не считает. …

#flang#совместимость#языки программирования
4 мин
Статья

flang: язык, в котором программа обязана доказать, что остановится

Что такое flang: два класса программ вместо одного, доказательство завершения на этапе сборки, примеры и постусловия внутри самой функции, печать готового кода в восемь …

#flang#языки программирования#тотальность
7 мин
Статья

Синтаксический анализ: грамматики, рекурсивный спуск, приоритеты операторов

Как из плоского потока токенов получается дерево: контекстно-свободные грамматики, BNF, неоднозначность, левая рекурсия, FIRST/FOLLOW, рекурсивный спуск и Pratt-разбор — …

#компиляторы#парсеры#грамматики
26 мин