Something

[Andrej Mitrovic]

Although this is way over my league (I've never used functional
languages before), I guess invariants could help in maintaining a type
with certain properties of those dependent types..?

Well, most of the papers that describe dependent types (that I've
glanced over) use functional languages and a lot of type theory, so
it's hard to grasp exactly what are the benefits of these dependent
types, since I don't know much about either unfortunately.

On 12/7/10, bearophile <bearophileHUGS at lycos.com> wrote:
> http://www.reddit.com/r/programming/comments/ehjs5/not_dependent_types_in_d/
>
>
>