2 ms·The future of software and why UX designers should care about type theory2 points by muraiki 11y ago