Why Type Checking is Not so Helpful in Quant/Algo-Heavy Coding
Want to get notified about new posts? Join the mailing list and follow on X/Twitter.
1) It’s insufficient: the main critical validations have to do with mathy logical/numerical properties being satisfied, which wouldn’t be caught by type checking.
2) It’s unnecessary: those mathy validations will naturally get triggered if there are type issues.
Want to get notified about new posts? Join the mailing list and follow on X/Twitter.