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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

haskell_blah

247 membersпожаловаться на группу
2020 October 09

NI

Nick Ivanych in haskell_blah
Oleg ℕizhnik
@Comonoid как ты изучал Хаскель?
Я уже не помню ;-)
Чотта в фидошке в начале 2000-х говорили, я увидел кучу незнакомых вещей, удивился и стал изучать.
Отчасти, Луговский сподвиг ;-)
источник
10:05пожаловаться#1

AT

Alexander T in haskell_blah
не понимаю, что именно непонятно. просто слово “непонятно”. в сигнатуре же все написано.
источник
10:05пожаловаться#2

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Jerzy Syrowiecki
я вроде уже на него ответил в меру своего понимания. если хотите другой ответ, переформулируйте вопрос
Вы ответили — опыт. Я возражаю:
https://t.me/haskell_blah/234785
Telegram
Хаскелль Моисеевич Гопник in haskell_blah
@cblp_su
Предлагаю продолжить вчерашнее :).

На опыт не похоже. Вы же не говорите, что

lucky :: Int -> String
lucky 7 = "LUCKY NUMBER SEVEN!"
lucky x = "Sorry, you're out of luck, pal!"

это опыт. Это в учебнике написано. Аналогично и байнд там вставлен на основании какого-то подобного образца. Мне не ясно, откуда.
источник
10:06пожаловаться#3

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Короче: это не опыт. Туда лямбда не станет просто так, на основании имеющегося опыта к этому моменту.
источник
10:06пожаловаться#4

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Alexander T
не понимаю, что именно непонятно. просто слово “непонятно”. в сигнатуре же все написано.
Видите там идут подряд три функции и определение типа данных?
источник
10:07пожаловаться#5

Oℕ

Oleg ℕizhnik in haskell_blah
Ребята, стоит ли ввязываться в объяснение моисеевичу? Какие подводные?
источник
10:07пожаловаться#6

AT

Alexander T in haskell_blah
Хаскелль Моисеевич Гопник
Видите там идут подряд три функции и определение типа данных?
да
источник
10:07пожаловаться#7

NI

Nick Ivanych in haskell_blah
Nick Ivanych
Я уже не помню ;-)
Чотта в фидошке в начале 2000-х говорили, я увидел кучу незнакомых вещей, удивился и стал изучать.
Отчасти, Луговский сподвиг ;-)
Я больше помню момент, когда я асилил монады ;-)
Потому, что уже пытался что-то на хасклее писать.
источник
10:07пожаловаться#8

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Oleg ℕizhnik
Ребята, стоит ли ввязываться в объяснение моисеевичу? Какие подводные?
Подводное простое: если вы рассказываете про лист, нельзя перескакивать на монады и функторы, на рекурсию можно.
источник
10:08пожаловаться#9

Oℕ

Oleg ℕizhnik in haskell_blah
Nick Ivanych
Я больше помню момент, когда я асилил монады ;-)
Потому, что уже пытался что-то на хасклее писать.
Мне кажется у меня было как минимум три фолс позитив осиления монад
источник
10:08пожаловаться#10

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Alexander T
да
Последний, с лямбдой, по мнению автора задачи, следует из этих определений.
источник
10:08пожаловаться#11

JS

Jerzy Syrowiecki in haskell_blah
Хаскелль Моисеевич Гопник
Короче: это не опыт. Туда лямбда не станет просто так, на основании имеющегося опыта к этому моменту.
лямбда может возникать из ничего, просто как зависимость, а байнд по похожести паттерна
источник
10:09пожаловаться#12

NI

Nick Ivanych in haskell_blah
Oleg ℕizhnik
Мне кажется у меня было как минимум три фолс позитив осиления монад
Можно ли считать false positive, когда трансформеры ещё не асилил?
источник
10:09пожаловаться#13

Oℕ

Oleg ℕizhnik in haskell_blah
Nick Ivanych
Можно ли считать false positive, когда трансформеры ещё не асилил?
не знаю
источник
10:09пожаловаться#14

NI

Nick Ivanych in haskell_blah
Ну вот был такой момент.
Когда не понимал, зачем это, что они упрощают и типа того.
Но сами монады уже какбе асилил.
источник
10:11пожаловаться#15

AT

Alexander T in haskell_blah
Хаскелль Моисеевич Гопник
Последний, с лямбдой, по мнению автора задачи, следует из этих определений.
похоже на то.
когда мне в хаскеле что-то непонятно, я следую концепции follow the types, и обычно все становится понятно. в сигнатурах же все написано.
источник
10:11пожаловаться#16

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Alexander T
похоже на то.
когда мне в хаскеле что-то непонятно, я следую концепции follow the types, и обычно все становится понятно. в сигнатурах же все написано.
Меня интересует не то, почему оно компилится, а как авторы пришли к решению такому.
источник
10:13пожаловаться#17

AT

Alexander T in haskell_blah
Хаскелль Моисеевич Гопник
Меня интересует не то, почему оно компилится, а как авторы пришли к решению такому.
можно без лямбды с where или let. а какое может быть решение, если не такое?
источник
10:13пожаловаться#18

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Ну, например, такое:

applyOptional' :: Optional (a -> b) -> Optional a -> Optional b
applyOptional' _ Empty = Empty
applyOptional' (Full f) (Full x) = Full (f x)
источник
10:14пожаловаться#19

AT

Alexander T in haskell_blah
это же неправильно
источник
10:17пожаловаться#20