คำถามติดแท็ก ocaml

ฉันเจอคำว่า 'Functor' สองสามครั้งในขณะที่อ่านบทความต่าง ๆ เกี่ยวกับฟังก์ชันการเขียนโปรแกรม แต่ผู้เขียนมักจะถือว่าผู้อ่านเข้าใจคำนั้นอยู่แล้ว การมองไปรอบ ๆ บนเว็บได้ให้คำอธิบายทางเทคนิคมากเกินไป (ดูบทความ Wikipedia ) หรือคำอธิบายที่คลุมเครืออย่างไม่น่าเชื่อ (ดูหัวข้อใน Functors ที่เว็บไซต์ ocaml-tutorial ) ใครบางคนสามารถกำหนดคำอธิบายการใช้งานและอาจเป็นตัวอย่างของวิธีการสร้างและใช้งานผู้ใช้ แก้ไข : ในขณะที่ฉันสนใจในทฤษฎีหลังคำ แต่ฉันสนใจทฤษฎีน้อยกว่าฉันในการนำไปปฏิบัติและใช้ประโยชน์จากแนวคิด แก้ไข 2 : ดูเหมือนว่ามีบางจุดเชื่อมโยงข้ามที่เกิดขึ้น: ฉันหมายถึงเฉพาะ Funisors ของการเขียนโปรแกรมการทำงานไม่ใช่วัตถุฟังก์ชั่นของ C ++

224 functional-programming  ocaml  functor 

ปิด. คำถามนี้ไม่เป็นไปตามหลักเกณฑ์กองมากเกิน ขณะนี้ยังไม่ยอมรับคำตอบ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้เป็นหัวข้อสำหรับ Stack Overflow ปิดให้บริการใน4 ปีที่แล้ว ปรับปรุงคำถามนี้ F # มาจาก OCaml แต่มีรายการหลักอะไรบ้างที่ขาดหายไปหรือเพิ่มเข้าไป? โดยเฉพาะฉันอยากรู้ว่าแหล่งข้อมูลสำหรับการเรียนรู้ OCaml นั้นมีประโยชน์กับคนที่ต้องการเรียนรู้ F # หรือไม่

126 f#  ocaml  functor 

ไม่เคยเห็น "คุณลักษณะ" นี้จากที่อื่น ฉันรู้ว่าบิตที่ 32 ใช้สำหรับการรวบรวมขยะ แต่เหตุใดจึงเป็นเช่นนั้นสำหรับ ints เท่านั้นไม่ใช่สำหรับประเภทพื้นฐานอื่น ๆ

115 integer  ocaml 

เหตุใดฟังก์ชันใน F # และ Ocaml (และอาจเป็นภาษาอื่น ๆ ) จึงไม่เรียกใช้ซ้ำตามค่าเริ่มต้น กล่าวอีกนัยหนึ่งว่าเหตุใดนักออกแบบภาษาจึงตัดสินใจว่าควรกำหนดให้คุณพิมพ์recคำประกาศอย่างชัดเจนเช่น: let rec foo ... = ... และไม่ให้ฟังก์ชันเรียกซ้ำตามค่าเริ่มต้น? ทำไมต้องมีrecโครงสร้างที่ชัดเจน?

105 f#  recursion  ocaml 

ในภาษาที่ใช้งานได้อย่างแท้จริงเช่น Haskell มีอัลกอริทึมในการรับค่าผกผันของฟังก์ชัน (แก้ไข) เมื่อเป็น bijective หรือไม่? และมีวิธีเฉพาะเจาะจงในการตั้งโปรแกรมฟังก์ชันของคุณหรือไม่?

100 haskell  clojure  functional-programming  ocaml 

ปิด . คำถามนี้จะต้องมีมากขึ้นมุ่งเน้น ขณะนี้ยังไม่ยอมรับคำตอบ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้เน้นไปที่ปัญหาเดียวโดยแก้ไขโพสต์นี้เท่านั้น ปิดให้บริการใน3 ปีที่ผ่านมา ปรับปรุงคำถามนี้ อะไรทำให้ภาษา ML สองภาษาแตกต่างกัน?

99 ocaml  sml  ml 

ปิด . คำถามนี้เป็นคำถามความคิดเห็นตาม ขณะนี้ยังไม่ยอมรับคำตอบ ต้องการปรับปรุงคำถามนี้หรือไม่ อัปเดตคำถามเพื่อให้สามารถตอบได้ด้วยข้อเท็จจริงและการอ้างอิงโดยแก้ไขโพสต์นี้ ปิดให้บริการใน2 ปีที่ผ่านมา ปรับปรุงคำถามนี้ ฉันคิดถึงคำถามนี้มานานมาก แต่ก็ไม่พบคำตอบใน Google และคำถามที่คล้ายกันใน Stackoverflow หากมีการซ้ำกันขออภัยด้วย หลายคนดูเหมือนจะพูดว่าการเขียนคอมไพเลอร์และเครื่องมือภาษาอื่น ๆ ในภาษาที่ใช้งานได้เช่น OCaml และ Haskell นั้นมีประสิทธิภาพมากกว่าและง่ายกว่ามากจากนั้นจึงเขียนเป็นภาษาที่จำเป็น นี่คือเรื่องจริง? และถ้าเป็นเช่นนั้น - เหตุใดจึงมีประสิทธิภาพและง่ายในการเขียนเป็นภาษาที่ใช้งานได้แทนที่จะเป็นภาษาที่จำเป็นเช่น C? นอกจากนี้ - ไม่ใช่เครื่องมือภาษาในภาษาที่ใช้งานได้ช้ากว่าในภาษาระดับต่ำเช่น C หรือไม่?

89 compiler-construction  haskell  ocaml  functional-programming