Разработчик представил язык программирования 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, пересмотрев свой технологический стек.