Covariance, Contravariance & the LSP
The Liskov Substitution Principle has implications for the way we should use covariance and contravariance.
Type-Systems
Go Constants and Type Coercion
Constants in Go, and an observation about the type system. Following on from previous articles about type coercion, another limited form is identified and explored.
Channel Directionality in Go
An exploration of channel direction in Go, and a perspective on its implications for the type system.