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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1662 membersпожаловаться на группу
2020 December 15

R

Roman in Haskell
Kirill Valyavin
> newtype indirection не добавляет, так что ты не можешь сделать строгим то, чего не существует

Мне не надо indirection, мне надо чтобы дипсеки в нужных местах сами вставлялись, ну или как-то так
дипсек пробегает всю структуру. Если они у тебя автоматичеки будут везде вставляться, то в итоге ты потеряешь эти самые 90%, только времени

если смотреть с угла строгости, то newtype A = A Int уже ведет себя как data A = A !Int, куда ты там строгость хочешь прилепить?
источник
09:16пожаловаться#1

R

Roman in Haskell
Kirill Valyavin
Вместо foldMap (... Sum Product Whatever) писать портянку с дипсеками тупо
foldMap будет течь независимо от того, как ты определишь свой ньютайп
источник
09:17пожаловаться#2

KV

Kirill Valyavin in Haskell
ну foldMap' не будет.
источник
09:17пожаловаться#3

KV

Kirill Valyavin in Haskell
Roman
дипсек пробегает всю структуру. Если они у тебя автоматичеки будут везде вставляться, то в итоге ты потеряешь эти самые 90%, только времени

если смотреть с угла строгости, то newtype A = A Int уже ведет себя как data A = A !Int, куда ты там строгость хочешь прилепить?
И правда...
источник
09:19пожаловаться#4

R

Roman in Haskell
Kirill Valyavin
ну foldMap' не будет.
будет, если в ньютайп обернута ленивая структура. Если обернута строгая, то не будет. Это вопрос того, что ты кладешь в ньютайп, а не каких-то там аннотаций на ньютайповом конструкторе, которые бы не имели смысла, если бы существовали
источник
09:19пожаловаться#5

KV

Kirill Valyavin in Haskell
Roman
будет, если в ньютайп обернута ленивая структура. Если обернута строгая, то не будет. Это вопрос того, что ты кладешь в ньютайп, а не каких-то там аннотаций на ньютайповом конструкторе, которые бы не имели смысла, если бы существовали
Теперь понятно, спасибо
источник
09:19пожаловаться#6

KV

Kirill Valyavin in Haskell
Остаётся только вопрос, почему нет fold' или foldMap' готовых
источник
09:20пожаловаться#7

R

Roman in Haskell
Kirill Valyavin
Остаётся только вопрос, почему нет fold' или foldMap' готовых
по тому же, почему нет foldMapA, foldMapM, mapMaybeA, asumMap, foldlM' и так далее
источник
09:22пожаловаться#8

R

Roman in Haskell
потому что прелюдия кастрированная
источник
09:23пожаловаться#9

KV

Kirill Valyavin in Haskell
Ясно
источник
09:23пожаловаться#10

TZ

Timofey Zakrevskiy in Haskell
кана
потому что в base нет ярковыраженного концепта линз, и поэтому даже в практически самом простом (где самый простой это изоморфизм) случае придется передавать две функции
Отсутствие линз как раз ясно) А вот комбинатор - пусть даже для самых простых вариантов ( fst и (, y), скажем) всё равно был бы полезен
источник
09:27пожаловаться#11

MK

Maxim Koltsov in Haskell
Ben Gamari в Твиттере: «Haskell-ci now supports GitHub Actions! Thanks Oleg. https://t.co/3ivtFA00Cr» / Твиттер
https://twitter.com/bgamari/status/1338532550797561859
источник
09:56пожаловаться#12

MK

Maxim Koltsov in Haskell
Опа
источник
09:56пожаловаться#13

YS

Yan Shkurinskiy in Haskell
прикольно
источник
10:04пожаловаться#14

MK

Maxim Koltsov in Haskell
Надо попробовать перетащить сервант
источник
10:07пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
что такое Haskell-ci?
источник
10:39пожаловаться#16

JS

Jerzy Syrowiecki in Haskell
Хаскель на GitHub Actions давно есть, я им пользуюсь
источник
10:39пожаловаться#17

MK

Maxim Koltsov in Haskell
Jerzy Syrowiecki
что такое Haskell-ci?
генератор travis-yaml от фадея
источник
10:40пожаловаться#18

MK

Maxim Koltsov in Haskell
теперь и генератор гитхаб-акшенс
источник
10:40пожаловаться#19

JS

Jerzy Syrowiecki in Haskell
только сама платформа GitHub Actions глючная
источник
10:40пожаловаться#20