TagsFunctional Programming2 notesAlgorithm WJun 27, 2026functional-programmingprogrammingtype-systemsHindley-MilnerJun 27, 2026functional-programmingprogrammingtype-systems