Module documentation for 0.5.0.0

• Control
  • Control.Applicative
    • Control.Applicative.Static
  • Control.Comonad
    • Control.Comonad.Static
  • Control.Distributed
    • Control.Distributed.Closure
      • Control.Distributed.Closure.Internal
      • Control.Distributed.Closure.TH
  • Control.Monad
    • Control.Monad.Static
• Data
  • Data.Functor
    • Data.Functor.Static
  • Data.Profunctor
    • Data.Profunctor.Choice
      • Data.Profunctor.Choice.Static
    • Data.Profunctor.Static
    • Data.Profunctor.Strong
      • Data.Profunctor.Strong.Static

distributed-closure

Leverage the-XStaticPointersextensionfrom GHC 7.10 onwards for distributed programming using lightweightserializable closures. This package implements aserializableclosure abstraction on top of static pointers. Serializable closurescan be shipped around a computer cluster. This is useful forimplementing intuitive and modular distributed applications. Seethis blog post for a hands on introductionandthis paper for the original motivation.

Example

In GHC 8 and above, remoting a computation on another node using thislibrary goes along the lines of

data NodeId-- Assume we're given a spaw primitive.spawn :: NodeId -> Closure (IO ()) -> IO ()-- A computation to remote on another node.hello :: String -> IO ()hello name = putStrLn ("Hello, " ++ name)main = do  name <- getLine  spawn "someAddress" (static hello `cap` name)

An example of sending static pointers and closuresthrough a communication channel is provided underexamples/ClientServer.hsin the source repository.

distributed-closure does not implement sending/receiving/spawningclosures - that’s left for higher-level frameworks. Only closurecreation, composition and (de)serialization.