TypeScript: Types as axioms, or: playing god with static types
TypeScript: Types as axioms, or: playing god with static types
lexi-lambda.github.io
Types as axioms, or: playing god with static types
0 comments
TypeScript: Types as axioms, or: playing god with static types
Types as axioms, or: playing god with static types