| Haifu language is Turing-complete |
[Nov. 8th, 2009|01:13 pm] |
|
|
|
|
| Comments: |
![[User Picture]](http://lj.rossia.org/userpic/176338/6290) | | From: | noruas |
| Date: | November 10th, 2009 - 02:26 pm |
|---|
| | | (Link) |
|
А можно спросить зачем вообще понадобилось работать с Haifu? Чем он интересен?
![[User Picture]](http://lj.rossia.org/userpic/176338/6290) | | From: | 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 есть фолс а всё что не ноль есть тру.
Самое прикольное - это отсутствие условных переходов и чтение операндов из произвольного места программы :) С другой стороны, все это можно собрать из имеющегося мусора. А из логических операций одна NAND, и то забитая "элементал-квалитями". Неиллюзорно доставляет :)
Ясно ведь, что это стеб и тонкий троллинг. Тем смешнее выглядит его "unenlghtened Western" тьюринг-полнота.
Надо было добавить оператор decide, ЕВПОЧЯ. Вот это был бы истинный дух дзэн ;)
Впрочем, виноват, NAND там как раз выполняется по умолчанию. Только сейчас сообразил, спасибо :)
![[User Picture]](http://lj.rossia.org/userpic/176338/6290) | | From: | noruas |
| Date: | November 11th, 2009 - 09:47 am |
|---|
| | Re: *unenlightened | (Link) |
|
Да незачто ((-:
Слово "работать" здесь не употребимо вообще-то :)
![[User Picture]](http://lj.rossia.org/userpic/176338/6290) | | From: | noruas |
| Date: | November 11th, 2009 - 11:42 am |
|---|
| | | (Link) |
|
(-:
Ты мне лучше вот чего скажи. Я не совсем уверен, что этот мой OISC можно распространить на случай бесконечной памяти без логического противоречия. Типа, у меня там встречаются две подряд инструкции перехода вниз по стеку на заранее заданную длину строки данных. Если память бесконечная, то это два перехода на бесконечное число шагов, и там еще в конце есть рабочие переменные. Это делает доказательство невалидным или где?
![[User Picture]](http://lj.rossia.org/userpic/176338/6290) | | From: | noruas |
| Date: | November 11th, 2009 - 09:53 am |
|---|
| | | (Link) |
|
Не совсем понял о чём речь, не видя кода и не зная как следует самой Хайфу, но здесь: > на заранее заданную длину > на бесконечное число шагов чувствуется противоречие. | |