typeThinking

Let’s suppose we model probability in type system

It will look like this

eventPopulation = {a,...,z}
item = a | ... | z
reduce(eventPopulation, probability, sum) = 1

2nd line is deal of concern. How do we express that in current algebraic type system. Do we need dependent type for this?

Written with StackEdit.