@neauoire Yeah, that's the trick of type systems, you gotta choose something powerful enough to easily express useful programs, but not too flexible, otherwise the type checking algorithm gets way too hairy and use too many resources.
Top-level
@neauoire Yeah, that's the trick of type systems, you gotta choose something powerful enough to easily express useful programs, but not too flexible, otherwise the type checking algorithm gets way too hairy and use too many resources. 1 comment
|
@csepp It's not so much that it takes resources, that it takes me too much brain juices to figure out why the type checker complains sometimes. I have to find the sweet spot where it's dumb enough to let me experiment without getting in the way, otherwise I've noticed that I've developed the habit as marking everything as unsafe and getting on with it, which defies the purpose why I did this in the first place.