Jekyll2026-01-21T18:17:55-05:00https://blog.jez.io/feed/types.xmlJake Zimmerman | TypesA 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 ZimmermanGeneric methods cannot have non-generic defaults in Sorbet2024-07-28T13:47:45-04:002024-07-28T13:47:45-04:00https://blog.jez.io/generic-method-defaultJake ZimmermanAbstract singleton class methods are an abomination2024-01-01T19:25:23-05:002024-01-01T19:25:23-05:00https://blog.jez.io/abstract-singleton-methodsJake ZimmermanWhy don’t constructors have override checking?2023-12-31T00:14:09-05:002023-12-31T00:14:09-05:00https://blog.jez.io/constructor-override-checkingJake ZimmermanInheritance in Ruby, in pictures2023-12-28T15:31:20-05:002023-12-28T15:31:20-05:00https://blog.jez.io/inheritance-in-rubyJake ZimmermanWhy Sorbet needs T.let(…, T::Boolean)2023-05-13T19:31:29-04:002023-05-13T19:31:29-04:00https://blog.jez.io/t-let-booleanJake 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 ZimmermanTyping klass.new in Ruby with Sorbet2023-02-19T22:34:27-05:002023-02-19T22:34:27-05:00https://blog.jez.io/typing-klass-newJake ZimmermanProblems typing equality in Ruby2023-01-24T16:12:15-05:002023-01-24T16:12:15-05:00https://blog.jez.io/problems-typing-ruby-equalityJake Zimmerman