Hemant's blog Thoughts about programming languages from Hemant urn:uuid:48c71932-ab69-4130-80f7-000852c568b5 2026-03-06T04:52:17+00:00 Hemant Sai Gouni Explaining higher-rank and impredicative polymorphism, simplyurn:uuid:31366b7e-6eae-4118-a768-eaff7d089f6e2023-08-20T00:00:00+00:002023-08-20T00:00:00+00:00From insights gained writing a type checkerI adopted a cat!urn:uuid:e0429374-f764-45c6-98c4-508795aafd682022-12-18T00:00:00+00:002022-12-18T00:00:00+00:00Meet Katya 😊