11·
8 hours agodeleted by creator
- 0 Posts
- 3 Comments
Joined 1 year ago
Cake day: May 6th, 2025
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
deleted by creator
2·7 days agodeleted by creator
110·17 days agodeleted by creator
deleted by creator
12·18 days agodeleted by creator
2·21 days agodeleted by creator
deleted by creator
That’s true and they’re great for prototyping but I’ve fallen in love with Purescript for that domain. So I’m a bit biased.
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
The features Haskell has been “trying to copy” from TypeScript are, without exception, features TypeScript copied from type theory research that predates TypeScript by decades – row polymorphism from Didier Rémy’s 1989 work, untagged unions from the intersection type literature of the 1980s, type-level computation from Martin-Löf’s 1975 intuitionistic type theory – and what you are observing is not Haskell enviously watching TypeScript and taking notes, but rather two languages drinking from the same well of ideas, one of which is doing so with a formal semantics and a proof of soundness, and the other of which is doing so while standing in a JavaScript runtime and hoping no one looks down.
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator
deleted by creator