Dependent Types for F#
Is there a reason dependent types aren&#x27;t more widely used? Is it just a case of people not wanting to learn anything new, or are there some show-stopping issues in practice?<p>The idea seems promising. If I&#x27;m not mistaken it would let you statically declare that an integer had to be between values X and Y, for example.