Ask HN: What type system do you want in an imper. prog. lang? | Hacker News Reader