|
|
|
|
|
|
by josephschmoe
4446 days ago
|
|
|
Dependent types are a wonderful idea so long as I can do a couple things with them:
1. Copy paste them without complications. i.e. "non-null" requires no code that relies on specific variables unless there's a logical conflict (which variable?)
2. If it's a known failure, give me a warning. If it's an unknown failure, let me choose how to deal with it, again in a neutral fashion that I could simply say @Notnull<skip> and it would just skip the code if the variable is null. |
|
|