Humor me here, I have no idea what I'm doing.
The simple algebraic types Either, (,), -> correspond to the functions +, *, ^. Is it possible to construct types that correspond to - or /?
For example suppose we wanted to find a type that corresponds to 1 - a:D(a) = 1 - a D(a) + a = 1 D(a) * D(a) + a * D(a) = D(a) type D a = Either (D a, D a) (a, D a)
This seems to correspond to some sort of tree structure. Does this have relevance or meaning?submitted by stonegrizzly
[link] [6 comments]