@A64m_qb0 не факт, что наличие правила не приведет к тому, что она останется

т.е. факт в том, что правило может сработать

а вот гарантировано ли оно сработает - этого я не знаю

это лучше на #ghc спросить

а у нас есть смотрелки для .hi файлов?

думаю, что наличие правила или какой-нибудь прагмы инлайн/инлайнабл приведет к сохранению

а у нас есть смотрелки для .hi файлов?

да

какие?

ghc

есть какой-то ключ

вот я тоже что-то такое помню

-ddump-hi ?

—show-iface

да, вот этот

show-iface

d65f502e1a7d917e8824882f685ae902 b :: Int {- HasNoCafRefs, Strictness: m, Unfolding: (I# 2#) -}

придумать бы функцию, у которой бы не было unfolding

9e8d41913a00d8e9464cd091ba8b397e b :: Int {- Inline: -} "nonsence" forall a = b

все равно сработало

b :: Int b = replicate 100 2 !! 99 {-# NoInline b #-}

[qnikst@nixos:~/tmp/rew]$ nm -gC A.o 0000000000000038 D A_a_closure 0000000000000018 D A_b_closure 0000000000000118 T A_b_info

а для срабатывания правила наличия info да closure достаточно

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

приняли https://github.com/ghc-proposals/ghc-proposals/pull/106

и как это поможет с криптой?

комитетчики немного пошевелились, но про или паттерны так и не вспомнили как написали > I will mark the proposal as accepted *unless* I hear a dissenting opinion by the end of next week. 29 июня, так с тех пор у них неделя все не кончается

и как это поможет с криптой?

Спасибо, порадовали старика!

кто знакт как warp завершается?

он ждет треды обработчики или нет?

@s9gf4ult ^ что мы там выяснили по этому поводу?

вроде ждёт

(что нам мешало)

ждет

тогда вопрос, как сделать чтобы не ждал?

и там есть параметр с таймаутом

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

чтобы не ждал X секунд

https://hackage.haskell.org/package/warp-3.2.25/docs/Network-Wai-Handler-Warp.html#v:setGracefulShutdownTimeout

угу, пасиб

а можете подсказать, почему у MonadTrans нет явного ограничения Monad m => Monad (MonadTrans m)? так нельзя сделать в виде Constraint-а и законы для lift это неявно требуют, но наверняка же есть способ закодировать?

ограничения?

или нет инстанса (Monad m, MonadTrans t) => Monad (t m)?

ограничение может быть если и только если можно выразить левое через правое

например, Functor a => Traversible a, т.к. fmap = runIdentity . traverse (Identity . f)

т.е. мы смогли имея только методы из Traversible выразить Functor

теперь у нас есть MonadTrans:

lift :: Monad m => m a -> t m a

можем ли мы с его помощью выразить join или (»=) ?

и написать bindDefault :: MonadTrans t m a => m a -> (a -> m b) -> m b

t аж потерялось

без этого свойства в констрейнты класса добавлять для удобства можно, но это плохо

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

(forall m. Monad m => Monad (t m)) => MonadTrans t

да, что-то в таком духе имею в виду но его же нет тут https://hackage.haskell.org/package/transformers-0.5.5.0/docs/Control-Monad-Trans-Class.html

такое можно будет только компилировать компилятором который где-то в течении месяца зарелизят

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

ну, просто не имплементировано было

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

где-то с 2000го года эта фича кое-как обсуждалась

ну, я просто смотрю на https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/constraint-kind.html и он же не позволяет написать так? (я, на самом деле, плохо понимаю, о чём говорю, и если у вас есть ссылка, которая помогла бы, я был бы благодарен)

ограничение может быть если и только если можно выразить левое через правое

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

нет, не позволяет - это другая фича https://i.cs.hku.hk/~bruno/papers/hs2017.pdf

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

<> = mappend

спасибо

<> = mappend

нет, наоборот, mappend = (<>), и он лишний. ты мне (<>) через mempty вырази

нет, наоборот, mappend = (<>), и он лишний. ты мне (<>) через mempty вырази

не тупи

не тупи

это ты что-то странное пишешь

не тупи

если у тебя для твоего типа есть реализация Monoid то ты по ней можешь написать реализацию Semigroup

используя только те методы которые у меня есть из Monoid

если не согласен то перечитай 10 раз

как её написать, я сказал выше

моноид является полугруппой в теории. Traversable является Functor в теории. ничего не надо выражать

что значит "является"

мы делаем Functor => Traversible именно потому, что можем написать fmapDefault

и выразить через Traversible

если что я советую *подумать* над тем, что такое *является*

если у тебя для твоего типа есть реализация Monoid то ты по ней можешь написать реализацию Semigroup

окей, возьмём определения class Semigroup a where (<>) :: a -> a -> a class Semigroup a => Monoid a where mempty :: a кстати, здесь нет mappend, его deprecated и выкинут скоро теперь вырази (<>) через mempty

щ.Щ ?

зачем