Jekyll2026-01-21T18:17:55-05:00https://blog.jez.io/feed/plt.xmlJake Zimmerman | PltA collection of blog posts about programming, software, types, programming languages, Sorbet, Vim, Markdown, and more.Jake ZimmermanWhy have lower bounds on generics?2025-12-23T15:46:34-05:002025-12-23T15:46:34-05:00https://blog.jez.io/lower-boundsJake ZimmermanPast, Present, and Future of Sorbet Type Syntax2025-04-25T01:57:00-04:002025-04-25T01:57:00-04:00https://blog.jez.io/history-of-sorbet-syntaxJake ZimmermanEvery type is defined by its intro and elim forms2023-04-23T19:43:00-04:002023-04-23T19:43:00-04:00https://blog.jez.io/intro-elimJake ZimmermanSorbet, Generics, and Parametricity2022-02-18T02:59:55-05:002022-02-18T02:59:55-05:00https://blog.jez.io/sorbet-parametricityJake ZimmermanNotes on Continuations2019-06-18T21:03:13-04:002019-06-18T21:03:13-04:00https://blog.jez.io/continuations-notesJake ZimmermanABTs in Haskell2017-11-12T01:31:41-05:002017-11-12T01:31:41-05:00https://blog.jez.io/abts-in-haskellJake ZimmermanVariables and Binding2017-10-28T22:04:01-04:002017-10-28T22:04:01-04:00https://blog.jez.io/variables-and-bindingJake ZimmermanSystem Fω and Parameterization2017-09-27T22:14:45-04:002017-09-27T22:14:45-04:00https://blog.jez.io/system-f-paramJake ZimmermanVariables in Types2017-09-25T05:17:31-04:002017-09-25T05:17:31-04:00https://blog.jez.io/variables-in-typesJake Zimmerman