Comment by the_af

3 months ago

Pretty cool that you got this far though!

I think at this point one starts to fight against Python, which wasn't designed with this in mind. But cool nonetheless.

1 comment

the_af

Reply
sevensor  3 months ago

Thanks! My approach is to stop once it starts to hurt, and figure out what I should expect the type checker to miss. The type system and I are both getting better at it as time goes by. It’s not perfect, but it’s way better than not having it.