В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Elm Lang сообщество разработчиков

291 membersпожаловаться на группу
2017 October 26

Вл

В ладу in Elm Lang сообщество разработчиков
Arthur Welf
Писать на Хаскеле можно и не зная, что такое функторы, аппликативные функторы и монады. Но знание этих абстракций позволяет вам не писать множество бойлерплейт кода.
типа знание того что монада может выражать собой эффект и современное определение для слово эффект?
источник
16:56пожаловаться

Вл

В ладу in Elm Lang сообщество разработчиков
ну или например знание того что монада это субстанция
источник
16:56пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
раз так, я не понял, если в Хаскеле вводишь свой новый недетерминированный тип, ты же должен инстанс функтора и монады к нему описать в первую очередь?
источник
16:57пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
и проверить соответствие законам
источник
16:57пожаловаться

MP

Mike Potanin in Elm Lang сообщество разработчиков
Zheka Kozlov
Я могу доказать, почему Хаскель сложен:
потому что ленивость (всякие foldl' vs foldl, WHNF)
потому что HKT (новое для большинства людей)
Ленивость - это упрощение, а не усложнение (профилировать не приходится 😊). Функциональная программа, расчитанная на строгую семантику будет продолжать работать и в ленивой, но не наоборот. То есть о каких-то вещах программисту можно перестать думать.
источник
16:58пожаловаться

Вл

В ладу in Elm Lang сообщество разработчиков
Anton Kotenko
раз так, я не понял, если в Хаскеле вводишь свой новый недетерминированный тип, ты же должен инстанс функтора и монады к нему описать в первую очередь?
что значит недетерменированный тип?
источник
16:58пожаловаться

AW

Arthur Welf in Elm Lang сообщество разработчиков
Лично мне в Elm на практике пока не хватало двух вещей из Хаскеля:

1) Классов типов (чтобы сделать, например, comparable мой union type)

2) иногда ленивости, чтобы писать функции в стиле
fibonacciNumbers = 1 : 1 : zipWith (+) fibonacciNumbers (tail fibonacciNumbers)

Но, с другой стороны, отсутствие ленивости упрощало разработку в других вещах.
источник
17:00пожаловаться

AW

Arthur Welf in Elm Lang сообщество разработчиков
Anton Kotenko
раз так, я не понял, если в Хаскеле вводишь свой новый недетерминированный тип, ты же должен инстанс функтора и монады к нему описать в первую очередь?
1. Что такое недетерминированный тип?
2. Зачем вам нужно писать к нему инстансы функтора и монад?
источник
17:01пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
В ладу
что значит недетерменированный тип?
1. [], Maybe, IO, ..., всё что может не иметь значения после вычисления
источник
17:04пожаловаться

Вл

В ладу in Elm Lang сообщество разработчиков
сложная мысль
источник
17:04пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
2. Здесь так делают: http://learnyouahaskell.com/a-fistful-of-monads
источник
17:04пожаловаться

Вл

В ладу in Elm Lang сообщество разработчиков
а есть ли условие, что если тип детерменированный то инстансов функтора он иметь не может?
источник
17:06пожаловаться

AW

Arthur Welf in Elm Lang сообщество разработчиков
Ну и почему вы *обязаны* писать для них инстансы функтора и монад?
источник
17:06пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
вот я и спрашиваю, обязан ли я или право выбора имею? :)
источник
17:06пожаловаться

AW

Arthur Welf in Elm Lang сообщество разработчиков
нет, не обязаны
источник
17:07пожаловаться

I

Igor in Elm Lang сообщество разработчиков
Arthur Welf
Лично мне в Elm на практике пока не хватало двух вещей из Хаскеля:

1) Классов типов (чтобы сделать, например, comparable мой union type)

2) иногда ленивости, чтобы писать функции в стиле
fibonacciNumbers = 1 : 1 : zipWith (+) fibonacciNumbers (tail fibonacciNumbers)

Но, с другой стороны, отсутствие ленивости упрощало разработку в других вещах.
Часто фибочи в продакшене юзаешь, ну да ясно понятно 😒
источник
17:07пожаловаться

MP

Mike Potanin in Elm Lang сообщество разработчиков
Кстати, о comparable. А можно в пределах одного выражения использовать разные comparable-типы?
источник
17:08пожаловаться

AK

Anton Kotenko in Elm Lang сообщество разработчиков
Arthur Welf
нет, не обязаны
спасибо, это хорошо
источник
17:08пожаловаться

MP

Mike Potanin in Elm Lang сообщество разработчиков
Приерно так let f d1 k1 d2 k2 = (Dict.insert k1 1 d2, Dict.insert k2 1 d2) in f (Dict.insert "a" 2 Dict.empty) "b" (Dict.insert 2 3 Dict.empty) 4
источник
17:09пожаловаться

к

кана in Elm Lang сообщество разработчиков
Да и инстансы для функторов сами по себе выводятся автоматически
источник
17:09пожаловаться