filmov
tv
George Wilson - An Intuition for Propagators - Compose Melbourne 2019
Показать описание
An Intuition for Propagators
The propagator model of computation developed by Radul and Sussman consists of stateful cells connected by independent stateless machines called propagators. These propagator networks are a helpful way to structure or think about computations, particularly those that are concurrent or distributed.
This talk will give an intuition for what these propagator networks look like, why they work, and how we can use them to build programs. Efficient implementation will not be covered.
The Haskell community has recently seen concurrency abstractions bearing similarities to propagators, such as the work on LVars by Kuper and Newton; and also projects directly influenced by propagators, such as Edward Kmett's recent work.
About George Wilson
The propagator model of computation developed by Radul and Sussman consists of stateful cells connected by independent stateless machines called propagators. These propagator networks are a helpful way to structure or think about computations, particularly those that are concurrent or distributed.
This talk will give an intuition for what these propagator networks look like, why they work, and how we can use them to build programs. Efficient implementation will not be covered.
The Haskell community has recently seen concurrency abstractions bearing similarities to propagators, such as the work on LVars by Kuper and Newton; and also projects directly influenced by propagators, such as Edward Kmett's recent work.
About George Wilson
0:31:23
0:24:18
0:21:57
0:04:59
0:46:24
0:00:20
1:56:30
0:09:11
0:30:37
0:12:50
0:01:00
0:52:25
0:00:52
1:01:22
0:11:26
0:02:19
0:03:46
0:41:17
0:01:45
0:03:12
0:11:16
1:17:04
1:42:42
0:19:19