🧷 ไม่หลุดตัวเลือก แต่ไม่ได้แปลว่าถูกเสมอ

ถ้าโปรแกรมถามแชทบอทว่า "ข้อความนี้ควรส่งให้ทีมไหน" คำตอบอาจออกมาได้หลายหน้าตา

แชทบอทอาจตอบว่า   "น่าจะเป็นทีมไรเดอร์นะคะ"
                  "Rider"
                  "ไรเดอร์ (แต่อาจเป็นครัวก็ได้)"
Jev ตอบได้แค่      kitchen | rider | order_change | compliment | other

โปรแกรมต้องแกะคำตอบของแชทบอทก่อนใช้ และบางครั้งก็แกะไม่ออก ระบบที่ทำงานเองทั้งวันพังได้จากเรื่องเล็กๆ แบบนี้

Jev ตอบนอกตัวเลือกที่เรากำหนดไม่ได้เลย เพราะมันถูกสร้างมาให้แบ่งความน่าจะเป็นให้ตัวเลือกเท่านั้น TypeSafe เรียกคุณสมบัตินี้ว่าไม่หลุดตัวเลือก (type-safe)

แต่ระวังอย่าเข้าใจผิด ไม่หลุดตัวเลือก ไม่ได้แปลว่าถูกเสมอ Jev ยังเลือกข้อผิดได้ บางครั้งยังมั่นใจด้วย

สิ่งที่ type-safe ให้คือ รูปแบบที่เชื่อได้ ส่วนความถูกต้องต้องดูจากความมั่นใจ และทดสอบกับข้อมูลที่รู้คำตอบ

Jev ตอบนอกตัวเลือกที่กำหนดไม่ได้ โปรแกรมจึงใช้คำตอบต่อได้ทันที แต่มันยังเลือกข้อผิดได้ ความถูกต้องต้องดูจากความมั่นใจและการทดสอบ