ฉันกำลังออกแบบและกำลังคิดใหม่เกี่ยวกับภาษาโปรแกรมตีความระดับต่ำที่มีความคล้ายคลึงกับแอสเซมเบลอร์ ในไม่ช้าฉันก็เจอปัญหาการตัดสินใจของฟังก์ชัน/ลูป/โกโตส และคิดว่าในขณะที่ลูปเช่น while และ for จะเป็นระดับสูงเกินไปและไม่เหมาะ แต่ gotos...

ตัวอย่างเช่น: groovy:000> Arrays.asList 1,2,3,4,5 ===> [1, 2, 3, 4, 5] ใช้งานได้เพราะไม่ต้องการค่า แต่เมื่อค่าที่ส่งคืนถูกกำหนดให้กับตัวแปร: groovy:000> a = Arrays.asList 1,2,3,4,5 ERROR...

ความเป็นมา: ฉันกำลังเขียนของเล่น Lisp interperter/compiler ใน Haskell เพื่อความบันเทิง/การสั่งสอนของฉันเอง ฉันกำลังพยายามเพิ่มความสามารถในการคอมไพล์เป็น LLVM bytecode บริบท: ฉันได้อ่านเอกสารประกอบสำหรับ LLVM.Core และตัวอย่างโค้ด ( ที่นี่ )...