Ask HN: Type systems in natural languages? | Heykuki News