Dynamic type systems aren't even simplerhisham.hm2 points·hisham_hm··0 commentsOpen articleSaveView on HN