花弁

Доброкодер 26 July 2011 (Tue) 21:52 No.11962

File: Haskell-Logo-Variation.png
Png, 7.93 KB, 128×128 - Click the image to expand

Haskell-тред будет здесь.

>>	Доброкодер 26 July 2011 (Tue) 21:54 No.11963 >>11960 >>11962

>>	Доброкодер 26 July 2011 (Tue) 23:49 No.11972 И сразу вопрос: почему такая отличная штука, как гарды, не бывают вложенными?

>>	Доброкодер 27 July 2011 (Wed) 00:01 No.11973 >>11972 Зачем?

>>	Доброкодер 27 July 2011 (Wed) 00:06 No.11974 >>11973 Для эстетики. Всяко лучше нагромождений if-then-else.

страдальцы Доброкодер 27 July 2011 (Wed) 00:11 No.11975

>>11974
Во-первых используй декомпозицию, Люк. Если у тебя несколько вложенных матчеров, есть повод выделить несколько функций. Во вторых есть монада Maybe, есть стрелки, есть Alternative, короче куча способов собрать алгоритм без всяких if-then-else.

Доброкодер 27 July 2011 (Wed) 00:22 No.11976

File: Я ничерта не вразумел.JPG
Jpg, 94.22 KB, 516×586 - Click the image to expand

>>11975
ОК, но тогда у меня платиновый вопрос. Что такое, блджад, монады, что они делают и зачем нужны? Я перечитал три-четыре их описания с предсказуемым (пик рилейтед) результатом.

>>	Доброкодер 27 July 2011 (Wed) 00:27 No.11977 >>11976 > Что такое, блджад, монады, что они делают и зачем нужны? Если ты думаешь, что можно вот так просто объяснить всю суть монад, ты ошибаешься. Понимание монад приходит само лишь после многолетних практик.

>>	Доброкодер 27 July 2011 (Wed) 00:32 No.11978 File: 1251152615001.jpg Jpg, 49.07 KB, 600×400 - Click the image to expand >>11977 Okay.jpg.

>>	Доброкодер 27 July 2011 (Wed) 00:36 No.11979 >>11978 Спок, бро. Я вообще лиспер-мимопроходил и просто пошутил на счет сложности монад. тоже сам ничего не понял, да и не пытался особо Лучше дождись настоящего хаскелль-куна.

>>	Доброкодер 27 July 2011 (Wed) 00:50 No.11980 >>11979 Ладно. На самом деле, скорее всего, всё будет так, как ты и описал. По крайней мере с указателями в си у меня так и было.

>>	Доброкодер 27 July 2011 (Wed) 00:51 No.11981 >>11979 ты слишком добрый, надо было побольше крови и добра

>>	Доброкодер 27 July 2011 (Wed) 00:51 No.11982 >>11976 Рекомендую http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html Перевод тоже вроде был, если надо - поищи сам.

>>	Доброкодер 27 July 2011 (Wed) 00:58 No.11983 File: macro-доброчан-же.JPG Jpg, 45.46 KB, 651×800 - Click the image to expand >>11981 > ты слишком добрый

>>	Доброкодер 27 July 2011 (Wed) 01:07 No.11984 >>11976 Из последнего, с картинками: http://blog.ezyang.com/2010/07/flipping-arrows-in-coburger-king/ Ну и тайпклассопедия, бладж, заебался копипасту постить: http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf

Доброкодер 27 July 2011 (Wed) 02:21 No.11985

>>11976
Я тоже нихуя не хаскелист (не добрался ещё), но до меня доходили слухи, что монады это такая хуйня, которая позволяет не закрывать очи в несовершенном мире. Хаскель же йоба-функциональный, весь насквозь иммутабельный и без побочных эффектов. Но проблема в том, что вся эта хуйня не имеет никакого отношения к реальному миру, который очень даже мутабельный, и любая программа бесполезна без побочных эффектов, как, например, вывод информации на экран и плавно анимированные менюшки. Поэтому для спасения хаскелемирка необходимо обеспечить безопасные побочные эффекты через монады.

Но это всё так, конечно, бред сумасшедшего, вообще не знаю, зачем я это сейчас пишу.

>>	Доброкодер 27 July 2011 (Wed) 02:38 No.11986 мондада - контейнер бинд - для извлечения данных (<-) ретурн - для возврата обратно (return) do-нотация - синтаксический сахар над этими двумя операциями

>>	Доброкодер 27 July 2011 (Wed) 03:52 No.11987 >>11985 Важное замечание изучающим монады номер N: не только IO.

>>	Доброкодер 27 July 2011 (Wed) 04:03 No.11988 >>11987 ты имел ввиду, что монады существуют не только для ввода/вывода, так? а то я немного не понял твое предложение ни разу не хаскел, просто внимательно слежу

>>	Доброкодер 27 July 2011 (Wed) 07:09 No.11989 >>11988 Да, именно. Есть ещё List, Maybe, State и другие. (IO - стандартная монада для вычислений, взаимодействующих с внешним миром)

Доброкодер 27 July 2011 (Wed) 07:47 No.11990

File: 1238823641885.jpg
Jpg, 23.84 KB, 465×468 - Click the image to expand

>>11982 Я так понял, что монада — это такая штука, которая на входе волучает функции, компониует их и выдаёт новые скомпонированные значения, так? Если так, то как это мне поможет избавиться от if-then-else?

Доброкодер 27 July 2011 (Wed) 11:18 No.11992

Наткнулся тут на такое

I did extensive research on all of the most popular functional languages last
year, including Haskell. In case you are trying to do something similar, I'll
warn you that almost all of the examples of Haskell's use in industry are
fakes, e.g. companies that have no products, companies that have one product
that never used Haskell, companies that happen to have two Haskell advocates
working for them out of 150 developers, companies where one employee once did
a preliminary Haskell program but nothing since and, finally, plain old spam
where companies that have never had anything to do with Haskell have hijacked
the Haskell site to advertise on-line only to be hailed as a "real world"
example of Haskell in industry by its proponents. I was rather baffled when I
discovered this and have never seen behaviour like it.

Dr Jon D Harrop (автор книги Ocaml for scientists)

>>	Доброкодер 27 July 2011 (Wed) 11:21 No.11993 >>11962 Если судить по ответам в тред, то /s/ — доска лисперов, постящих в каждый тред: «Выучи уже хачкель, мудак.» ради высшей справедливости.

>>	Доброкодер 27 July 2011 (Wed) 12:03 No.11994 >>11992 А можно ссылку на эту цитату? Очень годно, буду постоянно цитировать хаскелелюбам

>>	Доброкодер 27 July 2011 (Wed) 12:16 No.11995 >>11994 http://groups.google.com/group/fa.caml/browse_thread/thread/405bcdc8e5bf918e

>>	Доброкодер 27 July 2011 (Wed) 12:28 No.11996 >>11992 > companies that happen to have two Haskell advocates working for them out of 150 developers Это он про прософт, инфа 100%.

Доброкодер 27 July 2011 (Wed) 15:14 No.11997

File: seikon-no-qwaser-fifth-episode-nopan.jpg
Jpg, 58.09 KB, 480×526 - Click the image to expand

>>11976
Смотри, есть такой раздел математики - абстрактная алгебра.
Его суть заключается в том, чтобы абстрагироваться от содержимого множеств (полиморфизм).
Операции вместе со своими свойствами над произвольными множествами порождают структуры.
Простейшая структура - магма (или группоид) - это тупо множество и замкнутая относительно него бинарная операция.
Все остальные структуры являются уточняющими подклассами магмы и образуют витиеватую иерархию.
Если о операции в магме известно, что она ассоциативна, то такая магма называется полугруппой,
если о полугруппе известно, что у её операции на её множестве есть обратный элемент, то такая полугруппа называется моноидом и т.д. Так вот, мондада - не контейнер ни разу. Maybe - контейнер, IO - контейнер, а соответствующие мондады - это варианты функций bind@join@return, образующие моноид вместе со множеством отображений из множества-значений-погруженных-в-данный-контейнер в себя.

>>	Доброкодер 27 July 2011 (Wed) 16:49 No.11998 >>11992 Это просто ml-ёб батхуртит от того что в верблюжьем говне все делаешь, а ничего нет, зато на сайте написано, что ocaml - практичный язык. Нападки на Хаскелл среди ml-ёбов распространены весьма.

>>	Доброкодер 28 July 2011 (Thu) 00:08 No.12001 На самом деле, монады были бы вполне понтны, если бы ну хоть кто-нибудь сколь-либо нормально разъяснял, как работают классы типов и вообще типы.

>>	Доброкодер 28 July 2011 (Thu) 08:01 No.12005 File: 1234131821424.jpg Jpg, 36.58 KB, 249×316 - Click the image to expand > parse error (possibly incorrect indentation) А-А-А-А-А-А-А-А-А-А-А-А-А-А! Ну зачем!? Зачем они добавили эту гвидопыховкую идентацию?

>>	Доброкодер 28 July 2011 (Thu) 11:08 No.12006 >>12005 Няша, это не хаскеллисты добавили гвидопыховую идентацию, это Гвидо утащил идею отбивать отступами блоки из хаскеля. Возьми вменяемый редактор и не еби себе мозги. В емаксе, например, хаскель-мод шикарно с отступами работает.

>>	Доброкодер 28 July 2011 (Thu) 11:20 No.12007 >>12006 т.е. в хаскелле тоже блоки кода выделяются с помощью отступов, никаких скобочек? надо почитать о нем, что ли.

Доброкодер 28 July 2011 (Thu) 11:43 No.12009

Хаскебоги, посоветуйте мне какую-нибудь серьезную литературу от основ, до полного просветления. Чтобы теоретические основы и использование и лямбда исчисления, и комбинаторной логики; и плюшки всякие: строгое определение монад, вычмат на примерах и так далее. Хочу осилить что-нибудь поболее написания факториалов.

>>	Доброкодер 28 July 2011 (Thu) 14:56 No.12010 >>12006 > это Гвидо утащил идею отбивать отступами блоки из хаскеля Няша, ты хоть в курсе, когда был создан питон, а когда этот ваш хаскель?

>>	Доброкодер 28 July 2011 (Thu) 15:15 No.12011 >>12009 > Хочу осилить что-нибудь поболее написания факториалов. Но зачем? Знания написания факториала на хаскелле вполне достаточно для того, чтобы повыпендриваться на бордах.

>>	Доброкодер 28 July 2011 (Thu) 15:28 No.12013 >>12010 Миранда, ака прото-хаскелл, из которого он синтаксис утащил, в 85 появилась.

>>	Доброкодер 28 July 2011 (Thu) 15:55 No.12014 >>12013 >>12010 http://en.wikipedia.org/wiki/Peter_J._Landin http://en.wikipedia.org/wiki/Off-side_rule

>>	Доброкодер 28 July 2011 (Thu) 18:23 No.12018 >>12011 Но, лол, я не хочу выпендриваться на бордах, я хочу писать что-нибудь нормальное на этом божественном языке. Как я могу, скажем, писать что-то нормальное на каких-нибудь жабах. :3

Доброкодер 28 July 2011 (Thu) 19:37 No.12022

File: Shiro_helps_ganta.jpg
Jpg, 81.82 KB, 500×281 - Click the image to expand

>>12018
Зачем же ты надумал писать что-то нормальное на языке, которого совсем не знаешь? Не лучше ли написать что-нибудь нормальное на языке, который ты знаешь, а значит и можешь оценить степень подходящести его к задаче?

Доброкодер 28 July 2011 (Thu) 21:22 No.12025

>>11997
define "Операции"
define "своими свойствами"
define "структуры"
define "замкнутая относительно"
define "уточняющими подклассами магмы"
define "витиеватую иерархию"

> мондада - не контейнер ни разу.
> Maybe - контейнер, IO - контейнер

Maybe, IO не монады? /0
define "join"

>>	Доброкодер 28 July 2011 (Thu) 21:38 No.12026 >>12022 Одна из целей изучения — найти потенциальные области применения. Лучше литературы посоветуйте. Что нужно а что нет как-нибудь разберемся.

>>	Доброкодер 28 July 2011 (Thu) 21:49 No.12027 >>12026 Сам не читал, но говорят, что «Real World Haskell» — ничего так.

страдальцы Доброкодер 28 July 2011 (Thu) 22:29 No.12028

>>12026
Начинай с The Haskell School of Expression дальше читай Typeclassopedia (http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf), дальше статьи по ссылкам в тайпклассопедии, викикнигу (http://en.wikibooks.org/wiki/Haskell), а точнее отдельные главы. Ну и вики на haskell.org.
Некоторые няшечки могут посоветовать Душкина (беги от этой книги, как от чумы), Грема Хаттона или "Изучи себе хаскель во имя великой справедливости" - не слушай их, только напрасно потратишь время.
Ну а после изучения нормального языка программирования уже сам решишь, нужен ли тебе этот самый нормальный язык программирования.

Доброкодер 28 July 2011 (Thu) 23:05 No.12032

>>12028
Надо же, много знакомых книг, ибо за Грема Хаттона брался и осилил. Там есть неплохие примеры, как мне показалось, например те же монадические комбинаторы парсеров. Душкин славный словоблуд, дропнул книгу после главы про основы комбинаторной логики. И за The Haskell School of Expression хотел принятся, но пока руки не дошли.

Что скажешь о The Haskell Road To Logic, Math and Programming? Дропнул на главе про множества, ибо программирование и логика там крайне непропорционально смешанны. Стоит ли дочитывать?

Енивей, спасибо за литературу, будет что почитать на выходных.

Доброкодер 28 July 2011 (Thu) 23:28 No.12033

>>12032

> Что скажешь о The Haskell Road To Logic, Math and Programming?

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

>>	Доброкодер 29 July 2011 (Fri) 01:39 No.12035 О мудрые Анонимные Иксперты, подскажите, почему kk = (*10^6) выводит тип Integer -> Integer, а не Num a => a -> a ?

Доброкодер 29 July 2011 (Fri) 04:59 No.12037

Ну раз уж тут такая движуха, я тоже поинтересуюсь.
1. Как в Хаскелле со всякой там длинной арифметикой искаропки? Есть ли ограничение на размер целого чила, если да - сколько и что вернёт функция "неуложившаяся" в лимит?
2. Как там нынче с библиотеками дела? Много ли написано для практических нужд? Глючные? Что там с базами данных, работой с PDF и DjVu, прикреплением всяких ВебКитов, GUI?
3. Хорошо ли биндится к другим, более популярным языкам?
4. Как там при всей этой иммутабельности получается писать всякие НС, FSM, всякую мишуру для дата майнинга ну и вы понели. Как-то глядя со стороны мне сейчас многие вещи кажутся очень неудобными в отсутствие императивности. Как на практике? Всё хорошо и выходит проще написать отдельно и прилепить к Хаскеллю? Правда, тогда непонятно зачем он вообще нужен...

Доброкодер 29 July 2011 (Fri) 06:04 No.12038

>>12037
1. Нормально. Есть ограниченные типы, есть неограниченные. Довольно хорошо проработано. Все ограниченные являются экземплярами класса типов Bounded и реализуют его minBound и maxBound:
http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.html#v:maxBound
Операции с bounded-типами происходят как обычно: по модулю со сдвигом для знаковых и без сдвига для беззнаковых. Некоторые особо хардкорные алгебраисты юзают альтернативную стд-либу NumericPrelude в которой вообще области целостности на квазигруппах сидят и коммутативными кольцами погоняют.
3. Язык статический, ультратипизированный, потому с ffi всё достаточно ок.
4. Фича вовсе не в отсутсвии мутабельности, а в чётком разделении "чистого" кода и "грязного", а еще в том, чтобы сделать весь контрол-флоу максимально явным и за счёт этого предоставить больше свобод для его декомпозиции, структурирования, комбинирования и т.д. Многие алгоритмы хорошо кладутся на иммутабельные и персистентные структуры, но далеко не все. Ничего плохого нет, чтобы в хаскеле пользоваться мутабельными массивами.

>>	Доброкодер 29 July 2011 (Fri) 11:10 No.12040 File: fstar.png Png, 16.61 KB, 359×360 - Click the image to expand Что об этом думают местные лямбда-самцы? http://research.microsoft.com/en-us/projects/fstar/

>>	Доброкодер 29 July 2011 (Fri) 11:43 No.12041 File: 1234925313077.jpg Jpg, 44.62 KB, 660×400 - Click the image to expand >>12040 > .NET Дальше не читал.

>>	Доброкодер 29 July 2011 (Fri) 13:48 No.12044 >>12040 Бля, у майрософт ресёча сотни проектов и каждый охуительнее другого. И большинство в результате как-то притихает. http://research.microsoft.com/apps/dp/pr/projects.aspx#p=1&ps=36&so=1&sb=&fr=&to=&fd=&td=&rt=&f=a&a=&pn=&pa=&pd=

страдальцы Доброкодер 29 July 2011 (Fri) 22:41 No.12064

File: SNC00094[1].jpg
Jpg, 327.03 KB, 1280×960

File: 1310163851517.jpg
Jpg, 206.25 KB, 656×981

File: 12784303872385.jpg
Jpg, 122.84 KB, 512×512

File: IMG_7041.JPG
Jpg, 259.97 KB, 1024×764

File: sample-a5695d3cc4...
Jpg, 265.97 KB, 850×1202
Your censorship settings forbid this file.

>>12040
У меня батхёрт. Почему опять ML-говно, а не божественный Хачкель?

>>	Доброкодер 29 July 2011 (Fri) 23:06 No.12066 >>12064 Я думаю, потому что SPJ и свита не дают спермософту анально перепатентовать и огородить хачкель, а им только это и нужно от "инноваций". В сишарп, например, каждая 2я мелочь запатентована. Например, синтаксис лямбд, лол.

>>	Доброкодер 29 July 2011 (Fri) 23:08 No.12068 >>12064 Няшные фоточки, кстати.

>>	Доброкодер 29 July 2011 (Fri) 23:12 No.12069 >>12064 Ебаный Джим Керри. Уж вечное сияние чистого разума так вечное сияние ^__^

>>	Доброкодер 30 July 2011 (Sat) 10:45 No.12086 >>12064 Мсье пишет в студии за двумя RDP?

>>	Доброкодер 30 July 2011 (Sat) 10:52 No.12087 >>12043 >>12064 хочу еще этой няшки

Доброкодер 30 July 2011 (Sat) 12:28 No.12089

File: 1310253641483.jpg
Jpg, 125.67 KB, 800×536

File: 1310641541608.jpg
Jpg, 775.41 KB, 1205×2048

File: y_2eaff207.jpg
Jpg, 101.67 KB, 800×536

File: w_7b941c74.jpg
Jpg, 596.66 KB, 1043×2048

>>12066
Скорее MS просто не оплачивает увлечения SPJ и компании, а раз нет денег - нет мультиков. А на счет огораживания ты прав, была бы возможность огородить - огородили бы лицензии ресёча умиляют например - вообще нет никакого стимула тратить время на их проекты даже не потому, что ональное рабство, а потому, что коммерческой лицензии может не случиться в принципе, как это происходит с большинством проектов Но такой возможности нет, наверное поэтому и пилят какое-то своё ML-говно, которое хуже, зато родное.

Доброкодер 01 August 2011 (Mon) 22:52 No.12176

Я вот сейчас читал на хабре http://habrahabr.ru/blogs/hi/125398/ и вот о чём подумал. Большая часть описываемых проблем как раз в недостатке "однотипных", шаблонных действий во всяких там цппях. Значит ли это, что на каком-нибудь лямбда языке вроде Хаскеля можно спокойно лепить свои map-ы и всё распараллелится и будет быстрее Сишки? Алсо, никогда OpenCL в глаза не видел и даже не знаю, можно ли это вообще к Хаскелю прицепить. Так что вопрос и правда в стиле "лень гуглить - спрошу у анона", прошу проявить снисхождение.

И вот ещё. Сегодня читал про Clojure и наткнулся на фразу "т.к. JVM не поддерживает оптимизацию хвостовой рекурсии..." сначала я было хотел усмехнуться, типа, и тут из Лиспа ничего хорошего не вышло, но не успел - настолько быстро меня охватило состояние охуевания. Как же так? А как же Скалка? Вся эта функциональщина же жить не может без хвостовой рекурсии. Это что же, получается, на JVM в принципе нельзя склепать ничего толкового? И все мои надежды и радости, что мол, наконец Scala используется во всяких твиттерах и тихонько становится мейнстримом - напрасны?
Нет, серьёзно, Clojure и Scala же не дураки писали. Как они могут сколько-нибудь нормально работать без оптимизации хвостовой рекурсии? Или книжка мне просто напиздела и всё ок?

>>	Доброкодер 01 August 2011 (Mon) 22:54 No.12177 >>12176 > на JVM в принципе нельзя склепать ничего толкового? Дошло, наконец.

>>	Доброкодер 01 August 2011 (Mon) 22:57 No.12178 >>12176 В скакалке хвостовую рекурсию на костылях эмулируют. В простейшем случае все работает, чуть сложнее - скакалка сразу же разваливается. >>9809 Кложурасты же циклами обходятся, как в фортранчике 50 лет назад.

>>	Доброкодер 01 August 2011 (Mon) 23:01 No.12179 >>12178 в чем же профит тогда от этого всего? мимокрокодил

>>	Доброкодер 01 August 2011 (Mon) 23:02 No.12180 >>12089 спасибо, жизнь наладилась это по поводу картиночек, добра тебе

>>	Доброкодер 01 August 2011 (Mon) 23:03 No.12181 >>12178 Ты говоришь «фортранчик» и «50 лет назад» так, как будто циклы не работали как надо, без каких-либо претензий, все эти 50 лет.

>>	Доброкодер 01 August 2011 (Mon) 23:24 No.12183 >>12181 Лопата верно служит человеку еще со времен неолита(тогда она называлась «палка-копалка») и несомненно будет широко использоваться еще долго после того, как мы все умрем. Но с тех пор появились более технологичные способы копать ямы. Сечешь?

Доброкодер 01 August 2011 (Mon) 23:40 No.12184

>>12178
Пиздец, вот это грустнота так грустнота. Прям словно целый мир рухнул, хотя я вроде и не лямбдоёб-то. И как теперь жить? Охотно верю во всё это "развитие Хаскеля", "оптимизацию Руби" и всякое прочее - даже "избавление от GIL в Пайтоне", но JVM-то на то и есть JVM, ничего с ней не сделается же.
И что ж тогда, Скалка - мертворождённый язык? А как же эта вся движуха с Твиттером? Или я зря расстраиваюсь и там вполне можно комфортно писать без хвостовой рекурсии ну и вообще (хотя, блджад, я вообще с трудом себе представляю, как без неё можно эффективно использовать тот же паттерн матчинг) всё не так страшно?
А зачем тогда Кожура нужна и вовсе непонятно. Правда, её недоделанность меня не расстравивает, не шибко-то мне она и нравилась. Но Лисп без ХР это анекдот какой-то, на самом деле.

Доброкодер 02 August 2011 (Tue) 00:08 No.12185

>>12184
Это скалка без ТСО - анекдот какой-то, а кожура - нормально. В common-lisp в стандарте тоже ничего нет о хвостовой рекурсии, это просто sbcl такой клёвый. Как лишпоблядь на этапе интермиссии, уверяю - у лисперов свой мирок контрол-флоу, в котором они угорают по взлому аппликативной редукции макросами, ебашат метадсли типа loop, iterate, series, for/fold, которые раскрываются чуть ли не в ассемблер и упарывают континуации - даже если они не предусмотрены рантаймом.

>>	Доброкодер 02 August 2011 (Tue) 00:19 No.12187 >>12184 Всё до безобразия просто - жабанамашине тупо заполонила весь интырпрайз и теперь без жабомашины никто его и не представляет. Хомячки, хуле.

Доброкодер 02 August 2011 (Tue) 01:08 No.12189

File: y_441e0874.jpg
Jpg, 101.80 KB, 500×750 - Click the image to expand

>>12176

> Значит ли это, что на каком-нибудь лямбда языке вроде Хаскеля можно спокойно лепить свои map-ы и всё распараллелится и будет быстрее Сишки?

Если кратко, то нет. Если длинно, то да, Хаскель требует меньше усилий при решении подобных задач. Правда шансов у него маловато, сишку использует несравнимо больше программистов, поэтому все инструменты будут создаваться в первую очередь под неё. Пусть это неудобно, зато массово. Компаниям надо зашибать бабки, а не страдать перфекционизмом.

> Как они могут сколько-нибудь нормально работать без оптимизации хвостовой рекурсии?

JVM создавалась под Джаву, ФЯ на неё нормально не натянуть. Но скалка и кложа - мультипарадигменные, поэтому всегда можно выкрутится. Причем это выкручивание не сильно отличается от того, что приходится делать на Хаскелле - там тоже приходится задумываться о том, во что сконпелируется твой код. Хотя да, в JVM граблей больше.
>>12180
Иди уже знакомься с ней http://vkontakte.ru/id2405418. Будете вместе рычать в микрофон и постить расчленёнку бга, а её вконтактик доставляет! найдёшь чего ржачного - сливай сюда
>>12184
Ты преувеличиваешь масштабы трагедии. Хвостовая оптимизация нужна для обработки списков, но это решается костылями. Кроме того, на списках не часто возникает взаимная рекурсия, поэтому многие случаи скалка разрулит сама. Для деревьев хвостовая оптимизация в большинстве случаев не нужна, т.к. глубина более-менее сбалансированного дерева находится в логарифмической зависимости от числа узлов. Ну и не стоит забывать о том, что в общем виде хвостовая оптимизация (inplace пересборка кадра стека сама по себе + вытаскивание континуаций в кучу при приведении к хвосторекурсивной форме) - довольно ресурсоёмкая операция, поэтому часто выгоднее схавать немного стека, чем лепить её куда ни попадя.

Алсо, про лишп ты зря, его штандарт тоже ничего не говорит по поводу хвосторой рекурсии.

Доброкодер 02 August 2011 (Tue) 09:51 No.12190

>>12064
Ну какбы они утверждают, что по отношению к общей системе типов .NET Haskell - не пришей к пизде рукав. Тот же самый OCaml тоже несколько коряво прилег на этот базис, но в силу свой мультипарадигменной природы и энергичности позволяет как-то интегрироваться. Хачкель бы получился языком в вакууме.

Доброкодер 02 August 2011 (Tue) 10:01 No.12191

>>12189
Я только не понимаю, при чем тут вообще JVM. Разве не конпелятор скалы должен еще на этапе анализа и оптимизации AST детектировать хвостовую рекурсию и перепаковывать рекурсивную функцию в циклы с такими-то продолжениями?
Еще непонятно, идет ли сейчас речь об автоматическом приведении наивной реализации рекурсивной функции к хвостовому виду или о том, что даже если ты постарался (например как http://habrahabr.ru/blogs/net/57503/) и в явном виде переписал все через континуации, у тебя все равно все может развалиться на ровном месте.

ОЛСО, по мнению автора Скалы, Скала язык умеющий конпелироваться как под JVM так и под .NET, только увы и ах, нас снова тролируют.

Доброкодер 02 August 2011 (Tue) 12:47 No.12193

File: x_8578fb1b.jpg
Jpg, 65.47 KB, 400×598 - Click the image to expand

>>12190

> Ну какбы они утверждают, что по отношению к общей системе типов .NET Haskell - не пришей к пизде рукав.

Можешь дать ссылку на это утверждение?
>>12191
Чувак, тут дело такое:
1. Любую функцию можно привести к хвосторекурсивному виду. Для этого "хвост" функции надо завернуть в континуацию и передать как параметр вызываемой функции. Вызываемую функцию надо тоже модифицировать (чтобы она приняла этот параметр и вызвала его в конце). Сомнительная операция, т.к. приводит к засиранию кучи и тормозам. Это преобразование может делать конпелятор, но ни один сам не делает, как раз в виду его сомнительности.
2. Хвостовой вызов (полученный на предыдущем этапе) можно оптимизировать так, чтобы он не хавал стек. Высокоуровневый конпелятор этого сделать не может, в байткоде есть инструкция вроде "call" (не помню точное название), конпелятор F#-а всего лишь добавляет перед ней инструкцию .tail, которая указывает виртуальной машине, что вызов должен быть оптимизирован. Сама оптимизация заключается в пересборке текущего кадра стека в соответствии с тем, каким его ожидает вызываемая функция, и переход в неё с помощью операции jmp. Тоже весьма сомнительная операция (добавляет много лишних действий по перетасовке стека), поэтому по умолчанию не используется. Конпелятор C#, например, хвостовых вызовов не генерирует, хотя, казалось бы, ничего стоит вставлять .tail перед каждым вызовом любой функции не думая.
3. Линейную рекурсию можно автоматически превратить в цикл. Делается это на высоком уровне, вместо рекурсивных вызовов въебашиватся while. Собственно это и делает конпелятор скакалки. Причем немерлятина умеет детектировать и преобразовывать только простую рекурсию (когда функция вызывает сама себя), скакалка более продвинута и умеет разруливать взаимную рекурсию, главное, чтобы она была линейной... хм, или не умеет. Это тебе надо у Рейфага спростить, это он постоянно скакалку ломает, чтобы джавистов пообсирать.

Если ты постарался и переписал всё через континуации то:
1. F# развалится на какой-то из реликтовых версий доднета, где .tail был плейсхолдером и ничего не гарантировал. На новых гарантированно не развалится, но будет адово тормозить.
2. Развалится на скакалке, гарантированно (кроме вырожденного случая линейной рекурсии, ты его сразу увидишь в процессе переписывания, там у тебя вместо континуации аккумулятор будет передаваться или что-то типа того, не помню уже)
3. Может развалиться на хачкеле из-за ленивости, т.к. он будет класть в санки выражения для вычисления аргументов функции, а когда дойдёт до низу долго и мучительно эти санки раскрывать. Вот тебе примерчик: http://stackoverflow.com/questions/412919/how-does-haskell-tail-recursion-work.

>>	Доброкодер 02 August 2011 (Tue) 14:50 No.12194 >>12187 > жабанамашине тупо заполонила весь интырпрайз лолшто?

Доброкодер 02 August 2011 (Tue) 17:29 No.12196

>>12193

> Можешь дать ссылку на это утверждение?

Я это увидел в книжке либо у Криса Смита, либо у Сошникова. Домой вернусь, постараюсь найти и выложить.

> Любую функцию можно привести к хвосторекурсивному виду

Спорное утверждение. На мой взгляд, неверное.

Доброкодер 02 August 2011 (Tue) 20:32 No.12198

Похоже и правда, не так всё страшно у скалки. Надо будет на неё попробовать что-нибудь. Приложения под Андроид. Она же, я так понимаю, легко работает со всем, что работает на JVM, верно? Так что Андроидные приложения будет писать как минимум не сложней, чем на Джаве, верно?

>>	Доброкодер 02 August 2011 (Tue) 21:18 No.12200 >>12198 для этого должны быть хоть какие-то биндинги из стандартной библиотеки андройда, нэ? мимокрокодил

Доброкодер 02 August 2011 (Tue) 21:47 No.12201

>>12200
Ну во-первых я вообще смутно представляю, как оно там связывается, так что вполне мог бы предположить, что нет. Во-вторых, они-таки есть: http://robots.thoughtbot.com/post/5836463058/scala-a-better-java-for-android

Вот только в статье про Хеллоу ворлд - одно, а ИРЛ - бывает совсем другое. Поэтому надеюсь, что кто-то пробовал или хотя бы теоретически знает достаточно, чтоб что-то об этом представлять.

Доброкодер 03 August 2011 (Wed) 02:25 No.12205

>>12198
Посмотри конечно. Программировать на ней будет не сложнее, чем на джаве, хотя и особого профита тоже не будет. Скорее всего, будешь писать так же как и на джаве, только с другим синтаксисом. Потом, если понравится, перейдешь на Хаскелл. Все мультипарадигменные языки по сути компромиссы, мол хочется ФЯ, но так как нормальный ФЯ сделать сложно, да и либ нет, да и не переучишься за один день, фигачат сборную солянку с элементами ФЯ.

История из жизни - как-то раз ездил на озеро с отцом одной знакомой, он угорает за стрельбу из пневматических винтовок. Естественно, он взял с собой соответствующий девайс, и когда я увидел его у него в руках, принялся расспрашивать. Уж не помню, что это была за винтовка, но девайс мне показался сложным в обслуживании, дорогим, и еще откуда-то привезенным, т.е. не очень-то доступным. Когда спросил что мол а нафига столько гемора вокруг в общем-то простой идеи - пострелять по бумажке, он мне ответил, что на определенном уровне ты начинаешь стрелять достаточно хорошо и дальнейший твой рост ограничивает только винтовка - её кучность, начальная скорость выстрела и т.д., что довольно неприятно психологически. Стрелял он, кстати, весьма неплохо, я так не умею. Так вот, с языками программирования аналогичная ситуация. Чем искушеннее программист, тем выше требования к инструменту. Через некоторое время тебя уже не будут волновать `сложности обслуживания' вроде отсутствия IDE c визардами и быстрой справкой по F1, тебя будет волновать свободно-вывешенный ствол и всякая другая фигня, понятная только тем, кто в теме. Ради неё ты будешь готов мирится с некоторыми сложностями. А использование примитивных инструментов будет вызывать у тебя дискомфорт, ведь с ними ты будешь чувствовать, что ограничивает тебя инструмент, а не твой профессионализм.

>>	Доброкодер 03 August 2011 (Wed) 12:32 No.12208 File: 6a00d8345160c569e200e54f2c698c8834-800wi.jpg Jpg, 29.72 KB, 401×399 - Click the image to expand >>12205 Поучительная притча, бро.

>>	Доброкодер 03 August 2011 (Wed) 19:59 No.12216 >>12033 В этих SoE какая-то странная графическая либа, упоминания на haskell.org о которой нет? Если чисто подобной нет, то какую стоит осваивать? На hackage их больно дофига, глаза разбегаются.

>>	Доброкодер 03 August 2011 (Wed) 20:00 No.12217 >>12216 > о которой нет? о которой нет.

>>	Доброкодер 03 August 2011 (Wed) 23:40 No.12224 >>12216 Возможно это http://hackage.haskell.org/packages/archive/HGL/3.2.0.2/doc/html/Graphics-SOE.html. Кажется оно немного протухло, если не получится сбилдить, пиши сюды или хаскель-кафе.

>>	Доброкодер 03 August 2011 (Wed) 23:50 No.12225 >>12224 Вдруг имеет смысл браться сразу за серъезную графическую либу, я ж не знаю. С этой проблем не возникло, cabal сбилдил и установил без каких-либо претензий. Буду ковырять.

Доброкодер 04 August 2011 (Thu) 00:25 No.12226

>>12225

> Вдруг имеет смысл браться сразу за серъезную графическую либу, я ж не знаю.

Если ты не собираешься заниматься серьёзной графикой, то браться за серьёзную графическую библиотеку смысла не имеет. Для HSoE лучше использовать то, для чего она была написана. А то ко всем удовольствиям еще добавится работа по портированию кода на серьёзную графическую библиотеку.

>>	Доброкодер 07 August 2011 (Sun) 20:11 No.12292 File: 1300135903374.jpg Jpg, 174.41 KB, 1280×720 - Click the image to expand Вышла новая версия HSoE. Называется "The Haskell School of Music". http://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf

Доброкодер 07 August 2011 (Sun) 20:30 No.12296

>>12292
Ооо, годнота! А то я заебался форсить на чанах книжку десятилетней давности, чтобы знакомство с хаски у людей началось с кабалопроблем. Обновлю копипасту:
[code]
Начинай с The Haskell School of Music дальше читай Typeclassopedia (http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf), дальше статьи по ссылкам в тайпклассопедии, викикнигу (http://en.wikibooks.org/wiki/Haskell), а точнее отдельные главы. Ну и вики на haskell.org.
Некоторые няшечки могут посоветовать Душкина (беги от этой книги, как от чумы), Грема Хаттона или "Изучи себе хаскель во имя великой справедливости" - не слушай их, только напрасно потратишь время.
Ну а после изучения нормального языка программирования уже сам решишь, нужен ли тебе этот самый пикрилейтед.
[/code]
Тайпклассопедию надо тоже чем-нибудь заменить. Имхо она громозкая для того объема информации, которое в ней изложено. И непонятная. Вогнять говно вроде
[code]First, the f a and f b in the type signature for fmap tell us that f isn’t just
a type; it is a type constructor which takes another type as a parameter. (A
more precise way to say this is that the kind of f must be * -> *.[/code]
человеку, который раньше не работал с ЯП с хайкайндами - это сцуко издевательство.

>>	Доброкодер 07 August 2011 (Sun) 20:52 No.12297 Как на хачкелле реализовывать систему объектов с внутренними состояниями?

Доброкодер 07 August 2011 (Sun) 22:08 No.12298

Скажите пожалуйста, Хаскель действительно умеет только в факториалы или библиотек достаточно, чтоб штапмовать всякие виджеты под GTK? Если второе - насколько сложно в нём пишется простой интерфейс в GTK? Как в Пайтоне? Как в С++? Ещё проще/ещё сложнее? Надо напридумывать практических задач для обучения, а я уровень практичности не очень представляю.

>>	Доброкодер 07 August 2011 (Sun) 22:21 No.12300 >>12297 Канонично - хранить стейт в reader/writer мондах. >>12298 GTK оно и в Африке GTK. С хаскеллем оно даже удобнее, типизация сильно помогает. Плюс практически исключены сегфолты и тому подобные сипроблемы. Одна проблема - памяти жрет многовато.

Доброкодер 07 August 2011 (Sun) 22:34 No.12301

File: madokagatari.jpg
Jpg, 267.47 KB, 469×640 - Click the image to expand

>>12297
Хорошо хоть не рак яичек. Да как хочешь - так и можешь организовать. Можно как телебейсике - потоками, обменивающимися сообщениями. Можно как в мейнстриме - рантаймовым диспатчем с помощью классов типов и rank-2 АТД. Изменяемое состояние - рефы как в любом эмелеговне. Вот только не понятно, зачем тебе хаскель. Им пользуются как раз те, кому "реализовывать систему объектов с внутренними состояниями" совсем не хочется. Раз уж ты преследуешь противоположную цель - разумнее выбрать какой-то другой язык.
>>12298

> Хаскель действительно умеет только в факториалы

Да.

> GTK

Подразумевается, что под GTK что-то кроме факториалов с ГУИ пишут?

Следующий!

>>	Доброкодер 07 August 2011 (Sun) 23:06 No.12302 >>12300 > Одна проблема - памяти жрет многовато. Это примерно?.. >>12301 Как будто ИРЛ нужно что-то большее. Следующий.

Доброкодер 07 August 2011 (Sun) 23:08 No.12303

>>12292
Добавлю, что для того, чтобы послушать факториалы из нового факториалосборника на убунту-линукс и ghc-7.0.3 (и вообще, по словам штангистов http://ru-lambda.livejournal.com/127375.html, в любой ОС на ghc-7) нужно сделать следующее:

1. Выполнить инструкции по адресу http://haskell.cs.yale.edu/?page_id=269 . Выполнение инструкций должно закончиться на строке [25 of 25] Compiling Euterpea.Audio.Render ( src/Euterpea/Audio/Render.hs, dist/build/Euterpea/Audio/Render.o ) зависанием гхц.
2. После этого надо открыто текстовым редактором файл src/Euterpea/Audio/Render.hs, который лежит в папке с исходным кодом и закомментировать там функции pSwitch и renderSF. Плюс renderSF надо убрать из экспортов модуля.

После этого библиотека установится, пусть и через пень-колоду и можно будет побулькать частотной модуляцией.

Алтернативно можно попробовать исправить баг http://hackage.haskell.org/trac/ghc/ticket/5022

Алтернативно можно попробовать использовать ghc версий 6.x и все должно собраться, но я не проверял.

Доброкодер 07 August 2011 (Sun) 23:23 No.12305

>>12301

> "реализовывать систему объектов с внутренними состояниями" совсем не хочется

Я несколько туповат, извини, поэтому не могу себе представить, как проектировать большие системы используя лишь кучу самописных монад и функций над ними. Мне подобное конструирование кажется гораздо менее естественной и простой описательной способностью, чем традиционное ооп. Был бы несказанно рад, если бы это оказалось не так, но сначала таки придется осилить теорию категорий, а в ней слишком много жидовских терминов, в определения которых надо верить.

Доброкодер 07 August 2011 (Sun) 23:38 No.12306

File: 1299855183250.jpg
Jpg, 32.90 KB, 1280×720 - Click the image to expand

>>12302

> Как будто ИРЛ нужно что-то большее

Да, конечно. ИРЛ нужен, например, нативный лук-энд-фил в ОС, которыми пользуется больше одного процента пользователей. Ты вообще хоть одно реально используемое приложение, написанное под ГТК знаешь?
>>12303
К тому времени, как эта книга будет дописана (через год - полтора) этой проблемы уже не будет.
>>12305

> поэтому не могу себе представить, как проектировать большие системы используя лишь кучу самописных монад и функций над ними

Вот я и говорю: "разумнее выбрать какой-то другой язык".

> слишком много жидовских терминов, в определения которых надо верить

Тем более, что ты уже и выбрала другой - поэтому не вижу повода для обсуждения.

Доброкодер 08 August 2011 (Mon) 00:34 No.12307

>>12306
Как раз-таки именно он нормальным людям и нужен, просто, к сожалению, порядочное число илита-погромистов не видят дальше своих емаксов (которыми как раз нормальные люди в жизни не согласятся пользоваться). И как следствие - за примерами далеко ходить не надо. Да хоть бы мой аудио-плеер, представь себе, не mocp и даже не DeadBeef, а Exaile, написаный не просто на GTK, а - ужас-то какой! - на Python. А я ведь ещё не самый страшный случай - полным-полно людей намного нормальнее меня.
Высказывание про 1% я оставлю без комментариев.

>>	Доброкодер 08 August 2011 (Mon) 00:40 No.12308 http://bash.org.ru/abyssbest?text=--+%D2%FB+%F4%F3%ED%EA%F6%E8%EE%ED%E0%EB%FC%F9%E8%EA%21+ кто єту фигню вбросил?

>>	Доброкодер 08 August 2011 (Mon) 00:45 No.12309 >>12306 Я сам пользуюсь не одним десятком приложений, написанных на ГТК. Зачем мне твои расплывчатые фразы вроде "реально используемое приложение"?

>>	Доброкодер 08 August 2011 (Mon) 00:45 No.12310 >>12307 > емаксов Умру за Столлмана! Порву за емаск!!1

Доброкодер 08 August 2011 (Mon) 01:22 No.12313

File: 12762315438362.jpg
Jpg, 25.12 KB, 640×480 - Click the image to expand

>>12307

> Exaile, написаный не просто на GTK, а - ужас-то какой! - на Python

Не встревал бы, если бы сам не использовал приложения на питоне.

http://www.google.ru/search?sourceid=chrome&ie=UTF-8&q=exaile+freezes
http://www.google.ru/search?sourceid=chrome&ie=UTF-8&q=exaile+hangs
http://www.google.ru/search?sourceid=chrome&ie=UTF-8&q=gajim+freezes

Прямо как в какой-то пасте было "приложения на питоне всегда будут блокировать UI во время операций ввода-вывода".

Невысокое качество налицо, хотя сам использую гажим (и не матерюсь только потому, что он рестартует раз в неделю). Некоторым лично хватает и этого, но по это не повод закрывать глаза на проблему и предаваться эскапизму.

Вон Торвальдс тоже мечется то туда, то сюда. Наверное скоро на макос пересядет, всё к тому идет.

Доброкодер 08 August 2011 (Mon) 01:35 No.12314

File: 1299859048776.jpg
Jpg, 1035.62 KB, 1200×1200 - Click the image to expand

>>12307

> Как раз-таки именно он нормальным людям и нужен

Вот только они об этом не знают. Сообщи им скорее.

> дальше своих емаксов (которыми как раз нормальные люди в жизни не согласятся пользоваться)

Совершенно верно.

> мой аудио-плеер, ... Exaile

Это не аудио-плейер, а игрушка для нердов и фриков. Аудиоплеер - это какой-нибудь ipod, denon dcd-510 или, в крайнем случае wmc или itunes. О существовании всяких эзайлов знают только сумасшедшие погромисты и идейные бородатые слесаря по компьютерам.

> Высказывание про 1% я оставлю без комментариев.

Правильно, потому что возразить-то нечего.
>>12309

> Я сам пользуюсь не одним десятком приложений, написанных на ГТК. Зачем мне твои расплывчатые фразы вроде "реально используемое приложение"?

Что ты подразумеваешь под "пользуюсь"? Поставил на свой линукс-плейстешон и пугаешь ими одноклассниц? Я и сам, будучи вышеуказанным сумасшедшим программистом игрался в некоторые нерд-игрушки под ГТК, и написанные на хаскеле в том числе. Но делают реальную работу, создают прибавочную стоимость люди с помощью совсем других программ. Настоящих орудий труда. Вордов и экселей, фотошопов и тридемаксов, математик и матлабов. Легко видеть, что написанных под ГТК гуи-факториалов в этом списке нет.

Доброкодер 08 August 2011 (Mon) 01:37 No.12315

>>12313

> питоне

ух бля, ну ладно, сделаю вид, что ничего не видел
Подтверждаю, работает скажем прямо, неидеально. Но в принципе - я доволен. Всё остальное под Линуксом меня вообще не устроило. И на самом деле он тоже мог бы не устраивать, но в нём есть просто замечательная особенность - причём, что самое ироничное, это именно тот самый "ужас какой". Благодаря компактности и простоте его сорцов, я могу дописать большую часть того, что разработчики посчитали "ненужной хуетой". И даже ничего перекомпилировать не надо. Это помимо того, что у него просто хорошая система плагинов. А ведь если быть реалистами - такого бы не было, если бы он был написан "как положено", на Qt и передовом языке вроде хачкеля. Конечно, нормальные люди ничего дописывать не будут, но в результате и они имеют довольно простой, удобный, да ещё и бесплатный продукт. И, боюсь, что именно к тому всё и идёт, ибо железо позволяет. Ну это если оставить в стороне разговор о том, что десктопы вымирают и всё такое.

> Вон Торвальдс тоже мечется то туда, то сюда. Наверное скоро на макос пересядет, всё к тому идет.

И я его прекрасно понимаю. В смысле, при современной жестокой действительности это выглядит довольно разумным решением.

Доброкодер 08 August 2011 (Mon) 01:42 No.12316

>>12314

> Правильно, потому что возразить-то нечего.

А что возражать на бред сумасшедшего? Именно поэтому я не буду комментировать и остальное. Ну правда, что спорить с больным? Если ты так уверен, что нормальным людям не нужно то, что им, судя по их действиям, нужно - ок, ладно. Не нервничай только. Иди скорее напиши очередной хелоуворлд на хачкеле, может полегчает.

Доброкодер 08 August 2011 (Mon) 01:48 No.12318

>>12314
Тебе что важнее от ПО - удобство(конечно же субъективное) или количество бабла, заколачиваемого с помощью него совершенно незнакомыми тебе людьми по ту сторону Атлантического океана? Для пэйнт, в коротом я на скришотах персональную информацию иногда затираю куда дороже фотошопа, который лично мне просто бесполезен. И плевать, сколько художников-профессионалов используют его как основной рабочий инструмент. Это уже их дело.

Доброкодер 08 August 2011 (Mon) 01:49 No.12319

File: 1302463040129.jpg
Jpg, 192.59 KB, 600×800 - Click the image to expand

>>12316

> А что возражать на бред сумасшедшего?

Что ты так раскипятился-то? Фанат гну-свободы?

> Именно поэтому я не буду комментировать и остальное.

Именно потому, что все мной написанное - очевидные факты, с которыми не поспоришь.

> что им, судя по их действиям, нужно

По каким действиям-то? В чем они выражаются?

>>	Доброкодер 08 August 2011 (Mon) 01:49 No.12320 >>12318 > Для меня пэйнт

Доброкодер 08 August 2011 (Mon) 02:04 No.12321

File: 1301323359466.jpg
Jpg, 192.48 KB, 853×480 - Click the image to expand

>>12318
Для вовочки, сидящего в песочнице, его совочек, конечно, дороже стучащего в двух кварталах поезда, дымящей на горизонте электростанции и летящего в небе самолета. Но когда вовочка вырастет, он поймет что без совочка он как-нибудь обошелся бы, а без остального перечисленного превратился бы в кусок мертвого холодного мяса. Точнее в косточки, потому что мясо бы быстро съели. Когда кто-то работает, дело делает - это всех касается, по любую сторону океана. И абсурдно сравнивать по важности то, что ставится на воркстейшен, чтоб дела делать и то, что ставится на плейстейшен - чтоб время убивать.

Доброкодер 08 August 2011 (Mon) 02:05 No.12322

>>12297
Чувак, ты удивишься, но хачкель - это не язык для написания абстрактных фабрик виртуальных паттернов, он, сука, практичен. Поэтому первый вопрос, который ты должен себе задать перед тем, как что-нибудь писать - это "что я хочу получить в итоге?" Потому что если ты ничего не захочешь, ты ничего и не получишь - язык-то ленивый. Иди от предметной области, что за состояния, зачем тебе нужны эти состояния? Может быть это у тебя обработчик потока информации, управляемый этим потоком, гугли stream processing. Может тебе нужен гуй, гугли Fudgets.
>>12298
Хуёво. А где с GTK не хуёво? А главное, зачем тебе это говно? Любишь что повинтажнее? Если через пять лет твоё приложение не будет работать в браузере на планшетнике, это будет полностью бесполезное говно с нулевыми шансами выхода на рынок (даже в качестве бесплатной утилитки). На все существующие программы будут смотреть как на менфеймовое корпоративное говно, а программирование по десктоп будет примерно таким же задротством, как написание игр под ZX-Spectrum сейчас.
>>12303
Радость была недолгой..
>>12305

> как проектировать большие системы используя лишь кучу самописных монад и функций над ними

Охуенно. Лучше расскажи, как ты на ооп эмулируешь модули? Ведь на больших системах %извини когда я слышу это слово, сразу вспоминаю объявление на сайте свингеров "от 18 см", извини, ничего не могу с собой поделать, быдло, дрочащее на большие системы или большие базы данных у меня ассоциируется любителями больших хуёв%% используется в первую очередь модульная декомпозиция (модуль продаж, модуль сервиса, модуль интегации с хуем Деда Мороза..) Так что ты используешь в ООП для эмуляции модулей? Дрочишь на синглетоны, статические фасады, SOA, или обмазываешься DI?

> а в ней слишком много жидовских терминов, в определения которых надо верить.

О, нет чувак, твой сенсей тусит на нульче и на ы-чане в /sci/, сюда он не заходит.
>>12307

> порядочное число илита-погромистов не видят дальше своих емаксов

Это число попадает в тот же 1%. Братюня прав, GTK не нужен. Даже если бы был нужен десктоп, он бы не понадобился ввиду присутствия WPF на большинстве платёжеспособных десктопов, а на фоне последних тенденций он не нужен совсем.

>>	Доброкодер 08 August 2011 (Mon) 02:09 No.12323 анонимные иксперты такие иксперты :3

Доброкодер 08 August 2011 (Mon) 02:16 No.12324

>>12319

> Фанат гну-свободы?

Напротив. Даже удвою переход на макос.

> очевидные факты

Очевидно неверные "факты". Настолько очевидно - что надо быть идиотом или упоротым фанатиком, чтоб это игнорировать. На идиота ты не очень похож, зато упоротым фанатиком являешься бесспорно, так что ж с тобой спорить? Можешь клепать свои идеально написанные хелоуворлды на хачкеле хоть до посинения, но, увы и ах, мир движется совсем в другом направлении.

> По каким действиям-то? В чем они выражаются?

В том, что люди предпочитают платить бешеные бабки за продукцию некоторых компаний, просто потому что их продукты и главный менеджер - няшные.

И прежде чем отправиться спать, оставив тебя со своими факториалами, вброшу пять копеек в ваше обсуждение "реальных программ и добавочной стоимости" (что, конечно, само по себе бредово, т.к. наиболее активно пользуются сейчас всякими фейсбуками, которые, очевидно, полезной работы выполняют исклчительно мало). Добавочную стоимость в твоём списке активно вносят что разве ворды и эксели. В остальном - подавляющее большинство "программ, создающих прибавочную стоимость" это говно на джаве с веб-интерфейсом. О которых нормальные люди даже и не подозревают. А нормальные люди как раз и пользуются факториалами с интерфейсом на ГТК - ну или не ГТК, но на такой же примитивной хуйне. Ну и да, помимо этого есть несколько здоровенных хуёвин, вроде фотошопа, которые уже заняли своё место на рынке, каждый в своей нише, и других таких гигантов особо-то никому и не надо.
Впрочем, что-то многовато получилось для "замечания о бреде сумасшедшего". Будем считать, что ты меня затролел.

Доброкодер 08 August 2011 (Mon) 02:22 No.12325

>>12322
Лол, писать на хачкеле что-то, что должно через пять лет быть востребованным на рынке? Да ты шутишь! Нет, его я рассматриваю только как что-то, чем я могу себя развлечь, попутно клепая то, что нужно лично мне и прямо сегодня. А GTK для этого сильно лучше всякого другого, в чём я убедился, дописывая пару кнопок в Экзайле.

> программирование по десктоп будет примерно таким же задротством

Подозреваю, что десктоп будет задротством. Для игр будут PS и Xbox, для кинца и сопутствующего - чуть умнее коробки к ТВ, а для всего остального будут Айпад с андроидоподелками. Ну где-нибудь там и МС встроится, не суть. ПК снова будет для работы.

Доброкодер 08 August 2011 (Mon) 02:27 No.12326

>>12321
Как бы Вовочка не дёргался, поезд с рельс ему не спустить, электростанцию не взорвать и самолёт не сбить. Да и зачем? Вещи, которые прекрасно функционируют и без него(мама и папа Вовочки налоги платят, и Вовочка спит спокойно) и на которые он никакого воздействия не оказывает - с чего бы им стать властителем его дум?
А совочек, он ни от кого, кроме Вовочки, не зависит. Вовочке с ним осторожно обращаться надо, вдруг сломается. Вовочке его от Петьки из старшей группы защищать надо, вдруг отоберет. Так ты действительно обвиняешь Вовочку в недальновидности?

Доброкодер 08 August 2011 (Mon) 06:04 No.12327

> порядочное число илита-погромистов не видят дальше своих емаксов (которыми как раз нормальные люди в жизни не согласятся пользоваться)

Почему? Для меня самые важные вещи в емаксе это удобный текстовый редактор, удобный тайлинг, простота подкручивания аддонов и их количество. Не видел ни одной IDE которая позволила бы так же быстро и удобно разбивать рабочую область на несколько тайлов, редактировать и запускать в них код на разных ЯП. В тайлинге самое главное - чтобы у отдельных тайлов не было оверхеда по пространству где-то на краях, как в вижул студии, например. Кстати, большинство IDE, которые я видел - невыносимое глючное говно. Самая лучшая - msvs, но она тоже никуда не годится, для шарпопроектов с loc > 500000 она виснет через раз даже просто на загрузке.

> GTK не нужен

Наоборот, монструозные тулкиты не нужны, а только такие как GTK имеют право на жизнь. Да, он в тысячи раз примитивнее и предоставляет в десятки тысяч раз меньше возможностей, но так и надо. Только такой вот примитивный и однозначный тулкит может целиком уместиться в голове формошлёпа и позволить ему спросонья провести икспертизу по запросу и сразу сказать - либо запрошенное сделать нельзя впринципе, либо алгоритм такой-то. Программируя же на, к примеру, winforms+devexpress, бедный формошлёп физически не способен целиком уместить в голове функционал даже какого-нибудь ёбаного ЭкстраТриЛистРепозиториКомбобоксАйтема. Роль формошлёпа с этими инструментами - адаптивная самообучающающаяся экспертная система с полиморфной памятью - он занимается только тем, что выискивает сиюминутно-нужную информацию в хелпах, использует её (часто с огромным количеством шаманизма), и кеширует в голове. Но кеша этого не хватает и на один контрол, а GTK туда влезет целиком.

>>	Доброкодер 08 August 2011 (Mon) 23:29 No.12342 Ненавижу! СРАНЫЙ КАБАЛ, ДОЛБАННЫЕ ПАКЕТЫ!!!! НУ КАКОГО ХРЕНА?!!!! Даже на лиспоговне подобного пиздеца не было, сраный GHC, сраный мир. Ни одной доки, как устонавливать это кривонаписанное гавнище. ЧТО такое lhs вообще?!

>>	Доброкодер 08 August 2011 (Mon) 23:32 No.12343 >>12342 Понизь кровяное давление и опиши проблему более рационально. lhs - это расширение файлов с исходными текстами т.н. литературного хаскеля.

>>	Доброкодер 08 August 2011 (Mon) 23:34 No.12344 File: SNC00123.jpg Jpg, 537.25 KB, 1280×960 - Click the image to expand >>12342 Пацики, зацените: http://habrahabr.ru/job/6562/ >>12342 Спокойно, няша, расскажи про свою проблему я под виндой, если у тебя линакс - пиши сразу в кафе

>>	Доброкодер 08 August 2011 (Mon) 23:37 No.12345 под линаксом я есть, так что пускай тоже пишет сюда

>>	Доброкодер 08 August 2011 (Mon) 23:57 No.12348 >>12344 не был бы я быдлом, не осилившим даже задрипанный универ, я бы позавидовал этому золотому рабству. но я пройду мимо, дальше говнокодить за еду на пыхе

>>	Доброкодер 09 August 2011 (Tue) 01:30 No.12360 Что плохого в ручном управлении памятью?

>>	Доброкодер 09 August 2011 (Tue) 01:36 No.12361 >>12360 Зачем вручную делать то, что можно автоматизировать?

>>	Доброкодер 09 August 2011 (Tue) 02:21 No.12362 File: elm3ign0xu7p.jpg Jpg, 52.21 KB, 640×539 - Click the image to expand >>12321 > Точнее в косточки, потому что мясо бы быстро съели.

Доброкодер 09 August 2011 (Tue) 06:22 No.12364

>>12360
Выгода от него может быть только в хорошо продуманной байтоебле.
А для таких задач хачкель впринципе не задумывался.
Только хайлевел.
Для байтоебли кроме сишки есть только недоделки и мичты: bitc, cyclone, ats, habit.
А c++ не может ни в байтоеблю, ни в хайлевел.

>>	Доброкодер 09 August 2011 (Tue) 10:39 No.12373 Haskell-тред будет здесь. ... ... ... А c++ не может ни в байтоеблю, ни в хайлевел. It never changes

Доброкодер 09 August 2011 (Tue) 14:36 No.12382

А я люблю брать GHC.Prim и ебать им байты. На 2 террабайта полдня уходит. Зато когда я пишу
ST $ \s1# ->
   case sizeBU n (undefined::e) of {I# len# ->
   case newByteArray# len# s1# of {(# s2#, marr# #) ->
   (# s2#, MBUArr n marr# #) }}
мне кажется что всё программирование состоит из байтоебли, и даже хайлевел и даже хаскель.

Доброкодер 09 August 2011 (Tue) 20:44 No.12388

File: 1312907212827.png
Png, 1.08 KB, 300×20

File: T_T.txt
Txt, 0.00 KB, 0 lines

Анон, я бьюсь головой о стену и рыдаю - хаскель не может в libcurl. При запуске в виде скрипта из ghci всё норм, но скомпилированная в натив прога не пишет кукисы на диск. Пишет, сцуко, CurlOk, но кукисы, блеать, не пишет.
Что же делать?

>>	Доброкодер 09 August 2011 (Tue) 20:55 No.12389 File: Nyu.png Png, 34.97 KB, 125×140 - Click the image to expand >>12388 Погоняй через strace (strace ghci TT.hs и strace TT для сконпелированного фаела). Подозреваю, что у тебя какие-то currentdirпроблемы.

Доброкодер 09 August 2011 (Tue) 21:44 No.12391

File: 1.hs
Hs, 0.00 KB, 0 lines

File: pm.PNG
Png, 18.15 KB, 1024×186

>>12389
Мониторил ProcessMonitor'ом
Колонка ProcessName в пикрелэйтед говорит нам, что екзешник даже не пытается писать, а интерпретатор превозмогает ;_;

Добавил строчку
"setopt hCurl $ CurlCookieFile cookiesFileName"
в исходник, чтоб было видно путь

>>	Доброкодер 10 August 2011 (Wed) 05:54 No.12400 >>12391 Я не вкуриваю curl, но мне показалось подозрительным что curl-cookie-file и curl-cookie-jar - один и тот же файл.

>>	Доброкодер 10 August 2011 (Wed) 06:29 No.12402 File: 541641+841635.jpg Jpg, 256.98 KB, 500×691 - Click the image to expand 125226566423311.jpg Утро доброе. Вопрос такой. Как формулировать следующее: "выбрать первое удачное x, что x <- [1..10], f x == 3, в противном случае -1"?

Доброкодер 10 August 2011 (Wed) 07:58 No.12403

File: 2009-02-08-142652.jpeg
Jpeg, 476.50 KB, 1100×825 - Click the image to expand

>>12402
По-разному, я как-то так делаю:

case find ((3 ==) . f) [1..10] of
     Just x  -> x
     Nothing -> -1

илиfromJust $ find ((3 ==) . f) [1..10] `mplus` Just (-1) илиhead $ [x | x <- [1..10], f x == 3] ++ [-1]

>>	Доброкодер 10 August 2011 (Wed) 10:07 No.12404 >>12402 Или `fun f = head $ [x \| x <- [1..10], f x == 3] ++ [-1]` Или `fun f = case filter (\x -> f x == 3) [1..10] of h:tl -> h otherwise -> -1`

>>	Доброкодер 10 August 2011 (Wed) 10:10 No.12405 Что значит сформулировать? А только что ты чем занимался? Да знаю, что онанировал, я про >>12402 пост.

>>	Доброкодер 10 August 2011 (Wed) 10:17 No.12408 >>12404 Малаца, 1 то же самое что 3 в >>12403, 2 - то же самое что 1, только хуже.

>>	Доброкодер 10 August 2011 (Wed) 11:13 No.12412 File: 1259879836974.jpg Jpg, 41.47 KB, 263×317 - Click the image to expand >>12391 > <- return ну ты понял

Доброкодер 10 August 2011 (Wed) 14:06 No.12413

File: westernisation_Qipao1.jpg
Jpg, 175.66 KB, 511×770 - Click the image to expand

>>12402
Для решения таких задачек используются типы и hoogle.

> выбрать первое удачное x, что x <- [1..10], f x == 3

Тип нужной нам функции
(a -> Bool) -> [a] -> Maybe a
hoogle находит: Data.List.find

> в противном случае -1

Тип нужной функции
Maybe a -> a -> a
hoogle находит: Data.Maybe.fromMaybe

Итого:
fromMaybe -1 . find ((==3) . f) $ [1..10]

>>	Доброкодер 10 August 2011 (Wed) 19:16 No.12416 >>12408 Что меня больше поразило, так это что 1-е 1-в-1 совпало.

Доброкодер 11 August 2011 (Thu) 11:03 No.12444

File: 2c8cabc2f94cd7e1d25d9a812df939f5.jpg
Jpg, 941.35 KB, 2100×1600 - Click the image to expand

>>12402
[code]
find f = foldr ((.) . choose) id [1..10] (-1)where choose x y = if f x == 3 then x else y [/code]
Зачем тебе этот -1? Какие-то байтозамашки..

Доброкодер 11 August 2011 (Thu) 11:12 No.12445

File: 6e9246ec5008eed5eeed802602d4533a.jpg
Jpg, 415.84 KB, 600×743 - Click the image to expand

чё-то /pr не работает. ладно, пока сюда вброшу, а то потеряю.

Вышла новая версия славного компилятора, полная слепящего вина: http://haskell.org/ghc/download_ghc_7_2_1
- семейства типов допилены (можно забить болт на фундепы)
- добавлен "безопасный" Хаскель (можно троллить даже тех питушков, которые слышали про функции с префиксом unsafe)
- добавлена возможность написания плугинов (можно не ждать по 5 часов, пока он соберётся, чтобы что-нибудь попробовать). Пока только в Core
- List comprehensions теперь работает для любых мондад (не знаю нафиг нужно, но фиг с ним)
- добавлена поддержка datatype-generic programming (можно долбиться в жопу темплейт-хаскелем для решения задач метапрограммирования, достаточно наследовать Representable0 и GHC автоматически сгенерирует представление вашего типа данных на тайплевеле, а также функции для конвертации в него)
- поддержка многосторонности и :script для GHCi, чтобы фигачить скрипты на Хаскелле.
- и другое

Изучайте Хаскель во имя добра и вас ждет увлекательная высокооплачиваемая работа в ведущих антивирусных компаниях мира!

ню-фагам советую ждать платформу, доброчан же. в слепящем вине половина хакаджа не соберётся. вторая. первая вообще ни в чём не собиралась.

>>	Доброкодер 11 August 2011 (Thu) 11:28 No.12446 >>12413 Так это клюшка и мяч! А я-то испугался, чего они там бильярдными киями тыкают.

>>	Доброкодер 11 August 2011 (Thu) 11:31 No.12447 >>12445 > увлекательная высокооплачиваемая работа в ведущих антивирусных компаниях мира Так тебя взяли или нет?

>>	Доброкодер 11 August 2011 (Thu) 11:58 No.12448 >>12445 > можно долбиться можно не долбиться упс! >>12447 Я же в /pr/ ответил.

>>	Доброкодер 11 August 2011 (Thu) 13:19 No.12450 >>12445 Не знаешь, какие плюшки ожидаются в 7.4.1? Нигде не могу найти, а просматривать все тикеты вручную нехотеть.

Доброкодер 11 August 2011 (Thu) 15:43 No.12457

>>12445

> можно не ждать по 5 часов, пока он соберётся, чтобы что-нибудь попробовать

Хачкель собирается 1-2 часа и то только в первый раз. В последующие разы сборка становится инкрементальной и собирается все минуты за 2-3. Или даже за секунды, не помню.

Доброкодер 11 August 2011 (Thu) 19:11 No.12459

File: konatadark.jpg
Jpg, 431.92 KB, 792×950 - Click the image to expand

Проясните кто знает нынешнюю ситуацию с динамическими массивами (аля list/c# или vector/c++).
Я хочу каноническую реализацию binary-heap в ресайзящемся массиве и в рамках ST, но не знаю как.

Доброкодер 11 August 2011 (Thu) 21:26 No.12471

>>12459
Булат Зиганшин писал какую-то фигню http://hackage.haskell.org/cgi-bin/hackage-scripts/package/ArrayRef но она уже немного протухла. Он там наворотил какие-то абстрактные котегории абстрактных монад, возможно это связанно с желанием получить кроссплатформенность (GHC/Hugs), мне лень разбираться. Если тебе охота тупо побайтоёбствовать на Хаскелле что не очень приятно, должен заметить, можешь взять БОЖЕСТВЕННЫЙ 7.2.1 СИЯЮЩИЙ В СВОЁМ ВЕЛИКОЛЕПИИ и собирающий еще на 30% меньше программ там как раз выполнили тикет какого-то братюни, которому адово понадобилось копировать эти самые массивы в чаде кутежа: http://hackage.haskell.org/trac/ghc/ticket/4928. Кстати, то, что ему понадобилось копировать массивы, как-бе намекает, можешь с ним связаться и поинтересоваться зачем, возможно он уже пишет какую-нибудь либу для массивоёбства.

А вообще, производительность на копировании особо не нужна, потому что если твой вектор на каждом ресайзе растёт 1.5-2 раза (как в С++/C#) ресайзиться он будет не часто, поэтому можешь тупо брать и копировать поэлементно в ST через высокоуровневый API. Лучше не страдай хернёй, а почитай Криса Окасаки, он описывает, как делать очереди с приоритетами (тебе ведь для этого куча нужна?) и подобное говно на функциональных языках.

Доброкодер 11 August 2011 (Thu) 21:46 No.12473

>>12471

> Окасаки, он описывает, как делать очереди с приоритетами (тебе ведь для этого куча нужна?)

Угу. Там много интересного, но я хочу пока освоиться с классической методологией.
Есть такая реализация: http://hackage.haskell.org/packages/archive/TreeStructures/0.0.2/doc/html/src/Data-Heap-Binary.html#BinaryHeap
но ящитаю, это уже как-бы другая структура данных. У меня сейчас интерес больше теоретический - к тому, как это вообще сделать на хаске.

>>	Доброкодер 11 August 2011 (Thu) 23:25 No.12481 >>12471 Вот зачем: http://blog.johantibell.com/2011/02/slides-from-my-hashing-based-containers.html 18-я страница презентации.

Доброкодер 11 August 2011 (Thu) 23:27 No.12482

>>12473

> Угу. Там много интересного, но я хочу пока освоиться с классической методологией.

binary-heap, уложенная в массив - это чисто байтоёбская шняга. Делать её на языке, одна из целей которого избавить кодера от байтоёбства - немного странно. Возьми лучше паскалик.
А еще для любых элементов, кроме примитивных типов, ты не получишь никакого профита. Потому что Хаскель не может в unboxed структуры, поэтому тебе придётся хранить в массиве указатели на санки. Их похуй где хранить же, в массиве или в ноде бинарного дерева.
А еще байтоёбство заблокирует векторизацию. Так что теоретически ты можешь даже проиграть по скорости.
А еще это не стандарт.

>>	Доброкодер 11 August 2011 (Thu) 23:30 No.12483 >>12459 Берешь vector и пишешь. Копирование там есть, тормозное но терпимо. Главное не придется самому писать код "копирующий поэлементно", как тебе алкопарашутист советует.

>>	Доброкодер 11 August 2011 (Thu) 23:33 No.12484 >>12482 Не задабривай его неокрепшие мозги своими предрассудками. Хаскель может в байтоебство лучше всяких паскалей. Загляни в ByteString и ужаснись. И в анбоксед структуры (если они в массиве) он прекрасно может.

Доброкодер 12 August 2011 (Fri) 01:00 No.12486

File: Безымянный.jpg
Jpg, 19.28 KB, 413×313 - Click the image to expand

>>12483
Один хуй оно там через basicUnsafeRead basicUnsafeWrite, разве что велосипед не придется изобретать. Но что я вам, все либы с хакаджа должен наизусть знать что ли? Да и вообще сиблядство, фу блядь, фу нахуй!

>>12484

> Загляни в ByteString и ужаснись.

Заглянул, ужаснулся. Что оно анбоксит, кроме Word8? Да тот же Data.Vector.Unboxed лучше. Впрочем, примитивные типы + туплы до ^6 прописаны вручную, о чем я и говорил, когда говорил, что хаскель не может в анбоксинг структур. Полностью аналогичная ситуация в Data.Array.Unboxed (только туплов "вручную" нет, ну и хуй на них).

Вообще, ситуацию может немного поменять Representable0, таки мапает kind * в примитивные типы с суммой и произведением, а уж они анбоксятся. Но там надо реализацию смотреть, скорее всего это будет сериализация/десериализация. А главное, нахуя вы вообще устроили байтосодомию в Хаскелле? Возвращайтесь в свою сишечку, или откуда вы там повылазили! Хаскель - это высокоуровневый язык для нормальных людей, в нём нет структур, только типы. А как их лейаутить должен решать конпелятор. Лучше б статью какую-нибудь почитали, эту например http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/partial-vect.pdf, да подумали, как всё это лучше организовать, тащемта, чем байтами в жопу долбиться.

алкопарашутист

>>	Доброкодер 12 August 2011 (Fri) 01:49 No.12488 >>12486 > Representable0 Ну вот опять. Ты по Утрехту угорел штоле? Выкачай уже 7.2 и посмотри как там Representable0 и Representable1 называются Generic и Generic1 соответственно

Доброкодер 12 August 2011 (Fri) 02:01 No.12489

>>12488

> Ты по Утрехту угорел штоле?

Да. Я бы еще добавил в хаски атрибутные грамматики.

> Выкачай уже 7.2 и посмотри как там Representable0 и Representable1 называются

Фу бля. Оригинал был таки пёжже: http://en.wikipedia.org/wiki/Representable_functor. Быдлеет хаски, быдлеет..

Доброкодер 12 August 2011 (Fri) 02:31 No.12492

Есть одна функция для линейной аппроксимации.
interp :: [(a,b)]->a->b
Для ее реализации нужна функция f :: [a]->a->(a,a) которая принимает x-координату и отсортированный список координат и возвращает пару ближайших к заданной точек. Например
f [1, 2, 3] 1.5 = (1,2)
f [1, 2, 3] 4 = (2,3)
f [1, 2, 3] 0 = (1,2)
f [1] 2 = (1,1) -- ну или ошибка
1. Как реализовать такую функцию без явной рекурсии и желательно не проходя по списку несколько раз?
2. На самом деле функция f должна искать ближайшие точки с координатой x в списке пар (x,y):
[(a, b)]->a->((a,b),(a,b))
Есть ли способ получить из f такую функцию, кроме как копипастя ее и дописывая везде где нужно fst?

>>	Доброкодер 12 August 2011 (Fri) 03:16 No.12495 С рекурсией сделал так http://ideone.com/NmADZ

>>	Доброкодер 12 August 2011 (Fri) 19:54 No.12510 File: 781.jpg Jpg, 24.35 KB, 480×331 - Click the image to expand >>12492 http://hpaste.org/50223

>>	Доброкодер 12 August 2011 (Fri) 20:06 No.12512 File: 13103014156657.jpg Jpg, 6.68 KB, 167×200 - Click the image to expand >>12495 Но вообще, так аппроксимация не делается, конечно. Тут всю систему надо менять.

>>	Доброкодер 12 August 2011 (Fri) 20:14 No.12513 >>12486 чо, когда снимали фотку ни одна жопа жаба-девелопера не поцтрадала?

>>	Доброкодер 12 August 2011 (Fri) 21:15 No.12515 >>12486 Это ты на фотке? Неудивительно, что тебя на работу не берут.

Доброкодер 12 August 2011 (Fri) 22:25 No.12517

File: Nyuu_manga_in_vector_by_GroundSpiritMinerva.jpg
Jpg, 10.96 KB, 126×150 - Click the image to expand

http://hpaste.org/50231

Можно ли по исходному тексту догадаться, что делает функция xxxx, зная википедические алгоритмы из теории графов? Понятен ли из текста функции сам алгоритм? Ну и прочие вопросы, предложения, пожелания.

>>	Доброкодер 12 August 2011 (Fri) 23:46 No.12523 >>12510 yoba [1, 2, 3] 4 = (2,3) не работает. Так не делается, да, поэтому свожу задачу к функции, которая ищет пару чисел, потому что интересно решение этой частности. Например, до zip xs . tail $ xs я бы не додумался.

>>	Доброкодер 13 August 2011 (Sat) 00:03 No.12525 >>12517 > http://hpaste.org/50231 http://hpaste.org/50235 то ли улучшил, то ли ухудшил.

Доброкодер 13 August 2011 (Sat) 01:03 No.12530

>>12517
Прозреваю алгоритм Дийкстры. Но я Хаскеля нихуя не знаю же, узнавал не алгоритм по коду, а хаскель по предполагаемому алгоритму, лол.
А вообще этот ваш Хаскель вызывает у меня какие-то двойственные ощущения. С одной стороны, есть в нём вещи, которые мне ну просто-таки очень нравятся. А с другой - язык, это коммпьюнити, а хаскелефаги чересчур фанатичны. Ну и язык такой же, фанатичный. Типа как айфон - даже если он для чего-то неудобен, всё равно надо пользоваться - айфон же, круто! Ну и, да, уж слишком история компьютер сайенс императивна. Вот даже этот алгоритм Дейкстры - пастарилейтед, это какая-то странная попытка выразить через формулы то, что является последовательностью действий, изначально и по своей сути. Алгоритмы не декларативны, а писать на Хачкеле императивно как-то странно. Так и хочется спросить: "нахуя?"
Это отдалённо напоминает мне мои ощущения при попытке написать что-то на Прологе. Я искренне удивляюсь, что оно работает и не могу себе заранее ответить, насколько реально эффективным будет такое решение для непридуманного набора данных, будет ли оно вообще выполняться за разумное время или нет. С хаскеллем всё не так плохо, но ощущение похоже: то, что написано, выглядит очень круто, но, блядь, написано совсем не то, что произойдёт в действительности. Что-то недоброе он во мне будит.

Надо будет всё-таки выделить на него побольше времени на досуге, пожалуй.

Доброкодер 13 August 2011 (Sat) 01:14 No.12531

File: Screenshot.png
Png, 36.31 KB, 766×237 - Click the image to expand

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

Ладно, я еще не против того, что в течение нескольких глав приходится реализовывать неэффективную функцию того же подсчета площади (да и автор сам предложил переписать на векторные произведения, так как это лучше); не против того, что определение по какую сторону от прямой находится точка введено без единой строки об уравнении прямой; но блять, разложить эллиптический интеграл в ряд и нихуя не объяснить как — это для меня, как для быдлостудента первого курса, просто сраное издевательство.

Если мои нервы не выдержат, то пересяду на The Craft Of Functional Programming Симона Томпона или на Real World Haskell, обложившись конкретной математикой Кнута. Все правильно сделаю?

>>	Доброкодер 13 August 2011 (Sat) 02:10 No.12532 >>12531 Ты математику там что ли изучать по этой книжке взялся? Она там юзается как раз потому что это все понимают, и можно сосредоточиться на сути вместо объяснения предметной области.

Доброкодер 13 August 2011 (Sat) 11:20 No.12535

>>12517
Слишком плотный код с какой-то математической хуйнёй (ни одного алгоритма на графах я уже не помню, но это не отменяет непонятность кода). При этом его плотность ничем не компенсирована. Ни использованием "высокоуровневых" типов (всё сделано на массивах, списках и туплах, прям как в Лиспе), ни комментариями (глубокомысленные идентификаторы improve и correctPath говорят нам о том, что мы что-то улучшаем и делаем правильным, но нихуя не раскрывают сути, а учитывая, что узнать их тип практически нет никакой возможности, даже загрузив это добро в GHCi, становится OHCE печально), ни использованием узнаваемых паттернов. Попробуй Literate Haskell что-ле.

Доброкодер 13 August 2011 (Sat) 12:27 No.12537

>>12532
Если судить по языку автора, то он, впрочем-то, вовсе не подразумевает что все просто и понятно. «Математики все сделали за нас.» Поэтому по полученным результатам книга напоминает какой-нибудь вузовский учебник по химической кинетике, где дохуя эмпирических формул даже без намека на способ их получения.

Доброкодер 13 August 2011 (Sat) 13:41 No.12539

>>12530

> уж слишком история компьютер сайенс императивна

Ага, а еще когда-то программы на перфокартах выдалбливали. Я думаю, лет через 50, когда мы будем квантовать капчу, так же смешно будет вспоминать о императивных и задроченных под фон-неймановские архитектуры алгоритмах.

> странная попытка выразить через формулы то, что является последовательностью действий, изначально и по своей сути

Считать это какой-то атсральной "последовательностью действий" (которой ты не сможешь дать чёткое и строгое определение, если я тебя попрошу) вредно, ведь оно поддаётся чёткой формализации, которая позволяет человеку чётче формулировать операции, а компьютеру компилировать более качественный код.

>>	Доброкодер 13 August 2011 (Sat) 14:04 No.12540 >>12539 > квантовать капчу К сожалению быстро изобретается только всякое говно. А вот ни искусственного интеллекта, ни яблонь на Марсе, ни лекарства от старости мы так и не получили, хотя уже лет 50 казалось, что до всего этого рукой подать.

Доброкодер 13 August 2011 (Sat) 14:09 No.12541

>>12537
Книга не о математике. Книга - об использовании такого-то подхода к построению программ на основе АТД и матчинга, ну и небольшой (и хреновый, по-моему) учебник хаскеля. Пробелы с математикой или теорией музыки с особенностями работы протокола midi можешь восполнять в другом месте.

> где дохуя эмпирических формул даже без намека на способ их получения

В конце книги обычно есть толстый список ссылок, изучай, если хочешь, хотя тебе жизни не хватит все изучать, так что привыкай использовать формулы, которые не понимаешь - абстрактное мышление подразумевает в том числе и способность относиться к таким формулам как к черному ящику. Но HSoE это не касается

>>	Доброкодер 13 August 2011 (Sat) 15:04 No.12542 >>12530 Доброчую. Ты очень точно выразил и моё ощущение от Хаскеля и ФП вообще. Причём я-то Хаскель сколько-то знаю, писал даже как-то на нём GTK-шную утилитку на пару тысяч строк. Но ощущение не проходит.

>>	Доброкодер 13 August 2011 (Sat) 17:32 No.12549 File: CAR_Hoare.jpg Jpg, 31.07 KB, 420×384 File: image.axd.jpeg Jpeg, 182.48 KB, 685×1024 >>12530 > Дейкстра Потому что это алгол-петушок. Вот почитай тех же Милнера и Хоара, у них все чистенько и декларативненько.

>>	Доброкодер 13 August 2011 (Sat) 17:35 No.12550 File: 123075726559.jpg Jpg, 51.47 KB, 567×400 - Click the image to expand >>12549 JEWS!!!

>>	Доброкодер 13 August 2011 (Sat) 18:31 No.12551 >>12541 Хорошо, ты меня убедил.

Доброкодер 13 August 2011 (Sat) 19:29 No.12552

File: ford-bellman.png
Png, 11.87 KB, 312×180

File: clemborderline-d3...
Jpg, 114.31 KB, 900×806

>>12535 и >>12530
Благодарю, благодарю. Это я http://habrahabr.ru/blogs/python/125003/ прочитал и решил провести эксперимент.

Это не совсем дейкстра, а модифицированный Форд-Беллман. Комментарии и literate programming в нем не использовались, чтобы не портить эксперимент.

> странная попытка выразить через формулы то, что является последовательностью действий, изначально и по своей сути
> по своей сути

Откуда ж ты знаешь, как оно "по своей сути"? Все же научные теории, они только описывают некие явления, не претендуя на суть. С сутью - это к попам надо.

Ну и кроме того смена "базиса" с императивного на декларативный сама по себе дает некие плоды. Я, например, имплементируя алгоритм, догадался до более легкой формулировки

"перебирая все ребра, выполняем оптимизацию пути (см. псевдокод, if d[v] > d[u] + w(u,v) then d[v] <- d[u] + w(u,v)) на прилегаюших к ребру вершинах. Итерируем до тех пор, пока не становится нечего оптимизировать, то есть if не выполнится ни одного раза".

Легкая она на мой взгляд потому, что отсутствует явно заданное количество итераций.

> Надо будет всё-таки выделить на него побольше времени на досуге, пожалуй.

Удели, хаскель хороший.

> учитывая, что узнать их тип практически нет никакой возможности

Вообще в ghci есть дебаггер, который тебе все покажет. Ради моего кода ты в него конечно не полезешь, но ради кода, в котором надо разобраться полезешь.

Доброкодер 13 August 2011 (Sat) 20:04 No.12554

File: demotivatory_32.jpg
Jpg, 52.09 KB, 700×585 - Click the image to expand

>>12552

> Комментарии и literate programming в нем не использовались, чтобы не портить эксперимент.

Няш, чтобы не портить эксперимент, тебе бы следовало писать код на анлямбде. Потому что любой идентификатор - это уже комментарий.

>>	Доброкодер 13 August 2011 (Sat) 20:09 No.12555 >>12554 Ахахах, откуда фотка?

>>	Доброкодер 13 August 2011 (Sat) 20:12 No.12557 >>12554 Мой эксперимет, чё хочу то и делаю!

>>	Доброкодер 14 August 2011 (Sun) 14:04 No.12579 File: hentai--haskell-tan.jpg Jpg, 63.38 KB, 451×451 - Click the image to expand

Доброкодер 14 August 2011 (Sun) 22:35 No.12601

>>12552

> Откуда ж ты знаешь, как оно "по своей сути"?

Ой, ну вот не нужно тебе опускаться до такой хуйни. Ты ж адекват, тут таких и без того мало.
Теперь собственно, отвечаю (хотя ответ, в общем, необязателен, ввиду его очевидности): суть алгоритма Дейкстры, Беллмана-Форда и вообще, - если исходить из энциклопедического определения этого слова, - любого алгоритма, это чётко определённый конечный набор последовательных инструкций, приводящих к определённому результату. Это определение - особенно слово "последовательных" в нём - недвусмысленно говорит нам об императивности алгоритма. Любого.

Впрочем, развивая тему, проблема вовсе не в том. Потому что в "дуэли на определениях" легко скатиться в словоёбство, а, как известно, как розу ни назови - она всё равно пахнет розой. Проблема в том, что математики последнюю сотню лет (сотня - это условно, потому как можно говорить о времени, когда стали активно использовать ЭВМ, а можно вспомнить Эвклида, с его императивными придумками) не хуйнёй страдали, и наштамповали кучу нужных, но очень императивных вещей. Даже больше того, часть математики всегда была очень императивной, потому что на выполнение каждого действия в компактной записи с сигмами и факториалами уйдёт некоторое время. И порядочную часть математики как раз и составляло (составляет) придумывание способов превратить длинную наивную последовательность действий в хитрую, но короткую. Если бы этого не было - всех этих алгоритмов не было бы. Ведь декларативное описание не требует способа найти результат. Достаточно сказать "кратчайшее расстояние от А до Б", чтоб однозначно определить, что мы имеем ввиду. А как его нашли - вопрос третий, хоть все расстояния перебрали, не важно. И так - с любым алгоритмом. Не говоря уже о куче побоных эффектов вроде "сложности функции".
BTW, ты от этого тоже не спасся: "Итерируем до тех пор, пока не становится нечего оптимизировать, то есть if не выполнится ни одного раза". Императивней некуда. Декларативно мы бы просто определили "кратчайший путь" через "наименьшее из того-то и того-то" и так далее, низведя нашу сложную конструкцию до примитивов, которые мы можем считать известными в силу возможностей языка.
Но самое плохое, на мой взгляд, не в этом. Потому как если мы имеем способ получить ответ на наш декларативный вопрос - отлично, другого и не надо. Хуже то, что компьютер-то всё равно императивен, и существует в императивном мире. В конечном итоге то, что ты ему прикажешь как угодно, станет последовательностью действий, каждое из которых требует ненулевого времени на выполнение. И получается, что либо мы должны обучить компилятор выбирать эффективнейший известный алгоритм (и всё равно обязаны помнить о том, какой именно алгоритм он выберет, хотя нам это уже не очевидно из кода!) для любой декларативной формулировки (или хотя бы очень большого их числа), либо нам приходится то и дело прибегать к императивному стилю изложения, что лично меня несколько смущает. Ведь даже довольно декларативная по своему описанию сортировка Хоара, оказывается, может быть в Хаскеле написана эффективно и неэффективно, что нам и продемонстрировали выше.
Хотя >>12549 , по правде, заставил меня призадуматься.

> Удели, хаскель хороший.

Уделю, уделю. Может отпустит маленько.

Доброкодер 15 August 2011 (Mon) 00:02 No.12604

>>12601

> Ой, ну вот не нужно тебе опускаться до такой хуйни

Ну хорошо, не будем пускаться в философские глубины, хотя я держусь позиции, согласно которой мир сам по себе трансцендентен, а его императивность заключается в том, что именно таким манером его начал описывать человек, стало быть налицо не императивность по сути, а императивность как проблема обратной совместимости, стереотипов мышления и ideas reuse.

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

Хорошо это или плохо зависит от того, чего тебе нужно добиться. Потому что это только с точки зрения прикладников проблема, а с точки зрения фундаментальной науки - наоборот - повод переосмыслить общепринятые взгляды, и на этой почве родить что-то новое. Не было бы этой идеи переосмысления, не было бы диссера оказаки, например. Не было бы диссера оказаки, не было бы

> Until this research, it was widely believed that amortization was incompatible with persistence [DST94, Ram92]. However, we show that memoization, in the form of lazy evaluation, is the key to reconciling the two

То есть состоялось какое-никакое, а открытие. Конкретнее зачем это нужно сказать не могу, потому что диссер не дочитал.

> ты от этого тоже не спасся

Конечно не спасся, мне пока очень трудно в хачкель и декларатившину (критическая масса ещё не начитана), поэтому и формулировки тоже остаются императивные.

Доброкодер 15 August 2011 (Mon) 01:39 No.12608

File: [FuktLogik][Sayon...
Jpg, 42.92 KB, 848×480

[FuktLogik][Sayonara_Zetsubou_Sensei][02][DVDRip][x264_AC3].mkv_snapshot_03.35_[2010.03.21_12.07.16].jpg

File: [FuktLogik][Sayon...
Jpg, 52.35 KB, 848×480

[FuktLogik][Sayonara_Zetsubou_Sensei][02][DVDRip][x264_AC3].mkv_snapshot_03.40_[2010.03.21_12.07.26].jpg

>>12601

> суть алгоритма
> математики наштамповали кучу очень императивных вещей
> часть математики всегда была очень императивной, потому что на выполнение каждого действия в компактной записи с сигмами и факториалами уйдёт некоторое время.
> декларативное описание не требует способа найти результат
> существует в императивном мире

Доброкодер 15 August 2011 (Mon) 01:42 No.12609

>>12601

> декларативное описание не требует способа найти результат.

Может требовать, может не требовать. Сравни, например, два декларативных определения всеми любимого факториала:
Если n = 0, то n! = 1; иначе n! = n * (n - 1)!
n! - количество перестановок множества, состоящего из n элементов
С императивной же формулировкой, сам понимаешь, так не получится.

Доброкодер 15 August 2011 (Mon) 02:25 No.12614

>>12604
Императивность человека спорная штука. Мне это кажется спором, аналогичным интроверсии-экстраверсии, т.е. ориентации на объект и от объекта.
Мозг не императивен. Вся информация о прожитой жизни доступна одновременно, для памяти времени нет, а живем мы скорее реактивно. Обучить бейсику намного сложнее, чем экселю, а любой рецепт от человека для человека это скорее такой здоровенный паттерн-матчинг. Мозгу среднего человека сложно осознавать изменение состояния, поэтому программистов мало.
Сложные системы также проще разрабатывать на основе труб с потоками данных и режимами - они проще влезают в голову. Что проще понять, картинку DSP-обработки или диаграмму состояний конечного автомата?
Получается, что внешний мир императивен, внутренний нет, хотя конечно это модели в одной и той же голове. Пока не нужно моделировать тот самый внешний мир, все хорошо. Иначе все плохо и это не вопрос стереотипов мышления, потому что человек стремится в рассуждениях выкинуть императивность всегда, но не всегда получается. Нет, это не стереотип. Зачастую намного дешевле построить императивную модель чем думать о том, как из нее выкинуть состояние, чтобы впоследствии было удобно думать.
Но это все философия. А на практике пишут и рассуждают на хаскеле вполне императивно, при случае копируя мир, а такие-то комбинаторы служат только для того, чтобы убрать бойлерплейт. Алгоритмы... да какая разница, если они чистые, алгоритмов не так уж и много, больше работы по соединению типизированных труб между алгоритмами, и эту работу нужно облегчать.

Доброкодер 15 August 2011 (Mon) 02:30 No.12615

>>12601

> Достаточно сказать "кратчайшее расстояние от А до Б", чтоб однозначно определить, что мы имеем ввиду. А как его нашли - вопрос третий, хоть все расстояния перебрали, не важно.

>>12609
хуйню написали. всё равно следующий шаг будет алгоритмическим определением.
о чём собственно хоар и говорит: http://research.microsoft.com/en-us/news/features/hoare-080411.aspx

>>	Доброкодер 15 August 2011 (Mon) 02:31 No.12616 >>12554 забыл добавить - это фап. если бы мне платили за матан в два раза меньше чем за погромирование, то я бы только им бы и занимался.

Доброкодер 15 August 2011 (Mon) 02:32 No.12617

>>12609

> Если n = 0, то n! = 1; иначе n! = n * (n - 1)!

Собственно, я это учёл в своей пасте. Там где говорил, про декларативную формулировку "кратчайшего пути". Но это всё равно не способ найти результат, мы просто объявляем, что для некой идейной абстракции - факториала - действительна такая закономерность. А так так такая закономерность действует только для одной идейной абстракции, то это и есть его определение. С этим определением очень удобно работать на уровнях выше, чем находится сам факториал, ну, т.е., нам не обязательно выполнять кучу действий, чтоб доказать, что n! * (n+1)! = n!^2 * (n+1)!. Но когда нам скажут, "всё, довольно пиздеть, скажи теперь чему равно 24!", нам придётся разложить это в 24 числа и перемножить (возможно, применив к этому предварительно ещё какие-нибудь преобразования, которые облегчат работу), на что уйдёт некоторое время. И тут как раз мы утыкаемся в то, что перемножать/складывать/[делать что-нибудь ещё] можно по-разному, с разным числом действий. И каждое действие, которое мы выполним, потребует ненулевого времени. И, наконец, нам нужно будет выполнять эти действия, т.е., мы опять получаем императивный набор инструкций. И, с практической точки зрения, это не страшно, если тот, кто будет выполнять инструкции, догадается выбрать лучший алгоритм для нахождения результата. Вот только это весьма сомнительно. Другой человек может догадаться, что к-тое число фибоначчи можно найти за почти логарифмическое число шагов, а то и вовсе "по формуле". Компилятор - нет, если ему не об этом не рассказали и он не разумен. Получается, как я уже сказал, что нам либо нужно рассказать компилятору о всех возможных алгоритмах и способах их применения, либо постоянно спускаться к императивному изложению. Первое не рассматриваем. Второе предполагает два варианта - либо писать императивно почти всегда (тогда непонятно, нахуй нам вообще сдался Хаскель и максимально разумным выглядит изобретение какого-нибудь компилируемого пейтона), либо прибегать к нему только при необходимости, когда эффективность критична. Получается, что нужно знать, что стоит за нашими декларативными формулировками, а это не очень-то хорошо. Опять же, с теоретической точки зрения. С практической - в этом нет ничего страшного, если компилятор умеет решать большую часть трудностей, рождая эффективный код для "обычных" декларативных формулировок. Но это предположение опроверг пример с сортировкой Хоара ИТТ.
>>12604
Но программировние, как ни крути, не является фундаментальной наукой. Оно нужно, чтоб делать дела. Замечательно, если эти дела можно свалить на фундаментальную науку (математику), и пользоваться ею. Но, как мне кажется - и я подкрепил это какими-никакими аргументами в предыдущем посте - хачкель пока что не даёт такой возможности, и, что куда хуже, вряд ли сможет её дать в хоть сколько-то обозримом будущем, даже при очень оптимистичных взглядах.
Возможно, я стану относиться к этому легче, когда поближе познакомлюсь с хачкелем. Пока что попридержу язык пока что.

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

>>	Доброкодер 15 August 2011 (Mon) 02:33 No.12618 >>12609 Первый вариант не декларативный. Это типично фп-шная подмена императивности рекурсией.

>>	Доброкодер 15 August 2011 (Mon) 02:40 No.12619 >>12618 > Первый вариант не декларативный. Докажи.

>>	Доброкодер 15 August 2011 (Mon) 03:14 No.12625 >>12617 > чисел фибоначчи на хаскелле Навскидку:`fibs = 0 : 1 : zipWith (+) fibs (tail fibs)` А вообще:`http://www.haskell.org/haskellwiki/The_Fibonacci_sequence`

Доброкодер 15 August 2011 (Mon) 03:33 No.12626

>>12617

> тогда непонятно, нахуй нам вообще сдался Хаскель и максимально разумным выглядит изобретение какого-нибудь компилируемого пейтона

То, что ты описал выше - это какая-то Mathematica, с таким-то ебическим матчингом и функциями типа реши_диффур. Тот же факториал можно определить а-ля length(perms(n)), хотя конкретно этот код не Mathematica.
А то, что выглядело максимально разумным, хаскелем и получилось. Хаскель и есть, гхм, компилируемый питон, пиши весь код в IO и дел не знай, а если совсем совести нет, то выводи что хочешь когда хочешь через Debug.Trace. Только можно так не делать, а еще есть плюшки типа стрелок. Но не какая-то там гипер-философская концепция компилятора, который за тебя пишет код (и аналогичные концепции типа автоматического распараллеливания) - нету этого и не будет.

>>	Доброкодер 15 August 2011 (Mon) 03:40 No.12627 >>12619 Он упадет на n = -1. Ты когда-нибудь видел падающее определение?

Доброкодер 15 August 2011 (Mon) 03:53 No.12628

>>12627
По-твоему получается, что 1/x "падает", когда x = 0, а тангенс x "падает" если x = pi/2? А значит арифметика и тригонометрия "императивны". Вообще, то что ты считаешь "императивностью" все остальные называют частичностью, а то, что ты считаешь "декларативностью" - тотальностью.

>>	Доброкодер 15 August 2011 (Mon) 04:31 No.12629 >>12628 Что такое 1/x? Говорят, что y=1/x тогда, когда x*y=1. Не падает. Аналогично с тангенсом, если не описывать его через то, как его можно получить, а описывать его свойства.

>>	Доброкодер 15 August 2011 (Mon) 11:22 No.12633 >>12627 Нет, он не упадет. Ты не сможешь его вычислить. Так же как и не сможешь подобрать такое y, что при x = 0 x*y = 1.

>>	Доброкодер 15 August 2011 (Mon) 12:45 No.12636 >>12625 `fibs = fix $ (0:).(1:).(zipWith (+) <*> tail)`

>>	Доброкодер 15 August 2011 (Mon) 13:49 No.12637 >>12625 >>12636 осильте scan, петушки

>>	Доброкодер 15 August 2011 (Mon) 13:57 No.12638 >>12637 Угу, один ты его осилил.

Доброкодер 15 August 2011 (Mon) 14:45 No.12640

File: [FuktLogik][Sayonara_Zetsubou_Sensei][03][DVDRip][x264_AC3].mkv_snapshot_23.31_[2010.03.21_12.00.39].jpg
Jpg, 39.03 KB, 848×480 - Click the image to expand

[FuktLogik][Sayonara_Zetsubou_Sensei][03][DVDRip][x264_AC3].mkv_snapshot_23.31_[2010.03.21_12.00.39].jpg

>>12637
pointfree фибоначчи на scanl уже есть в вики по ссылке выше. Да и пишется тривиально, а я продемонстрировал остроумное применение ap.

Доброкодер 15 August 2011 (Mon) 20:12 No.12648

>>12615

> хуйню написали. всё равно следующий шаг будет алгоритмическим определением.
> о чём собственно хоар и говорит: http://research.microsoft.com/en-us/news/features/hoare-080411.aspx

Вот ты-то как раз хуйню несешь.

> Mind you, doing the theory is a bit like writing programs. You have to find the linguistic construction that expresses your ideas.

А уж идеи выражать декларативно можно. А можно как петушок начать учить железку складывать 2 и 2.

Или, например, нужно отобразить множество в другое:
либо пидорасишь бойлерплейт: foreach(x[i] in hui) pizda[i] = x[i]
либо использует такой-то DSL: hui -> pizda

> In the same way that a hardware designer uses Boolean algebra, I would like to see programmers just routinely thinking in terms of programming algebra.

О чем и говорил.

>>	Доброкодер 15 August 2011 (Mon) 20:58 No.12650 >>12648 > либо использует такой-то DSL: hui -> pizda Ух как декларативно, написать функцию, внутри которой foreach(x[i] in hui) pizda[i] = x[i] с таким-то инфиксным использованием.

Доброкодер 15 August 2011 (Mon) 21:43 No.12653

>>12650
Вообще-то в этом месте он всё верно сказал. Что значит "внутри"? Ты ещё скажи, что внутри слова человек находится функция "выебать бабу мужиком, выкормить, вырастить и т.п." Другое дело что на таких примитивных примерах вся эта "декларативность" - не более чем синтаксический сахар. А на примерах посложнее получается хуйня, судя по всему. Впрочем, последнее - пока что лишь моё подозрение.

Доброкодер 15 August 2011 (Mon) 21:46 No.12654

> внутри которой foreach(x[i] in hui) pizda[i] = x[i] с таким-то инфиксным использованием.

Угу котрая разворачивается в цикл. который в свою очередь разворачивается в машинный бинарный спагетти-код с гото инструкциями, который в свою очередь превращается последовательность электрических импульсов, природа которых обусловлена электромагнитным полем...

Ты демагогию то не разводи, я пишу hui -> pizda и при написании кода думаю в терминах DSL и мне плевать во что это развернётся при компиляции. Точно так же как когда я играю в круйзис, я не задумываюсь о том как дсп ядра моей печи 590 молотят шейдерные команды, просчитывая сфиксели и полигоны. А твоё утверждение о императивной природе программ - это наглая и невежественная ложь невежественного малолетнего кодеришки, которому в прошлом учебном году в школе рассказали про алгоритмы древнегреческих математиков. Фишка вся в том, что когда изобретут квантовые или там нейронные компьютеры, то моя программа, написанная декларативно, работать будет, а твоя императивная отправится на свалку истории вслед за фоннеймановской архитектурой, цифровыми процессорами, плюсами, жабой и прочим байтоговном.

Доброкодер 15 August 2011 (Mon) 21:56 No.12655

> Точно так же как когда я играю в круйзис, я не задумываюсь о том как дсп ядра моей печи 590 молотят шейдерные команды, просчитывая сфиксели и полигоны.

А я когда на пробежке бегаю наоборот, люблю нарушить абстракцию и почувствовать свое туловище. Начинаешь ощущать себя машиной, механизмом из рычагов, мускулов, труб с кровью и сигнальной системой. И тогда можно уже бежать долго, хотя само понятие бега становится не применимо к процессу. Потому что ты не бежишь, а регулируешь машину, настраиваешь ее. И когда она настроена, когда нигде ничего зря не стучит, не перетянуто и гудит спокойно и ровно, вот тогда становится хорошо.

Доброкодер 15 August 2011 (Mon) 21:58 No.12656

>>12655

Не понимаю, что ты хочешь сказать. Машина, которую нужно чинить и настраивать вместо того, чтобы просто ехать и водить - плохая машина, негодная машина. Её нужно выкинуть или продать и купить нормальную, на которой можно ездить не подкручивая каждый вечер в гараже угол опережения и не перебирая мотор.

Доброкодер 15 August 2011 (Mon) 22:04 No.12658

File: [FuktLogik][Sayonara_Zetsubou_Sensei][03][DVDRip][x264_AC3].mkv_snapshot_06.26_[2010.03.21_11.30.04].jpg
Jpg, 45.21 KB, 848×480 - Click the image to expand

[FuktLogik][Sayonara_Zetsubou_Sensei][03][DVDRip][x264_AC3].mkv_snapshot_06.26_[2010.03.21_11.30.04].jpg

Г-не объебосы, я уже второй вечер пытаюсь читать эту вашу многострочную наркотическую кашу и недоумеваю - вы троллируете друг-друга или на полном серьезе все это пишете?

Доброкодер 15 August 2011 (Mon) 22:05 No.12659

>>12656

> Машина, которую нужно чинить и настраивать вместо того, чтобы просто ехать и водить

Не вместо, а следовательно! Я настраиваю машину, и благодаря этому еду. Только обыкновенно этим спинной мозг занят или что там у нас такое автоматическое, а тут я включаю ручной режим. Конечно можно продолжать упираться, мол, зачем ручной режим, настало время аллоцировать и освободить память... Но это в теории. А на практике, когда я сознательно настраиваю машину, я чувствую все ее неточности работы: где ощущаются микроболи, где механика не совсем оптимальна и т.п. Я как бы одновременно и еду и нахожусь на станции технической диагностики.

>>	Доброкодер 15 August 2011 (Mon) 22:07 No.12660 >>12653 > Другое дело что на таких примитивных примерах вся эта "декларативность" - не более чем синтаксический сахар. Вот я об этом как раз. > А на примерах посложнее получается хуйня, судя по всему. VHDL посмотри.

>>	Доброкодер 15 August 2011 (Mon) 22:10 No.12661 File: Untitled.png Png, 6.22 KB, 459×57 - Click the image to expand Чем computation отличается от calculation. Яндекс словарь говорит, что и то и другое вычисление, но тут есть какая-то тонкая разница, которая мне непонятна.

Доброкодер 15 August 2011 (Mon) 22:12 No.12662

>>12659

> Я настраиваю машину, и благодаря этому еду.

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

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

Нет, на практике ты тратишь своё время и деньги на то чтобы твой драндулет хоть как то ехал. И когда твою тарантайку обгоняют иномарки, водители которых заглядывали под капот в лучшем случае для того чтобы залить жидкость в бачок омывателя или там уровень масла проверить, у тебя случается баттхёрт, который ты пытаешься вылечить, рассказывая своим друзьям тазоводам про то как ты расточил цилиндры дряхлого пихла и оно стало выдавать аж на целых 5 лошадей больше. А если ещё и клапана новые поставлю - УУУУУ НИ МАШИНА А ПТИЦА БУДЕТ!!!!11111

>>	Доброкодер 15 August 2011 (Mon) 22:14 No.12663 >>12662 > Нет, ты едешь на плохой неисправной машине, которая пожирает твоё время и деньги на бензин, попёрдывая пробитым глушителем и выпуская клубы сизого дыма. На этом и окончим препирательство, т.к. оно бессмысленно. Другой-то у меня нет.

Доброкодер 15 August 2011 (Mon) 22:16 No.12664

>>12663

Вот тут так сказать и ключевой момент - а знаешь почему у тебя нет её? Да потому что ты потратил все деньги на бензин, на новые поршни, на капремонт чадящего пихла и.т.д. И поверь мне, этих денег тебе бы хватило на новую машину, которая не ломается. Но ты упорно продолжал чинить старое пихло, веря что в этом и есть смысл обладания автомобилем.

Доброкодер 15 August 2011 (Mon) 22:17 No.12666

>>12654

> Ты демагогию то не разводи, я пишу hui -> pizda и при написании кода думаю в терминах DSL

Это называется абстракцией. Но написал ты конкретную команду, которая и останется командой. О декларативности на таком уровне рассуждать нельзя, нету ее тут.

Доброкодер 15 August 2011 (Mon) 22:18 No.12667

>>12664

Раскрывая аналогию - время, которое ты потратил на отлаживание сегфолтящегося байтокода, сконвертированное в деньги которые ты бы мог потратить на новый сервер и писать для него программу на хаскелле, стоит очень дорого. Не нужно разбрасываться им.

>>	Доброкодер 15 August 2011 (Mon) 22:20 No.12668 File: alex_grey.jpg Jpg, 192.44 KB, 504×378 - Click the image to expand >>12659 Ты открыл осознанность, теперь остается не думать о том, что ты машина, а просто бежать, ну и все остальное делать так. И будешь как пикрелейтед

>>	Доброкодер 15 August 2011 (Mon) 22:20 No.12669 >>12667 Но я же про свое туловище писал, а не про программу на сервере.

>>	Доброкодер 15 August 2011 (Mon) 22:24 No.12670 >>12669 Тело - продажная девка фон Неймана

>>	Доброкодер 15 August 2011 (Mon) 22:24 No.12671 >>12669 А неважно. Для туловища тебе достаточно потратится чуть больше не качественную еду, чем потом бегать по докторам и отстёгивать им бабки.

>>	Доброкодер 15 August 2011 (Mon) 22:25 No.12672 >>12671 > на качественную быстрофикс.

>>	Доброкодер 15 August 2011 (Mon) 22:28 No.12673 >>12671 Если ты будешь рассматривать туловище как что-то, что требует более качественной еды как бензина, то по докторам бегать придется весьма быстро.

>>	Доброкодер 15 August 2011 (Mon) 22:30 No.12674 File: wonder.jpg Jpg, 88.35 KB, 338×489 - Click the image to expand >>12670 >>12671 Ай, демагоги, лишь бы выспорить. Алекс Грей хороший, надеюсь просмотр сайта меня утешит.

>>	Доброкодер 15 August 2011 (Mon) 22:37 No.12675 >>12655 Тебе понравится этот трек http://www.youtube.com/watch?v=izpzszOKc4c Ну и этот http://www.youtube.com/watch?v=uOMHOL2ycQk И этот http://www.youtube.com/watch?v=mYV_NDe2O4I Не алекс грей конечно, но тоже концептуально.

>>	Доброкодер 15 August 2011 (Mon) 22:42 No.12676 >>12675 А тебе вот этот http://www.youtube.com/watch?v=AoW3_JV6p7o А по теме лучше http://www.youtube.com/watch?v=VtUXjyRJJQQ

Доброкодер 15 August 2011 (Mon) 22:43 No.12677

ПРИШЛО ВРЕМЯ ПИСАТЬ ОВЕРХЕД

    ПРОГРАММА САМА НЕ ЗАТОРМОЗИТ
    НАПИШИ ЕЁ МЕДЛЕННОЙ, НАПИШИ ЕЁ МЕДЛЕННОЙ ЕЁ ЕЩЕ РАЗ
    ЗАЧЕМ МНЕ НУЖЕН ПЛЮСПЛЮС, У МЕНЯ НЕТ ВРЕМЕНИ ЧТОБЫ ЕБАТЬСЯ С НИМ
    ЛУЧШЕ ЕЩЕ РАЗ НАПИСАТЬ ТОРМОЗНУТЫЙ ОВЕРХЕД
    Я ПИШУ ТОРМОЗНОЙ ГОВНОСОФТ ПО 3 РАЗА В ДЕНЬ
    КАЖДОАЯ ОПЕРАЦИЯ ЗАНИМАЕТ ДВАДЦАТЬ МИНУТ
    Я ЖИВУ АКТИВНОЙ И ПОЛНОЦЕННОЙ ЖИЗНЬЮ
    Я УСПЕШЕН И ПОЭТОМУ ЦЕЛЫЙ ПИШУ ТОРМОЗНОЙ ГОВНОСОФТ
    А ПОСЛЕ ЭТОГО ДРОЧУ НА ЕГО МЕДЛИТЕЛЬНОСТЬ
    ТУПЫЕ ПЛЮСОЁБЫ ОДЕРЖИМЫ ПРОИЗВОДИТЕЛЬНОСТЬЮ
    А Я СВОБОДНЫЙ ОТ ЗАДРОТСТВА ЧЕЛОВЕК
     fac :: Integer -> Integer
     fac 0 = 1
     fac n | n > 0 = n * fac (n - 1)
    ЛУЧШЕ Я НАПИШУ ТОРМОЗНОЙ ГОВНОКОД ЕЩЁ РАЗ
    И РОБОТ ТОММИ ОПЯТЬ ВМАЖЕТСЯ В СТЕНУ,
    ПРОИЗВОДИТЕЛЬНОСТЬ НЕ НУЖНА
    Я НЕ ПИСАЛ ОВЕРХЕД НЕДЕЛЮ
    ПОЙДУ НАПИШУ
    В ХАСКЕЛЛЕ ВСЕ ПРОСТО И ПОНЯТНО
    OUT OF MEMORY. ЭТО ЖЕ ОЧЕВИДНО КАК ЕЕ РЕШИТЬ
    ПРИШЛО ВРЕМЯ ПИСАТЬ ОВЕРХЕД
    КОКОКОКОКОКОКО
    МОНАДЫ ФУНКТОРЫ ТАЙПКЛАССЫ ХВОСТОВАЯ РЕКУРСИЯ
    КОКОКОКОКОКОКО

>>	Доброкодер 15 August 2011 (Mon) 22:54 No.12679 >>12676 Но там ничего не говорится про бегающих биороботов.

>>	Доброкодер 15 August 2011 (Mon) 23:15 No.12681 >>12677 > РОБОТ ТОММИ ОПЯТЬ ВМАЖЕТСЯ В СТЕНУ One Linux- and Java-powered entry, Tommy, failed to qualify after a chip failure caused the car to run into a wall at 70mph in a qualifying run. Мимонапомнил

>>	Доброкодер 16 August 2011 (Tue) 00:13 No.12690 >>12681 Так говорят абсолютно все кодеры, когда их держут за яйца мимоглонасс

>>	Доброкодер 16 August 2011 (Tue) 16:00 No.12708 >>12690 так наверняка робот не проходил испытания, а элементная база - от ближайшей бабушки. другой мимоглонасс

Доброкодер 16 August 2011 (Tue) 23:08 No.12716

Продублирую свой вопрос с другого ресурса: какие книги и в какой последовательности нужно прочитать школьнику из 8го класса, чтобы врубиться и суметь использовать математический аппарат хацкеля? Заранее спасибо.

сам давно уже не школьник, но математику забыл напрочь. Отсюда и формулировка вопроса.

Доброкодер 17 August 2011 (Wed) 00:02 No.12717

>>12654
Ололо, хацкелеблядку разорвало жопу и он утешает себя тем, что через тысячу лет всё изменится и он будет востребован и трудоустроен, а ещё молод, богат и красив, да.
А "фишка вся" в том, что те, кто играет в крузис - его не пишет и даже не компилирует. На рутрекере написано "системные требование два гига оперативы и крутая видяха", он думает, "а, заебца, у меня как раз такой, кочаю!" А тем, кому нужно ещё и что-то писать, приходится думать, реальные ли задачи они ставят перед своим инструментом, другом и слугой. Компьютером, то бишь.
Впрочем, последнее к тебе не относится, по видимому.

>>	Доброкодер 17 August 2011 (Wed) 05:58 No.12727 >>12717 Ты недостаточно добр. Покушай сажи, что ли.

>>	Доброкодер 17 August 2011 (Wed) 10:08 No.12729 >>12716 Алгебра Матан Функан Абстрактная алгебра Дискретка Топология Наконец, Теоркат

Доброкодер 17 August 2011 (Wed) 10:22 No.12730

File: information_items_516.jpg
Jpg, 44.34 KB, 600×450 - Click the image to expand

>>12729
Матан, Функан -- зачем оно там, в чём используется?
Абстрактная (общая) алгебра -- вроде понятно.
Дискретка: теория множеств, теория графов, мат.логика. Или что-то ещё?

>>	Доброкодер 17 August 2011 (Wed) 11:27 No.12731 >>12730 А теория цифровых автоматов? Или это у нас в универе выдумали такую дисциплину?

>>	Доброкодер 17 August 2011 (Wed) 11:38 No.12732 File: bastard02_240.jpg Jpg, 647.50 KB, 1401×1000 - Click the image to expand >>12731 Чьёрт подерри... Конечно. Нужно и очень часто используется. Спасибо, что исправил.

>>	Доброкодер 17 August 2011 (Wed) 17:29 No.12735 File: Untitled.png Png, 34.99 KB, 429×263 - Click the image to expand >>12716 будь мужиком, читай отечественных - http://ulm.uni.udm.ru/~nnn/prilog.pdf.

Доброкодер 17 August 2011 (Wed) 20:45 No.12740

>>12730
Я какбы ожидал другой вопрос: нахуй там топология она там и правда факультативна, но ведь доставляет :3.
Зачем матан? А зачем по-твоему базовые знания нужны? Не ты ли ляпнул, что находишься на уровне сосницкого 8 лвла? Так что не возникай, а садись за учебники.

Доброкодер 17 August 2011 (Wed) 23:12 No.12744

О, раз уж вы тут матан обсуждаете, рискну поинтересоваться: можно какие-нибудь конкретные учебники конкретных авторов по указаным дисциплинам? Ну и вообще, ответить на выше заданный вопрос более конкретно: какие именно книги в каком порядке? А то копать очень узкую область можно сколь угодно глубоко, а я весьма подвержен этой напасти - увлекаться. Поэтому буду очень благодарен, если посоветуете курс молодого бойца, так сказать. Что "каждый знать обязан".

Мои знания: дискретная математика, уместившаяся в одноимённый труд by Kenneth Rosen. + несколько углублённо мат.логика, теория графов на уровне базовых алгоритмов. Алгоритмы - трудно сказать, даже Кнута не читал, но нахвататься всякого успел. Алгебра - примерно так же поверхностно, знаю всякие там решётки/группы/поля/кольца, но судя по тому, что сложным мне это не показалось - глубоко не нырял. Линейка - фигово, умею там перемножать матрицы, помню что-то про какие-то линейные преобразования и LU factorization, читал пару книг, но без справочного материала даже не помню, что там вообще зачем было. Матан - ещё хуже, на бытовом уровне, так сказать. Интегралы беру неуверенно, дифуры решать не умею. Топологию вообще не знаю.
Заранее спасибо.

>>	Доброкодер 18 August 2011 (Thu) 00:06 No.12745 Для теории категорий ничего знать не нужно, она вполне себе вещь в себе. Единственное что, непонимание примеров замедляет изучение, но изучение какого-нибудь матана с целью понимания именно категорий, замедлит его еще быстрее.

>>	Доброкодер 18 August 2011 (Thu) 02:01 No.12750 >>12745 Похуй на категории. Хочется чувствовать себя образованным человеком, епт. Тут же есть такие?

Доброкодер 18 August 2011 (Thu) 03:28 No.12751

>>12750
Тогда зачем тебе хардкорная математика? Начинать нужно с прикладных наук, тогда будет понятно, какие пробелы в математике нужно заполнять и почему. Иначе или потонешь в строгости и формальности, или ничего не запомнишь. Грамотная программа в универе обычно таким образом составляется, что математика пересекается с какой-либо естественной наукой, но процессу обучения мешают две вещи:
1. Люди, которые составляли грамотные программы, уже умерли, а теперь их бездумно копипастят. Ну т.е. изучаются свертки одновременно на матане и теории управления - ну издревле так повелось, преподы об этом понятия не имеют, а не потому что составляющий программу хотел, чтобы у студента на матане не возникал вопрос "нахуя это надо".
2. Мозги увидеть параллели есть у меньшинства. У большинства Марс в 30000 км от Земли через неделю будет.
Вот то же LU-разложение, зачем тебе о нем знать, если ты не представляешь, где тебе может потребоваться тот же МНК.

>>	Доброкодер 18 August 2011 (Thu) 08:27 No.12752 File: 1287594948183.png Png, 183.77 KB, 1228×1072 - Click the image to expand >>12751 > У большинства Марс в 30000 км от Земли через неделю будет. Что?

Доброкодер 18 August 2011 (Thu) 13:39 No.12757

>>12752
По вконтактикам такая паста гуляет:

> 27 августа ждет весь мир планета марс будет очень яркой в ночном небе начиная с августа. Невооруженным глазом даже планета будет видна как полная луна.27 августа марс пройдет всего лишь в 34,65 миллионах миль от земли! 27 августа в 00,30 посмотрите на это зрелище. Это будет выглядеть как две луны над землей! Следующий раз когда марс будет так близко к земле будет только в 2287 году.

>>	Доброкодер 18 August 2011 (Thu) 14:08 No.12758 >>12757 Еще есть копипаста где вместо миллионов километров написано 34 тысячи.

>>	Доброкодер 18 August 2011 (Thu) 16:40 No.12759 >>12745 > Для теории категорий ничего знать не нужно, она вполне себе вещь в себе. Желательно знать основы абстрактной алгебры. Алгебраические структуры и категории соотносятся как параметрический полиморфизм и тайпклассы.

Доброкодер 18 August 2011 (Thu) 16:46 No.12760

let z = 0:z :: Num a => [a] И тут же ghc отсылает меня нахуй за такое объявление:Inferred type is less polymorphic than expected Причем на z = (0 :: Num a => a):z оно говорит что это вообще [Integer]. Типа не могу объявлять себе бесконечные полиморфные списки? Ну бред естественно, конечно же могу, просто напишу repeat 0 и оно будет иметь нужный мне тип. Причем тот же репит могу написать самостоятельно:

let rep :: a -> [a]
    rep x = x:rep x

И rep 0 будет иметь Num a => [a], но какая нахуй разница между rep 0 и z совсем не понимаю. Что не так делаю-то?

Доброкодер 18 August 2011 (Thu) 17:00 No.12761

File: information_items...
Jpg, 38.20 KB, 600×301

File: information_items...
Jpg, 55.81 KB, 596×600

>>12735
Кавай! Хотя я предпочитаю -- Сигорский, "Математический аппарат инженера".

>>12730
Здесь вопрос не в том, о чём неплохо бы иметь представление -- а о том, что нужно задрачивать до опупения и ещё столько же. "Конкретная математика" Кнута уже ждёт своей очереди, пряники обещают когда выучу. ^_^

>>12759
Спасибо за пояснение.

>>	Доброкодер 18 August 2011 (Thu) 20:30 No.12770 File: 29921202.jpg Jpg, 60.59 KB, 489×600 - Click the image to expand >>12760 Ограничение мономорфизьма. Можно отрубить с помощью опции NoMonomorphismRestriction.

>>	Доброкодер 18 August 2011 (Thu) 21:30 No.12772 >>12770 Ох, подозревал что это оно. Только не понял в чем оно выражается.

Доброкодер 18 August 2011 (Thu) 21:41 No.12773

>>12751
Потому и спрашиваю, что на бордах же ололо специалисты сидят. Когда заканчивают кривляться и строить из себя знатоков - с миру по нитке и общий уровень знаний участвовавших в общении может нехило подняться. Я вот, как ты вероятно догадался, теорию управления не изучал, но с радостью возьмусь (и за неё, и за что угодно ещё, хоть за латынь; да, такой уж я человек), если мне кто-то посоветует, как к этому подойти. Ты же всё очень верно сказал, и ключевое слово в твоей пасте, на мой взгляд, именно программа.

> Вот то же LU-разложение, зачем тебе о нем знать, если ты не представляешь, где тебе может потребоваться тот же МНК.

В том и дело. На себе убедился в малой пользе от обучение строго "по учебнику".
Короче, я всё же был бы благодарен за рекомендацию чего с чем и в каком порядке читать, было бы здорово ещё и парочку практических задачек подкинуть, чтоб было куда смотреть. Просьба нихуёвая, конечно, но учитывая контингент - надеюсь на помощь. Ну или хотя бы отошлите туда, где я смогу найти кого-то кто сможет что-нибудь по этому поводу сказать.
>>12761
Что за книга? Рекомендуется? Можно ли читать саму по себе, или тоже лучше в перемешку с чем-то ещё?

>>	Доброкодер 18 August 2011 (Thu) 22:07 No.12775 >>12773 Там основы дискретной математики: множества, мат.логика, графы, конечные автоматы. Заточено под радиоэлектронику, но и совсем уж начинающему программёру тоже пригодится. Всячески рекомендую.

Доброкодер 18 August 2011 (Thu) 22:18 No.12776

File: 15288558.jpg
Jpg, 436.51 KB, 715×1000 - Click the image to expand

>>12770
Нет, все же я не понял нисколечки. Ограничение мономорфизма накладывается на случаи возникновения неоднозначностей, как понял отсюда:
http://www.haskell.ru/decls.html
Таким образом, хацкель накладывает ограничение, что z = 0:z должен быть определенным типом, чтобы избежать потребности для постоянного вычисления списка для всех типов, выдернутых из контекста. Типа попался Int, то вычисляем z :: [Int], попался z :: [Float], значит вычисление z идет заново. И в случае z :: [Int] придется опять вычислять список, так как подвернулся тип из контекста заранее неизвестный. И тут выходит, что z для одних и тех же типов вычисляется более чем один раз, что противоречит идеологии. Так штоле?

Почему let snub = sort . nub без сигнатуры не работает пока не понял. Не из-за того, ли что nub имеет более обобщенный тип, и из контекста перекинуть ограничение типа Ord на nub не получается?

Короче, давно я себя не чувствовал себя таким глупым.

Доброкодер 18 August 2011 (Thu) 23:23 No.12777

File: Untitled.png
Png, 111.43 KB, 331×570 - Click the image to expand

>>12773

> парочку практических задачек подкинуть

впринципе, могу подкинуть(было бы правильно отдельным тредом). Могу дать тестовые таски местных контор. А могу дать убер-таск, который я бы и сам непрочь сделать, но которую неделю болят глаза.

>>	Доброкодер 18 August 2011 (Thu) 23:58 No.12780 >>12777 Буду весьма признателен. И вдвойне признателен, если снабдишь это ну хоть какими отсылками на курсы/учебники, если дело касается всяких ТАУ, ДатаМайнингов, AI, CV и прочих интеллектуальных развлечений. :: >>12779

Доброкодер 19 August 2011 (Fri) 00:04 No.12781

>>12775

> множества, мат.логика, графы, конечные автоматы

Ну я это худо бедно да знаю. Но в отрыве от всяких радиоэлектроник, сухо, абстрактно. Я имею ввиду - это просто "учебник математики для определённого вида стдентов" или там на самом деле приводятся задачи/примеры на стыке областей? Я к чему клоню - было бы очень здорово найти что-то близкое по духу к лекциям Фейнмана по физике, но делающем упор на сам-понимаешь-чём, а физику, биологию, экономику, чёрт знает что ещё использующем как области применения всего того матана, о котором идёт речь.

Доброкодер 19 August 2011 (Fri) 06:20 No.12790

File: 0_3069e_d9accc3d_L.jpeg
Jpeg, 78.81 KB, 500×375 - Click the image to expand

>>12781

> это просто "учебник математики для определённого вида стдентов"

да.

> было бы очень здорово найти что-то близкое по духу к лекциям Фейнмана по физике

Самому интересно. Но -- подсказать ничего не могу, к сожалению.

ps. Цытата с линупс.огр.ру:
xxx> А зачем этот ваш Хаскель нужен, кто-нить его преподаёт?
yyy> У нас на кафедре им студентов травят; они потом долго плюются.

>>	Доброкодер 20 August 2011 (Sat) 15:56 No.12839 Товарищи программисты на хаскеле, объясните пожалуйста, в чём отличия хаскеля от F#? Выбираю, чем обмазаться.

>>	Доброкодер 20 August 2011 (Sat) 17:40 No.12842 File: erl-hasky-c-f.png Png, 158.78 KB, 900×601 - Click the image to expand >>12839 Как-то так

>>	Доброкодер 20 August 2011 (Sat) 18:40 No.12843 >>12842 Можно без религии?

>>	Доброкодер 20 August 2011 (Sat) 18:52 No.12844 >>12843 Все по делу же, бугуртяша.

>>	Доброкодер 20 August 2011 (Sat) 18:55 No.12845 >>12843 Как вообще можно выбирать между хаски и фисярпом? Это как выбор между Ламборгини и АвтоТазом. Ну да - у них обоих по 4 колеса, но и разница, блджад, очевидна.

Доброкодер 20 August 2011 (Sat) 19:12 No.12847

>>12839
Ну например, F# заточен под платформу .NET, что означает неэффективную стековую машину, организация памяти как у явы, отсутствие какой-либо полноценной кроссплатформенности.
А ещё F# мультипарадигменный комбайн: со структурными ООП С++ окстылями и прочим мусором.

>>	Доброкодер 20 August 2011 (Sat) 19:17 No.12849 >>12847 > полноценной кроссплатформенности Меня всё равно только винда и макось интересуют. Скастуйте ссылку на подробное сравнение, пожалуйста?

>>	Доброкодер 20 August 2011 (Sat) 19:23 No.12850 >>12849 > только винда и макось > макось Считай, F# для тебя не существует.

>>	Доброкодер 20 August 2011 (Sat) 19:25 No.12851 >>12850 Макось в перспективе, когда я денег на макбук накоплю. Не раньше февраля. А вот ссылочку на сравнение всё-таки хотелось бы, если вам не трудно.

>>	Доброкодер 20 August 2011 (Sat) 19:27 No.12852 >>12850 > Считай, F# для тебя не существует Да, а как же Mono?

>>	Доброкодер 20 August 2011 (Sat) 19:44 No.12853 >>12839 Похуй с чего начинать, все равно перейдёшь с на Хаскель. Я, кстати, тоже с F# начал. ML-говно, как заметил Братюня - язык переходный. Тем более такое ML-говно, как F#.

>>	Доброкодер 20 August 2011 (Sat) 23:22 No.12864 File: SNC00158.jpg Jpg, 21.32 KB, 384×288 - Click the image to expand >>12515 А чё таково-та? Я, кстати, трудоустроен. алкопарашутист

>>	Доброкодер 21 August 2011 (Sun) 00:04 No.12867 File: 1313869796628.png Png, 1.65 KB, 300×20 - Click the image to expand >>12864 айлолд. от капчи тоже.

>>	Доброкодер 21 August 2011 (Sun) 00:45 No.12869 >>12864 На собеседования тоже в берцах и рубашке камуфляжной раскраски ходишь?

>>	Доброкодер 21 August 2011 (Sun) 01:11 No.12870 Задроты в берцах, ненавижу

>>	Доброкодер 21 August 2011 (Sun) 01:15 No.12871 >>12864 Ну ты пиздец. Я думал что парашутюст он вообще куклотюня. Надо перестраивать в голове весь перечень местных неймфагов. Ты на чём пишешь на работе?

>>	Доброкодер 21 August 2011 (Sun) 01:21 No.12872 File: Untitled.png Png, 31.87 KB, 272×153 - Click the image to expand >>12871 так вроде же ключевые слова по поциэнту: стасик - куклотюня - парашютист - haskell - linq - .net - автодилеры (рольф?), не?

Доброкодер 21 August 2011 (Sun) 01:27 No.12874

>>12872
Куклотюня пишет на JS же, нет? LINQ и .NET это ж Рейфаг? И потом разве он не Дима? Ну и это всё так, мимо, просто я как-то не могу связать в голове образ куклотюни, который у меня записан как "ебанутый адекват", с этим замечательным молодым человеком на фотографии, который на адеквата внешне как-то уж совсем не похож.

>>	Доброкодер 21 August 2011 (Sun) 01:42 No.12875 >>12874 Смотри ДОМ-2 лучше

>>	Доброкодер 21 August 2011 (Sun) 02:18 No.12876 >>12875 Зачем, если можно этим наслаждаться прямо здесь, не отходя от кассы? Имиджборды - весь мир на одной странице!

>>	Доброкодер 21 August 2011 (Sun) 02:34 No.12877 >>12876 Я не люблю шоу уродов, потому что мне их становится жалко. Наслаждаться сложно.

>>	Доброкодер 21 August 2011 (Sun) 03:10 No.12878 >>12877 Ну разве ж он >>12864 урод? Такой милашка!

>>	Доброкодер 21 August 2011 (Sun) 13:37 No.12883 >>12864 По-моему это Вася из саппорта Билайна в Москве.

>>	Доброкодер 21 August 2011 (Sun) 18:10 No.12890 >>12878 -> >>12870

>>	Доброкодер 23 August 2011 (Tue) 02:21 No.12968 >>12875 Люто проиграл. и правда ведь.

Доброкодер 25 August 2011 (Thu) 22:16 No.13048

У меня тут какая-то хуйня. Чувствую себя идиотом и, видимо, неспроста. Хотел почитать HSoM и застрял на Preface, блджад. Кабал ничего не знаю об Euterpea, нашёл её тут http://code.haskell.org/Euterpea/ , но как, блядь, её оттуда забрать? Я думал это ftp с таким интерфейсом, вот только wget не разделяет мои подозрения и пытается выкачать весь их чёртов сайт. Что делать-то?

>>	Доброкодер 25 August 2011 (Thu) 22:41 No.13049 >>13048 darcs get http://code.haskell.org/Euterpea cd Euterpea cabal install %%http://haskell.cs.yale.edu/?page_id=269%%

>>	Доброкодер 25 August 2011 (Thu) 22:48 No.13050 >>13048 Можно научиться пользоваться вгетом, ман почитать, например.

>>	Доброкодер 25 August 2011 (Thu) 23:20 No.13051 >>13050 Выкачивать дарковскую репу вгетом? Да ты вконец пизданулся, прыщешкольник.

>>	Доброкодер 25 August 2011 (Thu) 23:24 No.13052 >>13051 Мне как-то все равно на репу. Из его поста следует, что вгетом он пользоваться не умеет, ибо > wget не разделяет мои подозрения и пытается выкачать весь их чёртов сайт лечится -np

>>	Доброкодер 25 August 2011 (Thu) 23:26 No.13053 >>13049 Спасибо, дорогой. Блядь, этот cabal хоть что-то ставит без ExitFailure?!

>>	Доброкодер 25 August 2011 (Thu) 23:30 No.13054 >>13052 Мамашу свою полечи, блядь. wget -np выкачает index.html. Замечательная установка.

>>	Доброкодер 25 August 2011 (Thu) 23:53 No.13055 $ wget -c -r -np -nH -R"index.html*" "http://code.haskell.org/Euterpea/" > /dev/null 2>&1 && tree Euterpea \| wc -l`617` Давай я просто обзову тебя мудаком, который в своей криворукости обвиняет софт, и пройду куда шел.

>>	Доброкодер 25 August 2011 (Thu) 23:57 No.13056 >>13055 Haskell Way:`darcs get http://code.haskell.org/Euterpea` Ko-ko-ko Way:`wget -c -r -np -nH -R"index.html*" "http://code.haskell.org/Euterpea/" > /dev/null 2>&1 && tree Euterpea \| wc -l 617` Иди-иди. Кстати, лично я никого ни в чём не обвинял.

>>	Доброкодер 26 August 2011 (Fri) 00:50 No.13058 >>13053 Нет, так не интересно же включи уровень логгирования повыше, скорее всего каких-нибудь либ не хватает, она дохуя всего использует

Доброкодер 26 August 2011 (Fri) 01:50 No.13059

>>13058
Справился уже, спасибо. Правда, во-первых, на это ушло совсем не так мало времени, как хотелось бы, а во-вторых, песенку оно мне так и не сыграло, timidity говорит, что Couldn't open output device. Задолбало уже, блин. Сейчас спать пойду, буду завтра мучать, если не забуду. И если не образумлюсь, и не решу, что проводить за компом нерабочее время - нехорошо.
Так или иначе, первое знакомство оставило не слишком приятные впечатления. Надеялся уже к этому моменту дойти до второй главы, посмотреть Рейлган и лечь спать. А в результате только Рейлган посмотрел. Досадно.

>>	Доброкодер 26 August 2011 (Fri) 01:52 No.13060 >>11962 Я хочу написать сайт с чатом на хаскелле. Чо посоветуешь, Хаскачь?

Доброкодер 26 August 2011 (Fri) 02:34 No.13064

>>13059
У тебя что за ОС?
>>13060
happstack - криво, хуёво, но, блядь, работает, в отличие от остальных.
yesod - наркоманская хуйня, для работы с которой помимо хаскеля придётся изучить неведомые ёбаные языки, реализованные автором на TH. И да, в yesod дохуя TH. Советую стать контрибутором и добавить еще TH. Из плюсов - это единственный фреймворк, автору которого не похуй на свое творение. Да, он действительно его пилит правда куда-то в сторону Омска причем уже не первый год, что в мире Хаскеля весьма редкое явление.
snap - прыщи-онли низкоуровневая хуйня.

Все остальное мертво.
алкопарашютист

>>	Доброкодер 26 August 2011 (Fri) 17:28 No.13089 Вообще хачушки не умеют в фреймворки. Посему - FastCGI

>>	Доброкодер 26 August 2011 (Fri) 18:17 No.13091 >>13064 Зря ты так Yesod вполне себе неплох и логичен. Happstack слишком прост и топорен, это да.

>>	Доброкодер 26 August 2011 (Fri) 19:33 No.13098 >>13064 Убунта ж. 11.04. Ставил-переставлял АЛСУ, целую коллекцию тимидитей уже собрал, но что-то, видимо, всё-таки пропустил.

Доброкодер 26 August 2011 (Fri) 19:38 No.13100

>>13098
Нужно установить renoise и потом указать в качестве миди-источника для какого-нибудь канала что-то вроде “Зохватывать всё МИДИ!!!!111“. Тока если ты не работал с ренойсом и срутилупсом, может у тебя не получиться послушать факториалы. Как прилечу домой тебе картинок наделаю.

>>	Доброкодер 26 August 2011 (Fri) 19:48 No.13103 >>13060 http://ocsigen.org/tutorial/

>>	Доброкодер 26 August 2011 (Fri) 20:51 No.13104 File: 1238657559462.jpg Jpg, 10.24 KB, 250×250 Your censorship settings forbid this file. >>13103

>>	Доброкодер 26 August 2011 (Fri) 21:04 No.13105 >>13104 а есть пак подобного добра?

>>	Доброкодер 26 August 2011 (Fri) 21:05 No.13106 File: creatiff.png Png, 79.30 KB, 748×348 - Click the image to expand >>13105 отклеилась

>>	Доброкодер 27 August 2011 (Sat) 00:02 No.13111 >>13100 Пиздецовй интерфейс у этого ренойза. И это не говоря о том, что это само по себе оверкилл. По идее ведь перехватить миди должет и этот самый тимидити, только он этого почему-то не делает, а значит, я что-то делаю неправильно.

>>	Доброкодер 27 August 2011 (Sat) 00:07 No.13112 >>13111 Напиши синтезатор в wav сам, йоба

Доброкодер 27 August 2011 (Sat) 00:12 No.13113

File: 844b2bad0091dcafbe69c8c7af4b8334.jpg
Jpg, 214.79 KB, 1000×651 - Click the image to expand

О, внезапно нашёл нужную кнопку. BassDetunedWobbler сыграл мне childSong6. Я такого даже в фильмах ужасов не слышал. Выглядит как неплохое развлечение.
Хотя всё равно это, конечно, пиздец, использовать навороченный секвенсор для проигрывания мелодий создаваемых хаскелем в образовательных целях.

Доброкодер 27 August 2011 (Sat) 00:38 No.13114

>>13113
Это нормально, я, например, при отладке VST гружу jeskola buzz с тестовым треком. Это позволяет не заморачиваться со многими вещами (например, бояться оглохнуть от ошибки в алгоритме, который начал выдавать /dev/random - в цепи лимитер стоит) и тестить в боевых условиях.
Ренойз, кстати, не особо наворочен.

>>	Доброкодер 27 August 2011 (Sat) 00:41 No.13115 >>13114 блин, почитал последние сообщения в треде - почувствовал себя обратно линуксоидом.

>>	Доброкодер 27 August 2011 (Sat) 00:49 No.13116 >>13115 Linukz has no musak. Только DOS http://www.youtube.com/watch?v=aBjclT_R-ko

Доброкодер 27 August 2011 (Sat) 02:39 No.13117

File: t4_016.jpg
Jpg, 23.93 KB, 324×291 - Click the image to expand

>>13116
Я его в школе слушал. Он на писиспикер умел херачить, причем довольно сносно. Такое чувство, что все нормальные программы остались в прошлом тысячелетии.
алкосамизнаетекто

Доброкодер 27 August 2011 (Sat) 03:06 No.13118

File: ptl72_003.jpg
Jpg, 21.49 KB, 300×276 - Click the image to expand

>>13117
Кстати, самая охуенная игрушка для обработки звука из тех, что я видел: http://www.youtube.com/watch?v=jFCjv4_jqAY. Если хаскельпитуки со своей школой музыки не смогут дать на монады этому немцу-крестопитушку, то это отсос, как ни крути.
ктобывыдумалитист

Доброкодер 27 August 2011 (Sat) 03:39 No.13120

>>13118
Питч-корректор подобного рода первым сделали американцы antares. Autotune стало именем нарицательным. Сейчас их чуть не в чайники встраивают, во всех секвенсорах есть аналоги.
На монады придется дать очень много, потому что не понятно, зачем делать код тормознее, чем у конкурентов. Учитывая то, что реалтаймовые алгоритмы занимают очень мало строчек кода просто потому что нужно рожать два флоата за 1/44100 секунды и грузить при этом не более 5% ядра, короче он ни на чем не выглядит. Я пробовал заменять ghci матлаб, но пока получается бесконечное велосипедостроение.

Доброкодер 27 August 2011 (Sat) 04:07 No.13121

File: image010.gif
Gif, 12.17 KB, 283×259 - Click the image to expand

>>13120
Не-не-не, девид блейн. Давай ты для начала покажешь код, или хотя бы на пальцах объяснишь, как разложить на ноты гитарный аккорд, потом посмотрим. Я ужмолчу про просто охуенный гуй да-да, почему-то все прыщетеоретики упускают его из виду, в итоге любое пыщеговно - неюзабельное глючное прыщеговно, создание которого - уже отдельный челлендж. И, наконец, мне похуй на скорость, в конце концов я сам помогу тебе задрочить её на GHC.Prim, если там действительно, как ты говоришь, два флота. Мне просто интересно, помогут ли 20 профессоро-лет, вбуханные в разработку языка и компилятора, хаскипитушкам в борьбе с этим очаровательным волосатым дедушкой, или все ваши теории котегорий, монады, блядь, функторы всякие - полная хуйня, не позволяющая подняться даже на уровень досовких трекеров (напоминаю, их писали just for lulz в одну харю) и сишечка рвёт всех несмотря на потуги хаскитеоретиков.
бла-бла-бла-ла-ла-ла

>>	Доброкодер 27 August 2011 (Sat) 04:24 No.13122 File: d5_1.jpg Jpg, 28.00 KB, 423×450 - Click the image to expand Хаскипитушки, не расслабляйтесь: http://www.youtube.com/watch?v=cKCNKI4SMpg

Доброкодер 27 August 2011 (Sat) 04:35 No.13123

File: image005.jpg
Jpg, 72.46 KB, 467×756 - Click the image to expand

Кстати, я тут подумал, ведь ни один человек не попадает в ноты идеально. Соответственно, если корректировать его голос детерминированным алгоритмом, он будет звучать слишком неестественно. Думаю, имеет смысл специально вносить некоторую погрешность. Что сделать, чтобы она выглядела наиболее естественно? Цепи Маркова? Тупо белый шум? Фракталы? Что скажете, поющие хаскелисты?

Доброкодер 27 August 2011 (Sat) 11:18 No.13126

>>13121

> Давай ты для начала покажешь код

Не психуй, ты че психуй?
>>13123

> Что скажете, поющие хаскелисты?

Скажу, чтобы ты спросил у специалистов по DSP и физическому моделированию голоса, а не у хаскеллистов. Хаскеллисты в ХШоМ используют мидю и тому подобное только чтобы лишний раз интересно поиграться с хачкелем. Для них это игрушечная предметная область.

>>	Доброкодер 27 August 2011 (Sat) 15:04 No.13132 >>13121 хуиту несёшь, совсем спился. > помогут ли 20 профессоро-лет, вбуханные в биохимию клетки залить правильный фундамент на даче?

>>	Доброкодер 27 August 2011 (Sat) 21:20 No.13146 >>13132 > совсем спился Удваиваю. Очередной пример пагубного воздействия алкоголя на человека. А если это всё-таки был куклотюня (хотя это совсем невероятно), то я вообще больше бухла в рот не возьму.

>>	Доброкодер 27 August 2011 (Sat) 21:57 No.13147 File: 1314467029589.png Png, 1.55 KB, 300×20 - Click the image to expand >>13146 похоже, будем бросать всей бордой. олсо, капча стронгли рилейтед.

Доброкодер 27 August 2011 (Sat) 22:15 No.13148

>>13121

> Давай ты для начала покажешь код, или хотя бы на пальцах объяснишь, как разложить на ноты гитарный аккорд, потом посмотрим.

Аккорды раскладываются до сих пор весьма хуево, мелодин не исключение. И вряд ли что-то изменится, потому что это не каждому человеку под силу. Навскидку:
1. 12 comb-фильтров + амплитудный детектор. По фильтру на каждую ноту. Comb-фильтр - это складывание сигнала со своей смещенной копией. От такого фильтра получается спектр в виде расчески, как раз как ухо оценивает ноту (55, 110, 220 Гц - одна и та же нота, ля). Амплитудный детектор считает RMS, далее выбираем максимумы. Дешево, нет задержек и не требует памяти. Для китайского тюнера самое то.
2. FFT + подсчет энергии для каждой ноты. Гибче. Если не брать движение во времени, то
[code]
fs = 44100;
[a, fs] = wavread('file.wav');
spectrum = abs(fft(a));
spectrum = spectrum / max(spectrum);
freqToPos = @(freq) freq * length(spectrum) / fs;
cNote = freqToPos(55 * 2^(-9/12));
rootNotes = cNote * 2.^((0:11)/12);
highestFreq = fs * 0.25;
noteWidth = 2^(0.5/12);
i = 1;
for rootNote = rootNotes

freqs = rootNote:rootNote:highestFreq;
energy(i) = sum(arrayfun(@(freq) sum(spectrum(round(freq/noteWidth):round(freq*noteWidth))), freqs));
i = i + 1;

end
plot(energy);
[/code]
На хаскеле код будет отличаться не сильно, но будет длиннее из-за преобразований типов между Data.WAVE, Math.FFT и IArray.
Алгоритм, работающий с данными во времени, будет сложнее сложнее, потому что нужно фильтровать различного рода щелчки и прочее. Это уже будет интеллектуальной собственностью, но код при этом намного длиннее не будет.
Суть автотюна не в этом, а в питче без изменения длительности с помощью алгоритма phase vocoder (см. http://labrosa.ee.columbia.edu/matlab/pvoc/) Там тоже делаем FFT, потом меняем растягиваем/сужаем спектр, корректируя фазу. Размер файла pvsample.m сам оцени - единственное что, в матлабе arr(:) ознаначает операцию по элементам матрицы arr, без всяких map, поэтому все компактно. Но на асме какого-нить DSP-процессора алгоритм намного длиннее не будет.
>>13123
Ну ты бы хотя бы мелодин этот скачал. При непопадании на 25% голос корректируется до 5% и все. Если сплющить все переходные процессы, будет канье уэст.

>>	Доброкодер 28 August 2011 (Sun) 02:19 No.13156 >>13148 > freqs = rootNote:rootNote:highestFreq; Сделал ошибку (нужно freqToPos(highestFreq)), а если бы была система типов с поддержкой единиц измерений, все могло бы сложиться иначе.

>>	Доброкодер 28 August 2011 (Sun) 12:58 No.13160 >>13156 В F# есть.

>>	Доброкодер 28 August 2011 (Sun) 13:59 No.13161 >>13160 Ого, неужели в F# что-то есть. И наверняка сообщения об ошибках человеческие, а не couldn't match type Mul d' d d''

>>	Доброкодер 28 August 2011 (Sun) 14:15 No.13162 File: синица.jpg Jpg, 55.68 KB, 640×459 - Click the image to expand Ёбаное говно, почему блядский cairo опять под виндой не устанавливается? '"cpp" не является внутренней или внешней Чё это за хрень ваше?

>>	Доброкодер 28 August 2011 (Sun) 14:26 No.13163 >>13162 > '"cpp" не является внутренней или внешней в path что?

>>	Доброкодер 28 August 2011 (Sun) 14:51 No.13165 File: Безымянный.jpg Jpg, 81.20 KB, 830×467 - Click the image to expand Да, уже заметил, в path хуйня, видимо ставил бухим. Сейчас новое чудо: 'setup.exe: internal error: unexpected package db stack: [UserPackageDB]

>>	Доброкодер 28 August 2011 (Sun) 14:57 No.13166 >>13165 Строгая типизация на страже от багов: http://hackage.haskell.org/trac/hackage/ticket/812

>>	Доброкодер 28 August 2011 (Sun) 19:43 No.13174 >>11962 Объясните мне шутку про штангу.

>>	Доброкодер 28 August 2011 (Sun) 19:56 No.13175 File: z150_22.jpg Jpg, 49.66 KB, 618×418 - Click the image to expand >>13174 http://thesz.livejournal.com/911142.html

Доброкодер 28 August 2011 (Sun) 20:08 No.13176

    mean :: Floating a => [a] -> a
    mean l = sum l / fromIntegral (length l)
    
    sdev :: Floating a => [a] -> a
    sdev l = sqrt $ (sum $ map f l) / (n - 1) / n
      where f :: Floating a => a -> a
            f x = (x - m)^2
            m = mean l :: Floating a => a
            n = fromIntegral (length l) :: Floating a => a

Ну блять, я задолбался воевать с компилятором по этому поводу:

J.hs:12:12:
    Inferred type is less polymorphic than expected
      Quantified type variable `a' is mentioned in the environment:
        m :: a (bound at J.hs:13:12)
    When trying to generalise the type inferred for `f'
      Signature type:     forall a. (Floating a) => a -> a
      Type to generalise: a -> a
    In the type signature for `f'
    When generalising the type(s) for `f'

J.hs:13:16:
    Couldn't match expected type `a1' against inferred type `a'
      `a1' is a rigid type variable bound by
           an expression type signature at J.hs:13:35
      `a' is a rigid type variable bound by
          the type signature for `sdev' at J.hs:9:21
    In the expression: mean l :: (Floating a) => a
    In the definition of `m': m = mean l :: (Floating a) => a
    In the definition of `sdev':
        sdev l = sqrt $ (sum $ map f l) / (n - 1) / n
               where
                   f :: (Floating a) => a -> a
                   f x = (x - m) ^ 2
                   m = mean l :: (Floating a) => a
                   n = fromIntegral (length l) :: (Floating a) => a
Failed, modules loaded: none.

Убираю сигнатуры типа после where — ошибки пропадают. Так какой там тип, мать его? И что прочитать нужно, чтобы не заходить в тупик с такой хуйнёй?

>>	Доброкодер 28 August 2011 (Sun) 20:35 No.13177 >>13176 > сигнатуры типа после where но зачем? Ты бы лучше не страдал хуйней, а нормальную mean написал вместо этого ебаного ужаса.

>>	Доброкодер 28 August 2011 (Sun) 22:29 No.13184 >>13177 Хорошо-хорошо, перепишу. Но косяк-то в чем? Опять это ограничение мономорфизма?

Доброкодер 28 August 2011 (Sun) 22:44 No.13185

>>13184
Полагаю, что ты думаешь, будто бы область видимости параметра типа a распространяется на все объявление функции, но это не так. Только на указание типа. В forall a. Floating a => [a] -> a и forall a. Floating a => a -> a a разные, получается что тип у x и m разный - отсюда ошибка. Собственно, GHC 7 так и пишет: Could not deduce (a ~ a1)

>>	Доброкодер 03 September 2011 (Sat) 15:18 No.13459 Посоветуйте няшногуевое иде для хацкиля

>>	Доброкодер 03 September 2011 (Sat) 15:23 No.13460 >>13459 leksah, не?

>>	Доброкодер 03 September 2011 (Sat) 15:25 No.13461 >>13459 Есть Leksah, но лучше уж Emacs.

>>	Доброкодер 03 September 2011 (Sat) 15:56 No.13462 >>13459 Этим летом в ходе GSoC поддержку хаскелля в Eclipse серьезно допилили. Попробуй, вдруг понравится: http://eclipsefp.github.com/

Доброкодер 03 September 2011 (Sat) 17:57 No.13465

>>13462
Я как-то пробовал недавно. Долго проебался, а в результате наворачивал горы муторных ошибок, еще и выскакивающих отдельными диалогами, прямо когда ты пишешь код. Сыроватая пока штука.
Как ни странно, глючный алтфажный красноглазый прышефонатичный емакс с примитивными скобкоскриптами, написанными на коленке, до сих пор юзабельнее лекс, ййи, клипсофепе и т.д.

>>	Доброкодер 03 September 2011 (Sat) 18:00 No.13466 >>13465 так давайте допилим всей бордой.

Доброкодер 03 September 2011 (Sat) 18:28 No.13467

>>13465
Даже не знаю, я его месяцев 6 назад трогал - все работало. Правда очень текло сильно и по возможностям недалеко от емакса находилось.
Для него, кстати, новый хаскеллемод анонсирован: http://chrisdone.com/posts/2011-08-21-haskell-emacs.html
Прозреваю былинный фейл со всеми этими TAGS и автокомплитами.

>>	Доброкодер 03 September 2011 (Sat) 23:41 No.13491 Что нужно для емакса для комфортной работы?

>>	Доброкодер 04 September 2011 (Sun) 00:44 No.13497 >>13491 Опыт использования емакса как минимум пару месяцев. Остальное - мелочи.

>>	Доброкодер 04 September 2011 (Sun) 01:46 No.13498 >>13497 Я и спрашиваю про мелочи.

Доброкодер 04 September 2011 (Sun) 10:49 No.13525

>>13498

> Я и спрашиваю про мелочи.

Они для каждого примата свои, потому сравнивать бесполезно. Читай чужие конфиги, смотри как и где настроено, нужно ли это именно тебе...

Емакс нужен, если тебе проще запомнить некоторое кол-во клавиатурных комбинаций вместо мышевозятельства, дописать свои скрипты -- вместо поиска плагинов. В остальных случаях лучше остаться на гламурных иде с одной кнопкой "сделать всё зашибись".

Доброкодер 04 September 2011 (Sun) 14:22 No.13546

>>13525
Не только. Для меня одно из главных его достоинств - удобный текстовый редактор. Мне очень тяжело работать в средах, где нельзя поотключать целиком статус-бары, меню, перекрасить все цвета, выбрать идеальный для глаз шрифт и отключить мигание каретки, превратив её попутно из тонкой режущей глаза линии в нормальный человеческий полупрозрачный прямоугольник.

>>	Доброкодер 04 September 2011 (Sun) 14:35 No.13547 >>13546 > Не только > > Они для каждого примата свои, потому сравнивать бесполезно :))

>>	Доброкодер 04 September 2011 (Sun) 14:42 No.13551 >>13547 И что смешного? Я всего-лишь говорю еще один случай где он именно НУЖЕН, потому что в ИДЕ такого не сделаешь.

>>	Доброкодер 04 September 2011 (Sun) 15:08 No.13553 File: dog_and_cat.jpg Jpg, 194.91 KB, 1000×750 - Click the image to expand >>13551 :D

>>	Доброкодер 04 September 2011 (Sun) 15:21 No.13554 >>13553 А, понял.

Доброкодер 04 September 2011 (Sun) 20:38 No.13558

Дочитал Sicp до множественный представлений, диспетчеризации типов и пересылке сообщений etc. Проникся всем этим великолепием, но возник вопрос.
Вот открываю ghci и пишу что-нибудь вроде:

Prelude> import Complex
Prelude Complex> (1 :+ 2) ** fromIntegral (2 :: Int)
(-3.0) :+ 4.000000000000002

Так каким образом в хаскилях реализованны такие-то попрыгушки по абстрактным представлениям? Ведь fromIntegral :: (Num a, Integral b) => b -> a это значит, что в правом операнде ** стоит Num a => a, а в левом RealFloat a => Complex a и тут на тебе, все это быстро приводится к RealFloat a => a, и результат выходит такого же обобщенного типа.

Как такую херню написать для своей произвольной иерархии тайпклассов?

>>	Доброкодер 04 September 2011 (Sun) 20:39 No.13559 >>13558 `(RealFloat a) => Complex a` а не `RealFloat a => a` конечно же. быстрофикс

Доброкодер 04 September 2011 (Sun) 20:58 No.13560

>>13558
Важно понять, что тайпклассы - это чисто-абстрактный уровень косвенности, существующий только до определённого этапа компайл-тайма. А вот уже АТД - это тот же сорт тегированной динамики, что и в лиспе жестко для всего сущего, только не такой анально заоптимизированный.

Доброкодер 04 September 2011 (Sun) 21:02 No.13561

>>13525
Примерно то же самое о линуксах говорили лет 10 назад, что сорцы это очень круто, потому что можно соптимизировать все под свою систему, а ведь у каждого примата своя система. Через 10 лет оказалось, что пакеты и установка всего за полчаса рулят, а настройки всем нужны одинаковые. И только приматы-гентушники неделями красноглазят собирая все именно под свое уникальное железо.

>>	Доброкодер 04 September 2011 (Sun) 22:02 No.13562 >>13560 Инересно узнать, в чем ты видишь сходство? И в чем заключается оптимизация?

>>	Доброкодер 04 September 2011 (Sun) 22:09 No.13563 >>13562 В том, что они реализованы тегированными юнионами с динамическим диспатчем по тегу. Оптимизация в том, что в Лиспе используются тегированные указатели: http://sbcl-internals.cliki.net/tag%20bit

>>	Доброкодер 04 September 2011 (Sun) 22:12 No.13564 >>13561 > сорцы это очень круто, потому что можно соптимизировать все под свою систему Само собой. Проблема в том, что типичный десктоп с 386 не сильно изменился, и оптимизировать в общем-то нечего.

>>	Доброкодер 04 September 2011 (Sun) 22:16 No.13565 >>13563 ++ Ну то есть, в хачкеле в случае с анбоксед - тег + данные, боксед - тег + указатель, а в лисп - тег - часть указателя.

Доброкодер 04 September 2011 (Sun) 22:21 No.13567

>>13564
Ну вот по-моему я по сравнению с другим пользователем хаскельмода тоже не сильно изменился. То, что у меня также техмод стоит другая история. Однако типичный юзер емакса начинает говорить о том, что армия школа жизни страдай, как я страдал, собирая все свои скрипты и компилируя убероптимизированное ведро.

Доброкодер 04 September 2011 (Sun) 22:38 No.13568

>>13567
Типичный пользователь емакса просто не знает, как можно сделать из емакса что-то более-менее достойное по-другому.
Пользоваться какой-нибудь удобной ИДЕ искоропки могу, текстмейтами-саблимтекстами - спокойно, емаксом - ни в какую. Больно уж он приподвывихнутый.
Из готовых конфигов наиболее популярен https://github.com/technomancy/emacs-starter-kit и его форки, коих на гитхабе тысячи. Пробуй сам, лично мне не понравилось.

Доброкодер 04 September 2011 (Sun) 22:44 No.13569

>>13560
Ну окей, только твой абзац не добавил понимания ни на йоту. Только введ до кучи терминов, которые у меня не ресолвятся. Ну вот например: «абстрактный уровень косвенности», «АТД». Если щеголяете терминами, кидайте хоть ссылки на статьи, чтобы просвятиться.

Вопрос остался в силе, каким образом можно изменить представление на лету, если все операторы арифметики замкнутые?

Доброкодер 04 September 2011 (Sun) 23:07 No.13570

>>13569

> Ну окей, только твой абзац не добавил понимания ни на йоту.

Разумеется не добавил. Не слушай его - он не понимает о чем говорит. Лиспер же.

> Вопрос остался в силе, каким образом можно изменить представление на лету

Представление не меняется.

>>	Доброкодер 04 September 2011 (Sun) 23:10 No.13571 >>13565 Хватит уже фантазировать. http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects

Доброкодер 04 September 2011 (Sun) 23:33 No.13572

>>13570

> Не слушай его - он не понимает о чем говорит.

Хорошо.

> Представление не меняется.

Погоди, там же явно RealFloat a => Complex a, а оно хранит два значения и конструируется с :+. Это должно сильно отличаться от представления того же Int, который «вшит» в реализацию, если ничего не путаю. Выходит что тут было приведение к RealFloat a => Complex a а у него другое представление.

Доброкодер 04 September 2011 (Sun) 23:58 No.13573

>>13572
Значение RealFloat a => Complex a ничего не хранит. Это функция с двумя аргументами. Один - для параметра типа a, второй для словаря класса RealFloat. Когда это значение будет специализировано - по параметрам протянут функции, которые и вычислят результат. Никаких приведений тут тоже пока нет. Для трех числовых литералов будет вызвана ф-я GHC.Num.fromInteger, которая также принимает на вход вышеуказанный словарь класса, в котором есть функции "приведения".

>>	Доброкодер 05 September 2011 (Mon) 00:05 No.13574 >>13572 Вообще, классы типов имеют мало общего с тем, что описывается в SICP там, где говорится о диспетчеризации. Чтоб узнать, как они работают прочти "How to make ad-hoc polymorphism less ad hoc" Philip Wadler, Stephen Blott.

Доброкодер 05 September 2011 (Mon) 08:40 No.13575

> Хватит уже фантазировать.
> Не слушай его - он не понимает о чем говорит.

Можешь почитать: http://en.wikipedia.org/wiki/Tagged_union
Еще рекомендую посмотреть рефлектором, во что превращаются adt в фисярпе.

> http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects

Интересно, конечно, но что это меняет?

Доброкодер 05 September 2011 (Mon) 08:56 No.13576

>>13572
А тебе, чтобы понять тайплклассы, рикамендую смотреть на них как на аналог перегрузок функций из Си, только более гибкий (с параметрическим полиморфизмом и возможностью диспатчеризации по типу возврата) и более модульный (несколько перегрузок внутри одного тайпкласса). Просто способ называть разные вещи одинаковым именем. А компилятор всё разрулит и переименует.

Доброкодер 05 September 2011 (Mon) 09:02 No.13578

>>13573
Впрочем, меня кажется осенило в чем тут соль. Да, насчет «привидения» выразился неправильно. Вижу решение проблемы следующим образом:
Complex a по хорошему включается в Floating a, значит всю цепочку включений Eq a => Num a => Fractional a => Floating a проходит и инстансы навставляет. В пределах каждого включения есть какое-то «представление» которое является основным (нестрого говоря, потому что формально-то этого ничего нет). Для Num a им будет Integer. Таким образом вводим в Num a функцию fromInteger :: Num a => Integer -> a и каждый инстанс Num обязательно её содержит.
Отсюда получаем замечательную штуку: любой тип включенный в Num умеет конструировать себя из Integer. В выражениях типа выше сперва идет вывод типов, а потом уже вызывается та функция fromInteger, которая приводит челое к комплексному с нулевой мнимой.

Правда как при таком раскладе удобно скакать по разным веткам иерархии включений пока не вижу. На каждый тайпкласс выбирать по основному и для каждого инстанса писать «приведение» — много кода выходит.

За пояснения спасибо и за книгу, вечером буду гуглить.

Доброкодер 05 September 2011 (Mon) 14:32 No.13583

Как правильно выбирать значения из жсона?
Нагуглилось вот это http://stackoverflow.com/questions/2089194/example-of-how-to-parse-exiftool-json-output-in-haskell/2089385#2089385

Prelude Text.JSON> decode "{'value1': 257, 'value2': 1310124099.36818, 'value3': 'mob'}" :: Result JSValue
Error "Malformed JSON: expecting string: 'value1'"

Доброкодер 05 September 2011 (Mon) 14:42 No.13584

File: 1-3835744-4954-t.jpg
Jpg, 4.46 KB, 128×171 - Click the image to expand

>>13583

> decode "{'value1': 257, 'value2': 1310124099.36818, 'value3': 'mob'}"

JSON не яваскрипт, там строки обозначаются только двойными кавычками. Надо писать "{\"value1\":257 ...

Доброкодер 05 September 2011 (Mon) 14:57 No.13585

>>13584

Ok (JSObject (JSONObject {fromJSObject = [("value1",JSRational False (257 % 1)),("value2",JSRational False (65506204968409 % 50000)),("value",JSString (JSONString {fromJSString = "mob"}))]}))

А как дальше из этого вытаскивать нужные значения value#?

>>	Доброкодер 05 September 2011 (Mon) 15:25 No.13586 File: Untitled.png Png, 35.84 KB, 1033×255 - Click the image to expand >>13585 > А как дальше из этого вытаскивать нужные значения value#? Для этого в хачкеле есть патермачинг -- универсальный механизм для распидорашивания композитных объектов.

>>	Доброкодер 05 September 2011 (Mon) 15:49 No.13587 >>13583 Хуёво нагуглилось. Единственная юзабельная json-либа для хаскелля - aeson. Кроме нее удобно мапать json на типы хаскелля не умеет никто. Без нее придется как инвалид >>13586 вручную пидарасить дерево паттерн-матчингом.

>>	Доброкодер 05 September 2011 (Mon) 16:13 No.13588 >>13587 > Без нее придется как инвалид >>13586 вручную пидарасить дерево паттерн-матчингом. Зато с ней можно вножную в очередной раз укомбинироваться парсеком. Звучит заманчиво!

>>	Доброкодер 06 September 2011 (Tue) 00:42 No.13600 >>13587 Покажешь как?

>>	Доброкодер 06 September 2011 (Tue) 00:43 No.13601 >>13586 Подскажи название колорсхемы и шрифта, няша.

Доброкодер 06 September 2011 (Tue) 09:33 No.13611

>>11962
Быдлокодер, мозги вроде есть, но крайне ограниченная база знаний (посему приходится постоянно гуглить). Более-менее нормально могу лишь в плюсы (ну еще в пэхэпэ, но что-то мне говорит, что в глазах здешних анонов мне это ничего не добавит). Что взять за основу для изучения Хаскеля (сайт/книга)? Предложения из рода "лучше бы для начала в Перл научись" тоже принимаются, при условии наличия всё тех же ссылок/названий.

>>	Доброкодер 06 September 2011 (Tue) 09:37 No.13612 >>13611 имхо, изучать хаскелль только по тому, что кресты и пхп "не модно" - плохая идея. мимоудивлялся

>>	Доброкодер 06 September 2011 (Tue) 09:43 No.13613 >>13612 А кто сказал, что причина в этом? Просто миморассказы про хаскелл мне понравились, вот и решил изучить для себя. Альзо, ходят слухи, что это перспективно, но это мне пока что можно в рассчет не брать.

>>	Доброкодер 06 September 2011 (Tue) 09:43 No.13614 >>13613 > расчет

Доброкодер 06 September 2011 (Tue) 10:25 No.13616

>>13601

Че то вроде этого

;; Color-theme
(add-to-list 'load-path "~/.emacs.d")
(add-to-list 'load-path "~/.emacs.d/color-theme")
(require 'color-theme)

(color-theme-initialize)
(color-theme-charcoal-black)


;;; Colors in shell
;;; Shell mode
(setq ansi-color-names-vector ; better contrast colors
      ["black" "red4" "green4" "yellow4"
       "blue3" "magenta4" "cyan4" "white"])
(add-hook 'shell-mode-hook 'ansi-color-for-comint-mode-on)

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(c-basic-offset 8)
 '(c-default-style (quote ((c-mode . "linux") (c++-mode . "linux") (objc-mode . "java") (java-mode . "java") (awk-mode . "awk") (other . "gnu"))))
 '(c-objc-method-arg-min-delta-to-bracket 8)
 '(c-objc-method-arg-unfinished-offset 8)
 '(c-objc-method-parameter-offset 8)
 '(haskell-program-name "~/Tools/Haskell/bin/ghci")
 '(initial-buffer-choice "~/Projects")
 '(rst-adornment-faces-alist (quote ((t . font-lock-keyword-face) (nil . font-lock-keyword-face) (1 . font-lock-keyword-face) (2 . font-lock-keyword-face) (3 . font-lock-keyword-face) (4 . font-lock-keyword-face) (5 . font-lock-keyword-face) (6 . font-lock-keyword-face))))
 '(tcl-application "tclsh8.5"))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(default ((t (:inherit nil :stipple nil :background "white" :foreground "black" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 100 :width normal :foundry "unknown" :family "DejaVu Sans Mono")))))

Паста дело говорит Доброкодер 06 September 2011 (Tue) 10:36 No.13617

>>13611
Начинай с The Haskell School of Expression дальше читай Typeclassopedia (http://www.haskell.org/wikiupload/8/85/TMR-Issue13.pdf), дальше статьи по ссылкам в тайпклассопедии, викикнигу (http://en.wikibooks.org/wiki/Haskell), а точнее отдельные главы. Ну и вики на haskell.org.
Некоторые няшечки могут посоветовать Душкина (беги от этой книги, как от чумы), Грема Хаттона или "Изучи себе хаскель во имя великой справедливости" - не слушай их, только напрасно потратишь время.

>>	Доброкодер 06 September 2011 (Tue) 10:40 No.13618 >>13600 https://github.com/mailrank/aeson/blob/master/examples/Simplest.hs https://github.com/mailrank/aeson/blob/master/examples/Demo.hs

>>	Доброкодер 06 September 2011 (Tue) 11:38 No.13619 File: 1219183028419.jpg Jpg, 30.27 KB, 286×214 - Click the image to expand >>13618 СУКА БЛЯТЬ ЧТО ЭТО ЗА СТРЕЛОЧКИ ЕБАНУТЬСЯ

>>	Доброкодер 06 September 2011 (Tue) 11:55 No.13620 >>13619 Какие?

Доброкодер 06 September 2011 (Tue) 12:38 No.13621

>>13618

> Demo.hs
> куча квалифированных импортов, монад, говна, полстраничных комментариев "так блять епта щас мы эту хуйню засунем вон в ту пиздюлину", кишок, снова монад, директив компилятора
> распарсили "{\"message\":\"hello world\"}"

Такой-то аесон.

>>	Доброкодер 06 September 2011 (Tue) 13:43 No.13622 >>13601 Тема Charcoal Black

Доброкодер 06 September 2011 (Tue) 17:41 No.13628

>>13621
Куча квалифицированных импортов там потому, что аесон работает только с bytestring. Автор аесона вполне справедливо решил, что жсон представляет собой интерес лишь как средство общения с внешним миром, который использует байтостроки. Поэтому на хеллоуворлде приходится сначала конвертировать обычную строку в байтопредставление, а потом парсить. ИРЛ на входе уже будет байтострока и соснут те, кто умеет парсить только хаскистроки.

Доброкодер 06 September 2011 (Tue) 21:05 No.13631

Вот кстати тиречеры как раз aeson заюзали http://darcsden.com/pseudonymous/2chsotools/browse/2chso по-моему неплохой пример
>>13628

> ИРЛ на входе уже будет байтострока и соснут те, кто умеет парсить только хаскистроки.

Ну вообще можно сказать, что ИРЛ например на входе может быть юникод, например если сервер уже разобрался с кодировками. Но мне в исходники за примерами лезть неохота, да и ты не особо их приводишь, так что симметрично.

Доброкодер 06 September 2011 (Tue) 22:58 No.13635

File: 1301578649136.jpg
Jpg, 287.29 KB, 848×1200 - Click the image to expand

>>13575
Это ничего не меняет. Это просто показывает, что твои рассуждения про хранение тега вместе с полями - высосанные фантазии и лиспоикспертиза. Тег хранится в одном экземпляре InfoTable для каждого определенного в коде конструктора, а для АТД с малым числом конструкторов - как часть указателя (да, указатели на функции и конструкторы в GHC тегированные, но не типом - тип указателя в компайл-тайм известен, а арностью функции или индексом конструктора), чтоб InfoTable в кэш не тащить.
Такая же фантазия - аналогия АТД с тегированными типами в динамике. В GHC type erasure, а конструктор - это не тип, просмотр реализации АТД в эфсярпе тут тебя только с толку сбивает.
>>13576
Чтоб понять тайпклассы - не рекомендую представлять их тем, чем они не являются, а рекомендую представлять тем, чем они являются, т.е. словарями функций, протягиваемыми через параметры.
Функция forall a. Yobable a => a -> Yoba a после преобразования в Core становится функцией a -> YobaDictionary a -> a -> Yoba a >>13578

> Complex a по хорошему включается в Floating a

Нет, не включается. Потому, что Floating a - это не тип, а констрейнт.

Доброкодер 06 September 2011 (Tue) 23:17 No.13636

>>13635

> высосанные фантазии и лиспоикспертиза

Так и есть, но я считаю, лучше называть это метаикспертизой.
Тег в любом случае хранится в рантайме с каждым экземпляром сум-типа, потому что это единственный способ определения при, например, паттерн-матчинге, какой конкретно кейз данного типа попался в данный момент.
Тегом может быть число сбоку, биты в указателе, какие-нибудь особенности структуры объекта и т.д.
В хачкеле, правда, есть только первое и второе.

>>	Доброкодер 06 September 2011 (Tue) 23:25 No.13637 > словарями функций, протягиваемыми через параметры. Это особенности реализации. Хотя, конечно, лучше от сиблядков утаивать правду, ведь очевидная аналогия тайпклассов с их перегрузками функций ломает всю романтику.

Доброкодер 07 September 2011 (Wed) 00:27 No.13638

File: 1299865961439.png
Png, 455.42 KB, 1280×720 - Click the image to expand

>>13636

> Тег в любом случае хранится в рантайме с каждым экземпляром сум-типа

Ты, няшечка, что же - %наркоман%? Или может ты в шары долбишься, пардон май френч? Я же тебе языком Пушкина и, блядь, Достоевского написал, что тег хранится не с каждым экземпляром. Он в InfoTable которых N на все экземпляры типа-суммы с N конструкторами.
>>13637

> Это особенности реализации.

Допустим, но это облегчает понимание, а твои нелепые аналогии - нет.

> Хотя, конечно, лучше от сиблядков утаивать правду, ведь очевидная аналогия тайпклассов с их перегрузками функций ломает всю романтику.

Все пропало: сгущеночный иксперт всех разоблачил. Как ты их статическое поведение воспроизведешь-то перегрузкой функций? (ладно бы еще темплейты с концептами попытался на глобус натягивать), я уже не говорю про рантайм-диспатч в случае полиморфизма с рангом больше одного.

Доброкодер 07 September 2011 (Wed) 00:46 No.13639

>>13638

> Как ты их статическое поведение воспроизведешь-то перегрузкой функций?

В простых случаях просто и воспроизводится:

class C a where f :: a -> Int
instance C Int   where f x = 1 + x
instance C Float where f x = 1 + floor x

int f (int x) {
  return 1 + x;
}

int f (float x) {
  return 1 + round(x);
}

А сложные - нет, но у меня там и написано

> только более гибкий (с параметрическим полиморфизмом и возможностью диспатчеризации по типу возврата) и более модульный (несколько перегрузок внутри одного тайпкласса)

> Он в InfoTable которых N на все экземпляры типа-суммы с N конструкторами.

Ну хорошо - для каждого. Перекладывание тега с полки в шухлядку не меняет сути - это сорт динамического петушения. И тут и там у объектов есть теги, по которым происходит диспатч. В скриптах этот диспатч - мультиметоды, в хачкеле - паттерн-матчинг.

>>	Доброкодер 07 September 2011 (Wed) 00:47 No.13640 >>13639 > round(x); floor, конечно же.

>>	Доброкодер 07 September 2011 (Wed) 01:40 No.13641 > единственный способ определения при, например, паттерн-матчинге, какой конкретно кейз данного типа попался в данный момент. А как же статические убер-оптимизации

Доброкодер 07 September 2011 (Wed) 02:46 No.13643

>>13641
Чтобы приблизительно осмыслить, какой природы процесс статического определения кейза сум-типов, достаточно рассмотреть конкретный их частный случай - целые числа (Int = 0 | 1 | 2 | ...). Ну так как ты думаешь, насколько часто ты статически можешь предугадать, какое конкретно целое число тебе придёт в функцию? :)

>>	Доброкодер 07 September 2011 (Wed) 03:15 No.13644 >>13643 Это ты хорошо сказал

Доброкодер 07 September 2011 (Wed) 08:33 No.13645

>>13635
Дак что это получается, в a -> YobaDictionary a -> a -> Yoba a первое a — фактический тип, YobaDictionary a — словарь, в котором лукапается a -> Yoba a по фактическому типу? Ну и какой магией он тут выведет из контекста определенный тип по инстансу Yobable a, когда он будет только третьим аргуметом? Летчик.жпг.

>>	Доброкодер 07 September 2011 (Wed) 16:10 No.13649 >>13601 Шрифт вроде или DjView Sans, или Droid Sans. Первый в стандартной линуксячьей поставке, второй легко гуглится по "Droid fonts zip".

>>	Доброкодер 07 September 2011 (Wed) 18:49 No.13652 http://hh.ru/vacancy/4800824?query=haskell я просто оставлю это здесь.

>>	Доброкодер 07 September 2011 (Wed) 22:03 No.13653 >>13652 Что они там мутят интересно, есть инсайдерская инфа?

>>	Доброкодер 08 September 2011 (Thu) 00:23 No.13654 >>13649 Это не они.

>>	Доброкодер 08 September 2011 (Thu) 14:57 No.13656 >>13654 Возможно, Liberation Mono.

>>	Доброкодер 08 September 2011 (Thu) 17:38 No.13657 File: Kasperski_vakansy.jpg Jpg, 45.30 KB, 353×358 Your censorship settings forbid this file. >>13653 > Что они там мутят Фалломорфные вирусы, очевидно же! Разработают -- а потом будут продавать антивирь к ним.

Доброкодер 10 September 2011 (Sat) 01:18 No.13670

File: 18538e4dca2dcfa2ddf0ef0ed73f38b6.jpg
Jpg, 731.31 KB, 800×1134 - Click the image to expand

>>13639

> В простых случаях просто и воспроизводится: hurr durr

Чтож ты не воспроизвел хотя-бы пример из вопроса? Тогда бы понял, что именно так спрашивающий все и понимает - т.е. неправильно. Ведь дальше потребуются неявные касты между "типами", а дальше - приведенный выше вопрос про "промежуточное представление".

> А сложные - нет, но у меня там и написано

Другими словами твоя "интуиция" для TC годится только для воспроизведение ошибки спрашивающего, а для понимания не годится.

> Ну хорошо - для каждого. Перекладывание тега с полки в шухлядку не меняет сути - это сорт динамического петушения.

Типичный результат динамического мышления: провалена попытка отличить жопу от пальца. В этом суть как раз и заключается: в статике кол-во InfoTable зависит от кол-ва типов, и все таблицы известны на этапе конпеляции, в динамике все иначе - число InfoTable в патологическом случае действительно зависит от числа экземпляров - типов-то нет.

> В скриптах этот диспатч - мультиметоды, в хачкеле - паттерн-матчинг.

Ну вот. Опять спутал жопу с пальцем. Мультиметоды диспатчат по типу, а паттерн-матчинг матчит конструкторы одного типа. И АТД - закрыт. Даже если считать, что тип в динамике на самом деле один, а динамические "типы" - это его конструкторы, все равно это не АТД, потому что открытый.
>>13643
В лисподеревеньке может все и так, а в реальном мире у половины хаскелевских типов один конструктор (и у Int в том числе) и известно это на этапе компиляции.

Доброкодер 10 September 2011 (Sat) 01:33 No.13671

File: 364b0965f374d61b2128e096f35a2e9c.jpg
Jpg, 691.78 KB, 515×800 - Click the image to expand

>>13645

> YobaDictionary a — словарь, в котором лукапается a -> Yoba a по фактическому типу?

Нет, в словаре ничего не лукапается по типу. Словари содержат функции класса. Сколько имплементаций класса - столько и словарей. Если ты используешь полиморфную функцию в контексте, где известен конкретный тип (например Int) - конпелятор частично применит функцию, подставив соответствующий типу словарь и получит, например, функцию Int -> Yoba Int , в которой используется функция из словаря класса Yobable, имплементированная для Int т.е. toYoba :: Int -> Yoba Int

Доброкодер 10 September 2011 (Sat) 13:45 No.13674

>>13671
Иными словами в качестве значений у словарей функции класса для конкретного инстанса. Во время выполнения конкретный тип выводится все же из контекста.

Внутри любое обращение к функции тайпласса Yobable достает нужную из словаря, окей. В случаях с fromInteger каких-нибудь без контекста, само fromIneteger играет роль обертки над перелопачиванием словаря в поисках нужной функции. Ну все правильно же?

Но зачем после прогонки через Core нужен первый аргумент вa -> YobaDictionary a -> a -> Yoba a до сих пор остается загадкой.

И все же сколько мучаю интерпретатор, прихожу к выводу, что в пределах некоторых тайпклассов все же есть какое-нибудь основное представление. Например я пишу такую хрень:

    class Yoba a where
        yoba :: a -> a
        
    instance Yoba Int where
        yoba x = x

Запускаю интерпретатор с yoba 1 и получаю Ambiguous type variable `t' in the constraints. Меняю Int на Integer и yoba 1 возвращает единицу без нареканий. Ну получается, что пока вычисления не нужны, то хаскель сохраняет всякую полиморфную мишуру, а как дело доходит до счета, выбирается конкретный тип в пределах выбранного тайпкласса и пошло счетоводство.

А вобще что-то у меня херово получается в low-level объяснения работы с тайпклассами.

Доброкодер 10 September 2011 (Sat) 16:44 No.13676

File: 1299530558493.jpg
Jpg, 442.99 KB, 894×683 - Click the image to expand

>>13674

> Иными словами в качестве значений у словарей функции класса для конкретного инстанса.

Верно.

> Во время выполнения конкретный тип выводится все же из контекста.

Не во время выполнения, во время компиляции. Есть некие расширения системы типов хаскеля, при использовании которых это делается во время выполнения, но об этом в другой раз.

> А вобще что-то у меня херово получается в low-level объяснения работы с тайпклассами.

Ну вот смотри: ты пишешь функцию, вычисляющую сумму элементов списка. У тебя есть разные числовые типы, для которых заданы операции сложения: (+#) :: Int -> Int -> Int (+##) :: Double -> Double -> Double и нули: int0 :: Int double0 :: Double. Ты пишешь для каждого числового типа сумму: sumInt = foldl (+#) int0 ; sumDouble = foldl (+##) double0 - почти одинаковые функции. Хотелось бы, коечно, написать обобщенную функцию, но как? Просто передавать соответствующие операции через параметры: sum (+) v0 = foldl (+) v0 тогда sumInt' = sum (+#) int0; sumDouble' = sum (+##) double0 но это не то что надо - сложение и нуль тесно связаны и зависят от типа. Будем передавать их как один параметр типа type Number a = (a -> a -> a, a):
Обновляем функцию суммы: sum' ((+), v0) = foldl (+) v0 теперь ее тип sum' :: Number a -> [a] -> a Для каждого типа пишем готовый набор функций: doubleImp = ((+##), double0). Теперь сумма для конкретного типа будет выглядеть так: sumDouble'' = sum' doubleImp. В принципе, набор функций однозначно определяется типом на этапе компиляции, так что компилятор мог бы продставлять его неявно и автоматически. Так вот, когда он это делает - получаются классы типов.

> Но зачем после прогонки через Core нужен первый аргумент

Это часть реализации параметрического полиморфизма, но про это тоже как-нибудь в другой раз.

> Запускаю интерпретатор с yoba 1 и получаю Ambiguous type variable `t' in the constraints.

Ну правильно. yoba 1 имеет тип (Yoba a, Num a) => a и это фактически функция с тремя параметрами. Какое значение в них подставлять в данном случае неизвестно.

> Меняю Int на Integer и yoba 1 возвращает единицу без нареканий.

Это все потому, что для удобства работы во всяких интерпретаторах, числовым (не только) классам соответствуют типы по умолчанию. Если тип вывести не удается, то выбирается тип по умолчанию. Целое число по умолчанию - Integer, плавучка - Double. Пока ты не реализовал инстанс Yoba для Integer подставить тип по умолчанию было нельзя. На самом деле дефолтные типы - это грабли, и если ты включишь в интерпретаторе ворнинги :set -Wall то получишь для своего "работающего" yoba 1 соответствующее предупреждение Warning: Defaulting the following constraint(s) to type Integer. Но для интерпретатора удобно - там еще и не такая акробатика задействована.

Доброкодер 10 September 2011 (Sat) 18:30 No.13677

>>13676
Уау. Спасибо, я все понял, кажется. По твоим объяснениям выходит, что чистый 0 — это функция от одного аргумента — словаря инстанса конкретного тайпкласса. Таким образом, 0 выводится компилятором в соответсвии с конкретным типом (который является инстансом Num). Представление, выходит не меняется, так как нормальный порядок вычислений и все такое: конкретное представление будет выведенно на этапе компеляции.

Но все равно с различными представлениями в хацкеле сложновато, допустим примитивный пример со множествами без всяких append и contains.

    class YobaSet a where
        intersect :: Eq b => a b -> a b -> a b

И очевидное:

    instance YobaSet [] where
        intersect xs ys = filter (flip elem ys) xs

Ну ок, а теперь я хочу себе упорядоченное множетсво, так как в нем пересечение O(n + m), а не O(nm). И тут сталкиваюсь с такой хернёй: intersect работает только для множеств типов Eq a => a, для упорядоченных кеннот гет Ord a => a фром контекст. Добавлю ограничение (Eq b, Ord b) в функцию тайпкласса — останусь без неупорядоченных множеств (например комплексные числа не имеют инстанса Ord). Когда захочу попрыгать на типах, напишу fromList в тайпкласс, но там возникнет та же проблема.

Короче заканчиваю свои последние 100 страниц HSoE и лезу в викикнигу и, возможно, в Симона Томпсона. Таких непонятных вещей с прочтением становится все больше и больше.

>>	Доброкодер 11 September 2011 (Sun) 01:36 No.13685 >>11962 Удобно перейти с ruby на haskell http://www.haskell.org/haskellwiki/Web/Frameworks#Haskell_on_a_Horse

>>	Доброкодер 11 September 2011 (Sun) 07:32 No.13689 File: 1315711915100.png Png, 1.22 KB, 300×20 - Click the image to expand >>13685 > 500 - Internal Server Error SOSNOOLEY ТАК SOSNOOLEY

Доброкодер 12 September 2011 (Mon) 02:19 No.13719

File: 1218997974327.png
Png, 81.55 KB, 484×479 - Click the image to expand

Начал пробовать hmatrix. Появилось несколько вопросов.
1) Допустим, есть матрица

> disp $ (4><5) [1..]
4x5
 1   2   3   4   5
 6   7   8   9  10
11  12  13  14  15
16  17  18  19  20

Как определить функцию, заменяющую все ненулевые элементы матрицы типа Matrix Double на 1?

2) Как определить функцию, которая возвращает истину, если для двух матриц A и B найдётся такая C, что A == B <> C? Затруднение вызывает сам процесс перебора матриц С до первой подходящей.

>>	Доброкодер 12 September 2011 (Mon) 02:21 No.13720 >>13719 Да, оператор `<>` в вопросе 2) лишь для примера. Пускай там будет какая-то хитрая функция `f(B,C)`, чтобы вас не смущала возможность умножения на обратную етц.

Доброкодер 18 September 2011 (Sun) 03:17 No.13856

Помню, когда-то обсуждали хачке-аддоны для вижал-студии и кто-то даже хотел чёто своё писать. Расскажите, как у вас дела продвинулись, осилил ли кто хотя-бы токенизатор/аст? Сейчас в гугле я вижу, что есть древнее заброшенное нерабочее говнецо, есть закрытый япошко-проект, который автор пилит раз в два месяца и стесняется показывать и есть scion, который нихуя особо не умеет и конпелирует в фоне для отлова ошибок (это вообще пушка, блядь).

Доброкодер 18 September 2011 (Sun) 07:47 No.13859

File: Busty_Cirno_render_by_InverseEcho[1].png
Png, 463.56 KB, 737×880 - Click the image to expand

Busty_Cirno_render_by_InverseEcho[1].png

Парочка интересных линков:
http://stackoverflow.com/questions/6953909/why-are-reified-generics-hard-to-combine-with-higher-kinded-types
http://www.haskell.org/pipermail/haskell-cafe/2005-January/008250.html

Доброкодер 18 September 2011 (Sun) 11:11 No.13861

>>13859

> For the second part of the question: Have a look at the Scala programming language which has successfully combined reified generics from the underlying JVM with higher kinded types.

false. Скалка стрипает всё, что можно, а всякие продвинутые штуки она эмулирует через рефлексию и кодогенерацию. Кстати, с каких это пор в JVM появились генерики, вроде всю жизнь там всё работало через [s]жопу[/s] type erasure?

Доброкодер 18 September 2011 (Sun) 11:16 No.13862

>>13856

> Помню, когда-то обсуждали хачке-аддоны для вижал-студии и кто-то даже хотел чёто своё писать.

Я постил фейковые скриншоты два года назад. Чисто для лулзов. Писать плагин для VS может слегка подзаебать - слишком большой объем работы.

> осилил ли кто хотя-бы токенизатор/аст

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

> есть scion, который нихуя особо не умеет и конпелирует в фоне для отлова ошибок

А как ты предлагаешь отлавливать ошибки?

Итоги тематической пенисомерки ICFP-2011 Доброкодер 18 September 2011 (Sun) 11:32 No.13863

>>13859
Читал я как-то годную фэнтезю — Бэккера, "Князь пустоты". Там есть сцена поединка магов.
Клан первого из них, "Завет" — владел магией высших порядков, хотя всегда жил крайне скромно. Другой маг был большим человеком в самом богатом магическом клане "Багряных Шпилей" — но вот беда, никто, кроме Завета, высшей магией не владел. Все прочие кланы строили свою карьеру на заклинаниях, подобранных наугад, Завет же владел теорией.

Маг Шпилей вызвал самого сильного духа, какого мог, своими эмпирически подобранными заклятиями (сильнейшими в клане, заметьте). И до смерти удивился, когда полуживой маг Завета с помощью заклинаний-Абстракций (они и правда так назывались!), без усилий размазал духа и соперника тонким слоем по окрестностям.

Примерно таким же тонким слоем чувствовали себя мы перед чемпионами, потому что:
надо было овладеть новым, "магическим" языком;
он почти что так и назывался - только слово Magic заменили словом Lambda;
мы тыкались в темноте, оттачивая комбинации наших примитивных эмпирических "заклинаний";
те, кто освоил теорию, в мгновение ока (от 200 до 900 ходов) выносили "в ноль" наш тщательно, вручную подобранный раш.
Не отпускало нас потом ещё два дня.

Четыре японских хаскеллиста:
собирали части пушки в разных словах (потом оказалось, что иначе в этом SKI-исчислении никак);
авто-компилировали все стратегии;
умели, если им что-то сломали, оживлять ячейку и продолжать любую (!) старую стратегию с того места, на которое возможно откатиться (!!!), и собирали подходящие запчасти по разным слотам (!);
У меня самовосстанавливаться умеют только две очень частных стратегии - dec() слабой ячейке врага, и revive() своей.
ещё они написали свой тестовый-контестовый сервер — от нечего делать, надо полагать.
эти монстры научились убивать "sitting duck" в 165 ходов.

Вот у меня недавно dima_kender спрашивал старый вопрос — какой язык программирования лучше для быстрой разработки :D

Я ответил старый ответ — язык, который хорошо знает команда. Ну и смотря чего разработка — десктоп, простой веб, рич веб, сложная логика или CRUD, с БД или без.

И дал свои предварительные ответы, при прочих равных:
Для веба — Rails, для десктопа — Windows.Forms.

Но если программисты и задача пыц-пыц какие умные, то Haskell, как показали последние дни.

http://singalen.livejournal.com/234472.html

Доброкодер 18 September 2011 (Sun) 16:44 No.13873

>>13862

> его придётся апдейтись с каждым изменением компилятора, а они бывают часто - язык-то экспериментальный.

Scion джва года не апдейтили. Изменений в синтаксисе и лексике немного, на самом-то деле. Вроде бы даже с haskell98 ничего не менялось. Только икстеншоны всякие.

> А как ты предлагаешь отлавливать ошибки?

Наверное, писать свой тайпчекер, раз уж ghc-api не предусматривает такой возможности.
Вообще, плохо же становится, когда представляешь проект 500к loc, компилирируемый в фоне для интеллисенса.
Нажал ctrl+space - и всё - приходи послезавтра.
Кстати, всё это можно завернуть в какую-нибудь либу, которую кто-нибудь сможет заюзать, когда надумает писать дудкоконпелятор.

>>	Доброкодер 18 September 2011 (Sun) 19:13 No.13880 > Вроде бы даже с haskell98 ничего не менялось. Хотя нет, таки менялось, но немного. n+k паттерны убрали, и слегка отрефакторили грамматику.

Доброкодер 18 September 2011 (Sun) 20:27 No.13883

>>13873

> Наверное, писать свой тайпчекер, раз уж ghc-api не предусматривает такой возможности.

Ога: порсер, тайпчекер (он, кстати, буквально недавно менялся), еще надо уметь загружать пакеты. Чуть ли не половину GHC придется написать. Слишком дохуя работы. А если ты это еще и на дудке надумаешь писать - то вообще смерть.

Доброкодер 18 September 2011 (Sun) 20:57 No.13885

>>13883
Ну лексер/парсер не так уж и сложно - не с++ парсить всё-таки. Мешок размеченных объединений + fslex/fsyacc. Вот насчёт тайпчека не знаю, http://research.microsoft.com/~simonpj/papers/constraints/jfp-outsidein.pdf и правда выглядит хардкорно.

> еще надо уметь загружать пакеты

Конкретно загружать - через cabal. Вот парсить сигнатуры - да, еще работы.
А еще надо hoogle встроенный, тайп-инференс для выделенной части выражения с показом типа в тултипе и т.д.

>>	Доброкодер 18 September 2011 (Sun) 21:17 No.13886 >>13885 > Мешок размеченных объединений + fslex/fsyacc. Пробовал им когда-нибудь синтаксис на отступах парсить?

>>	Доброкодер 18 September 2011 (Sun) 22:50 No.13889 >>13886 Считать пробелы в начале строк довольно. У хаскеля никаких двусмысленных выражений нет. Это тебе не only perl can parse perl.

>>	Доброкодер 18 September 2011 (Sun) 23:38 No.13892 Как-раз дошел до этого места в рипорте. Оказывается, хачкелейаут вообще в грамматику не входит, а делается простым препроцессингом, расставляющим ;,{,}.

Доброкодер 18 September 2011 (Sun) 23:44 No.13893

>>13863
Очень любопытно, хотя весь текст сюда копировать было не обязательно. Хочется узнать поподробней. Может, кто в курсе что это за контест, поясните, что вообще за байда там творилась и что значат все эти восторженные

> убивать "sitting duck" в 165 ходов

>>	Доброкодер 19 September 2011 (Mon) 00:06 No.13897 File: card_S[1].png Png, 364.93 KB, 400×556 - Click the image to expand >>13893 Блин, ну ты чё. ICFP же. http://ru.wikipedia.org/wiki/ICFP_Programming_Contest http://www.icfpcontest.org/2011/06/task-description-contest-starts-now.html

>>	Доброкодер 19 September 2011 (Mon) 00:17 No.13898 >>13892 А, ну тогда да.

>>	Доброкодер 19 September 2011 (Mon) 11:47 No.13910 >>13897 Вдогонку: http://users.livejournal.com/_adept_/tag/icfpc Особенно соревнования за 2006 и 2007 годы.

>>	Доброкодер 21 September 2011 (Wed) 00:00 No.13993 >>11962 Няши, скажите, а вики-учебник насколько нормален, чтобы учить по нему хаскелл. Не для реального использования, конечно, а чисто для умственной разрядки. http://en.wikibooks.org/wiki/Haskell/Variables_and_functions

>>	Доброкодер 21 September 2011 (Wed) 22:17 No.14049 душкин совсем ебанулся, смотрите чё пишет: http://knol.google.com/k/парижский-клуб#

>>	Доброкодер 21 September 2011 (Wed) 22:20 No.14050 >>14049 Ну и нахуя здесь эта политота с мыслями о руССком народе?

>>	Доброкодер 22 September 2011 (Thu) 19:26 No.14072 File: 0b64deb0613a0a84b9b21d6f1a728da9.jpg Jpg, 136.85 KB, 700×750 - Click the image to expand http://www.icfpcontest.org/2011/09/results.html > atomic $ save Madoka Они, конечно, имели в виду `atomically $ save Madoka`.

>>	Доброкодер 26 September 2011 (Mon) 16:53 No.14178 Кишки последней вижул-студии - это штота, посоны. Если кто-нибудь вдруг знает какие-нибудь диссеры / статьи на тему модели обработки текста, реализованной в vs, поделитесь, пожалуйста.

>>	Доброкодер 26 September 2011 (Mon) 17:02 No.14179 File: IMG_8002.JPG Jpg, 2103.43 KB, 2816×2112 - Click the image to expand Я уже даже зарисовывать это добро начал, чтобы хоть чуточку приблизиться к пониманию творящихся там йобаморфизмов.

>>	Доброкодер 29 September 2011 (Thu) 11:19 No.14241 >>14240 http://dobrochan.ru/help/wakabamark См. "Мультистрочный код"

>>	Доброкодер 29 September 2011 (Thu) 11:21 No.14242 >>14241 Мод-тня, ты? >>14240 удалён или ты его сделала невидимым?

Доброкодер 29 September 2011 (Thu) 11:23 No.14243

Ребята, зачем так жить?

data Foo = Foo { bar :: String
               , baz :: Int }

*Main> :t Foo ""
Foo "" :: Int -> Foo

Замечательно, смотрим дальше:

*Main> :t Foo { bar = "c" }
Foo { bar = "c" } :: Foo

Откуда вдруг взялся Foo, когда по идее должен быть Int -> Foo? Вместе со своим эксепшном в рантайме при попытке сделать baz $ Foo { bar = "c" }.
>>14241
Спасибо.

>>	Доброкодер 29 September 2011 (Thu) 11:24 No.14244 >>14242 Нет, я сам его удалил.

Доброкодер 29 September 2011 (Thu) 11:29 No.14245

>>14243
Это просто синтаксические соглашения.
В этом месте: data ... = Foo { ..
ты объявил конструктор Foo :: String -> Int -> Foo
Foo { [<name> = <value>]* } - синтаксис инициализации структур.
Вот возможность непроинициализировать поля - это плохо, да.

>>	Доброкодер 29 September 2011 (Thu) 11:37 No.14246 Рикаминдую http://hackage.haskell.org/package/lenses

Доброкодер 29 September 2011 (Thu) 13:48 No.14247

>>14245

> В этом месте: data ... = Foo { ..
> ты объявил конструктор Foo :: String -> Int -> Foo

Я заметил. Вот теперь и спрашиваю: когда это я успел объявить такой конструктор, проинициализировав всего одно поле?
Всегда можно написать бойлерплейт вроде

data Foo = Foo String Int

bar (Foo x _) = x
baz (Foo _ y) = y

bar_ x = Foo x
baz_ x = flip Foo $ x

И пользоваться им без неожиданностей. Почему этот сахарок с инициализацией структур не делает примерно то же самое?

Доброкодер 29 September 2011 (Thu) 15:00 No.14250

>>14247
Потому что сахарок хочет избавить от обязательной инициализации полей вручную для особо петушиных случаев.
Foo { bar = "c" } эквивалентно Foo { bar = "c", baz = undefined }, а с bar_ x = Foo x ты получил свой Int -> Foo, который в сахарке инициализации будет выглядеть так: \x -> Foo { bar = "c", baz = x }
А вообще, компилятор предупреждает же:

Warning: Fields of `Foo' not initialised: baz
In the second argument of `($)', namely `Foo {bar = "sdf"}'

>>	Доброкодер 05 October 2011 (Wed) 19:42 No.14369 >>13100 Ты слишком пизданулся, няша

Доброкодер 08 October 2011 (Sat) 20:40 No.14482

Кто-нибудь когда-нибудь разбирался с парсеком? Его вообще можно помемоизировать? Первичное гугление из результатов дало только статейку в fprog.ru про какой-то паркат, но этого мало.

А то написал на нем парсер чуть сложнее калькулятора, так он на 4Кб специально сформированного текста начинает есть 140Мб (хорошо, что зависимость вроде бы линейная).

Доброкодер 08 October 2011 (Sat) 22:05 No.14485

>>14482
Packrat, няша, packrat. Мемоизирующая реализация рекурсивно-спускового парсера с откатами, каковым и является Парсек (да и вообще все комбинаторные парсеры, ИМХО). Оптимизация по времени за счет памяти. То есть, считай, никакой оптимизации. Есть какие-то хитрые реализации, мемоизирующие только особо горячие места, но они сейчас на стадии академических исследований.

Кстати, судя по тому, как активно твой парсер жрет память, он у тебя как раз мемоизирующий. Канонический рекурсивный спуск с откатами имеет O(1) по памяти. Ну, знающие куны тебе точно скажут.

Доброкодер 08 October 2011 (Sat) 23:18 No.14487

>>14485

> у тебя как раз мемоизирующий

Он у меня рекурсирующий, причем глубина рекурсии O(n) (фактически это вообще лексер -- на выходе получается список, хоть и очень хитрых лексем). Использование many приводит к ругани парсека на "Text.ParserCombinators.Parsec.Prim.many: combinator 'many' is applied to a parser that accepts an empty string.", хотя many конечно справляется лучше. many $ char 'x' жрет уже меньше O(n), хотя все равно много --- на мегабайте исходника выдает 330мб (мой парсер ест 700Мб).

Залез в исходники парсерка, чтобы посмотреть на many и manyAccum, а там такая содомия, что даже и непонятно какая: то ли лямбдо-, то ли монадо-. Пойду лучше пару супов слеплю.

>>	Доброкодер 09 October 2011 (Sun) 00:13 No.14488 >>14487 С many разобрался, проблема пока исчерпана.

>>	Доброкодер 09 October 2011 (Sun) 00:28 No.14489 >>14487 Лол, даже я знаю, как сделать работоспособный `many(empty_string)` и `many(many(...))`.

>>	Доброкодер 09 October 2011 (Sun) 01:27 No.14490 >>14489 ну-ка, поведай, как автоматически разрулить левую рекурсию.

Доброкодер 09 October 2011 (Sun) 05:19 No.14492

>>14490
Устранение непосредственной левой рекурсии

A->Aα1|Aα2|...|Aαn|β1|β2|...|βm
A->β1A'|β2A'|...|βmA'
A'->α1A'|α2A'|...|αn|ε

Алгоритм устранения левой рекурсии, которая не является непосредственной рекурсией (гарантированно работает с грамматикой, не имеющей циклов и ε-правил).
1. Расположить все элементы грамматики в определённом порядке A1, A2,..., An.
2.for i=1 to n do begin
for j=1 to i-1 do begin
Заменить каждое правило вида
Ai->Ajα правилом
Ai->δ1α|δ2α|...|δkα,
где Aj->δ1|δ2|...|δk.
end
Устранить НЛР для Ai
end

>>	Доброкодер 11 October 2011 (Tue) 10:53 No.14513 >>14490 Э-э-э... Я не про левую рекурсию. Я конкретно про эти выражения. Разруливаются они просто - если выражение под `many(...)` поглотило 0 символов, то из `many(...)` можно выходить. Причем вполне законно.

хаскель не может в TCO? Доброкодер 19 November 2011 (Sat) 00:51 No.15348

Задача:
http://projecteuler.net/problem=4

Решение:

module Main where

loop 99 _ acc = acc
loop i 99 acc = loop (i - 1) 999 acc
loop i j acc = loop i (j - 1) (max acc p)
               where
                  p = case s == reverse s of
                          True  -> i * j
                          False -> acc
                  s = show (i * j)

main = do
    putStrLn (show (loop 999 999 0))

"Результат" выполнения:

Stack space overflow: current size 8388608 bytes.
Use `+RTS -Ksize -RTS' to increase it.

Доброкодер 19 November 2011 (Sat) 01:03 No.15349

>>15348
Аналогичный код на телебэйсике, кстати, работает как положено:

-module(palindrome).
-export([main/0]).


loop(99, _, Acc) -> Acc;
loop(I, 99, Acc) -> loop(I - 1, 999, Acc);
loop(I, J, Acc) -> 
    S = integer_to_list(I * J),
    P = case S == lists:reverse(S) of
        true  -> I * J;
        false -> Acc
    end,
    loop(I, J - 1, max(P, Acc)).

main() -> loop(999, 999, 0).

Результат:

1> c(palindrome).
{ok,palindrome}
2> palindrome:main().
906609

Доброкодер 19 November 2011 (Sat) 15:56 No.15350

File: 938337fa92a43c8c7aa73cba29265af6.jpg
Jpg, 160.37 KB, 450×600 - Click the image to expand

>>15348
1) TCO тут не при чем. Стек переполнился санками 999 - 1 - 1 - 1 ...
2) Если нужна оптимизация - компилируй с оптимизацией и все будет работать.

>>	Доброкодер 19 November 2011 (Sat) 16:17 No.15351 >>15348 Можно и без оптимизации, если добавить strict evaluation с помощью `seq`.

>>	Доброкодер 19 November 2011 (Sat) 16:57 No.15352 File: 1298738167269(1).jpg Jpg, 15.07 KB, 204×279 - Click the image to expand >>15351 Ну и зачем вручную строгость аннотировать, если можно просто оптимизацию включить?

Доброкодер 19 November 2011 (Sat) 20:46 No.15353

>>15352
скомпилировал так
ghc -O2 -o palindrome Palindrome.hs

Работает. Но как-то это does not feel right. Ведь включение оптимизации, как я подозреваю, не превращает Хаскель в энергичный язык, верно? Т.е. код стал работать благодаря какой-то тёмной магии, которую я не могу контроллировать и мне по существу приходится полагаться на удачу.

Как seq использовать я не понял. Проставил везде $!, чтобы все аргументы вычислялись сразу и скомпилировал без оптимизаций - работает, но получается какая-то нечитаемая хуйня:

loop i j acc = ((loop $! i) $! (j - 1)) $! (max acc p)
...

Вероятно, I am doing it wrong - поясните как надо.

Доброкодер 19 November 2011 (Sat) 21:30 No.15356

File: 1298714346252.jpg
Jpg, 355.46 KB, 600×800 - Click the image to expand

>>15353

> Ведь включение оптимизации, как я подозреваю, не превращает Хаскель в энергичный язык, верно?

Можешь считать, что превращает. Это называется анализ строгости.

> Т.е. код стал работать благодаря какой-то тёмной магии, которую я не могу контроллировать и мне по существу приходится полагаться на удачу.

Никакой темной магии тут нет. Контролируется все типами. В данном случае ты используешь целые числа. Ленивость операций над целыми числами никакого смысла не имеет, поэтому они выполняются энергично. Анализатор строгости оставляет ленивость там, где она смысл имеет.

Но если тебе не хочется полагаться на анализатор строгости (в данном случае, как я сказал, для этого нет причин) можешь ее проаннотировать. Для этого, впрочем, нужно понимать где она нужна.

> Проставил везде $!

Ставить это везде не нужно. Санки не влезающие в стек накапливаются там, что очевидно в общем-то, где их накапливают. Поэтому аннотировать строгость нужно для аккумулятора. Так:

loop 99 _ acc = acc
loop i 99 acc = loop (i - 1) 999 $! acc
loop i j acc = loop i (j - 1) $! (max p acc)

       where
          p = case s == reverse s of
                  True  -> i * j
                  False -> acc
          s = show (i * j)

   main = print $ loop 999 999 0

Или так:

   {-# LANGUAGE BangPatterns #-}

   loop 99 _ !acc = acc
   loop i 99 !acc = loop (i - 1) 999 acc
   loop i j !acc = loop i (j - 1) (max acc p)

       where
          p = case s == reverse s of
                  True  -> i * j
                  False -> acc
          s = show (i * j)

main = print $ loop 999 999 0

Но в любом случае, компилировать хаскель без оптимизации - плохая идея.

>>	Доброкодер 19 November 2011 (Sat) 22:13 No.15357 >>15352 Очевидно, чтобы не сесть в лужу в таких случаях, скажем, до компиляции.

>>	Доброкодер 19 November 2011 (Sat) 22:44 No.15359 >>15357 Ну а ты не садись в лужу, а компилируй.

Доброкодер 20 November 2011 (Sun) 14:46 No.15364

>>15356

> Ленивость операций над целыми числами никакого смысла не имеет, поэтому они выполняются энергично.

Пожалуй, это единственная оптимизация, в которую хаски может самостоятельно, потому што уже на таком примере он падает:

[code]
module Main whereр,

data Yoba = Yoba Integer deriving Show

main = do

putStrLn $ show $ foldl (\a b -> a + b) 0 [0..1000000]
putStrLn $ show $ foldl (\(Yoba a) b -> Yoba (a + b)) (Yoba 0) [0..1000000]

[/code]

Есть подозрение, что в общем случае задача о строгости неразрешима, и достаточно умный конпелятор не удастся создать никогда. Человек делает это лучше, чем машина.

>>	Доброкодер 20 November 2011 (Sun) 14:50 No.15365 >>15364 Опять таки, лечится довольно просто:`data Yoba = Yoba !Integer deriving Show` Кстати, проверил бы на `newtype`, там такой хуйни не должно возникать.

Доброкодер 20 November 2011 (Sun) 17:05 No.15366

File: 1298827473077.jpg
Jpg, 379.29 KB, 849×1217 - Click the image to expand

>>15364

> потому што уже на таком примере он падает:

Ну и правильно делает, что падает. Потому что для алгебраического типа ленивость "полей" имеет смысл. Возьми, например, список - для конс-пары имеет смысл операция форсирующая только голову - head и операция, которая форсирует все хвосты, а само содержимое списка не вычисляет - length. Воспринимай конструктор с параметром как явную декларацию ленивости. Если же ты хочешь создать конструктор со строгими параметрами - строгими их и описывай (либо используй newtype в случае одного поля). Именно это под "ленивость управляется типами" я и подразумевал.

Доброкодер 23 November 2011 (Wed) 21:51 No.15430

File: 1277655410446.gif
Gif, 8.09 KB, 430×304 - Click the image to expand

>>15365
Поздравляю, теперь при паттерн матчинге ты будешь явно вычислять аргумент конструктора, а если там трехэтажная шипастая дилда? Нельзя было просто деконструкцию энергичной сделать?

Доброкодер 24 November 2011 (Thu) 00:50 No.15435

File: 1298815425629.jpg
Jpg, 63.03 KB, 640×1080 - Click the image to expand

>>15430

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

Наоборот, не при матчинге, а при применении конструктора к аргументу.

> а если там трехэтажная шипастая дилда?

Ты в своем уме? Какая еще дилда? Ты может боишься, что там жопа? Нет, в поле !Integer может быть только Integer, по причине указанной выше.

Доброкодер 25 November 2011 (Fri) 08:24 No.15467

>>15435
Согласен, фигню сказал, я имел ввиду что к моменту матчинга значение уже и так будет вычислено, а мне, например, хочется в каком-нибудь случае оставить все ленивым. Просто по-моему логичнее форсить вычисления именно при матчинге. Собственно, вот http://hpaste.org/54476. Кстати, почему там не может быть жопы-то?

>>	Доброкодер 28 November 2011 (Mon) 22:25 No.15547 Хаскебоги, объясните как это работает. > let fibs = 1 : 2 : zipWith (+) fibs (tail fibs)

>>	Доброкодер 28 November 2011 (Mon) 22:27 No.15548 >>15547 МАГИЯ

>>	Доброкодер 28 November 2011 (Mon) 22:41 No.15549 >>15548 Не, ну серьёзно.

>>	Доброкодер 28 November 2011 (Mon) 22:46 No.15551 >>15549 Корекурсия же. Почитай HSOE, если интересно, подробно описанно.

>>	Доброкодер 28 November 2011 (Mon) 23:25 No.15552 >>15551 Спасибо. По запросу "haskell corecursion" гугль выдает разбор именно этого примера на stackoverflow http://stackoverflow.com/questions/6186664/corecursion-and-codata

>>	Доброкодер 04 December 2011 (Sun) 17:44 No.15763 Почему лямбды не могут быть point-free? Почему (\x -> x + 1) не point-free, а (1 +) point-free?

>>	Доброкодер 04 December 2011 (Sun) 17:52 No.15764 Почему K-комбинатор не может быть выражен в виде point-free выражения? `pl (\(x,_,_) -> x) (line 1, column 8): unexpected "_" ambiguous use of a non associative operator`

>>	Доброкодер 04 December 2011 (Sun) 20:28 No.15765 File: 24015a8220cb2b8e01c0a514fba1efa2.jpg Jpg, 777.66 KB, 922×880 - Click the image to expand >>15763 Потому что гладиолус. >>15764 Ты написал что-то странное, но открою тебе секрет: интерфейсные ф-ии класса Applicative - это и есть SK-базис.

Доброкодер 06 December 2011 (Tue) 20:19 No.15795

>>12303
Поставил ghc-7.0.3 и hp-2011.2.0.1
Скачал euterpea и пытаюсь использовать описанный на багтрэкере work-around
http://hackage.haskell.org/trac/ghc/ticket/5022#comment:9

Но что-то нифига не срастается

$ cabal configure --disable-optimization
Resolving dependencies...

ArrowWrap.hs:5:8:
    Could not find module `Language.Haskell.Exts':
      Use -v to see a list of the files searched for.

Эти самые расширения как-то cabal'ом доставлять надо или что?
И как их поставить? Как узнать какой нужен пакет?
Надеюсь на вашу помощь.

Доброкодер 06 December 2011 (Tue) 21:49 No.15797

Запиливаю пошаговое руководство для того, чтобы заставить работать Euterpea на Ubuntu GNU/Linux

1) Удаляем ghc6 и haskell-platform из реп, если они установлены.

2)Качаем ghc-7.0.3
http://haskell.org/ghc/dist/7.0.3/ghc-7.0.3-i386-unknown-linux.tar.bz2
и haskell-platform-2011.2.0.1
http://lambda.galois.com/hp-tmp/2011.2.0.1/haskell-platform-2011.2.0.1.tar.gz
3) устанавливаем из реп след пакеты
sudo apt-get install libgmp3-dev libasound2-dev libxrandr2 libxrandr-dev
4) Я лично предпочитаю ставить пакеты не из реп в домашнюю папку. Поэтому создаём соответсвующие папки
mkdir -p ~/sw/haskell/{ghc-7.0.3,hp-2011.2.0.1}
В .bashrc сразу прописываем

export PATH=~/sw/haskell/ghc-7.0.3/bin/:$PATH
export PATH=~/sw/haskell/hp-2011.2.0.1/bin/:$PATH
export PATH=~/.cabal/bin/:$PATH

Закрываем терминал. Открываем терминал.

5) распаковываем архив с ghc и делаем

./configure --prefix=/home/username/sw/haskell/ghc-7.0.3/
make install

6) распаковываем платформу и делаем

./configure --prefix=/home/username/sw/haskell/hp-2011.2.0.1/
make
make install

7) Ставим зависимости

cabal update
cabal install darcs --flags="http -curl"
cabal install haskell-src-exts
cabal install PortMidi
cabal install CCA
cabal install GLFW
cabal install markov-chain
cabal install HCodecs-0.2
cabal install heap-0.6.0

8) Ставим непосредственно Euterpea

darcs get http://code.haskell.org/Euterpea
cd Euterpea
cabal configure --disable-optimization
cabal install

Должно собраться без ошибок

9)тестируем
cd example
В файле ChildSong6.lhs на 24 строке меняем

> times (n+1) m = m :+: (times n m)

на

> times n m = m :+: (times (n-1) m)

(Иначе почему-то не работает. В 7-ом GHC больше нельзя, что ли, так писать?)

стартуем ghci:

Prelude> :l ChildSong6
...
*ChildSong6> test childSong6

В текущей папке должен появиться файл test.mid
Можно его проиграть командой
timidity test.mid

Вроде ничего не забыл.

>>	Доброкодер 07 December 2011 (Wed) 20:19 No.15820 File: 13222307765635.jpg Jpg, 44.87 KB, 450×530 - Click the image to expand >>15797 Можно, только нужно указать соответствующее расширение: NPlusKPatterns

>>	Доброкодер 08 December 2011 (Thu) 02:51 No.15838 Говно расширение. Вот если бы оно работало с классом обратимых функций, и если бы в хачкеле была полноценная унификация вместо паттерн-матчинга, тогда было бы ок.

>>	Доброкодер 08 December 2011 (Thu) 06:38 No.15841 >>15838 > полноценная унификация Штоэтааа? Мимокрокодил, случайно заинтересовался

Доброкодер 09 December 2011 (Fri) 02:10 No.15876

File: 13228831893237.jpg
Jpg, 24.04 KB, 373×309 - Click the image to expand

>>15841
Обычный процесс поиска подстановок для пар термов.
>>15838

> полноценная унификация

Но ведь с деконструкцией все тупо и довольно быстро, а с такой-то унификацией язык будет таким же медленным говном как пролог.

> обратимых функций

Сложение в группе обратимо ороро

Доброкодер 09 December 2011 (Fri) 09:06 No.15879

File: fufufu.png
Png, 9.46 KB, 958×121 - Click the image to expand

Посоны, кому-нибудь удавалось завести под вендовым ghci cmath?
Описанные ональные трюки не работают: http://hackage.haskell.org/trac/ghc/ticket/3242
, чинить планируют через пару лет, лол.

Доброкодер 10 December 2011 (Sat) 18:47 No.15924

А можно как-нибудь curry и uncurry обобщить так, чтобы они работали с кортежами произвольной длины, а не только с парами.

Например, удобно было бы, если бы можно было так писать.

-- return a note given pitch, volume 
-- and duration triple
pvd2note (_, 0, d) = rest d
pvd2note (p, v, d) = vol v (p d)

-- return a function that converts a pair of volume and duration to a note 
-- with predefined pitch p
vd2note p = uncurry ((curry pvd2note) p)

-- return a function that converts duration to a note with 
-- predefined pitch p and volume v
d2note p v = (curry (vd2note p)) v

Доброкодер 10 December 2011 (Sat) 20:42 No.15925

File: 04ba0851259da37922853ef4db237a26.png
Png, 391.29 KB, 800×1148 - Click the image to expand

>>15924
В контексте жалкого подобия лямбда-омеги, которое мы имеем в хаски привет, type families сегодня, это попросту невозможно. Для таких трюков нужны полноценные зависимые типы.

Доброкодер 10 December 2011 (Sat) 22:00 No.15927

File: капитан.jpg
Jpg, 144.74 KB, 640×512 - Click the image to expand

>>15925

> с кортежами произвольной длины

А мне сама идея не нравится. И вообще не нравится понятие "кортеж произвольной длины". Какоу в конце-концов у него тип? Кортеж он и должен быть кортежем - чем-то захардкоженным и тупым.

>>	Доброкодер 11 December 2011 (Sun) 10:17 No.15939 File: c027c61843241c5f3002e7375ff70b7e.png Png, 1478.32 KB, 963×1363 - Click the image to expand >>15927 Воспринимай их как эдакие гетерогенные списки, параметризованные чиселкой.

Доброкодер 27 December 2011 (Tue) 23:23 No.16262

File: image_lepro_thumbnail.jpeg
Jpeg, 44.51 KB, 450×304 - Click the image to expand

Задача - получить значение поля "website_url" из содержимого следующей страницы: http://api.stackoverflow.com/1.1/users/1

Содержимое страницы получается следующим образом:
liftM decompress $ ( curlGetString_ ("http://api.stackoverflow.com/1.1/users/" ++ (show userId)) [] >>= return . snd) В итоге имеем:

Chunk "{\r\n  \"total\": 1,\r\n  \"page\": 1,\r\n  \"pagesize\": 30,\r\n  \"users\": [\r\n    {\r\n      \"user_id\": 1,\r\n      \"user_type\": \"moderator\",\r\n      \"creation_date\": 1217514151,\r\n      \"display_name\": \"Jeff Atwood\",\r\n      \"reputation\": 17400,\r\n      \"email_hash\": \"51d623f33f8b83095db84ff35e15dbe8\",\r\n      \"age\": 41,\r\n      \"last_access_date\": 1324990733,\r\n      \"website_url\": \"http://www.codinghorror.com/blog/\",\r\n      \"location\": \"El Cerrito, CA\",\r\n      \"about_me\": \"<p><img src=\\\"http://img377.imageshack.us/img377/4074/wargames1xr6.jpg\\\" width=\\\"250\\\"></p>\\n\\n<p><a href=\\\"http://www.codinghorror.com/blog/archives/001169.html\\\" rel=\\\"nofollow\\\">Stack Overflow Valued Associate #00001</a></p>\\n\\n<p>Wondering how our software development process works? <a href=\\\"http://www.youtube.com/watch?v=08xQLGWTSag\\\" rel=\\\"nofollow\\\">Take a look!</a></p>\\n\\n<p>Find me <a href=\\\"http://twitter.com/codinghorror\\\" rel=\\\"nofollow\\\">on twitter</a>, or <a href=\\\"http://www.codinghorror.com/blog\\\" rel=\\\"nofollow\\\">read my blog</a>. Don't say I didn't warn you <em>because I totally did</em>.</p>\\n\",\r\n      \"question_count\": 15,\r\n      \"answer_count\": 149,\r\n      \"view_count\": 60361,\r\n      \"up_vote_count\": 2636,\r\n      \"down_vote_count\": 549,\r\n      \"accept_rate\": 100,\r\n      \"association_id\": \"febfb878-3f6f-4215-9323-46d15d62ac7d\",\r\n      \"user_questions_url\": \"/users/1/questions\",\r\n      \"user_answers_url\": \"/users/1/answers\",\r\n      \"user_favorites_url\": \"/users/1/favorites\",\r\n      \"user_tags_url\": \"/users/1/tags\",\r\n      \"user_badges_url\": \"/users/1/badges\",\r\n      \"user_timeline_url\": \"/users/1/timeline\",\r\n      \"user_mentioned_url\": \"/users/1/mentioned\",\r\n      \"user_comments_url\": \"/users/1/comments\",\r\n      \"user_reputation_url\": \"/users/1/reputation\",\r\n      \"badge_counts\": {\r\n        \"gold\": 24,\r\n        \"silver\": 81,\r\n        \"bronze\": 96\r\n      }\r\n    }\r\n  ]\r\n}\n" Empty
it :: Data.ByteString.Lazy.ByteString

1) Как составить JSON объект из этого всего и получить содержимое поля "website_url", то есть "http://www.codinghorror.com/blog/"?
2) Как не используя JSON по регулярному выражению (?<="website_url":)([^ ]*) получить аналогичный результат?

>>	Доброкодер 29 December 2011 (Thu) 20:00 No.16292 Купить Барби Программиста своей дочке - значит, подарить ей море радости и незабываемых эмоций сравнимых только с изучением языка Хаскель. http://www.my-barbie.ru/c/3/p/8/

Доброкодер 07 January 2012 (Sat) 02:10 No.16461

File: Screenshot at 201...
Png, 231.38 KB, 1366×744

File: 300px-DIT-FFT-but...
Png, 20.78 KB, 300×244

Это опять я со своим убогим кодом. На этот раз напрограммировал FFT. Целями были попытки сделать красиво и такая композиция, чтобы знакомый мне термин "бабочка фурье" нашел отражение в коде. В процессе еще захотелось сделать бабочку на векторных операциях. За это и за мой глупый оператор (>|<) с миллиардами реверсов наверное и поплатился производительностью.

Собственно вопросы следующие:
1) Встречался ли кто-нибудь со стандартным аналогом оператора (>|<) ? Он разбивает список на четные и нечетные элементы.
2) Как можно удобно работать с пакетом vector? То есть, можно ли матчить пустой вектор или вектор только с 1 элементом (как у меня в первых двух паттернах nfft)?

>>	Доброкодер 07 January 2012 (Sat) 05:55 No.16464 >>16292 > Покупают вместе: Журнал "Практика функционального программирования"

Доброкодер 07 January 2012 (Sat) 20:26 No.16475

>>16461
http://hpaste.org/56179
Что для Sequence, что для Vector функция partition почему-то не имеет аналогов, учитывающих индекс, поэтому все-таки пришлось навелосипедить свою. В Vector есть какой-то йоба-unstablePartition, который якобы быстрее. Сейчас попробую покопаться в кишках либы и заставить его сожрать индекс можно, конечно, просто зипнуть с [1..], но так ведь неинтересно. И осиль наконец zipWith а то больно смотреть на твои (+:)

Доброкодер 07 January 2012 (Sat) 22:25 No.16484

File: remedy.png
Png, 6.53 KB, 243×92

File: lsurf.png
Png, 32.37 KB, 600×600

>>16475
Спасибо, адаптировал функцию но профита от нее мало. Надо весь nfft переводить на последовательности или вектора, тогда может что-то хорошее и будет. Или вообще с помощью состояния закодировать inplace алгоритм.

А я в самих алгоритмах копаюсь. Откопал алгоритм PFA FFT, основанный простых числах, который обходится без коэффициентов вращения, но весь фак в том, что если ему подсунуть вектор, длина которого простое число - он выродится в ДПФ (насколько я понял). Есть еще какой-то виноград, надо будет его посмотреть.

>>	Доброкодер 07 January 2012 (Sat) 22:37 No.16486 >>16484 Забыл написать самое главное, что кому то надо научиться рассуждать о хаскикоде.

Доброкодер 08 January 2012 (Sun) 01:38 No.16492

Так, наконец-то дошли руки. http://hpaste.org/56198. Забавно, но без соответствующей декларации типов ghc паникует. Конечно, толку от нее будет не больше чем от предыдущей, но разгребать чужой хаскикот оказалось довольно занимательно. В исходниках, хочу заметить, сущий хаос, но разобраться в итоге серьезных проблем не составляет. По самим преобразованиям сверх того, что ты сможешь найти сам, мне добавить особо нечего, ну а переписать на что-нибудь пошустрее списоков, конечно, нужно.

Доброкодер 08 January 2012 (Sun) 13:16 No.16499

File: 827c918d01054aec3703403e06230abc85a0fb7e.jpg
Jpg, 313.53 KB, 700×700 - Click the image to expand

http://hpaste.org/56218
Наконец допилил франкенштейна, но получилось как всегда. Алсо я так и не понял почему внезапно стрим мог бы оказаться безразмерным, ну да ладно, если уж автор настаивает..

Доброкодер 08 January 2012 (Sun) 15:58 No.16510

File: Screenshot at 201...
Png, 211.81 KB, 1366×744

File: Untitled.png
Png, 61.42 KB, 515×416

File: nyu0py.png
Png, 362.52 KB, 640×480

>>16499
Подставил в функцию ребят pure-fft, выгоды никакой не случилось, но и не тормозит в отличие от моей реализации (на рисунке в консоле ./nfft - это http://hpaste.org/56218 + pure-fft, ./myfft -p 32768 - pure-fft, ./myfft -m 32768 - моя реализация).

Над конкретно этой функцией разбиения на четные и нечетные похоже сильно стараться и не стоит, по-моему оверхед вышел. Мне вот интересно было найти какой-нибудь более удобный шаг алгоритма, чтобы он плавнее ложился на хаскель, а то это яростное шебуршение индексами элементов - че-то совсем не то. Вон картинку нарисовал, правдо ничего нового там не нашел - только то, о чем уже было прочитано в википедии. Вообще скорее всего не получится - алгоритм-то сверхизвестный, тут маловероятно, что можно придумать что-то новое, особенно в плане оптимизации. Пойду, слазаю в профайлер на всякий случай.

>>	Доброкодер 08 January 2012 (Sun) 16:14 No.16512 >>16510 http://hpaste.org/56224 http://hpaste.org/56225 http://hpaste.org/56226 http://hpaste.org/56227

Доброкодер 08 January 2012 (Sun) 18:11 No.16515

Профрепорт недвусмысленно намекает, что пора остановиться. На самом деле мне просто было интересно каковы потенциальные кровавые жертвы для достижения более или менее нормальной производительности на типовых списковых задачах у хаски. В любом случае я бы числожевалки писал на це.

Доброкодер 08 January 2012 (Sun) 20:08 No.16519

>>16515

> Профрепорт недвусмысленно намекает, что пора остановиться

Таки добил: http://hpaste.org/56241 http://hpaste.org/56242 ("pfft" - pure-fft, "fft-test -n" моё).
Кто выигрывает непонятно, профайлер говорит, что у меня быстрее почти в 1.5 раза, линукс говорит, что одинаково в пределах погрешности.

http://hpaste.org/56244 http://hpaste.org/56245

> В любом случае я бы числожевалки писал на це.

Так да, я просто с выразительностью играюсь, вон немного научился пользоваться (***). Корректность реализации преобразования фурье типами не сильно-то проверишь (ну разве что в агдах каких-нибудь).

>>	Доброкодер 08 January 2012 (Sun) 20:15 No.16520 File: foo.png Png, 15.12 KB, 764×199 - Click the image to expand >>16519 Хоть бы кот показал, интересно же. А я тут заменил все на последовательности, в принципе это не особо залечило, зато показало, что списки страшно медленные.

>>	Доброкодер 08 January 2012 (Sun) 20:17 No.16521 >>16520 > кот Что-то с первого раза проглядел. Уже нашел.

>>	Доброкодер 08 January 2012 (Sun) 20:18 No.16522 >>16520 Так есть же код. Два нижних пастебина. Вот еще подхаченый pure-fft, чтобы в него профайлером удобно глядеть было http://hpaste.org/56247

>>	Доброкодер 08 January 2012 (Sun) 20:23 No.16523 >>16522 Да-да, уже нашел. Ну и вот еще http://hpaste.org/56248

>>	Доброкодер 08 January 2012 (Sun) 20:32 No.16524 >>16520 Вообще такое доминирование секвенций над списоками у тебя на картинке интересно. Правда я уже в пижамке, когда-нибудь в другой раз.

Доброкодер 08 January 2012 (Sun) 20:58 No.16525

File: 125250775428259.jpg
Jpg, 287.05 KB, 650×650 - Click the image to expand

>>16524
В общем-то ничего удивительного: что (++), что (!!) имеют сложность O(n) для списков, а для подвешенных деревьев аналогичные операции логарифмические даже логарифм от меньшего поддерева.