Dynamic type systems aren’t even simplerhisham.hm2 points·phoe-krk··0 commentsOpen articleSaveView on HN