Разработчик представил язык программирования Birb, основанный на эмодзи с птицами

Разработчик Марвин Бёрнер (Marvin Borner) выпустил функциональный язык программирования Birb, основанный на лямбда-исчислениях. Язык полный по Тьюрингу, а это значит, что на нём можно реализовать любую вычислимую математическую функцию или сам язык.

Особенности Birb

В качестве основного синтаксиса языка используются эмодзи с птицами. Код пишется по принципам комбинаторного программирования. Это значит, что разработчику не надо явно указывать аргументы функций и вместо переменных можно указывать комбинаторы.

За каждым эмодзи закреплена определённая лямбда-функция. К примеру, вместо выражения λab.b (ab) можно использовать сову (🦉), а вместо λabc.c (ba) — утку (🦆).

Числа можно задавать с помощью принципа кодирования Чёрча. Ноль обозначается с помощью цыплёнка и обычной птицы (🐥🐦), а выражение 1+2 уже будет выглядеть сложнее — 🐦🐦🕊️🐧🕊️🐧🐦🐧🕊️🐧🕊️🪽🐧🦢🐧🦢🐧🐥🐦🦢🐧🐥🐦. Всё, что не похоже на эмодзи с птицами, в Birb считается как комментарий к коду. Простая программа на Birb будет выглядеть следующим образом:

🐦🐦🕊️🐧🕊️ wrapper for `1+(++0)`
     🐧🐦🐧🕊️🐧🕊️ wrapper for `add ++(++0)`
         🪽🐧 add
         🦢🐧 inc
             🦢🐧 inc
            🐥🐦 zero
        🦢🐧 inc
         🐥🐦 zero

Для чего он нужен?

Представленный язык сложно будет осваивать новичкам. Кроме необычного синтаксиса, надо разобраться ещё и с лямбда-исчислениями, комбинаторикой и другими математическими понятиями. На Birb сразу писать код смогут только опытные разработчики.

А ещё язык на основе эмодзи практически бесполезен в коммерческой разработке. Маловероятно, что компании перейдут на Birb, пересмотрев свой технологический стек.