What is a Type System for?michaelrbernste.in11 points·johnbender··0 commentsOpen articleSaveView on HN