Type-Safeness in Shell (2019) | Hacker News Reader