mungobungo Oct 3 2012 at 04:08

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

25 min

233K

Haskell*Programming*

Tutorial

Translation

+129

Comments 52

ualinker Oct 3 2012 at 04:50

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

GuMondi Oct 3 2012 at 06:52

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

AxisPod Oct 3 2012 at 09:01

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

dima_mendeleev Oct 3 2012 at 20:00

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

Renius Oct 3 2012 at 08:37

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

bodhisattva Oct 3 2012 at 08:47

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

shedward Oct 3 2012 at 11:05

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

mungobungo Oct 3 2012 at 11:54

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

UFO landed and left these words here

shock_one Oct 3 2012 at 09:16

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

bodhisattva Oct 3 2012 at 09:20

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

shock_one Oct 3 2012 at 09:23

facepalm.jpg

megalol Oct 3 2012 at 09:32

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

UFO landed and left these words here

Keyten Oct 3 2012 at 11:07

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

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

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

mihaild Oct 3 2012 at 11:19

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

Keyten Oct 3 2012 at 11:27

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

mihaild Oct 3 2012 at 11:29

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

VolCh Oct 4 2012 at 02:13

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

mihaild Oct 4 2012 at 02:14

Да.

GrigoryPerepechko Nov 29 2016 at 04:57

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

mungobungo Oct 3 2012 at 11:52

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

G0ran Oct 3 2012 at 11:27

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

mihaild Oct 3 2012 at 11:31

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

mungobungo Oct 3 2012 at 11:50

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

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

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

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

qrazydraqon Oct 4 2012 at 00:48

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

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

UFO landed and left these words here

mungobungo Oct 3 2012 at 11:51

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

celen Oct 3 2012 at 12:38

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

UFO landed and left these words here

m1el Oct 3 2012 at 12:58

>Имея список целых чисел, необходимо посчитать сумму четных чисел в списке.
В 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 Oct 3 2012 at 13:04

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

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

mihaild Oct 3 2012 at 16:47

Собственно, в 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 Oct 3 2012 at 17:27

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

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

mihaild Oct 4 2012 at 00:42

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

teh13th Oct 3 2012 at 14:48

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

nickme Oct 3 2012 at 16:57

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

teh13th Oct 3 2012 at 20:34

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

Pastafarianist Oct 3 2012 at 17:21

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

teh13th Oct 3 2012 at 20:38

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

Pastafarianist Oct 3 2012 at 21:03

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

plushechnik Oct 3 2012 at 15:30

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

xaizek Oct 3 2012 at 17:09

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

nickme Oct 3 2012 at 16:52

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

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

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

mungobungo Oct 3 2012 at 19:42

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

Avart Oct 3 2012 at 21:59

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

mungobungo Oct 3 2012 at 23:52

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

Avart Oct 4 2012 at 01:25

Doman Oct 4 2012 at 02:26

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

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

RiddleRus Oct 4 2012 at 04:42

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

skl Nov 7 2012 at 20:38

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

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

Sliver Jan 29 2016 at 15:27

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

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

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