테스트 페이지
테스트
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 .
댓글
댓글 쓰기