Andrej Mitrovic:
>Although this is way over my league (I've never used functional languages
>before),<
That's easy stuff, you probably need just few hours to get used to that.
>I guess invariants could help in maintaining a type with certain properties of
>those dependent types..?<
Yes, inva
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
http://www.reddit.com/r/programming/comments/ehjs5/not_dependent_types_in_d/