Abstract Event Processing
Features
- Future and Stream rich combinators
- Session Types and π-calculus semantics
- MPSC, SPMC, SPSC queues
- 10-40ns latency
- Dependency-Free Rust Event Processor
Reading
- Kohei Honda Session Types and π-calculus http://mrg.doc.ic.ac.uk/kohei/
- Rust version http://munksgaard.me/laumann-munksgaard-larsen.pdf
- Haskell Version http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/session08.pdf
Credits
- Viktor Sovietov
- Anton Kundenko
- Mykola Oleksiienko
- Maxim Sokhatsky