Телеграмм чат группы haskellru страница 14886

Size: a a a

Haskell

1659 membersпожаловаться на группу

2020 December 05

A64m AL256m qn<co... in Haskell

правда и стримли была не то чтоб для ио, по крайней мере сначала

источник

17:58пожаловаться #1

A64m AL256m qn<co... in Haskell

а, был же еще проект в base списки сделать переписыванием в стримы как в векторе и соответствующая либа, но это уж совсем обскурный пример
также стримы в тексте и (дважды) несостоявшиеся в байтстринге

источник

18:01пожаловаться #2

Alexander Vershilov in Haskell

Поною тут

источник

18:43пожаловаться #3

Alexander Vershilov in Haskell

Вот есть список, на котором можно легко доказать, что в списке только уникальные элементы, очень просто безопасно и неэффективно

источник

18:43пожаловаться #4

Alexander Vershilov in Haskell

Нет в твиттере будут доказывать, что Set/Map это для дезопасности, а не для эффективности. И при этом утверждать что важна корректность, а скорость не важна

источник

18:44пожаловаться #5

Alexander Vershilov in Haskell

При том, что Set/Map это в первую очередь ради скорости делалось

источник

18:44пожаловаться #6

Alexander Vershilov in Haskell

Вот как так-то?

источник

18:44пожаловаться #7

Jerzy Syrowiecki in Haskell

твиттер виноват?

источник

18:49пожаловаться #8

Alexander Vershilov in Haskell

Ну в твиттере это доказывают

источник

18:55пожаловаться #9

Alexander Vershilov in Haskell

Я понимаю они потом дошли до нормальных аргументов, типа containers куча людей делают и тестируют, а тут надо самому

источник

18:55пожаловаться #10

Alexander Vershilov in Haskell

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

источник

18:56пожаловаться #11

Alexander Vershilov in Haskell

Как бы оба аргумента ок

источник

18:56пожаловаться #12

Alexander Vershilov in Haskell

Но если ты доказываешь, что корректность важнее, то тогда надо выбирать плоский список с зависимыми типами, который еле работает, но зато корректный по построению

источник

18:57пожаловаться #13

кана in Haskell

так, независимо что для чего делалось, мы всегда можем быть уверены статически, что в сете не больше одного включения, а в списке нет, нужно делать проверку

источник

18:57пожаловаться #14

Alexander Vershilov in Haskell

Нет

источник

18:57пожаловаться #15

Alexander Vershilov in Haskell

Сет никак не гарантирует, что у тебя один элемент, кроме как документацией

источник

18:57пожаловаться #16

Alexander Vershilov in Haskell

newtype ТутЭлементыУникальные = <неэкспортировано> гарантирует ровно так же