а у нас есть смотрелки для .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 вырази

не тупи

не тупи

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

ERROR: S client not available

не тупи

если у тебя для твоего типа есть реализация 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

щ.Щ ?

зачем

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

значит, что определение одного основано на другом

что значит "определение одного основано на другом" ?

в определении Monad нету ничего про функтор

зачем

ты утверждаешь, что Monoid может зависеть от Semigroup, только если можно выразить (<>) через mempty

и про аппликативный функцтор

ты утверждаешь, что Monoid может зависеть от Semigroup, только если можно выразить (<>) через mempty

нет

что такое Monoid?

подсказываю: > In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a single associative binary operation and an identity element.

что значит "определение одного основано на другом" ?

это логика. определение состоит из базового объекта и ограничений

это логика. определение состоит из базового объекта и ограничений

ты пишешь полную чепуху

прочитай определение выше

так вот, ассоциативная бинарная операция определяет semigroup

это одно из определений. я всегда видел определение моноида как полугруппы с единицей

в Monoid больше структуры, но в него включается та же структура что есть и в Semigroup

это одно из определений. я всегда видел определение моноида как полугруппы с единицей

что такое полугруппа?

algebraic structure with a single associative binary operation

ты пишешь полную чепуху

a monoid — термин is an algebraic structure — базовый объект with a single associative binary operation and an identity element. — ограничение ты с логикой знаком вообще?