Jo, han har väl sant på det mesta, men jag tycker han glömmer en viktig del.
Alla program som använder Cocoa skrivs i Java eller Objective-C, vilket innebär mindre kod (=mindre fel) samt garbage collection, vilket innebär att minnesläckor är ett minne blott, vilket i sin tur innebär stabilare program för slutanvändaren.
Detta är då givetvis rent teoretiskt, men logiskt sett borde det stämma.
REAL Basic, som genererar Carbon, har även det garbage collection.