undefined | Better HN

0 pointsscotth10y ago0 comments

I'd argue this abstraction isn't any higher-level than the function equivalent above. More readable, maybe.

0 comments

explicit annotations following a specific syntax can be analyzed by a checker.

you can't really do that (easily) with ad-hoc typecheck wrappers.

j / k navigate · click thread line to collapse

0 pointsscotth10y ago0 comments

I'd argue this abstraction isn't any higher-level than the function equivalent above. More readable, maybe.

explicit annotations following a specific syntax can be analyzed by a checker.

you can't really do that (easily) with ad-hoc typecheck wrappers.

j / k navigate · click thread line to collapse