Time Framework: A Type Level and Algebra Driven Design Approach

• Post by: hbadir
• 16 avril 2022
• Comments off

Time is present in every real world data model. Literature on the subject includes several time models, algebras, formal logics, and ontologies. Furthermore, Functional Programming, Type-level Programming and Algebra Driven Design are valuable assets for constructing systems that are consistent, composable, extensible, highly polymorphic, and predictable. Nevertheless, there is a lack for a purely functional typed time framework that offers ways to construct type safe algebraic time structures and prove their algebraic laws. Our study answers this need by introducing a purely functional typed, highly extensible and polymorphic framework to encode time algebras. The framework can be used to build type safe, composable systems for processing time points and periods with laws as consistency proofs and compile-time optimisation rules. The language used to implement our library is Haskell, which is a purely …