Статьи
-
Размышления о машине Тьюринга и причинах возникновения ошибок в языках программирования
15.11.2025 в Теория вычислений
Пару лет назад я написал статью Размышления о структурном программировании, в которой пытался разобраться с заблуждением, будто Эдсгер Дейкстра доказал, что любой алгоритм можно построить всего из трех конструкций (следования, ветвления, цикла). …
-
Гарантии языка программирования как основа безопасной разработки программного обеспечения
10.11.2025 в Безопасность ПО
Ошибки при составлении программ для ЭВМ появились даже раньше, чем были придуманы самые первые языки программирования. Собственно, языки программирования и были придуманы как раз для того, чтобы программы писались проще, а количество ошибок в них …
-
Неоднозначный термин «искусственный интеллект»
25.06.2024 в ИИ и ИТ-процессы
Последнее время кто только не говорит про успехи искусственного интеллекта (ИИ), часто подразумевая под этим очередное достижение в области генеративных нейросетей. И как обычно, одни делают деньги на хайпе, другие жаждут появления Сары Коннор …
-
Строительные блоки языков программирования
03.05.2024 в Дизайн языков программирования
В результате обратной связи по статье с размышлениями о структурном программировании, было много отзывов и споров в комментариях, за которые я хочу сказать всем большое спасибо. И под впечатлениями от обсуждения предыдущей статьи я задался вопросом, …
-
Возможное решение проблемы ссылок в языках программирования
23.04.2024 в Дизайн языков программирования
Любому программисту знакомо понятие “ссылка”. Под этим термином обычно понимают небольшой объект, главная задача которого обеспечить доступ к другому объекту, физически расположенному в другом месте. Из-за этого ссылки удобно …
-
Размышления о структурном программировании
31.12.2023 в Теория вычислений
31 дек 2023 в 11:53 Изначально я хотел назвать статью как нибудь вызывающе, например, “Как наука может превращаться в религию”, “В ловушке искажений смыслов структурного программирования” или “О чем вам забыли рассказать …
-
NewLang v0.4.0
06.06.2023 в Релизы
Новые возможности и изменения в синтаксисе NewLang Переработано определение типов объектов с помощью префикса имен (сигила) Прерывание потока выполнения и возврат теперь может выполняться для именованных блоков кода. Упрощен синтаксис импорта …
-
Нюансы разработки парсера для своего языка программирования
29.03.2023 в Реализация компилятора
Недавно прочитал на Хабре статью Свой язык, или как я устал от ассемблера и С, и невольно взглядом зацепился за один абзац: Я решил не сильно париться, поэтому использовал библиотеку parglare. Она очень легкая и удобная, всем рекомендую. Для …
-
Вариант реализации DSL (domain-specific language) с помощью макросов
01.03.2023 в Реализация компилятора
Внимание!!! Данная статья содержит описание синтаксиса NewLang предыдущей версии. Актуальную версию синтаксиса языка можно посмотреть тут. Близится релиз языка TrustLang с принципиальной новой «фишкой», переделанным вариантом препроцессора, который …
-
NewLang v0.3.0
07.11.2022 в Релизы
Внимание!!! Данная статья содержит описание синтаксиса NewLang предыдущей версии. Актуальную версию синтаксиса языка можно посмотреть тут. NewLang - это язык программирования высокого уровня общего назначения. Основной особенностью языка является …