I think you do your analysis a disservice by focusing on “is assembly language typed?” as the top line question. The more interesting question you examine is what do the type constraints in inline asm offer, and how do they interact with the host language’s type system?

I also think we should differentiate between programming to get a program you can do something else with, programming to understand the machine, and programming to give the programmer a logical challenge to keep their skills sharp.

I’m clearly not a typical driver. I love keeping the camera views all on screen for situational awareness. I don’t use cruise control and rarely use GPS navigation, even back when I used to drive cross country in previous cars. I guess I just got used to memorizing entire routes in my long distance biking days. Google Maps Street View really helps me understand exactly where I’ll be going.

The incomplete, miscategorizing and glitching display of other vehicles and obstacles does not give me confidence that the car is able to correctly identify what’s around it, let alone drive accordingly.

Even the lane departure warnings are 90% false positives (but I’d rather be warned than not).

Just driving normally is much less stressful and more fun than supervising the car’s attempt at driving like a teenager.

But Linux has gotten better in that time period, too. I wouldn’t say it’s quite as refined out of the box. But Linux is ahead in the ability to do whatever you want and keep using your old hardware.

For people who care about how computers work, I think Linux is a more stimulating environment than macOS to work in. Even though—or partly because—you may have to dig in a little deeper to get things working the ways you want.