— 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 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
— None of this is true
— Maybe. but it's a holywar. we need some limited cases to battle, some example cases, etc.
— The fact, that one variable name may be reused multiple times.. removes clutter and makes code more clean and readable