Remix.run Logo
lmm 2 hours ago

Types are the closest thing to a free lunch that exists in this fallen world. Yes they're not perfect because nothing is, but their cost/benefit is astonishingly good.

noosphr 2 hours ago | parent [-]

A shoe five sizes too small is very comfortable for someone who cut off his toes.

lmm an hour ago | parent [-]

It would be a mistake to conclude that this means shoes are pointless or there's no such thing as a shoe that fits well.