4 ms·
Hm, a weaker type system? I dont really see much of a point in that, though type inference is quite good
by hyperswine 4y ago
Hm, a weaker type system? I dont really see much of a point in that, though type inference is quite good
- kaba0 4y agoWell, it would have been probably more clear to say I wouldn’t go all-in on the type system and if something would have to get a tradeoff I’m okay with the type system being weakened for that. I’m quite okay with e.g. Haskell’s type system up to a point (including monads), but some even more exotic feature and borderline dependent types are not something I would put into the language (I will let other languages be the testing grounds for these ideas!), as I think that most interesting properties will not be provable either way and that a constrain-based approach may scale better.