Обсуждение:Haskell: различия между версиями
→Другой смайлик Жопы: Новая тема |
wikia.com → wiki |
||
| (не показаны 4 промежуточные версии 3 участников) | |||
| Строка 22: | Строка 22: | ||
GHC 6.6.1 --[[Участник:Beroal|Beroal]] 12:05, 7 мая 2008 (UTC) | GHC 6.6.1 --[[Участник:Beroal|Beroal]] 12:05, 7 мая 2008 (UTC) | ||
:Млин, наши себе проблему... --[[Участник:Глючарина| | :Млин, наши себе проблему... --[[Участник:Глючарина|╔▲╠☼╚╡∩║⌠⅜⌡├┤∩]] 12:41, 7 мая 2008 (UTC) | ||
: Используйте [[компилятор]] [[Григорий Перельман|Перельмана]]. Хотя это вряд ли поможет. В статье явным образом указано, что четвёртый уровень доступен только Перельману :-( [[Участник:Morley Dotes|Morley Dotes]] 14:07, 7 мая 2008 (UTC) | : Используйте [[компилятор]] [[Григорий Перельман|Перельмана]]. Хотя это вряд ли поможет. В статье явным образом указано, что четвёртый уровень доступен только Перельману :-( [[Участник:Morley Dotes|Morley Dotes]] 14:07, 7 мая 2008 (UTC) | ||
:: Ага, надо убрать сигнатуру gcata и instance Show (Mu N), тогда будет компилироваться в GHC. Компилятор выводит более общий тип для gcata, чем указано в сигнатуре. --[[Участник:Beroal|Beroal]] 14:21, 9 мая 2008 (UTC) | :: Ага, надо убрать сигнатуру gcata и instance Show (Mu N), тогда будет компилироваться в GHC. Компилятор выводит более общий тип для gcata, чем указано в сигнатуре. --[[Участник:Beroal|Beroal]] 14:21, 9 мая 2008 (UTC) | ||
| Строка 31: | Строка 31: | ||
== Другой смайлик Жопы == | == Другой смайлик Жопы == | ||
Заменил один смайлик Жопы на другой | Заменил один смайлик Жопы на другой [https://absurdopedia.wiki/w/index.php?title=Haskell&type=revision&diff=84993&oldid=84992]. И не случайно. Интерпретацию для '''(_|_)''' в рамках Хаскеля я не представляю, а вот знак '''(_:_)''' означает образец (выражение в левой части предложения) непустого списка, содержимое которого нам не известно. (Кстати, аналогичный образец в Прологе имеет похожий вид -- '''[_|_]'''). | ||
: Прологисты срут кирпичами? [[Участник:Ded Krapiva|Ded Krapiva]] 04:19, 4 ноября 2008 (UTC) | |||
: Неправильно вы, дядя фёдор, жопу рисуете! Жопа имеет тип "bottom" (англ. "низ" и всё такое, в т.ч. "жопа") - универсальный субтип, этот тип обозначается знаком "перевёрнутое Т", или - за неимением соответствующего глифа, _|_ на литспике. Неперевёрнутое T - это, соответственно, "top", универсальный супертип. К синтаксису хаскелла ни жопа, ни виселица отношения не имеют. [[Участник:Kodt]] 9 августа 2010 | |||