Holger Stadel Borum will give a talk about time/temporal types for MAL. Details below.
Holger Stadel Borum, PhD fellow.
Time/Temporal Types for MAL
In financial calculations capital (or payments) exists at a point in time. Capital at different points in time are incomparable, e.g. 10 $ in the year 2020 is not the same as 10 $ in the year 2021. However, capital may be translated from one point in time to another by ‘discounting’ the amount. I present some early work on a type system handling these rules in a polymorphic type system with an approach similar to Andrew Kennedy’s “Dimension Types”.