Иисус отверг Тему - Haifu language is Turing-complete [entries|archive|friends|userinfo]
Шансонье Дима Даннер

[ website | Полин Квітне ]
[ userinfo | ljr userinfo ]
[ archive | journal archive ]

Haifu language is Turing-complete [Nov. 8th, 2009|01:13 pm]
Previous Entry Add to Memories Tell A Friend Next Entry
[Tags|]

Возобновляя упражнения по эзотерическому программированию, удалось, кажется, написать простой OISC-интерпретатор на Haifu, показав тем самым тьюринг-полноту последнего.

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

Это, насколько я знаю, вторая программа на Haifu, существующая в природе. Первая написана Дейвом Мюрреем и печатает слово Hello.
LinkLeave a comment

Comments:
[User Picture]
From:[info]noruas
Date:November 10th, 2009 - 02:26 pm
(Link)
А можно спросить зачем вообще понадобилось работать с Haifu? Чем он интересен?
[User Picture]
From:[info]noruas
Date:November 10th, 2009 - 04:49 pm
(Link)
P.S. Мне както с ходу бросились в глаза некоторые вещи
> to address the lack of Eastern philosophy
> in the current set of commonly used languages
Хм, смотрим какие философские концепции Востока, не повлиявшие на Си и Джаву, повлияли на Хайфу, и...

> language will be based on the five classical elements of Asian thought,
> rather than the limiting Western Aristotelian notion of four elements
Интересно, где в сях или паскалях мы встречаем вышеназванные четрые елемента?

> all valid code must be in the form of haiku
Какое полезное нововведение. Видимо ставит Хайфу в противовес "европейским" языкам программирования, в которых пишут пятистопным ямбом.

> The restrictive Western notions of true and false are not used.
> Instead, Haifu programmers must be aware of Yin and Yang.
Сильно. Такая механическая замена кивордов ни на что не влияет.
Что же касается
> Even numbers have Yin quality, while odd numbers have Yang quality.
то это почти как в сях, где 0 есть фолс а всё что не ноль есть тру.
[User Picture]
From:[info]dmitry_danner
Date:November 10th, 2009 - 10:05 pm
(Link)
Самое прикольное - это отсутствие условных переходов и чтение операндов из произвольного места программы :) С другой стороны, все это можно собрать из имеющегося мусора. А из логических операций одна NAND, и то забитая "элементал-квалитями". Неиллюзорно доставляет :)

Ясно ведь, что это стеб и тонкий троллинг. Тем смешнее выглядит его "unenlghtened Western" тьюринг-полнота.

Надо было добавить оператор decide, ЕВПОЧЯ. Вот это был бы истинный дух дзэн ;)
[User Picture]
From:[info]dmitry_danner
Date:November 10th, 2009 - 10:11 pm

*unenlightened

(Link)
Впрочем, виноват, NAND там как раз выполняется по умолчанию. Только сейчас сообразил, спасибо :)
[User Picture]
From:[info]noruas
Date:November 11th, 2009 - 09:47 am

Re: *unenlightened

(Link)
Да незачто ((-:
[User Picture]
From:[info]dmitry_danner
Date:November 10th, 2009 - 10:06 pm
(Link)
Слово "работать" здесь не употребимо вообще-то :)
[User Picture]
From:[info]noruas
Date:November 11th, 2009 - 11:42 am
(Link)
(-:
[User Picture]
From:[info]dmitry_danner
Date:November 10th, 2009 - 10:26 pm
(Link)
Ты мне лучше вот чего скажи. Я не совсем уверен, что этот мой OISC можно распространить на случай бесконечной памяти без логического противоречия. Типа, у меня там встречаются две подряд инструкции перехода вниз по стеку на заранее заданную длину строки данных. Если память бесконечная, то это два перехода на бесконечное число шагов, и там еще в конце есть рабочие переменные. Это делает доказательство невалидным или где?
[User Picture]
From:[info]noruas
Date:November 11th, 2009 - 09:53 am
(Link)
Не совсем понял о чём речь, не видя кода и не зная как следует самой Хайфу, но здесь:
> на заранее заданную длину
> на бесконечное число шагов
чувствуется противоречие.
From:[info]phantom
Date:November 12th, 2009 - 11:54 am
(Link)
Я вспомнил, что не сообщил о фильме, выдержанном в духе гайянства (настолько, насколько голливудский фильм вообще может выражать что-то):

http://torrents.ru/forum/viewtopic.php?t=1688844
[User Picture]
From:[info]dmitry_danner
Date:November 12th, 2009 - 11:40 pm
(Link)
Спасибо, надо будет глянуть (ну если стоит глядеть, Ты как посоветуешь?)
Если же про дух гайанства вспомнить, то по моему скромному мнению, страшилки в этот дух не попадают, у него другие вибрации совершенно :)
From:[info]phantom
Date:November 13th, 2009 - 12:12 am
(Link)
Ну не знаю. Время на фильмы жаль тратить (но я трачу). Могу идею пресказать, если что.
[User Picture]
From:[info]dmitry_danner
Date:November 16th, 2009 - 12:34 am
(Link)
Было бы интересно посмотреть не так на идею, как на стиль (самое интересное, или наоборот, самое отвратное может не попасть в пересказ...)

Но вообще перескажи, интересно :)
From:[info]phantom
Date:April 5th, 2011 - 10:45 pm
(Link)
В общем, там деревья людей потравили. :) Растения решили, что люди слишком неуважительно относятся к природе и выработали некий вирус, который быстро потравил всех подряд. То есть, не совсем потравил, а заставлял людей немедленно совершать самоубийства.
From:[info]phantom
Date:April 5th, 2011 - 10:47 pm
(Link)
Самое смешное запомнилось: бежит, значит группа людей от этой заразы. В духе зомби-фильмов. Залазят в дом один. А там... ДЕРЕВО в кадке. "Мы все умрём, мы все умрём, АААА!" Через 5 мин: "нет, не умерли... блин, дерево ведь из пластика!"
From:[info]phantom
Date:November 13th, 2009 - 01:01 am
(Link)
Такой эзотеричности мой моск не вынесет. А есть более полезные идеи? Я бы чего-нибудь помог тебе запрограммировать.
[User Picture]
From:[info]dmitry_danner
Date:November 16th, 2009 - 12:36 am
(Link)
Спасибо. Более полезные идеи могут появиться, оно дело такое :)