trait ForAllWithExpSYM { def apply[Repr: ExpSYM]: Repr }

а вот этого одного не достаточно?

а вот этого одного не достаточно?

Достаточно, но если полную копию делать то как то так

trait ForAllWithExpSYM { def apply[Repr: ExpSYM]: Repr }

Можно во Wrapped переименовать и все

Можно во Wrapped переименовать и все

Я не понял как Wrapped решает проблему, описываемую в статье. Описать весь контекст проблемы в паре слов достаточно сложно, надеюсь, что кто-нибудь здесь читал и помнит эту статью.

Wrapped это просто тип обертка вокруг типа анонимной функции

По статье не скажу точно

там не просто функция она "динамически" полиморфная RankN полиморфизм

и.е. это функция которая работает с любым типом реализующим соотв класс типов

хотел написать как это в скале или жаве, но понял, что не знаю

Я не понял как Wrapped решает проблему, описываемую в статье. Описать весь контекст проблемы в паре слов достаточно сложно, надеюсь, что кто-нибудь здесь читал и помнит эту статью.

можно сказать, что это мономорфный тип с полиморфным конструктором. то есть можно значения разных типов привести к одному

final case class Wrapped(unwrap: ForAllWithExpSYM) extends AnyVal

Для того, чтобы что-то положить во Wrapped, мне придется реализовать trait ForAllWithExpSYM для оборачиваемого объекта?

https://scastie.scala-lang.org/w8CAEjIRQFqFJ0eAOHhAsw

можно сказать, что это мономорфный тип с полиморфным конструктором. то есть можно значения разных типов привести к одному

o.O

o.O

не согласен?

я бы такое про экзистенциальные типы сказал, а не про RankN

а в данном случае что?

мне этими же терминами тяжело сказать

а! я в первый раз был прав, потом переписал на неправильное

внутри wrapped лежит функция, в которую можно передать любой тип определяемый caller-ом

в экзестенциальном типе лежит какие-то данные, тип которых был определен тем, кто Wrapper создавал

но тоже дурацкое объяснение у меня

можно сказать, что этот Wrapped позволяет работать с полиморфным значением как с обычным мономорфным?

наверное

но я бы сказал, что Wrapped позволяет выразить полиморфную функцию в runtime

т.е. без него бы специализация должна бы была произойти в compile time

но может это хаскель деформация

Возможно, если записать это в стиле Idris будет немного понятнее: data Unknown : (a : Type) -> Type where Constr : {a : Type} -> Unknown a

В хаскеле тоже так пишут (и по моему это даже предпочитаемый стиль): data A :: (Type -> Type) -> Type -> Type where B :: A Maybe Int

Считать js хуже гитлера - закрыть себе дорогу во фронт навсегда. Реально тогда не стоит влезать во фронтенд, оставьте это дело фронтендерам

а фронтендеры также считают

очень мало знаю фронтов, которые любят жс, это или очень редкие люди, или новички

На Rust

орнул прям сильно вообще

Подскажите, а какие варианты есть вообще, если мне нужно отдебажить такое вот:

thread blocked indefinitely in an STM transaction

Когда такое происходит и где/как искать проблему

большая программа?

можно с prof собрать и -xc запустить

если не слишком большая то будет видно откуда прилетело

ещё можно добавить аннотацию для трейсов

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

вообще это deadlock где-то

программа не очень вроде большая

например читаешь из TMVar на который ни у кого ссылок нету

может 1-2к строк в сумме

т.е. никто туда никогда не запишет

проблема в том, что я напрямую нигде STM не юзаю

может юзают нижележащие либы

это да

вообще ловля исключений и логирование должно быть так что понятно откуда летит

я использую каналы и там вроде они поверх STM

TChan ?

они да

просто Chan

из Control.Concurrent.MonadIO

и если у тебя канал, и ты читаешь, а никто не пишет - то такое словишь

просто Chan - нет

и переходи на TChan, Chan не нужен

в крайнем случае на Queue

а можешь скинуть почитать что-то или коротко объяснить в чем разница?

в чане операции отличающие его от Queue могут к дедлоку приводить

не уверен, что хороший ресурс знаю

Chan он на MVar

TChan тоже самое но поверх STM

там можно больше операций без опасений делать

типа unget и isEmpty

ERROR: S client not available

Queue какая-то более простая структура, где этих операций нету

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

STM работает достаточно быстро, если нету конфликтов то даже обходит решение на MVar

и если транзакции не очень длинные

так.. я завтра подробнее могу расписать

Ок, на самом деле стало понятнее. И на самом деле у меня даже появилась гипотеза что не так. Видимо надо немного исключения переделать

Вот это - самое оно

это вообще из какой области?

Похоже https://www.apsstandard.org

Это похоже на виндовое администрирование

В архитектурном плане?

кажется, никто не отозвался на APS. а как это связано с Хаскелем?

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

@im_your_lord ^

/stat@combot

combot.org/c/-1001043143583

прикольно если бы тот мог статистику по людям на каналах давать

Можно период выбрать и посмотреть кто сколько флудил

Или ты про то, сколько где другие флудя ?

да

как определяется что сообщение флуд / не флуд? у меня было 2 сообщения и 73% флуда, получается каждое сообщение может содержать флудёвую и нефлудёвую информацию одновременно

Ну вот сейчас уже три, и последнее - флуд

Так как не по теме чата

;)

отношение количества текста к количеству сообщений с каким-то коэффициентом

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

отношение количества текста к количеству сообщений с каким-то коэффициентом

Отношение общего количества к количеству сообщений подряд же

Ну вот сейчас уже три, и последнее - флуд

Вы путаете флуд и оффтопик

Соглашусь

а ну да

показывает насколько человек привык к irc

как это связано с IRC?