In this post, I discuss Chapel's runtime types as a limited alternative to dependent types.| danilafe.com
