จากวิกิพีเดีย สารานุกรมเสรี
แต่ type เป็นนามธรรมเช่น method ใน en:Type system พูดถึง value และ expression ในความเป็นจริงภาษาพวกนี้ก็แบ่งแยกชัด เช่น Objective-C ก็ไม่ถูกจัดกลุ่มเป็นภาษาแบบอพลวัต(ซึ่งไม่ทราบว่าซอฟต์แวร์เอนจิเนียร์สำนักไหนเป็นผู้บัญญัติอ่านชื่อแล้วไม่เข้าใจว่าบัญญัติมาให้ใครอ่าน ทั้งนี้ไม่ได้ว่าร้ายใคร)ทั้งที่ภาษาก็ใช้ ระบบตัวแปร แบบ C เป็นหลักแต่ที่จัดกลุ่มเป็นภาษาแบบพลวัตเนื่องจากกระบวนการ binding (เขียนไว้ในเรื่อง type system) จึงขอเสนอชื่อที่ฟังแล้วงงกว่าเดิมแต่อ่านดูแล้วคิดว่าผิดน้อยกว่า คือ กระบวนการจำแนกชนิดในภาษาโปรแกรม --ข้อความนี้ไม่ได้ลงชื่อ ซึ่งออกความเห็นโดยผู้ใช้ Banlu Kemiyatorn (พูดคุย • หน้าที่เขียน) 19:49, 11 ธันวาคม 2551 (ICT)
