Re:Linear types are merged in GHC
by bitdizzy on Friday June 19, 2020 @09:11PM
(#23580624)
It depends on what you mean by right category. It is true that vector spaces identify certain constructs that linear logic distinguishes, but it doesn't identify everything so it still has some interesting content. Finding models that don't make unnecessary identifications is one of main lines of research in the field.
[ Parent
| on HN ]
There are no comments on this comment yet.