Lower bounds on generic types enable richer subtyping and value creation, contrasting with upper bounds and union types in programming languages like Sorbet and Scala.
About:
A collection of blog posts about programming, software, types, programming languages, Sorbet, Vim, Markdown, and more.
Website:
Specializations:
Incoming Links:
Outgoing Links:
Subscribe to RSS:
5.2Bugs Block Blogs
2026-01-21 • programming development ruby bugs sorbet
Writing blog posts has been hindered by persistent bugs in Sorbet, leading to a cycle of fixing issues rather than completing content.
Effective 'shipped emails' can be improved through clear subject lines, bullet points, and structured content to enhance readability for busy readers.
The text discusses the historical context and development of Sorbet, a type checker for Ruby. It explains the reasons for its development, the challenges faced, and the evolution of its syntax. The author also talks about the appe...
The text discusses using Sorbet and the need to make the interface depend on an abstract method instead of an instance variable. It provides a solution and discusses worse alternatives to solve the problem.
0What if typing on phones was fast?
2024-11-27 •
The author discusses the limitations of text input on mobile devices compared to computer keyboards, highlighting the slower speed and lack of precision. They question the impact of these limitations on productivity and creativity...
0Approximating strace with Instruments.app
2024-10-09 •
Instruments.app on macOS can record file system activity, providing an alternative to strace on Linux. It helps trace a process to see which global config files it's reading, making it easy to figure out when a program works diffe...
0Using my iPhone as a travel laptop
2024-09-15 •
The author discusses using a wireless keyboard with his iPhone to turn it into a laptop replacement for travel. He explains the software and apps he uses to make this setup workable and the benefits and limitations of this setup.
0Bug squash: An underrated interview question
2024-08-17 •
The text discusses the bug squash interview, a unique and effective software engineering interview style that reflects everyday software development, is fun, and allows candidates to self-assess their progress. It is especially us...
Sorbet does not allow generic methods to have non-generic default arguments. There are a couple of alternatives to this restriction, including removing the default and adding another method, declaring an overloaded method, or usin...
0A trick for invariant generics in Sorbet
2024-06-06 •
The text discusses a trick for using generic methods to get around some of the limitations that invariant type members in generic classes carry. It explains the problem and provides a solution using type_parameters.
0Old vs new case statement in Ruby
2024-05-31 •
The author prefers Ruby's case/when syntax to the new pattern matching syntax with case/in. The case/when syntax is less brittle to modifications and less prone to merge conflicts. The author lists the current limitations of Sorbe...
0Abstract singleton class methods are an abomination
2024-01-02 •
The text discusses the issue of abstract singleton class methods in Sorbet, a type checker for Ruby. It explains the problems with abstract singleton class methods and suggests alternatives to using them. The author also compares ...
0Why don’t constructors have override checking?
2023-12-31 •
The text discusses how constructors work in object-oriented languages, specifically Ruby and Java. It delves into the implementation of Class#new in Ruby and the Java bytecode. It also explores how typed, object-oriented languages...
0Inheritance in Ruby, in pictures
2023-12-28 •
The text discusses inheritance in Ruby, focusing on the < operator, the singleton class, and the relationship between classes and singleton classes. It also explains the include and extend operators and their differences. The auth...