Язык программирования «Я» возник как попытка решить проблему сложности в программировании, используя абстрактную алгебру в качестве основы. Акцент сделан на композиционность, которая позволяет создавать мощные программы, не усложняя их. В отличие от фокуса на линейных и зависимых типах, «Я» стремится к удобству и гибкости, не пряча детали реализации от разработчика.
Основные принципы языка: открытые интерфейсы, возможность изменения всего, минимальное использование слов. Любые объекты, эффекты и примитивы можно трансформировать, включая входные и выходные данные функций. Избегание слов, как неоднозначных элементов, способствует ясности и чёткости определений. Вместо слов используются логографические токены, работающие как смысловые ключи и имеющие математические определения.
Ключевым аспектом «Я» является то, что порядок вычислений абстрагирован на уровень операторов. Язык базируется на eDSL в Haskell, включает чистую корневую библиотеку и дополнительные библиотеки для работы с консолью и ASCII-символами, а также использует специальный шрифт для преобразования последовательностей символов в лигатуры. Разработчик языка концентрируется на том, чтобы сделать «Я» удобным и быстрым в использовании, постепенно добавляя новые функции для различных предметных областей.
В будущем автор планирует подробно рассказать о естественных преобразованиях, порядке вычислений, применении леммы Йонеды и копределах в паттерн-матчинге.
Изображение носит иллюстративный характер
Основные принципы языка: открытые интерфейсы, возможность изменения всего, минимальное использование слов. Любые объекты, эффекты и примитивы можно трансформировать, включая входные и выходные данные функций. Избегание слов, как неоднозначных элементов, способствует ясности и чёткости определений. Вместо слов используются логографические токены, работающие как смысловые ключи и имеющие математические определения.
Ключевым аспектом «Я» является то, что порядок вычислений абстрагирован на уровень операторов. Язык базируется на eDSL в Haskell, включает чистую корневую библиотеку и дополнительные библиотеки для работы с консолью и ASCII-символами, а также использует специальный шрифт для преобразования последовательностей символов в лигатуры. Разработчик языка концентрируется на том, чтобы сделать «Я» удобным и быстрым в использовании, постепенно добавляя новые функции для различных предметных областей.
В будущем автор планирует подробно рассказать о естественных преобразованиях, порядке вычислений, применении леммы Йонеды и копределах в паттерн-матчинге.
