Закидываюсь на ночь хаскелем
Nov. 4th, 2011 09:09 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
metaclassа то мало бреда снится.
1) на #haskell@freenode подсказали как пользоваться там hoogle.
Это кстати, о ваших веб-интерфейсах, веб-дванолях и прочей херне - в сраный браузер нужно переключится, найти нужную закладку из 10 групп и 50 закладок, потом вспомнить что hoogle у тебя не открыт, открыть, нажать мышой на поле ввода (ГДЕ МОЙ ФОКУС ВВОДА ТАМ ГДЕ НАДО, БЛИА!!!) ввести название функции, нажать интер, потом дождаться пока оно откроется и почитать.
Сравните это с "переключился на irc, ввел @hoogle forM_ нажал ентер, увидел результат". Это все с клавиатуры за 1 секунду.
2) пытался пересказать жене, как на на irc-канале хаскеля пишут про подсчет количества Real, но забыл как Real переводится на русский. Т.е. смысл слова знаю, все помню - перевод на русский забыл напрочь - не пользуюсь русским языком для таких вещей.
3) цитата оттуда же: "oleg can count all reals in O(1) time --- at the type level!"
Короче, как я понял, Олег - это такой аналог Онотоле и Чак Норриса, только про хаскель.
Я как-то пытался в гугле найти, кто он такой - ничего кроме ссылок на его работы не нашел :)
1) на #haskell@freenode подсказали как пользоваться там hoogle.
Это кстати, о ваших веб-интерфейсах, веб-дванолях и прочей херне - в сраный браузер нужно переключится, найти нужную закладку из 10 групп и 50 закладок, потом вспомнить что hoogle у тебя не открыт, открыть, нажать мышой на поле ввода (ГДЕ МОЙ ФОКУС ВВОДА ТАМ ГДЕ НАДО, БЛИА!!!) ввести название функции, нажать интер, потом дождаться пока оно откроется и почитать.
Сравните это с "переключился на irc, ввел @hoogle forM_ нажал ентер, увидел результат". Это все с клавиатуры за 1 секунду.
2) пытался пересказать жене, как на на irc-канале хаскеля пишут про подсчет количества Real, но забыл как Real переводится на русский. Т.е. смысл слова знаю, все помню - перевод на русский забыл напрочь - не пользуюсь русским языком для таких вещей.
3) цитата оттуда же: "oleg can count all reals in O(1) time --- at the type level!"
Короче, как я понял, Олег - это такой аналог Онотоле и Чак Норриса, только про хаскель.
Я как-то пытался в гугле найти, кто он такой - ничего кроме ссылок на его работы не нашел :)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-11-04 07:21 pm (UTC)no subject
Date: 2011-11-04 07:29 pm (UTC)no subject
Date: 2011-11-04 11:25 pm (UTC)no subject
Date: 2011-11-05 01:12 am (UTC)no subject
Date: 2011-11-04 07:25 pm (UTC)натуральных, целых и рациональных счётное
для натуральных и целых доказательство очевидно
для рациональных - записываем все рациональные в таблицу в виде дробей
в первую строку - со знаменателем один (с минусом, потом с плюсом)
во вторую - со знаменателем два и так далее
и считаем по диагонали с левого верхнего угла
а для вещественных не помню доказательство, смотреть надо
no subject
Date: 2011-11-04 07:28 pm (UTC)от противного - перечисляются все вещественные числа и между ними вставляется ещё одно
no subject
Date: 2011-11-05 06:28 am (UTC)no subject
Date: 2011-11-04 07:32 pm (UTC)no subject
Date: 2011-11-04 08:27 pm (UTC)no subject
Date: 2011-11-05 06:29 am (UTC)no subject
Date: 2011-11-04 07:33 pm (UTC)Олег
Date: 2011-11-04 07:33 pm (UTC)Re: Олег
Date: 2011-11-04 07:38 pm (UTC)Но все равно непонятно, кто он:)
Re: Олег
Date: 2011-11-04 07:46 pm (UTC)Re: Олег
Date: 2011-11-04 08:49 pm (UTC)no subject
Date: 2011-11-04 07:37 pm (UTC)no subject
Date: 2011-11-04 07:39 pm (UTC)no subject
Date: 2011-11-04 07:41 pm (UTC)no subject
Date: 2011-11-04 07:42 pm (UTC)no subject
Date: 2011-11-04 07:56 pm (UTC)no subject
Date: 2011-11-04 08:05 pm (UTC)no subject
Date: 2011-11-04 08:06 pm (UTC)no subject
Date: 2011-11-04 07:45 pm (UTC)1б) а нахуя, собственно, hoogle? Это ли не повод подумать о документации используемых вещей? Или о том, что некоторые возможности каким-либо образом перекрывают другие возможности (тайпклассы11 yarrr!1111), и нужно обязательно искать нужное, вместо того, чтобы его тупо взять? Или нужно сначала перерыть все пакеты (все, доступные hoogle!), чтобы выяснить, есть ли там функция t1 -> t2 -> t3?
3) почти правильное мнение, но Олег -- он не только к х-евой типизации относится, да и не только к типизации. Например, для того же окамла много сделал, да и всякие, прастихосспадя, схемы тоже трогал. А так -- да, персонаж хороший, годный. В камлочятике витает мысль -- "если нечего делать, почитай okmij.org".
no subject
Date: 2011-11-04 07:46 pm (UTC)no subject
Date: 2011-11-04 07:48 pm (UTC)no subject
Date: 2011-11-04 07:52 pm (UTC)no subject
Date: 2011-11-04 08:06 pm (UTC)no subject
Date: 2011-11-04 08:04 pm (UTC)no subject
Date: 2011-11-05 01:35 am (UTC)no subject
Date: 2011-11-04 09:25 pm (UTC)и раз
http://www.haskell.org/haskellwiki/Hoogle
и два
Можно дёргать в терминале.
no subject
Date: 2011-11-04 10:22 pm (UTC)no subject
Date: 2011-11-05 12:46 am (UTC)ребе, начните наконец пользоваться нормальными тулами
no subject
Date: 2011-11-05 01:52 am (UTC)Там весёлые цитаты в разделе Quotes of the Week, вроде
heatsink: Maybe, (), and Bool go to the Lone Star Bar. The bouncer stops Maybe and says, "we don't serve your kind here."
DanBurton: correction - there will always be a job for programmers to write code to share pictures of cats
quicksilver: what we need is an adapter package any-lens which uses whichever lens package is available then we get potentially the disadvantages of all, without being able to guarantee the advantages of any.
mauke: Go too considered harmful
ddarius: isJust :: Maybe a -> Bool; isJust = unsafeCoerce
ddarius: Well when people say you need a PhD to program Haskell, you can point out that SPJ doesn't have a PhD.
no subject
Date: 2011-11-05 01:54 am (UTC)ion: let es = ["vim", "emacs", "nano"] in map (\e -> intercalate " and " (delete e es) ++ " suck, learn " ++ e) es
cmccann: [on using SomeException] just catch all exceptions, then ignore them. it's the industry-proven way
kmc: une monade est comme une crêpe. una mónada es como un burrito. eine Monade ist wie ein Strudel
dylukes: I learned PBMMPPULCDADMABRRRBBBLLTAAMMBBC. It's the operator precedence of C.
benmachine: ozataman: does it have a main, or a thing with type IO thing which looks sort of mainish?
no subject
Date: 2011-11-05 02:14 am (UTC)О. Вот куда они переехали, спасибо.
no subject
Date: 2011-11-05 08:51 am (UTC)no subject
Date: 2011-11-05 09:08 am (UTC)no subject
Date: 2011-11-05 11:10 am (UTC)