มันคือการดำเนินการของภาษา ML ที่อยู่บนพื้นฐานของ Caml ภาษาแสงขยายด้วยระบบวัตถุชั้นตามที่สมบูรณ์และระบบโมดูลที่มีประสิทธิภาพในรูปแบบของมาตรฐานมิลลิลิตร
วัตถุประสงค์ Caml ประกอบด้วยสองคอมไพเลอร์ หนึ่งสร้าง bytecode ซึ่งถูกตีความแล้วโดยโปรแกรม C
คอมไพเลอร์นี้จะทำงานได้อย่างรวดเร็วเป็นแบบพกพาเป็นหลักใด ๆ 32 หรือ 64 บิตแพลตฟอร์ม Unix และสร้างรหัสขนาดเล็กที่มีหน่วยความจำในระดับปานกลางต้องการ
ผลการดำเนินงานของโปรแกรมที่สร้างขึ้นค่อนข้างดีสำหรับการดำเนินงาน bytecoded
คอมไพเลอร์นี้สามารถนำมาใช้ไม่ว่าจะเป็นแบบสแตนด์อโลนคอมไพเลอร์ชุดที่มุ่งเน้นที่การผลิตรายการแบบสแตนด์อโลนหรือเป็นแบบโต้ตอบระบบระดับบนสุดตาม
คอมไพเลอร์อื่น ๆ ที่ก่อให้เกิดประสิทธิภาพสูงรหัสพื้นเมืองสำหรับจำนวน
ในการประมวลผล
ใช้เวลานานในการรวบรวมและสร้างรหัสที่ใหญ่กว่า แต่โปรแกรมที่สร้างขึ้นมอบประสิทธิภาพการทำงานที่ยอดเยี่ยมขณะที่การรักษาความต้องการหน่วยความจำปานกลางของคอมไพเลอร์ bytecode
วัตถุประสงค์ Caml เป็นตัวแปรที่นิยมมากที่สุดของภาษา Caml
จากมุมมองของภาษาที่จะขยาย Caml ภาษาหลักที่มีชั้นเชิงวัตถุเต็มเปี่ยมเช่นเดียวกับระบบที่มีประสิทธิภาพโมดูลทั้งหมดที่เชื่อมต่อกันด้วยเสียง, ระบบการพิมพ์ที่มี polymorphic อนุมานชนิด
ระบบ Caml วัตถุประสงค์คือการดำเนินการอุตสาหกรรมความแข็งแรงของภาษานี้มีประสิทธิภาพสูงเรียบเรียงรหัสพื้นเมือง (ocamlopt) 9 สถาปัตยกรรมหน่วยประมวลผล (IA32, PowerPC, AMD64, อัลฟา Sparc, MIPS, IA64, HPPA, StrongArm) เช่นเดียวกับคอมไพเลอร์ bytecode (ocamlc) และวงโต้ตอบอ่าน EVAL พิมพ์ (ocaml) สำหรับการพัฒนาอย่างรวดเร็วและพกพา
วัตถุประสงค์การจัดจำหน่าย Caml รวมถึงห้องสมุดมาตรฐานครอบคลุมดีบักรีเพลย์ (ocamldebug) lexer (ocamllex) และแยกวิเคราะห์ (ocamlyacc) เครื่องกำเนิดไฟฟ้าหน่วยประมวลผลก่อนสวยเครื่องพิมพ์ (camlp4) และเครื่องกำเนิดไฟฟ้าเอกสาร (ocamldoc).
มีอะไรใหม่ ในข่าวประชาสัมพันธ์นี้:
- การปรับปรุงเพื่อ Tcl / Tk 8.6.
- ปฏิเสธการประกาศหลายวิธีการเดียวกันหรือตัวแปรเช่นในวัตถุ.
- เผยแพร่ข้อมูลประเภทที่มีต่อรูปแบบการจับคู่แม้ในการปรากฏตัวของสายพันธุ์ polymorphic ได้.
มีอะไรใหม่ ในรุ่น 4.02.1:
- การปรับปรุงเพื่อ Tcl / Tk 8.6.
- ปฏิเสธการประกาศหลายวิธีการเดียวกันหรือตัวแปรเช่นในวัตถุ.
- เผยแพร่ข้อมูลประเภทที่มีต่อรูปแบบการจับคู่แม้ในการปรากฏตัวของสายพันธุ์ polymorphic ได้.
มีอะไรใหม่ ในรุ่น 3.12.1:
- บัดคงที่:
- ตัวแปรที่ไม่ได้ใช้ในการตรวจไม่พบ "รวมถึง (struct .. จบ)"
- camlp4 แก้ไขข้อผิดพลาดในการพิมพ์ไวยากรณ์ในระดับบนสุด (รายงานเมื่อวันที่ Caml รายการ)
- กำหนดค่า: ไม่ได้กำหนด _WIN32 ภายใต้ Cygwin
- แข็งเปรียบเทียบทั่วไปในกรณีที่สองช่วงตึกที่กำหนดเองจะเปรียบเทียบและมีชุดที่แตกต่างของการดำเนินงานที่กำหนดเอง.
- แข็งเปรียบเทียบระหว่าง bigarrays ในกรณีที่ทั้งสอง bigarrays มีชนิดที่แตกต่างกัน.
- ตรวจสอบอัตโนมัติคงไม่ถูกต้องของ expm1 () และ log1p ().
- ไม่ต้องเพิ่มท้าย exe เมื่อติดตั้งสคริปต์เปลือก ocamlmktop
- ocamldoc: แก้ไขเล็ก ๆ น้อย ๆ ที่เกี่ยวข้องกับการแสดงผลของตัวเลือก ocamldoc ก
- แก้ไขข้อผิดพลาดที่มีค่ามากใน OCAMLRUNPARAM
- ไม่ตรงกันระหว่างการประกาศและความหมายของ caml_major_collection_slice
- ความปรารถนาคุณสมบัติ:
- เพิ่ม '-ml-ไวพจน์' และ '-mli-ไวพจน์' ตัวเลือกในการ ocamldep
- เพิ่ม '-ocamldoc' ตัวเลือกที่จะ ocamlbuild
- ความเป็นไปได้ที่เพิ่มเข้ามาเพื่อเพิ่มตัวเลือกในการ ocamlbuild
- เพิ่มการเข้าถึง parsers camlp4 ปัจจุบันและเครื่องพิมพ์
- เลือกการเรียนการสอนที่ดีขึ้นสำหรับการดำเนินงานเกี่ยวกับการลอย amd64
- เพิ่ม 'usage_string' ฟังก์ชั่นที่จะหาเรื่อง
- อนุญาตให้มีข้อ จำกัด ในการเพิ่มประเภทสมการเพื่อความหมายประเภทข้อมูล
- อนุญาตที่จะผสาน '@before' แท็กเหมือนคนอื่น ๆ
- อนุญาตให้พึ่งพาไฟล์ "_oasis"
- การเปลี่ยนแปลงอื่น ๆ :
- เปลี่ยนค่าเริ่มต้นขนาดกองเล็ก ๆ น้อย ๆ จากการ 32k 256k คำ.
- การดำเนินงานที่เพิ่มเข้ามาใหม่ 'compare_ext' เพื่อบล็อกที่กำหนดเองที่เรียกว่าเมื่อเปรียบเทียบค่าบล็อกที่กำหนดเองกับจำนวนเต็มไม่มีกล่อง.
มีอะไรใหม่ ในรุ่น 3.12.0:
- รูปแบบการบันทึกในรูปแบบ {lbl = pat นั้น _} เพื่อทำเครื่องหมายที่ไม่ได้ป้ายทั้งหมดมีการระบุไว้อย่างเด็ดเดี่ยว.
- คำเตือนจะมีหมายเลขในขณะนี้และสามารถเปิดและปิดเป็นรายบุคคล ระบบเก่าที่มีตัวอักษรหมายถึงชุดของคำเตือนยังคงได้รับการสนับสนุน.
- เพิ่มตัวเลือก '-strict ลำดับ' ที่จะบังคับให้ส่วนด้านซ้ายมือลำดับที่จะมีหน่วยประเภท.
- แผนที่:. ใช้ฟังก์ชั่นจากชุดที่ให้ความรู้สึกสำหรับแผนที่
- เพิ่มการสนับสนุนสำหรับ dynlink พื้นเมือง.
- ความหมายของคำเตือน 7 (รหัส 'M', วิธีแทนที่) มีการเปลี่ยนแปลง (ตอนนี้ตรวจพบการแทนที่ทั้งหมดไม่จำกัดความซ้ำเพียงภายในร่างกายชั้นเดียวกัน) และก็คือตอนนี้ไม่ได้ใช้งานโดยค่าเริ่มต้น.
มีอะไรใหม่ ในรุ่น 3.11.2:
- เอกสารที่ดีกว่าสำหรับนาทีและสูงสุด w.r.t. น่าน
- ocamlbuild ใช้คอมไพเลอร์ที่ไม่ถูกต้องสำหรับไฟล์ C
- ocamlbuild ไม่ได้ใช้อย่างถูกต้องกำหนดค่าข้อมูล
- ภายใต้การติดตั้งของ Windows บางครั้งเริ่มต้นขึ้นสูงสำหรับ Unix lib
- ปัญหาเกี่ยวกับ scanf และ CRLF
- ปัญหา ocamlmklib ภายใต้ Windows
- BSD ปัญหาที่มีที่อยู่ซ็อกเก็ตเช่น ใน Unix.getnameinfo
- ปัญหากับแยกของตัวอักษรลอยโดยประกอบ GNU
- ปัญหากับโมดูลและประเภทส่วนตัว
ต้องการ
- GNU คอมไพเลอร์ C - gcc
ความคิดเห็นที่ไม่พบ