Изучай Хаскель ради добра! Аппликативные функторы

[datacompboy]

Труд титанический, конечно. А как же «не заниматься копипастой»?

[kingpin]

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

[datacompboy]

Я к тому, что оригинал на translated.by/you/ я же так понимаю.

[kingpin]

Аха, оригинал там, если посчитать, сколько времени заняло обрамление исходного кода в тэги pre и code для вставки его сюда, то я бы успел несколько страниц следующих глав переработать. Т. е. в переводе на translated.by/you не отображается форматирование в должном виде. И комментирование в отношении статьи целиком, по моему скромному мнению, лучше вести здесь. :-)

[kingpin]

А еще движок translated.by/you/, к сожалению, пока не поддерживает вставку картинок и некоторые другие вещи! ;-)

[graninas]

Спасибо за труд.

Чтобы так не мучиться с вставкой кода, попробуйте ХабраРедактор от XaosPS и Syntax Highlighter. Подсветка последнего, правда, оставляет желать лучшего, но есть еще варианты.

[graninas]

*XaosCPS
Усталость.

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

Вот в этой статье подсветка тоже замечательная.

[kingpin]

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

[sylvio]

Если не знать о чем речь, то первый же абзац взрывает мозг.

К тому же, перевод странен, первое же предложение:

Haskell's combination of purity, higher order functions, parameterized algebraic data types, and typeclasses allows us to implement polymorphism on a much higher level than possible in other languages.

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

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

[kingpin]

Простите, мне следовало указать отсылку к оригиналу, который я переводил. Дело в том, что печатное издание, которое я упомянул в первом абзаце книги и содержимое онлайн-версии учебника по структуре и содержимому несколько отличаются. Приведенный вами абзац после адаптации издательством No Starch выглядит следующим образом:

Haskell’s combination of purity, higher-order functions, parameterized algebraic data types, and type classes makes implementing polymorphism much easier than in other languages. We don’t need to think about types belonging to a big hierarchy. Instead, we consider what the types can act like and then connect them with the appropriate type classes. An Int can act like a lot of things—an equatable thing, an ordered thing, an enumerable thing, and so on.

Сейчас поправлю пост. Спасибо!