gofer นี้เป็นทางแยกของต้นฉบับของ Mark Jones โดยมีการเพิ่มเติมและการปรับเปลี่ยนบางอย่าง โดยส่วนที่มองเห็นได้ชัดเจนที่สุดคือ จุด Dijkstra สำหรับการใช้งานฟังก์ชัน ดูอนุสัญญาด้านสัญลักษณ์ – หน้า 8 เป็นต้นไป
ฉันเคยเรียกมันว่า pugofer เนื่องจากฉันใช้มันสอนเมื่ออยู่ที่มหาวิทยาลัยปูเน่ในช่วงต้นทศวรรษ 90
Mark Jones ได้รับการยอมรับอย่างสุดซึ้งสำหรับงานบุกเบิกนี้
ดูการติดตั้ง/ตั้งค่า
หากต้องการดูว่าแหล่งที่มามีลักษณะอย่างไรด้วยไวยากรณ์ที่เปลี่ยนแปลงเหล่านี้ ให้ดูที่โหมโรงมาตรฐาน: pustd.pre
พรีลูดพุซิมเพิลแบบอื่นเหมาะอย่างยิ่งสำหรับผู้ที่รู้สึกว่าจำเป็นต้องร้องฮินด์ลีย์-มิลเนอร์ก่อนที่จะเข้าสู่คลาสตัวพิมพ์ โดยที่คุณจะได้รับ เช่น:
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool คุณสามารถเปลี่ยนกลับไปใช้ไวยากรณ์ Haskell แบบคลาสสิกได้ด้วย :s -S
? map . ( 1 + ) . [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] : [ Int ]
? : s - S
? map ( 1 + ) [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] :: [ Int ]
cd srcLINUX , WIN32 หรือ NETBSD หนึ่งรายการ (สำหรับ MacOS) หนึ่งรายการควรเป็น 1; ส่วนที่เหลือทั้งหมดควรเป็น 0CC – ใน Makefile$ make ไม่มีการกำหนดค่าให้รัน
ดูเหมือนว่า Windows จะสร้างด้วย mingw สำหรับ 32 บิต แต่ไม่ใช่ 64
เหตุผลสำหรับการเปลี่ยนแปลงเหล่านี้อธิบายไว้ในหมายเหตุเกี่ยวกับสัญลักษณ์
อาจเป็นที่สนใจด้วย:
เห็นได้ชัดว่าในช่วงบั้นปลายชีวิตของเขา Dijkstra ได้สนับสนุน FP
