scalaz/scalaz-reactive

A high-performance, purely-functional library for reactive programming based on efficient incremental computation

scalaz-reactive's Issues

create microsite

Proposal for an IO interpreter

After composing the API, we need to convert the resulting data structure into executable IOs. Propose a simple interpreter (a function from Behaviour[A] to IO[A]) to test our examples and see them running

Test/fix Behaviour Applicative

Write tests to ensure Applicatiove[Behaviour] works as expected. When writing examples, examples stopped delivering new events once Applicative composition was used.

Create some tests on the existing code

Implement Monoid[Event] instance

As seen on page 8 of the paper http://conal.net/papers/push-pull-frp/

Dependency for scalaz zio 0.1-SNAPSHOT is unresolved

sbt.librarymanagement.ResolveException: unresolved dependency: org.scalaz#scalaz-zio_2.12;0.1-SNAPSHOT: not found

Review: Towards safe and efficient functional reactive programming

Review this content:
http://www.neilsculthorpe.com/publications/safe-efficient-FRP.pdf
http://www.neilsculthorpe.com/thesis/index.html

And write a small report to communicate possible implementations in this library

Implement Monad[Event]

As seen on page 8 of the paper http://conal.net/papers/push-pull-frp/

Tagless final trait with IO implementation

Work in progress in tagless branch

Create documentation in the code from the paper

The code right now is as loyal as possible to this paper: http://conal.net/papers/push-pull-frp/
Document the functions in the current implementation by adding quotes and explanation from the paper

Review: Push-Pull Signal-Function

Review:
https://www.cs.rit.edu/~mtf/student-resources/20124_amsden_msthesis.pdf

And write a small report for possible implementations in this library

Fix type class instances

The code is not compiling because of the type class instances of Functor/Applicative/Monad are split, make a single type class which overrides all necessary methods, please check that we don't lose the desired semantics (Monad implements map in terms of point and bind, but this might not be what we want, so we might need to override it)

Make a simple example using current api

Several other FRP libraries (Haskell) have simple examples, code one or two using our current API in a new package for now