Ask HN: Should an engineer try to understand type theory? · HackerTrans