3 ms·in the 2020s, I hope we can get learn out to make complex type systems simple to use!by wespiser_2018 7y agoin the 2020s, I hope we can get learn out to make complex type systems simple to use!