> [Having and using dependent types] let[s] you be lazy about design. Now I’ve heard it all.
Conversely (I think), if you have dependent types you don’t require constexpr.
https://twitter.com/edwinbrady/status/1366325538898538499
Are you being sincere?
Why is it necessarily Cryptography’s fault that Python Ansible was taken by surprise? Or any of the other affected parties along the chain? That Cryptography was starting to include Rust in the project was announced on…
> [Having and using dependent types] let[s] you be lazy about design. Now I’ve heard it all.
Conversely (I think), if you have dependent types you don’t require constexpr.
https://twitter.com/edwinbrady/status/1366325538898538499
Are you being sincere?
Why is it necessarily Cryptography’s fault that Python Ansible was taken by surprise? Or any of the other affected parties along the chain? That Cryptography was starting to include Rust in the project was announced on…