undefined | Better HN

0 pointsSilasX6y ago0 comments

Thanks for replying!

2) I didn't mean it would guarantee a proof, I just meant it would attempt a proof up to the limit of its type checker's ability to prove type validity.

0 comments

robbieo6y ago

Ah, sure, you could use a mapped type – but given that the actual program starts failing around 3 I don't see a ton of utility.

j / k navigate · click thread line to collapse

0 pointsSilasX6y ago0 comments

Thanks for replying!

2) I didn't mean it would guarantee a proof, I just meant it would attempt a proof up to the limit of its type checker's ability to prove type validity.

0 comments

robbieo6y ago

Ah, sure, you could use a mapped type – but given that the actual program starts failing around 3 I don't see a ton of utility.

j / k navigate · click thread line to collapse