2 ms·> On the programming side, dependent types maybe. Have you learned about monads yet?by thomastjeffery 9y ago> On the programming side, dependent types maybe. Have you learned about monads yet?