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