Hacker News Digest

Universalis: язык, который читают эксперты, а пишут LLM
Автор: Erik Meijer

• Цель — дать знатокам предметной области возможность формулировать задачи естественным языком и получать готовые программы без участия разработчиков.
• Средство — язык Universalis (в честь Лейбница), исполняемый нейро-компьютером Automind. Код похож на Excel-формулы, обёрнутые в «живые» описания.

Пример
Вопрос: «Алиса купила килограмм яблок за @B и продала за @S. Какой процент прибыли @P?»
Ответ-Universalis:

[@D is (@S-@B)]  
[@P is (@D/@B)*100]

Вводим @B=10, @S=17 → @P=70 %.

Особенности

• Синтаксис максимально приближен к естественному языку.
• Внутри — логические предикаты Prolog.
• Поддержка пред-/пост-условий для валидации данных.
• Среда «живого программирования» наподобие электронной таблицы: переключение между формулами и значениями.

• Критика: статья расплывчата, синтаксис «языка» меняется, управляющие конструкции описаны прозой, примеры сводятся к «сделай всё за меня».
• Сомнения: это реальный язык или фантазия LLM?
• Опасения: упрощение ведёт к потоку «мусорного» кода.
• Технические детали: под капотом Kotlin DataFrames, возможна ad-hoc типизация.
• ACM Queue обвиняют в рекламе без упоминания ограничений.
• Перспектива: рано или поздно придётся заново изобретать модули, типы, ошибки, параллелизм и т.д.

I learned recently that the creator of the Iosevka typeface did so using their own Lisp implementation.The typeface:https://github.com/be5invis/IosevkaThe language:https://github.com/be5invis/PatELTheir tool which they used to build the language:https://github.com/be5invis/patris

The first typed programming language where I've seen pipe operator |> in action was in F#. You can write something like: sum 1 2 |> multiply 3 and it works because |> pushes the output of the left expression as the last parameter into the right-hand function. multiply has to be d

Strange to read this article and find no mention of Julia (but APL, Mojo, MLIR BQN etc.. which are not exactly widely used languages). It checks many of the boxesUser-Extensible Rank Polymorphism is just beautiful with the broadcast dot syntax. I don't think any other language ha

I think this page describes "what" but not "why" of Carbon.Carbon exists so that it's possible to migrate a large C++ code base, like Chrome, from C++ to something saner, incrementally.The most important attribute of Carbon is not the specifics of the syntax but the fact that it'