MarcelineVQ 2017-02-28 16:50:49
Squarism 2017-02-28 17:11:06
Any threading person that could do a sanity check : ok to "send a channel over a channel"?
monochrom 2017-02-28 17:11:36
Yes. The pi calculus does that all the time.
orion 2017-02-28 17:16:29
:t fix
lambdabot 2017-02-28 17:16:32
(a -> a) -> a
nshepperd 2017-02-28 17:17:19
Squarism: that seems perfectly fine to me
Squarism 2017-02-28 17:17:53
nshepperd, thanks
nshepperd 2017-02-28 17:17:54
you're just putting an mvar in an mvar, which channel already does
Koterpillar 2017-02-28 17:20:46
what's that computable float type that makes it possible to fix sin?
monochrom 2017-02-28 17:21:21
Is it CReal?
Koterpillar 2017-02-28 17:22:16
fix sin :: CReal
Koterpillar 2017-02-28 17:22:17
> fix sin :: CReal
lambdabot 2017-02-28 17:22:23
mueval-core: Time limit exceeded
Koterpillar 2017-02-28 17:23:39
> fix (\x -> x / 100) :: CReal
lambdabot 2017-02-28 17:23:45
mueval-core: Time limit exceeded
Koterpillar 2017-02-28 17:23:50
how come this doesn't converge either?
nshepperd 2017-02-28 17:41:47
for those to work you'd need sin undefined ≠ undefined
threshold 2017-02-28 17:42:35
Koterpillar: What do you mean by converge?
nshepperd 2017-02-28 17:42:38
it would have to be some weird representation with lazy continued fractions or something o_O
threshold 2017-02-28 17:43:31
nshepperd: Thank you for the Stack Overflow link. I will read through it.
