Size: a a a

2020 June 01

JS

Jerzy Syrowiecki in Haskell
кана
потому что мне интуитивно добавлять справа
ты ожидаешь от mappend не добавления, а перезаписи, вот что контринтуитивно
источник

к

кана in Haskell
но у маппенда именно перезапись, просто правого аргумента левым. Это правда эквивалентно добавлением правого аргумента к левому
источник

JS

Jerzy Syrowiecki in Haskell
кана
но у маппенда именно перезапись, просто правого аргумента левым. Это правда эквивалентно добавлением правого аргумента к левому
нет, в ФП это не выглядит как перезапись. это выглядит как "взять сначала первый, потом второй". наоборот было бы странно
источник

JS

Jerzy Syrowiecki in Haskell
наверно, выбирать первый логичнее для ФП, а перезаписывать — логичнее для императивщины
источник

к

кана in Haskell
может конечно и так, но для меня все еще звучит бессмысленно

"взять сначала первый, а потом второй" для меня все еще звучит как "взять значения второго при конфликте"
источник

JS

Jerzy Syrowiecki in Haskell
да, на ФП смотреть как на "перезапись" — бессмысленно
источник

JS

Jerzy Syrowiecki in Haskell
кана
может конечно и так, но для меня все еще звучит бессмысленно

"взять сначала первый, а потом второй" для меня все еще звучит как "взять значения второго при конфликте"
чёрное звучит как белое?
источник

JS

Jerzy Syrowiecki in Haskell
все "почти симметричные" операции склоняются к левому

λ> Just 1 <|> Just 2
Just 1
источник

JS

Jerzy Syrowiecki in Haskell
λ> error "1" <|> error "2"
*** Exception: 1
источник

к

кана in Haskell
ты пытаешься заменить термин интуитивности на термин какой-то выводимой валидности, эти вещи вполне могут противоречить друг другу
источник

JS

Jerzy Syrowiecki in Haskell
кана
ты пытаешься заменить термин интуитивности на термин какой-то выводимой валидности, эти вещи вполне могут противоречить друг другу
нет, я пытаюсь доказать, что моя интуиция проще, поэтому интуитивнее
источник

JS

Jerzy Syrowiecki in Haskell
всё это на уровне интуиции всё ещё
источник

к

кана in Haskell
но пока что именно в этом чате эта простая интуитивность проигрывает интуитивности обратного по числу людей
источник

JS

Jerzy Syrowiecki in Haskell
но разное поведение в Хаскеле и, например, Питоне, это, конечно, неудобно
источник

JS

Jerzy Syrowiecki in Haskell
кана
но пока что именно в этом чате эта простая интуитивность проигрывает интуитивности обратного по числу людей
не верю
источник

к

кана in Haskell
ну вот выше был я и @maksbotan , а у обратного только ты
источник

к

кана in Haskell
это 2 и 1
источник

JS

Jerzy Syrowiecki in Haskell
каким должно быть `{k: v1} <> {k: v2}` в идеальном языке?
Анонимный опрос
14%
{k: v1}
36%
{k: v2}
39%
{k: v1 <> v2}
11%
ошибка
Проголосовало: 28
источник

к

кана in Haskell
третий вариант мне тоже нравится
источник

🌚D

🌚 Sunny Daiλy 🌝... in Haskell
Jerzy Syrowiecki
каким должно быть `{k: v1} <> {k: v2}` в идеальном языке?
Анонимный опрос
14%
{k: v1}
36%
{k: v2}
39%
{k: v1 <> v2}
11%
ошибка
Проголосовало: 28
это мёрдж хешей?
источник