Hello,
The last 3 or 4 days I have been studying a lot of
Category Theory so that I would be able to explain the
concept of a monad to some people at the university in
a learn to present something-course.
newtype S a = State - (a,State) -- functor T to map
objects
mapS::(a- b) - (S a - S b)
On 2004 June 07 Monday 15:19, Ron de Bruijn wrote:
newtype S a = State - (a,State) -- functor T to map
objects
mapS::(a- b) - (S a - S b) -- functor T to map
morphisms
unitS :: a - S a --\eta
joinS::S(S a)- S a -- \mu
This is a complete monad using a direct mapping from
Category Theory.
When you forkIO and one of the threads blocks
(e.g. on a socket or a readchan), do execution
automatically resume on other threads and does the
blocked thread consume timeslices while it is
blocked?
In other words, is there any performance
penalty in setting timeslices very large in a
server app