Two mechanisms for dynamic type checks | Dark Hacker News