![[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