Post #1665241
2026-04-10 12:48 UTC
Listen I absolutely love rust but it's not even close. Typescript's type system is orders of magnitude more powerful, to the point where it is actually turing complete.
Replies (2)
-
@ultimate_worrier@lemmy.dbzer0.com 2026-04-10 19:23
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
-
@foenix@lemmy.radio 2026-04-10 13:17
I code a ton in both Rust and Typescript for work... I think Rust has just as capable of a type system, but leveraging macros for functional defs vs object ones.