catches?

о, точняк. в Control.Monad.Catch оно не список берет а Foldable, вот я и не заметил.

о каком поле идёт речь?

поле структуры Тест, где находится список

поле структуры Тест, где находится список

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

ясно короч

Главное не ясно зачем он задал этот вопрос в ответ на мои попытки уточнить недопонимания между нами? ?

кто и что имел в виду

так странно

как итог, смысл этого все еще не ясен

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

> type C f a :: Constraint type C f a = () fmap :: (C f a, C f b) => (a -> b) -> f a -> f b Что это за магия? O_o

не похоже на... type Deck = [Card]

например

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

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

type families

спс.

... читал да забыл

Глупый вопрос - какую задачу решают type families, а какую gadt?

это одно и тоже

грубо говоря

Очень грубо имхо, они просто одинаковые механизмы (коершены эквивалентных типов) используют

вообще tf - вычисление на типах

хм. а как на 32 битных ghc делать threadDelay на дольше чем maxBound :: Int микросекунд?

Делать несколько раз и мириться с возможной погрешностью

сделать несколько?

можно попросить at тебя в сокет пнуть

а есть пакет?

Есть, видел недавно

был

https://hackage.haskell.org/package/concurrent-extra-0.5/docs/Control-Concurrent-Thread-Delay.html как обычно, Бас приходит на помощь

не помню что-то типа timeouts

хм

из нового выпелен

http://hackage.haskell.org/package/unbounded-delays во

Ну так а задачи с их помощью какие решают )?

семейства: как уже выше сказали, вычисление на уровне типов классический пример - найти тип элемента по типу контейнера другой классичиский - сложение натуральных чисел на тайплевеле как я понимаю, многие задачи семейств раньше (да и сейчас) решали через классы + функциональные зависимости гадты: когда нужна зависимость типа от типов аргументов конструктора, в случае с фантомами например. Классический пример: data E a where I :: Int -> E Int B :: Bool -> E Bool Sum :: E Int -> E Int -> E Int -- this And :: E Bool -> E Bool -> E Bool -- and this eval :: E a -> a eval (I x) = x eval (B b) = b eval (Sum x y) = eval x + eval y eval (And a b) = eval a && eval b без gadt-ов такое написать сложнее решаемые задачи: более инвариантные под задачу типы

MVar (IORef a) - вот так же норм для случая когда мне нужно ждать пока значение на поступит, ну а потом оно будет только обновлятся но никогда не исчезнет?

и второй вопрос: что шустрее - readTVarIO или readIORef

можно попросить at тебя в сокет пнуть

at это что?

Пасиб.

at это что?

unix утилита

и второй вопрос: что шустрее - readTVarIO или readIORef

Стм какой - то минимальный оверхэд добавит же?

а там у readTVarIO особенный случай

вообще без контеншена я думаю без разницы. IORef тоже спинлок не схватит

https://codeburst.io/the-haskell-concurrency-primitive-shootout-538c21993f1c есть, но не совсем прям свежак :)

так-что TVar даж и быстрей судя по этим бенчам

страннота

правда там бенч на модификацию, так что другой юзкейс :-\

а как бы hasql с логгером подружить?

Пасиб.

чтобы закончить пример с expr: data E = I Int | B Bool | Sum E E | And E E -- we can (And (I 1) (I 2)) -- not typesafe eval :: E -> ??? -- we can add phantoms and smart constructors data E a -- private (do not export) constructors = I Int | B Bool | Sum (E Int) (E Int) | And (E Bool) (E Bool) i :: Int -> E Int b :: Bool -> E Bool sum :: E Int -> E Int -> E Int and :: E Bool -> E Bool -> E Bool i = I; b = B; sum = Sum; and = And eval :: E a -> a eval (I x) = x -- ?? type of `x` is not `a` -- it is Int то есть одну проблему мы решили, а вторую (приведение Int к a) нет, гадты решают и это введением коершинов, пруфы о равенстве типов (в данном случае a ~ Int), которые поставляются в конструкторах, и их применении к значению

Во, ясно.

Данке.

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

\o/

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

и как, помогает? (от чего, кстати?)

от неожиданных утечек и введения бесполезных имен

бесполезные имена это всякие go?

да

вместо `let go = ... in go

+ помогает от утечек при вложенных циклах

"go не нужен" — @haskellru

не очень красиво получается, когда нужно аргумент в fix-функцию передать

@qnikst в общем благодаря тебе я везде в монадках теперь в использую fix вместо явной рекурсии

а можно пример?

хаскель не нужен -Роб Пайк

ну это ж haskell тут 100500 способов и плюсов и минусов у каждого

осталось теперь упороться и сделать data ExprF a where и обмазаться тайплевел фиксами

fix это такой safe default

fetchLoop manager req = flip fix 0 $ \next errCount -> do r <- fetchOnce manager req errCount case r of Nothing -> next (succ errCount) Just keys -> pure keys

ката и анаморфизмами

вместо `let go = ... in go

Да, с fix определённо лучше! fix (\go n -> if n <= 1 then 1 else n * go (n-1)) 5

ката и анаморфизмами

generalized!

если кому интересно отмотайте на несколько недель назад, там длинная дискуссия была

если кому интересно отмотайте на несколько недель назад, там длинная дискуссия была

возможно что в другом чате

в этом

с @JelF1337 диалог был

если я не ошибаюсь

было дело

fetchLoop manager req = flip fix 0 $ \next errCount -> do r <- fetchOnce manager req errCount case r of Nothing -> next (succ errCount) Just keys -> pure keys

FLIP! вот оно, это то что я выше писал про проблему передачи аргумента чет я про flip не подумал

вообще как мне передали мысль сноймана если тебе приходится объяснять что-то более, чем 2 раза то пиши об этом пост

видимо надо писать об этом пост.

но это сложно и долго :/

соблюдайте предельную осторожность. Первый симптом fix, потом flip, дальше (.) . (.) и понеслась

но это сложно и долго :/

пусть @JelF1337 пишет об этом пост!

я кстати могу

мнение человека может не совпадать со мнением редакции

но вообще круто бы

соблюдайте предельную осторожность. Первый симптом fix, потом flip, дальше (.) . (.) и понеслась

https://hackage.haskell.org/package/universum-1.0.4/docs/Universum-VarArg.html потом вот это

ну это ще вроде норм

вот если функция point-free, а большая часть операций там это флипы и композиции, то пациента пора лечить

https://hackage.haskell.org/package/universum-1.0.4/docs/Universum-VarArg.html потом вот это

это ... - кстати, круто. Сколько раз были ситуации когда добавляешь второй параметр в функцию, и приходится все цепочки композиций с этой функцией переписывать на явные параметры. А тут получается, можно просто добавить к точке ещё две - и они соберутся сами.

было у олега

сколько нужно памяти на компиляцию?

А как fix помогает от утечек?

мне тоже нравится

но когда я это исопльзую ощущение что я переусложняю

@qnikst А как fix помогает от утечек?

это ... - кстати, круто. Сколько раз были ситуации когда добавляешь второй параметр в функцию, и приходится все цепочки композиций с этой функцией переписывать на явные параметры. А тут получается, можно просто добавить к точке ещё две - и они соберутся сами.

Там incoherent instances ?

Сначала придумают карриррвание, а потом проблемы с ним решают

опять типы не налезли