|
|
|
|
|
|
by leshow
2424 days ago
|
|
|
It appears in the case of the Move language it doesn't actually contain a 'linear type system'. > The claim of the Move language to use of linear types appears to be unsubstantiated by a dive into the compiler as it reveals no such typechecker logic. As far as one can tell the whitepaper cites the canonical literature from Girard and Pierce and does nothing of the sort in the actual implementation. |
|
|