
I don’t know about you, but quite frankly I’m tired of seeing the same tired vector example being used to demonstrate why dependent types are useful. Recently, I had the opportunity to use current Haskell’s dependently-typed facilities to solve a so…
Now refrigerators last 8–10 years, if you are fortunate. How in the world have our appliances regressed so much in the past few decades? I’ve bought and sold refrigerators and freezers from the 1950’s that still work perfectly fine. I’ve come across washers and dryers from the 1960’s and 1970’s that were still working like the day they were made. Now, many appliances break and need servicing within 2–3 years and, overall, new appliances last 1/3 to 1/4 as long as appliances built decades ago. They break more frequently, and sooner, than ever before. They rust and deteriorate …