к
(a `Coercible` b) ~ (a ~ b)
Size: a a a
2021 January 19
A
я делаю в одном типе-сумме два бранча с рекордами и там поля с одним названием, но разным типом
Такое работать не будет даже с no selectors.
A
почему...
Я с этим вопросом в ним в гитхаб приходил, где обсуждается пропозал. Там почитать можно.
к
почему...
как минимум это разрушит некий инвариант, что для пары "поле, тип" существ только один тип, и это может стать очень сильным усложнением
YS
вопрос - если запустить простую программку (например, факториал), которой указать threaded и N - сколько она должна утилизировать ядер?
MK
до N, потому что параллельный гц
YS
а, там гц работает
YS
спасибо)
MK
можешь проверить задав
-N4 -qn1MK
по идее не должно больше 100% быть тогда
YS
т.е. одно ядро утилизировать, верно?
MK
но может ещё какой-нибудь ио менеджер что-то будет делать
MK
т.е. одно ядро утилизировать, верно?
скорее всего
OP
Есть ли в
Чтобы не нужно было делать
lens какой-нибудь геттер для MonadState?Чтобы не нужно было делать
state <- get
f (state^.field)
YS
get <&> (^. field)YS
или что?
MK
get <&> (^. field)фу на тебя
MK
Есть ли в
Чтобы не нужно было делать
lens какой-нибудь геттер для MonadState?Чтобы не нужно было делать
state <- get
f (state^.field)
foo <- use field