Через тернии к Haskell. 1/2

[ualinker]

Какое адское чтиво на ночь. Спасибо за проделанную работу.

[GuMondi]

Очень интересно, Но, все таки, слишком сжато

[AxisPod]

Если бы, вот Perl это да, лучше не читать.

[dima_mendeleev]

Помоему вы нервничали, когда о Перле писали?

[Renius]

Не пытайтесь читать Haskell вслух, можно ненароком что-нибудь вызвать :)

[bodhisattva]

Не думаю, что я бы много понял из этой статьи, если бы не знал Haskell до ее прочтения. Очень сумбурное изложение в стиле «а еще под нашу музыку можно много чего делать» ©

[shedward]

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

[mungobungo]

Я за то, чтобы у людей был выбор.
На русском не так уж много туториалов по Хаскелу. А RWH и YAHT больше по объему и не всегда проще.

[shock_one]

Ести замечательная и бесплатная онлайн книга для изучения Haskell, правда на английском. learnyouahaskell.com/chapters

[bodhisattva]

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

[shock_one]

facepalm.jpg

[megalol]

Она уже на русском в бумаге продается

[Keyten]

Спасибо. Сложновато, но в целом понять можно.

> Многие из этих концепций помогут вам стать лучшим программистом
Вы хотели сказать более лучшим?)

> Вызов чистой функции с одними и теми же параметрами всегда даст один и тот же результат.
Math.random?

[mihaild]

random — не чистая функция)

[Keyten]

Я, в принципе, так и подумал. Просто написано не очень точно.
> Haskell проводит четкую границу между чистыми функциями и функциями, производящими сайд эффекты.
Получается, любая функция, которая не производит сайд-эффекты — чистая

[mihaild]

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

[VolCh]

А чтения состояния сайд-эффектом считается?

[mihaild]

Да.

[GrigoryPerepechko]

Чтение не является сайд эффектом. Но результат зависит не только от аргументов ф-ии.
Нарушено только одно из условий, но этого достаточно

[mungobungo]

Во второй части будет более четкое деление. Math.random на самый страшный вариант.
Как насчет readline?

[G0ran]

Хоть это и перевод статьи и это в самой статье не сказано, но может в комментариях кто-то объяснит какие концепции из того же Haskell смогут пригодится в том же императивном программировании. Сам вот сейчас немного Haskell изучаю потихоньку в свободное время.

[mihaild]

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

[mungobungo]

Монады, монады же.
LINQ — чистой воды монада, Async штуки очень хорошо описаются монадами.

Функциональный взгляд на проблему может упростить многое. Идеи используются не только в Хаскеле, но он — самый мощный на данный момент функциональный язык.

Чистые функции == легкое тестирование, уменьшение головняка при параллелизации (Erlang)
Функции высшего порядка == удобная композиция (jQuery)
МонадЫ == еще более удобная композиция (LINQ, Rx ..)
Вывод типов — это просто надо прочуствовать.

Я планирую сделать еще один перевод, там будет функциональный подход в Javascript. На простом примере пошагово будут показаны многие плюшки функциональности.

[qrazydraqon]

Вывод типов — это просто надо прочуствовать.

Лучший способ проникнуться величием системы типов в Haskell — почитать исходники SAGE, относящиеся к определению базового кольца и конструктору матриц. Написано оно на Python, и начинаешь задумываться, стоит ли в действительности достигаемая гибкость такой запутанности кода, когда имеется Haskell.

[mungobungo]

Более лучшим специально не хотел писать после «стали жить более лучше» :)

[celen]

О мой мозг! Какой ужасный прекрасный язык!

[m1el]

>Имея список целых чисел, необходимо посчитать сумму четных чисел в списке.
В JavaScript тоже можно писать fold reduce.

var numlist = [1,2,3,4,5];
function sumFn(a,b) { return a + b }
function even(a) { return a % 2 == 0 }
var sum = numlist.filter(even).reduce(sumFn, 0);
console.log(sum);

[mungobungo]

Javascript — очень красивый функциональный язык. По сути такой fold можно написать на любом языке, поддерживающем ФВП.
Но для этого надо понимать что такое ФВП и зачем они нужны. А введения в JS не рассказывают об этом.

stay tuned, скоро будет статья по функциональному JS :)

[mihaild]

Собственно, в realworldhaskell показывается, как все эти красивые функции писать на чистом haskell.
Например,

my_foldl :: (a -> b -> a) -> a -> [b] -> a
my_foldl f a [] = a
my_foldl f a (x:xs) = my_foldl f (f a x) xs

[mungobungo]

Вы не поверите, но в этой статье есть нечто похожее ;)

foldl f z [] = z
foldl f z (x:xs) = foldl f (f z x) xs
</haskell>

[mihaild]

Да, мой косяк. Статью читал по диагонали, чтобы убедиться, что всё знаю, и этот кусок просмотрел)

[teh13th]

Выложили бы это добро в fb2/mobi/epub — цены бы не было.

[nickme]

кстати, на викибукс есть викиучебник по хаскелю в формате pdf, сверстанный под 6-дюймовые читалки…

[teh13th]

Спасибо за ссылку. Жалко на русском нет. На английском тяжелее вопринимается.

[Pastafarianist]

Я конвертер недавно выкладывал.

[teh13th]

Да, помню его. Я получил книжку 130 Мб и так её и не попробовал на читалке открыть.
Думаю проще отдельно книгу сделать из HTML, чем всё избранное сейчас прогонять. Но всё равно спасибо за полезную вещь.

[Pastafarianist]

Кидаете файл identifiers.txt в папку со скриптом, в него записываете id статей, которые хотите сконвертировать, по одному на строку. (id — это число, стоящее в конце адреса, т.е., например, id этой статьи — 152889) Запускаете скрипт, ???, profit.

[plushechnik]

Спасибо за статью!
Прошу прощения, у меня у одного примеры скачиваются с кучей HTMLя?

[xaizek]

Расширение lhs означает «Literate HaSkell» (см. на википедии и на haskel.org).

[nickme]

Спасибо за статью, ждем продолжения!

ЗЫ: Не совсем функционально, зато рекурсивно и в одну строчку :)

int sum(int* x) 
{ 
  return x[0]?(((x[0]%2)?0:x[0])+sum(x+1)):0; 
}

[mungobungo]

Отчего же, вполне функционально.
Изменяемых переменных нет.
Рекурсивный обход.
Fold чистой воды.
Красиво )

[Avart]

Почти полный копипейст с книги. Стыдоба.

[mungobungo]

Не совсем уловил. Какой книги то?

[Avart]

[Doman]

Большущее спасибо за перевод, на досуге попробую придумать не математические задачи, где может понадобиться Haskell и реализовать их )

P.S. Думаю, имеет смысл добавить ссылку на вторую статью.

[RiddleRus]

Какое ацкое чтиво солнечным утром четверга :-D Спасибо за перевод, интересный материал =)

[skl]

Вообще, программа, выводящая введенное имя с приветствием на python состоит из 1-й строки и выглядит как-то так:

print("Privet, " + input("enter your name: "))

[Sliver]

Я понимаю что статье — много лет, но вот я набрёл на неё, а ссылка на Real World Haskell — не работает :(

Сначала я огорчился, но потом случайно набрёл на работающую ссылку.

Надеюсь, это она: book.realworldhaskell.org