Обсуждение:Haskell: различия между версиями
>Kodt Нет описания правки |
>Kodt |
||
| Строка 33: | Строка 33: | ||
Заменил один смайлик Жопы на другой ([http://absurdopedia.wikia.com/index.php?title=Haskell&diff=99108&oldid=97868]). И не случайно. Интерпретацию для '''(_|_)''' в рамках Хаскеля я не представляю, а вот знак '''(_:_)''' означает образец (выражение в левой части предложения) непустого списка, содержимое которого нам не известно. (Кстати, аналогичный образец в Прологе имеет похожий вид -- '''[_|_]'''). | Заменил один смайлик Жопы на другой ([http://absurdopedia.wikia.com/index.php?title=Haskell&diff=99108&oldid=97868]). И не случайно. Интерпретацию для '''(_|_)''' в рамках Хаскеля я не представляю, а вот знак '''(_:_)''' означает образец (выражение в левой части предложения) непустого списка, содержимое которого нам не известно. (Кстати, аналогичный образец в Прологе имеет похожий вид -- '''[_|_]'''). | ||
: Прологисты срут кирпичами? [[Участник:Ded Krapiva|Ded Krapiva]] 04:19, 4 ноября 2008 (UTC) | : Прологисты срут кирпичами? [[Участник:Ded Krapiva|Ded Krapiva]] 04:19, 4 ноября 2008 (UTC) | ||
: Неправильно вы, дядя фёдор, жопу рисуете! Жопа имеет тип "bottom" (англ. "низ" и всё такое, в т.ч. "жопа") - универсальный субтип, этот тип обозначается знаком "перевёрнутое Т", или - за неимением соответствующего глифа, _|_ на литспике. Неперевёрнутое T - это, соответственно, "top", универсальный супертип. К синтаксису хаскелла ни жопа, ни виселица отношения не имеют. | : Неправильно вы, дядя фёдор, жопу рисуете! Жопа имеет тип "bottom" (англ. "низ" и всё такое, в т.ч. "жопа") - универсальный субтип, этот тип обозначается знаком "перевёрнутое Т", или - за неимением соответствующего глифа, _|_ на литспике. Неперевёрнутое T - это, соответственно, "top", универсальный супертип. К синтаксису хаскелла ни жопа, ни виселица отношения не имеют. [[Участник:Kodt]] 9 августа 2010 | ||