Message from JavaScript discussions
June 2018
— TypeScript's type system is weak in comparison
TypeScript's type system is like Java and C, old fashioned and weak. PureScript's is like Haskell and Rust. A modern type system that actually works with you rather than against you
— Have you looked into dependent types yet?
— Or logic programming?
— One of these are gonna be the next step in type systems I think
— Strong okay, whatever. this is a stupid thing, high level language should be dynamic, imo. im not against low-level, but tring to mix them.. bad idea!
— Strong types are very highlevel
— Especially those in Haskell
— And functional / logic languages
— You can implement any type in dynamic language, that's why any "strong" thing compiles to javascript
— You can implement any type in a strong language as well
— Sure, but it will cost you life probably) i mean, it's much harder to describe data structures there, hard to change them etc.