News for hackers. Stuff that matters.

A comment on Linear types are merged in GHC. Parent comment

Re:Linear types are merged in GHC by kinghajj on Friday June 19, 2020 @04:31PM (#23578602)
https://en.wikipedia.org/wiki/Substructural_type_system#Line...
[ Parent | on HN ]
Re:Linear types are merged in GHC by empath75 on Friday June 19, 2020 @04:39PM (#23578659)
That doesn’t really answer his question.

https://math.stackexchange.com/questions/2339147/why-is-it-c...

Apparently there is some connection to vector spaces in the structure of linear logic which linear types are based on.

[ Parent | on HN ]