Уровень 0 · материалов: 4
В кластер входят документы, описывающие проектирование, реализацию или теоретическое обоснование новых языков программирования, и не входят документы о применении существующих языков.
Общие признаки: создание новых языков программирования, дизайн языков, альтернативные парадигмы программирования, синтаксис и структура языков
Группа выше: Дизайн языков: принципы, критика и новые языки
Смысл: The main idea is to present 'Ya', a language designed to solve the problem of software complexity through extreme compositionality and mathematical rigor, moving away from verbal syntax toward a symbolic, algebraic approach.
The author introduces 'Ya', a Haskell-based eDSL that uses mathematical symbols and extreme compositionality to reduce software complexity.
Смысл: The author describes the process of creating a humorous, slang-based programming language called 'Yoba' using OCaml. It serves as a practical project to learn the basics of compiler design, specifically lexing and parsing, without relying on deep formal academic knowledge.
A developer shares a technical guide on building a satirical 'gopnik' programming language using OCaml's lexer and parser tools.
Смысл: The text proposes a method for 'intentional programming' by using a modified version of natural language. The author argues that by explicitly marking semantic relations (valencies) and using a tree-like structure, one can create an intuitive yet deterministic way to program machines, potentially revolutionizing fields like robotics.
The author proposes a 'human assembler' that uses linguistic valencies to make natural language programming deterministic and intuitive.
Смысл: The main idea is to present Io as a highly flexible, minimalist, prototype-based language that simplifies complex concepts like metaprogramming and object orientation by reducing the language to just objects and messages.
An overview of the Io programming language, highlighting its prototype-based OOP, simple syntax, and powerful metaprogramming capabilities.