นี่คือคำสั่ง ocaml ที่สามารถเรียกใช้ในผู้ให้บริการโฮสต์ฟรีของ OnWorks โดยใช้เวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
ocaml - ระดับบนสุดแบบโต้ตอบ OCaml
เรื่องย่อ
โอแคม [ ตัวเลือก ] [ ไฟล์วัตถุ ] [ ไฟล์สคริปต์ ]
DESCRIPTION
การขอ โอแคม(1) คำสั่งเป็นระบบระดับบนสุดสำหรับ OCaml ที่อนุญาตให้ใช้
ระบบ OCaml ผ่านลูปอ่าน-eval-print ในโหมดนี้ระบบจะอ่านซ้ำ
วลี OCaml จากอินพุต จากนั้นพิมพ์เช็ค คอมไพล์และประเมิน จากนั้นพิมพ์
ประเภทที่อนุมานและค่าผลลัพธ์ หากมี ระบบพิมพ์ # (sharp) prompt ก่อน
การอ่านแต่ละวลี
วลีระดับบนสุดสามารถขยายได้หลายบรรทัด สิ้นสุดโดย ;; (เครื่องหมายอัฒภาคคู่). NS
วากยสัมพันธ์ของวลีระดับบนสุดมีดังนี้
ระบบระดับบนสุดเริ่มต้นโดยคำสั่ง โอแคม(1). วลีอ่านตามมาตรฐาน
อินพุต ผลลัพธ์จะพิมพ์บนเอาต์พุตมาตรฐาน ข้อผิดพลาดในข้อผิดพลาดมาตรฐาน สิ้นสุดไฟล์เมื่อ
อินพุตมาตรฐานสิ้นสุดลง โอแคม(1)
ถ้าอย่างน้อยหนึ่ง ไฟล์วัตถุ (ลงท้ายด้วย .cmo หรือ .cma) จะถูกโหลดอย่างเงียบ ๆ
ก่อนเริ่มระดับบนสุด
ถ้า ไฟล์สคริปต์ จะได้รับ, วลีจะถูกอ่านอย่างเงียบ ๆ จากไฟล์, ข้อผิดพลาดที่พิมพ์บน
มาตรฐานบกพร่อง. โอแคม(1) ออกหลังจากการดำเนินการของวลีสุดท้าย
OPTIONS
ตัวเลือกบรรทัดคำสั่งต่อไปนี้ได้รับการยอมรับโดย โอแคม(1)
-absname
แสดงชื่อไฟล์ที่แน่นอนในข้อความแสดงข้อผิดพลาด
-I ไดเรกทอรี
เพิ่มไดเร็กทอรีที่กำหนดในรายการไดเร็กทอรีที่ค้นหาแหล่งที่มาและคอมไพล์แล้ว
ไฟล์. โดยค่าเริ่มต้น ไดเร็กทอรีปัจจุบันจะถูกค้นหาก่อน จากนั้นจึงค้นหา standard
ไดเรกทอรีห้องสมุด ไดเร็กทอรีที่เพิ่มด้วย -I ถูกค้นหาตามกระแส
ไดเร็กทอรีตามลำดับที่ได้รับบนบรรทัดคำสั่ง แต่ก่อนหน้า
ไดเร็กทอรีไลบรารีมาตรฐาน
หากไดเร็กทอรีที่กำหนดขึ้นต้นด้วย +, มันถูกนำมาสัมพันธ์กับไลบรารีมาตรฐาน
ไดเร็กทอรี ตัวอย่างเช่น -I +คอมไพเลอร์-libs เพิ่มไดเรกทอรีย่อย คอมไพเลอร์-libs of
ไลบรารีมาตรฐานไปยังเส้นทางการค้นหา
ไดเรกทอรีสามารถเพิ่มไปยังเส้นทางการค้นหาเมื่อระดับบนสุดทำงานด้วย
#ไดเรกทอรี คำสั่ง
-ในนั้น ไฟล์
โหลดไฟล์ที่กำหนดแทนไฟล์เริ่มต้นเริ่มต้น ไฟล์เริ่มต้น
is .ocamlinit ในไดเร็กทอรีปัจจุบันหากมีอยู่ มิฉะนั้น .ocamlinit ที่
โฮมไดเร็กทอรีของผู้ใช้
-ฉลาก
ฉลากไม่ละเว้นในประเภท ฉลากอาจใช้ในการใช้งานและติดฉลาก
สามารถกำหนดพารามิเตอร์ในลำดับใดก็ได้ นี่คือค่าเริ่มต้น
-no-app-ฟังก์ชั่น
ปิดใช้งานพฤติกรรมการใช้งานของ functors ด้วยตัวเลือกนี้ แต่ละ functor
แอปพลิเคชันสร้างรูปแบบใหม่ในผลลัพธ์และใช้ฟังก์ชันเดียวกันสองครั้ง
อาร์กิวเมนต์เดียวกันให้ผลสองโครงสร้างที่เข้ากันไม่ได้
-noasser
ห้ามรวบรวมการตรวจสอบยืนยัน โปรดทราบว่ารูปแบบพิเศษ ยืนยัน เท็จ อยู่เสมอ
เรียบเรียงเพราะพิมพ์พิเศษ
-ไม่มีป้ายกำกับ
ละเว้นป้ายกำกับที่ไม่จำเป็นในประเภท ไม่สามารถใช้ฉลากในแอปพลิเคชันและ
ลำดับพารามิเตอร์จะเข้มงวด
-ไม่พร้อมรับคำ
อย่าแสดงพรอมต์ใด ๆ เมื่อรอการป้อนข้อมูล
-nopromptcont
อย่าแสดงพรอมต์รองเมื่อรอบรรทัดต่อเนื่องในหลาย
อินพุตสาย ควรใช้เช่นเมื่อวิ่ง โอแคม(1) ใน an emacs(1) หน้าต่าง
-nostdlib
ไม่รวมไดเร็กทอรีไลบรารีมาตรฐานในรายการไดเร็กทอรีที่ค้นหา
สำหรับซอร์สและไฟล์ที่คอมไพล์แล้ว
-เปิด โมดูล
เปิดโมดูลที่กำหนดก่อนที่จะเริ่มระดับบนสุด ถ้าหลาย -เปิด ตัวเลือกคือ
จะได้รับการประมวลผลตามลำดับราวกับว่าคำสั่งเปิด! โมดูล1;; ...
เปิด! โมดูลN;; ถูกป้อนข้อมูล
-หน้า คำสั่ง
หลังจากแยกวิเคราะห์ ให้ไพพ์แผนผังโครงสร้างนามธรรมผ่านตัวประมวลผลล่วงหน้า คำสั่งส่วน
โมดูล Ast_mapper(3) ใช้อินเทอร์เฟซภายนอกของตัวประมวลผลล่วงหน้า
-อาจารย์ใหญ่
ตรวจสอบเส้นทางข้อมูลระหว่างการตรวจสอบประเภทเพื่อให้แน่ใจว่าทุกประเภท
ได้มาโดยวิธีหลัก เมื่อใช้อาร์กิวเมนต์ที่มีป้ายกำกับและ/หรือ polymorphic
เมธอด แฟล็กนี้จำเป็นเพื่อให้แน่ใจว่าคอมไพเลอร์เวอร์ชันในอนาคตจะเป็น
สามารถอนุมานประเภทได้อย่างถูกต้องแม้ว่าอัลกอริธึมภายในจะเปลี่ยนไป ทุกโปรแกรม
ได้รับการยอมรับใน -อาจารย์ใหญ่ โหมดยังเป็นที่ยอมรับในโหมดเริ่มต้นที่เทียบเท่า
ประเภทแต่ลายเซ็นไบนารีที่แตกต่างกันและสิ่งนี้อาจทำให้การตรวจสอบประเภทช้าลง ยัง
ควรใช้เพียงครั้งเดียวก่อนเผยแพร่ซอร์สโค้ด
-recttypes
อนุญาตประเภทเรียกซ้ำตามอำเภอใจระหว่างการตรวจสอบประเภท โดยค่าเริ่มต้น เรียกซ้ำเท่านั้น
ประเภทที่การเรียกซ้ำผ่านประเภทวัตถุได้รับการสนับสนุน
-เซฟสตริง
บังคับแยกประเภท เชือก และ ไบต์ดังนั้นจึงทำให้สตริงอ่าน-
เท่านั้น. สิ่งนี้จะกลายเป็นค่าเริ่มต้นใน OCaml เวอร์ชันอนาคต
- ทางสั้น
เมื่อประเภทสามารถมองเห็นได้ภายใต้หลายเส้นทางของโมดูล ให้ใช้ประเภทที่สั้นที่สุดเมื่อ
พิมพ์ชื่อประเภทในอินเทอร์เฟซที่อนุมานและข้อความแสดงข้อผิดพลาดและคำเตือน
-stdin อ่านอินพุตมาตรฐานเป็นไฟล์สคริปต์แทนที่จะเริ่มโต้ตอบ
เซสชั่น
-เข้มงวด-ลำดับ
บังคับส่วนซ้ายมือของแต่ละซีเควนซ์ให้มีหน่วยประเภท
-ไม่ปลอดภัย
ปิดการตรวจสอบที่ถูกผูกไว้กับการเข้าถึงอาร์เรย์และสตริง (the ก.(ผม)และส.[ผม]
โครงสร้าง) โปรแกรมที่คอมไพล์ด้วย -ไม่ปลอดภัย จึงเร็วกว่าเล็กน้อย แต่
ไม่ปลอดภัย: อะไรก็เกิดขึ้นได้หากโปรแกรมเข้าถึงอาร์เรย์หรือสตริงนอก
ขอบเขตของมัน
-unsafe-สตริง
ระบุประเภท เชือก และ ไบต์ดังนั้นจึงทำให้สตริงสามารถเขียนได้ ด้วยเหตุผล
ของความเข้ากันได้แบบย้อนหลัง นี่คือการตั้งค่าเริ่มต้นในขณะนี้ แต่สิ่งนี้
จะมีการเปลี่ยนแปลงใน OCaml เวอร์ชันอนาคต
-version
พิมพ์สตริงเวอร์ชันและออก
-vnum พิมพ์หมายเลขเวอร์ชันสั้นและออก
-w รายการเตือน
เปิดหรือปิดคำเตือนตามอาร์กิวเมนต์ รายการเตือน. ดู ocamlc(1)
สำหรับไวยากรณ์ของ รายการเตือน ข้อโต้แย้ง.
-เตือนข้อผิดพลาด รายการเตือน
ทำเครื่องหมายว่าคำเตือนที่อธิบายโดยอาร์กิวเมนต์เป็นอันตรายถึงชีวิต รายการเตือน. สังเกตว่า a
คำเตือนจะไม่ถูกทริกเกอร์ (และจะไม่ทำให้เกิดข้อผิดพลาด) หากปิดโดย
-w ตัวเลือก. ดู ocamlc(1) สำหรับไวยากรณ์ของ รายการเตือน ข้อโต้แย้ง.
-เตือน-ช่วยเหลือ
แสดงคำอธิบายหมายเลขคำเตือนที่มีทั้งหมด
- ไฟล์ ใช้ ไฟล์ เป็นชื่อไฟล์สคริปต์ แม้ว่าจะขึ้นต้นด้วยยัติภังค์ (-)
-ช่วยด้วย or --ช่วยด้วย
แสดงสรุปการใช้งานสั้นๆ และออก
และพวกเรา ตัวแปร
LC_CTYPE
หากตั้งค่าเป็น iso_8859_1 อักขระเน้นเสียง (จากชุดอักขระ ISO Latin-1) ใน
ตัวอักษรสตริงและตัวอักษรถูกพิมพ์ตามที่เป็นอยู่ มิฉะนั้นจะพิมพ์เป็น
ลำดับการยกเว้นทศนิยม
ระยะ เมื่อพิมพ์ข้อความแสดงข้อผิดพลาด ระบบระดับบนสุดจะพยายามขีดเส้นใต้ด้วยสายตา
ตำแหน่งของข้อผิดพลาด ศึกษาตัวแปร TERM เพื่อกำหนดประเภทของ
เทอร์มินัลเอาต์พุตและค้นหาความสามารถในฐานข้อมูลเทอร์มินัล
ใช้ ocaml ออนไลน์โดยใช้บริการ onworks.net
