Dependent typing and Refinement Typing for D

sighoya sighoya at gmail.com
Sat Dec 21 15:22:18 UTC 2019


Generally speaking, for enterprises, gradual dependent typing is 
fine, because if they don't want to get accustomed to it, they 
can simply ignore to up propagate additional constraints upwards 
to the stack whereas for general dependent typing, they are 
forced to do so, giving them a second Rust.


More information about the Digitalmars-d mailing list