Chapel's runtime types as an interesting alternative to dependent types

(danilafe.com)

3 points | by fanf2 9 hours ago ago