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 .