This talk is targeting regular programmers that have not seen anything like this before. I just explain these specific parameterized types, and what they are good for. Tested on our Engineers; they never had a question afterwards.
Software developer with an experience in categories and toposes.Teaching logic and formal methods at Santa Clara University.Working as a data engineer at Salesforce.