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

Статья

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

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

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

Статья

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

Три библиотеки, написанные на flang: раскладка терминального экрана, арифметика ленты окон и разбор переменных окружения. Что каждая умеет, как подключается и чем …

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

Статья

Восемь языков: одна запись, восемь способов её получить

Python, JavaScript с TypeScript, C, C++, Elixir, Go, Java и C# дают одинаковые по схеме записи, но вставка у каждого своя: декоратор, try/finally, атрибут cleanup, …

#уроборос#трассировка#python

Статья

Практикум по flang

Задания с проверкой прямо в браузере: первая функция, ветвление с обещанием, свой тип, свёртка, бизнес-правило, завершение рекурсии и доказательство индукцией.

#flang#языки-программирования#практика

Статья

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

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

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

Статья

Справочник конструкций flang

Конструкции flang с примерами: модуль, функции, типы, списки, предусловия, постусловия, теоремы и процессы. Каждый пример проверен компилятором и открывается в песочнице.

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

Статья

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

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

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

Статья

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

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

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

Статья

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

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

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

Статья

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

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

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

Статья

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

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

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

Статья

Семантический анализ: области видимости, таблицы символов, разрешение имён

Фаза, связывающая каждое имя с его объявлением: лексические области видимости, таблица символов, слоты кадра и захват переменных замыканиями, порядок объявлений в разных …

#компиляторы#языки программирования#области видимости