Ada's type system is not based on a

Ada's type system is not based on a set of predefined primitive types but allows users to declare their own types. This declaration in turn is not based on the internal representation of the type but on describing the goal which should be achieved. This allows the compiler to determine a suitable memory size for the type, and to check for violations of the type definition at compile time and run time (i.e. range violations, buffer overruns, type consistency, etc.). Ada supports numerical types defined by a range, modulo types, aggregate types (records and arrays), and enumeration types. Access types define a reference to an instance of a specified type; untyped pointers are not permitted. Special types provided by the language are task types and protected types.

For example a date might be represented as:

ผลลัพธ์ (ไทย) 1:

ระบบของ Ada ชนิดไม่ขึ้นอยู่กับชุดของชนิดดั้งเดิมที่กำหนดไว้ล่วงหน้า แต่ผู้ใช้สามารถกำหนดชนิดของตัวเอง รายงานนี้จะไม่อยู่ ในการแสดงภายในชนิด แต่อธิบายเป้าหมายที่ควรได้รับ นี้ช่วยให้คอมไพเลอร์ จะกำหนดขนาดหน่วยความจำที่เหมาะสมสำหรับชนิด และการตรวจสอบการละเมิดข้อกำหนดชนิดที่เวลาคอมไพล์ และเรียกใช้เวลา (เช่นช่วงละเมิด เกินบัฟเฟอร์ สอดคล้องชนิด ฯลฯ) Ada สนับสนุนชนิดตัวเลขที่กำหนด โดยช่วง modulo ชนิด ชนิดรวม (ระเบียนและอาร์เรย์), และชนิดแจงนับ การอ้างอิงไปยังอินสแตนซ์ของชนิดที่ระบุ กำหนดชนิดการเข้าถึง ไม่ได้ชี้ untyped โดยภาษาชนิดพิเศษเป็นงานชนิดและชนิดที่ได้รับการป้องกันเช่น อาจแสดงวันที่เป็น:

ผลลัพธ์ (ไทย) 2:

ระบบการพิมพ์ของ Ada ไม่ได้ตั้งอยู่บนพื้นฐานของรูปแบบดั้งเดิมที่กำหนดไว้ล่วงหน้า แต่ช่วยให้ผู้ใช้ในการประกาศประเภทของตัวเอง ประกาศในทางกลับกันนี้ไม่ได้อยู่บนพื้นฐานของการแสดงภายในประเภท แต่ในการอธิบายเป้าหมายที่ควรจะประสบความสำเร็จ นี้จะช่วยให้คอมไพเลอร์ในการกำหนดขนาดหน่วยความจำที่เหมาะสมสำหรับประเภทและการตรวจสอบการละเมิดการกำหนดประเภทที่รวบรวมเวลาและเวลาทำงาน (เช่นการละเมิดช่วงรุกบัฟเฟอร์สอดคล้องชนิดอื่น ๆ ) Ada สนับสนุนประเภทตัวเลขที่กำหนดโดยช่วงชนิดโมดูโลประเภทรวม (ระเบียนและอาร์เรย์) และประเภทการแจงนับ ประเภทการเข้าถึงกำหนดอ้างอิงถึงตัวอย่างของชนิดที่กำหนด; ตัวชี้ untyped ไม่ได้รับอนุญาต ชนิดพิเศษที่มีให้โดยภาษาที่มีงานประเภทและชนิดของการป้องกัน. ยกตัวอย่างเช่นวันที่อาจจะมีการแสดงเป็น:

ผลลัพธ์ (ไทย) 3:

ประเภทของระบบอัยการไม่ได้ขึ้นอยู่กับชุดของที่กำหนดไว้ล่วงหน้าแบบดั้งเดิม แต่ช่วยให้ผู้ใช้ที่จะประกาศประเภทของพวกเขาเอง ประกาศนี้ในการเปิดจะไม่อยู่บนพื้นฐานของการเป็นตัวแทนภายในประเภทแต่ในการอธิบายเป้าหมายที่ควรได้รับ . นี้จะช่วยให้คอมไพเลอร์จะกำหนดขนาดหน่วยความจำที่เหมาะสมสำหรับประเภทและเพื่อตรวจสอบการละเมิดประเภทคำจำกัดความที่รวบรวมเวลาและเวลาในการรัน ( เช่นช่วงการละเมิด บัฟเฟอร์โอเวอร์รัน ประเภทความสอดคล้อง ฯลฯ ) เอสนับสนุนตัวเลขประเภทที่กำหนดโดยช่วง ประเภท โมดูโล่ ประเภทรวม ( ประวัติและอาร์เรย์ ) และประเภทการแจกแจง ประเภทการกำหนดอ้างอิงกับอินสแตนซ์ของชนิดที่ระบุ ; untyped ชี้ไม่ได้รับอนุญาตพิเศษประเภทโดยภาษาประเภทงานและการป้องกันชนิด

ตัวอย่างเช่นอาจจะแสดงเป็น :