Roadmap¶

• support for discrete finite probability distributions
  • basic data structure
    • monadicity
      • monad instance
      • monad laws tests
      • monad transformer
    • arrowicity
      • arrow instance
      • arrow laws tests
    • Eff interpreter

• support for timed value/calculation representation
  • basic data structure
    • monadicity
      • monad instance
      • monad laws tests
      • monad transformer
    • arrowicity
      • arrow instance
      • arrow laws tests
    • Eff interpreter
    • timed computation examples with different combinations with other effects: single and multiple values, probability distributions, interactive values, etc.
  • extended data structure with generalized time value (not only a single time)
    • monadicity
      • monad instance
      • monad laws tests
      • monad transformer
    • arrowicity
      • arrow instance
      • arrow laws tests
    • Eff interpreter
  • extended data structure with typelevel time value
    • monadicity
      • indexed monad instance
      • indexed monad laws tests
    • arrowicity
      • investigating indexed arrow notion
      • indexed arrow instance
      • indexed arrow laws tests
    • Eff
      • investigating support of Eff-like structures in the indexed manner
  • data structure joining the two extensions

• automated building of timed computations composition based on some abstract model with timed computations assigned to components
  • development of simple model allowing to describe elements, connection points and connections between elements allowing to assign timed computations to elements
  • implementation of building of the model-level timed-computation based on the model description
    • translation
    • static check of compatibility of connected timed computations
    • tracing errors back to the model in terms of the model (using optics)