@ultimate_worrier@lemmy.dbzer0.com
Post #1665242
2026-04-10 19:23 UTC
Typescript doesn’t have linear types. Not even Haskell has linear types (correction GHC has had LT by extension since 9.0). Give Rust some credit for having linear types (AKA borrow checker).
Ps. Typescript doesn’t have dependent types and their type system is a joke even compared to Purescript. Here’s a little writeup about it: https://lemmy.dbzer0.com/post/66729809
Replies (2)
-
@sarahnya@lemmy.blahaj.zone 2026-04-10 22:57
GHC has had experimental support for linear types in Haskell since version 9.0.1
-
@qaz@lemmy.world 2026-04-10 19:48
Typescript's string pattern types are quite neat though