Alexander
в экзестенциальном типе лежит какие-то данные, тип которых был определен тем, кто Wrapper создавал
Alexander
но тоже дурацкое объяснение у меня
Cheese
можно сказать, что этот Wrapped позволяет работать с полиморфным значением как с обычным мономорфным?
Alexander
наверное
Alexander
но я бы сказал, что Wrapped позволяет выразить полиморфную функцию в runtime
Alexander
т.е. без него бы специализация должна бы была произойти в compile time
Alexander
но может это хаскель деформация
кана
Возможно, если записать это в стиле Idris будет немного понятнее:
data Unknown : (a : Type) -> Type where
Constr : {a : Type} -> Unknown a
В хаскеле тоже так пишут (и по моему это даже предпочитаемый стиль):
data A :: (Type -> Type) -> Type -> Type where
B :: A Maybe Int
кана
кана
очень мало знаю фронтов, которые любят жс, это или очень редкие люди, или новички
Viacheslav
Подскажите, а какие варианты есть вообще, если мне нужно отдебажить такое вот:
Viacheslav
thread blocked indefinitely in an STM transaction
Viacheslav
Когда такое происходит и где/как искать проблему
Alexander
большая программа?
Alexander
можно с prof собрать и -xc запустить
Alexander
если не слишком большая то будет видно откуда прилетело
Alexander
ещё можно добавить аннотацию для трейсов
Alexander
ну и поправить систему ловли исключений, чтобы было видно, откуда прилетает
Alexander
вообще это deadlock где-то
Viacheslav
программа не очень вроде большая
Alexander
например читаешь из TMVar на который ни у кого ссылок нету
Viacheslav
может 1-2к строк в сумме
Alexander
т.е. никто туда никогда не запишет
Viacheslav
проблема в том, что я напрямую нигде STM не юзаю
Alexander
может юзают нижележащие либы
Viacheslav
это да
Alexander
вообще ловля исключений и логирование должно быть так что понятно откуда летит
Viacheslav
я использую каналы и там вроде они поверх STM
Alexander
TChan ?
Alexander
они да
Viacheslav
просто Chan
Viacheslav
из Control.Concurrent.MonadIO
Alexander
и если у тебя канал, и ты читаешь, а никто не пишет - то такое словишь
Alexander
просто Chan - нет
Alexander
и переходи на TChan, Chan не нужен
Alexander
в крайнем случае на Queue
Viacheslav
а можешь скинуть почитать что-то или коротко объяснить в чем разница?
Alexander
в чане операции отличающие его от Queue могут к дедлоку приводить
Alexander
не уверен, что хороший ресурс знаю
Alexander
Chan он на MVar
Alexander
TChan тоже самое но поверх STM
Alexander
там можно больше операций без опасений делать
Alexander
типа unget и isEmpty
Alexander
Queue какая-то более простая структура, где этих операций нету
Alexander
но я даже сходу не скажу какая, надо в исходники посмотреть, там обычно просто
Alexander
STM работает достаточно быстро, если нету конфликтов то даже обходит решение на MVar
Alexander
и если транзакции не очень длинные
Alexander
так.. я завтра подробнее могу расписать
Viacheslav
Ок, на самом деле стало понятнее. И на самом деле у меня даже появилась гипотеза что не так. Видимо надо немного исключения переделать
Anonymous
Вот это - самое оно
Anonymous
это вообще из какой области?
Anonymous
Похоже
https://www.apsstandard.org
Cheese
кажется, никто не отозвался на APS. а как это связано с Хаскелем?
Alexander
очень желаю услышать ответ на этот вопрос, а то у меня детектор спама чешется
Alexander
@im_your_lord ^
Евгений
/stat@combot
combot.org/c/-1001043143583
Alexander
прикольно если бы тот мог статистику по людям на каналах давать
Евгений
Можно период выбрать и посмотреть кто сколько флудил
Евгений
Или ты про то, сколько где другие флудя ?
Alexander
да
andor0
как определяется что сообщение флуд / не флуд?
у меня было 2 сообщения и 73% флуда, получается каждое сообщение может содержать флудёвую и нефлудёвую информацию одновременно
Dmitry
Ну вот сейчас уже три, и последнее - флуд
Dmitry
Так как не по теме чата
Dmitry
;)
Alexander
отношение количества текста к количеству сообщений с каким-то коэффициентом
Alexander
может чуть сложнее, в общем достаточно бесполезная метрика
Евгений
отношение количества текста к количеству сообщений с каким-то коэффициентом
Отношение общего количества к количеству сообщений подряд же
Dmitry
Соглашусь
Alexander
а ну да
Alexander
показывает насколько человек привык к irc
Cheese
как это связано с IRC?
Aliester
у вас нет случаем картинки с упражнениями для запястий?
parket
А это норм что я тоже вижу опросник от Terminator?
Dmitry
Вопрос даже не в том, что виден или нет, а в том, что кнопку можно нажать только тому, кому вопрос задан
Dmitry
Как это, интересно?
Dmitry
Terminator только ему права даёт?