Andrei Alexandrescu: In that thread you have said: http://www.reddit.com/r/programming/comments/kikut/think_in_go_gos_alternative_to_the/c2krft0
> I'm interested in furthering D's grok of dependent types. This blog post shows some basic nice examples of dependent types in ATS language: http://www.bluishcoder.co.nz/2010/09/01/dependent-types-in-ats.html Some other notes: http://leonardo-m.livejournal.com/98077.html But those are toys. For practical programming this alternative version is close to what you can do in D, and keep both efficiency and sanity: http://rosettacode.org/wiki/Matrix_multiplication#Alternative_version Bye, bearophile
