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!

Message permanent page

— 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.

Message permanent page