![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Закидываюсь на ночь хаскелем
а то мало бреда снится.
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!"
Короче, как я понял, Олег - это такой аналог Онотоле и Чак Норриса, только про хаскель.
Я как-то пытался в гугле найти, кто он такой - ничего кроме ссылок на его работы не нашел :)
no subject
no subject
no subject
no subject
no subject
натуральных, целых и рациональных счётное
для натуральных и целых доказательство очевидно
для рациональных - записываем все рациональные в таблицу в виде дробей
в первую строку - со знаменателем один (с минусом, потом с плюсом)
во вторую - со знаменателем два и так далее
и считаем по диагонали с левого верхнего угла
а для вещественных не помню доказательство, смотреть надо
no subject
от противного - перечисляются все вещественные числа и между ними вставляется ещё одно
no subject
no subject
no subject
no subject
no subject
Олег
Re: Олег
Но все равно непонятно, кто он:)
Re: Олег
Re: Олег
no subject
no subject
no subject
no subject
no subject
no subject
no subject
no subject
1б) а нахуя, собственно, hoogle? Это ли не повод подумать о документации используемых вещей? Или о том, что некоторые возможности каким-либо образом перекрывают другие возможности (тайпклассы11 yarrr!1111), и нужно обязательно искать нужное, вместо того, чтобы его тупо взять? Или нужно сначала перерыть все пакеты (все, доступные hoogle!), чтобы выяснить, есть ли там функция t1 -> t2 -> t3?
3) почти правильное мнение, но Олег -- он не только к х-евой типизации относится, да и не только к типизации. Например, для того же окамла много сделал, да и всякие, прастихосспадя, схемы тоже трогал. А так -- да, персонаж хороший, годный. В камлочятике витает мысль -- "если нечего делать, почитай okmij.org".
no subject
no subject
no subject
no subject
no subject
no subject
no subject
и раз
http://www.haskell.org/haskellwiki/Hoogle
и два
Можно дёргать в терминале.
no subject
no subject
ребе, начните наконец пользоваться нормальными тулами
no subject
Там весёлые цитаты в разделе 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
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
О. Вот куда они переехали, спасибо.
no subject
no subject
no subject