а half

ок

для half была либа у кметта

/me помнит как half (через openexr) 10 лет назад завоевал индустрию графония. И как потом игроделы приписали победу себе

Я с double precision алетаю на проблемы с округлением и переполнения. Как жить с half вообще не представляю

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

half для хранения по большому счёту

Я с double precision алетаю на проблемы с округлением и переполнения. Как жить с half вообще не представляю

long double!

И на точность плевать. Там же 3-4 значащих цифры

quad precision тогда уж

ну и судя по смешным роликам из игр понятно как они там физику считают

А как надежнее отсечки сделать, чем с помощью threadDelay? threadDelay дает слабые гарантии что выполнение к этому треду перейдет когда надо(ну и я из него хочу другие треды покиллять).

у тебя это действительно проблема?

теоретизирую

я просто думаю что не узнаю даже, если это будет проблемой

в рамках чистого haskell более надёжного не будет

имхо

какой-нить с тред сделать из него форкнуть другой тред, который независимо от rts работать будет и не возвращаться

там делей на системном таймере

но тогда возникнет вопрос, как покилять треды и вернуться в rts

сходу я вижу только постать что в хэндл

но там твой вопрос опять возникнет

как пробудится тред который читает сокет

синхронизируйте треды через примитивы синхронизации

учитывая что если все треды будут делать print $ last $ cycle 0

то никогда

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

или не волновался

https://hackage.haskell.org/package/stm-delay-0.1.1.1/docs/Control-Concurrent-STM-Delay.html вот тут что-то оригинальное

а хотя это не про то

registerDelay видел?

в stm?

а ну на него этот пакет ссылается

у тебя все равно внутри через GHC.Event работает

а ты ему не доверяешь

а почему там TVar Bool?

а они в IEEE754 вообще есть?

binary16 binary32 binary64 binary128 binary256 decimal32 decimal64 decimal128

я чего-то вроде TVar (Maybe a) ожидал

откуда там a?

главное, что Float16 есть в моём ТЗ

эта штука создает TVar, в котором False на True меняется

можно делать что-то вроде registerDelay i >>= \d -> atomically (asum [readTVar d >>= check, ...])

@cblp_su тут про какой-то пакет кметат говорили

откуда там a?

Давай бэктрекнемся - я асинки запускаю, но если они начинают в какой-то момент работать дольше определенного предела, меня перестает интересовать их возвращаемое значение и я хочу чтобы они прекратили делать то что они делают и отдали ресурсы. Они через TVar a мне какой-то a возвращают в stm.

http://hackage.haskell.org/package/half-0.2.2.3/docs/Numeric-Half.html

@catamorphism вот не слушал ты меня когда я на fprog spb рассказывал это (или я тогда про исключения чушь нёс)?

а они работают или ждут?

@catamorphism вот не слушал ты меня когда я на fprog spb рассказывал это (или я тогда про исключения чушь нёс)?

А кстати запись есть? Слушать - слушал, но не отложилось.

они работают и мне надо чтобы CPU отдали и память

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

http://hackage.haskell.org/package/half-0.2.2.3/docs/Numeric-Half.html

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

ну там storable есть как минимум

always :: STM Bool -> STM () <- такая штука в stm была, но похоже её хотят выкинуть

плюс в статье писали что раннее завершение возможно, но вроде не сделано

т.е. killThread придётся кидать явно

ну я так и думал делать

вообще задачник бы по конкарренси в ghc

я б порешал

вообще на threadDelay, registerDelay надеяться почи всегда можно

+

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

у registerDelay меньше с исключениями проблем, т.к. там все в stm

я бы делал registerDelay + запасной тред

в одном из них atomically $ readTVar d >>= check) >> killThread

в другом что надо но проверяя readTVar d >>= always

Хм, ну т.е. в каждом асинке по два ТВара, один из них для отсечки + Отдельный тред делающий по отсечке killThread

я вообще думал по другому

import Data.Function data Foo = Foo { runFoo :: Int -> Int } add2 = Foo (+2) five = (add2 & runFoo) 3 Есть вариант избавиться от скобок в реализации five ?

Оу, а что за & такой в Prelude?

STM вообще убрать, т.к. retry не нужен тут. Отдельный тред в котором threadDelay и он все остальные просто килляет.

одного твара должно хватить

Оу, а что за & такой в Prelude?

$ с флипнутыми аргументами

retry - блокировка

Что-то он не хуглится

threadDelay x = registerDelay x >>=\t -> atomically (readTVar t>>= check)

но ты ещё к этому доп логику композить можешь

вообще есть timeout где-то в base

удобен для обращения к рекордам в ООП стиле (то что в PureScript через точку делается)

который IO a -> IO (Maybe a)

но там есть проблемы с исключениями

во, кстати

Они формат таки сломали? Было же 24, точно помню

Там Rational же, а он из Integer'ов состоит. Короче, размер нефиксированный.

совсем забыл про него

т.е. лучше делать это в секретном треде

в который ничего не прилетит

А вообще спасибо тебе большое, я буду теперь читать этот проект как учебник по Haskell.

My thoughts exactly

Они формат таки сломали? Было же 24, точно помню

А, не, фигню сказал. Там не Rational, а разбивание на экспоненту и мантиссу, которые в Integer и Int представлены. Но всё равно размер плавающий.

как-то можно проверить значение на явный error? понятно, что x = x не выявить, но x = error "" же как-то можно выявить

=== undefined

это же не жиес

никак

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

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

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

+

скорее так

но это ты только error словишь максимум, а ещё есть всякие throw

но вообще это задача из серии тех, которые в коде здорового человека не требуют решения

хочется очень странного, короче