*haskell

Minoru 21.10.2012 21:05

haskell,?
А где почитать инстансы тайпклассов? Вот в документации к Monad пишут, что есть инстанс для Either e, а в коде его не видно. :info в ghci тоже не помогло — говорит, что инстанс есть (если испортировать Control.Monad.Instances), но сами определения не показывает. Как быть?

Minoru 09.10.2012 15:02

Задача из #ttingt сводится к следующему вопросу: можно ли заставить компилятор преобразовывать ; в `>>=`, а не `>>`? Тогда в do notation можно будет записывать такой себе dataflow: do { return 1; return . (+1); print }. Сейчас это можно сделать, только введя явные названия для аргументов: do { s ← return 1; s' ← ... more →

Minoru 09.10.2012 13:34

Можно ли написать свою do notation, не меняя код компилятора, и если да, то как?

Например, в главе 10 RWH[1] мы пишем такой код:

```
arseP5_take2 s =
matchHeader (L8.pack "P5") s >>?
\s → skipSpace ((), s) >>?
(getNat . snd) >>?
skipSpace >>?
\(width, s) → getNat s >>?
skipSpace >>?
\(height, s) → ... more →

Minoru 04.10.2012 08:30

> All these refactoring processes are doable by pleasant conversation with ghc typecheckers.

http://www.reddit.com/r/haskell/comments...

Minoru 24.09.2012 14:31

http://www.reddit.com/r/haskell/comments... — помогите уже человеку обобщить идею на кубики с n² квадратами на каждой стороне, а то я рехнусь скоро — у меня была идея, но я никак не могу довести её до ума (постоянно получаю <<loop>>).

Minoru 09.08.2012 08:12

Одна из цитат недели по версии Haskell Weekly News (выпуск 239):

> romm: i thought i knew programming. this is like discovering a new continent.

Minoru 29.07.2012 11:39

Не знаю, под каким тегом спрашивать такие вопросы, так что поставил названия языков, пользователи которых могут знать ответ.

Читаю про structural и nominal typing, возникла пара вопросов:
  • в примерах структурной типизации[1] мы определяем функцию, которой от параметра нужен лишь метод set_x. Это разве не duck ... more →

Minoru 24.07.2012 15:39

Avoid success at all costs это, конечно, хорошо, но когда из-за каких-то конфликтов версий нельзя просто сделать cabal install --reinstall --flags="with_xft" xmobar — это печалит. Переустанавливаю теперь заново десяток библиотек, да. Пакетного менеджера ещё нет? Cabal nirvana во что-то юзабельное выросла?

Minoru 17.06.2012 21:21

GPL — монада. Доказательства законов приводить не буду из-за того, что они не проходят мысленный тайпчекинг (можете представить себе рефакторинг, который из обычной программы делает GPLную? Вот и я не могу). Inspired by http://bnw.im/p/BIZZJN#I2H

Minoru 14.01.2012 11:11

Если вы запомните из Haskell всего одну вещь, пусть это будет привычка ставить в списках запятую *в начале строки*.

Example: http://xmonad.org/xmonad-docs/xmonad-con...
Further reading: https://research.microsoft.com/en-us/um/...

Minoru 22.11.2011 12:18

Наткнулся когда-то на haskcomplete.vim[1] — плагин к vim для автодополнения кода на Haskell. Сегодня обратил внимание на то, что за те полгода (или около того), что плагин провалялся у меня в ~/.vim/ftplugin, я его юзал ровно один раз — когда смотрел, что он умеет. Отсюда две мысли:
1. Haskell code is so dense that ... more →

Minoru 21.11.2011 21:38

В lhs2TeX немного огорчает то, как приходится уродовать код ради формата poly.

Minoru 20.11.2011 20:52

Любви и обожания вечер: /me открыл для себя lhs2TeX и пытается заюзать на практике знаменитый кнутовский стиль программирования.

Minoru 19.11.2011 14:46

А в Haskell можно как-то без монад в чистых функциях исключения обрабатывать? Делаю упражнения из «Purely Functional Data Structures», очень не хочется городить огород с Maybe в 2.3.

Minoru 10.11.2011 20:43

Насколько я знаю, в Haskell считается хорошим тоном выносить как можно больше информации в сигнатуры функций. Я сейчас пишу программу, строящую коды Хаффмана, и не могу придумать, как мне объявить структуру данных для соответствующего дерева.
Обычное дерево (которое data Tree a = Tree (Tree a) (Tree a) | Leaf a) ... more →

Minoru 21.09.2011 16:31

If you're havin' trouble with the Haskell 'head'
He's givin' you the blues
...

AC/DC — Dirty Deeds Done Dirt Cheap

Minoru 23.08.2011 21:29

Интересно, а почему списки рассылки Haskell не требуют ограничения постов по ширине до 80-ти символов? Некоторые следуют этому соглашению, но не все (в число последних входит даже SPJ!). Вроде образованные люди, а тут такое…

Minoru 22.08.2011 13:57

Хаскеллисты настолько суровы, что даже в haskellwiki в секции «Tutorials» указывают ссылки на научные публикации.

Minoru 01.08.2011 17:08

До собственного туториала по монадам мне ещё расти и расти, а пока я решил поделиться прозрением, снизошедшим на меня по мере чтения нескольких глав «Learn You a Haskell for Great Good!»
В общем, оказалось, что пока я продирался сквозь «Real World Haskell» и пытался понять, как же на двух нещасных функциях — return ... more →

Minoru 05.06.2011 14:06

http://www.cs.caltech.edu/courses/cs11/m... — /a list of some interesting and relevant books and papers written in Haskell/

Minoru 28.04.2011 13:48

И снова я, и снова интерполяция, и снова сплайны… Вдумчиво переписал код по вот этой методичке: collab.cc.gatech.edu/humanoids/sites/edu.humanoids/files/cubicspline.pdf
И все равно вместо сплайна имеем загогулину. Что я делаю не так?
Код: http://paste.org/pastebin/view/32451
Полученный график: ... more →

Minoru 21.04.2011 20:13

Интерполяция кубическими сплайнами в моём исполнении на Haskell упорно не хочет работать, выдавая какую-то угловатую кривулину :(
А ещё я не могу написать это в функциональном стиле, с map'ами, лямбдами и прочим — сплошные !!, хнык-хнык.

Minoru 10.03.2011 17:00

Псто, в связи с повышающимися расходами на жильё мне нужна онлайн-работа (в смысле, связь с работодателем по инету, а не ножками в контору топать) с неполным рабочим днём.

Кратко о себе: линуксоид-дебианщик с почти трёхлетним стажем, более-менее владею Си (написал пару патчей для любимого pdf ридера Zathura), ... more →

Minoru 15.02.2011 20:55

http://blog.sigfpe.com/2006/08/you-could... Could Have Invented Monads! (And Maybe You Already Have.)
Превосходное разъяснение того, что такое монады. За ссылку спасибо ребятам с haskell@conference.jabber.ru

Minoru 11.01.2011 22:53

Ура, я успешно решил liarliar! Писал на Haskell, бот сказал, что на самой большой проверке мой код работал 7941.219 мс.
Интересно, есть у них где-нибудь страничка со статистикой по используемым языкам и времени выполнения программ? Было бы интересно узнать, на чём больше всего пишут, какова кореляция между языком и ... more →

Do you really want to delete ?

*haskell is used by:

0xd34df00d

0xd34df00d

kb

kb

Minoru

Minoru

λ

lukish

zw0rk

zw0rk

16+

238328

Crazy_Owl

Crazy_Owl

4DA

4da

L29Ah

L29Ah

werehuman

werehuman

amd63

amd63

Octocat

octocat

Rayslava

Voker57

Voker57

cirno

cirno

asmer

asmer

rhinze

rhinze

gelraen

gelraen

Michael Pogoda

MPogoda

lexszero

lexszero

8

Eight

folex

folex

folone

folone

nexeuse

nexeuse

Darth Bricktop

Like-all

oreolek

oreolek

Hirthwork McGillah

hirthwork

Klayraat

clayrat

SirAnthony

SirAnthony

Ky6uk

Ky6uk

eurekafag

eurekafag

hanyuupoke

Oleg Tsarev

zamotivator

failman

failman

lkdjvsdkjfgh

saransk

jabber

jabber

Андрей

whisper

svtk

svtk

Jarkko

Jarkko

Fess

zetoke

beardog

beardog