ความถูกต้องของซอฟต์แวร์และความปลอดภัยของซัพพลายเชน: บทสนทนากับ Sean Allen

The Pragmatic Engineer สัมภาษณ์ Sean Allen วิศวกรระดับสูงที่ Antithesis และผู้มีส่วนร่วมหลักในภาษา Pony เกี่ยวกับความถูกต้องของซอฟต์แวร์และความปลอดภัยของซัพพลายเชน Allen ให้เหตุผลว่าระบบชนิดข้อมูลที่แข็งแกร่งในตระกูลภาษา ML จับข้อผิดพลาดได้มากกว่าในเวลาคอมไพล์เมื่อเทียบกับภาษาตระกูล ALGOL และการทดสอบด้วยมือเป็นวิธีที่แย่ที่สุดในการรับรองความถูกต้อง เขายังกล่าวว่าไม่มีวิธีแก้ปัญหาเดียวที่ง่ายสำหรับการโจมตีซัพพลายเชน เนื่องจากภาษาที่มีการป้องกันอย่างแข็งแกร่งเช่น 'E' ไม่เป็นที่นิยม ในขณะที่ภาษายอดนิยมนั้นตั้งสมมติฐานว่าระบบนิเวศน์มีความน่าเชื่อถือ