Piet

[ushastyi]

Piet -- это язык программирования. Казалось бы, чего тут особенного, мало ли языков на свете. Но Piet -- особенный. Программы на нем пишутся не в традиционном алфавите, и даже не в нетрадиционном, как, например, в языке APL. Программы на Пиете рисуются и напоминают абстрактные картины. Например, вот это -- программа "Hello, world!".

Comments

[whiteferz]

Непонятно, почему Piet, а не GraFuck и не EyeFuck.

[ushastyi]

Потому что названо в честь художника-абстракциониста Пита Мондриана (https://ru.wikipedia.org/wiki/Мондриан,_Пит). Программы на Piet похожи на его картины.

[whiteferz]

Понятно. Всё это примерно так же красиво и осмысленно, как скармливать экзешник mp3-проигрывателю или, наоборот, запускать на исполнение аудиофайлы.

(Творчества Модриана, догадываюсь, это тоже касается.)

[fat_crocodile]

Крутая штука! А ты разобрался, как он устроен?
Я расковырял их пример с Фибоначчи, даже почти сошлось (у меня там одна лишняя команда получается, но наверное это я обсчитался).

[ushastyi]

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

[fat_crocodile]

Нуу, двумерной МТ я бы это не назвал, у МТ характерный признак это лента, на которую она пишет и с которой она же читает. Двумерная МТ это что-то такое: https://ru.wikipedia.org/wiki/Муравей_Лэнгтона Она будет рисовать в процессе работы

[ushastyi]

Да, возможность входить в один и тот же блок с разных сторон, и как это можно было бы использовать, это интересная особенность.

Насчет написать -- насколько я понял, большинство примеров, особенно больших, не писались, а генерировались. Наверное можно написать саму логику программы, сделать ее минимальное цветовое представление, а дальше задать группу инвариантных преобразований (самая по себе задача не выглядит тривиальной, если попытаться описать все преобразования, но часть должно быть просто), и преобразовывать программу, чтобы получить желаемый "внешний вид".