คำถามติดแท็ก formal-semantics

2
กฎการลงทะเบียนอัตโนมัติที่ถูกต้องของ Rust คืออะไร
ฉันเรียนรู้ / ทดลองกับสนิมและในความสง่างามทั้งหมดที่ฉันพบในภาษานี้มีลักษณะเฉพาะอย่างหนึ่งที่ทำให้ฉันงงงัน ตัวชี้การเกิดสนิมโดยอัตโนมัติเมื่อทำการเรียกเมธอด ฉันทำแบบทดสอบเพื่อกำหนดพฤติกรรมที่แน่นอน: struct X { val: i32 } impl std::ops::Deref for X { type Target = i32; fn deref(&self) -> &i32 { &self.val } } trait M { fn m(self); } impl M for i32 { fn m(self) { println!("i32::m()"); } } impl M for X { …

3
ความหมายสำหรับสคริปต์ Bash?
มากกว่าภาษาอื่น ๆ ที่ฉันรู้จักฉัน "เรียนรู้" Bash โดย Googling ทุกครั้งที่ฉันต้องการบางสิ่งเล็กน้อย ดังนั้นฉันสามารถเย็บปะติดปะต่อกันสคริปต์เล็ก ๆ น้อย ๆ ที่ดูเหมือนจะใช้งานได้ อย่างไรก็ตามฉันไม่รู้จริงๆว่าเกิดอะไรขึ้นและฉันหวังว่าจะมีการแนะนำ Bash อย่างเป็นทางการมากขึ้นในฐานะภาษาโปรแกรม ตัวอย่าง: ลำดับการประเมินคืออะไร? กฎการกำหนดขอบเขตคืออะไร? วินัยในการพิมพ์คืออะไรเช่นทุกอย่างเป็นสตริง? สถานะของโปรแกรมคืออะไร - เป็นการกำหนดคีย์ - ค่าของสตริงให้กับชื่อตัวแปรหรือไม่ มีอะไรมากกว่านั้นเช่นสแต็ก? มีกองไหม? และอื่น ๆ ฉันคิดว่าจะศึกษาคู่มือ GNU Bash สำหรับข้อมูลเชิงลึกประเภทนี้ แต่ดูเหมือนจะไม่เป็นอย่างที่ฉันต้องการ มันเป็นรายการซักผ้าของน้ำตาลที่มีปฏิกิริยามากกว่าคำอธิบายของแบบจำลองความหมายหลัก "แบบฝึกหัดทุบตี" แบบออนไลน์นับล้านครั้งมี แต่จะแย่ลง บางทีฉันควรศึกษาก่อนshและทำความเข้าใจกับ Bash ว่าเป็นน้ำตาลที่มีปฏิกิริยาเหนือสิ่งนี้หรือไม่? ฉันไม่รู้ว่านี่เป็นโมเดลที่ถูกต้องหรือไม่ ข้อเสนอแนะใด ๆ ? แก้ไข:ฉันถูกขอให้ยกตัวอย่างสิ่งที่ฉันต้องการ ตัวอย่างที่ค่อนข้างมากของสิ่งที่ฉันจะพิจารณา "ความหมายอย่างเป็นทางการ" คือกระดาษนี้ "สาระสำคัญของ …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.