1
ชนิดของกราฟที่ถูกต้องสามารถเข้ารหัสใน Dhall ได้หรือไม่?
ฉันต้องการเป็นตัวแทนวิกิ (ชุดเอกสารที่ประกอบด้วยกราฟกำกับ) ใน Dhall เอกสารเหล่านี้จะแสดงผลเป็น HTML และฉันต้องการป้องกันไม่ให้มีลิงก์ที่เสียหายเกิดขึ้น เท่าที่ฉันเห็นมันสามารถทำได้โดยการสร้างกราฟที่ไม่ถูกต้อง (กราฟที่มีลิงก์ไปยังโหนดที่ไม่มีอยู่) ไม่สามารถแสดงผ่านระบบประเภทหรือโดยการเขียนฟังก์ชั่นเพื่อส่งกลับรายการข้อผิดพลาดในกราฟที่เป็นไปได้ X, Node A มีลิงค์ไปยัง Node B ที่ไม่มีอยู่จริง ") การแทนค่ารายการ adjacency ที่ไร้เดียงสาอาจมีลักษณะเช่นนี้: let Node : Type = { id: Text, neighbors: List Text } let Graph : Type = List Node let example : Graph = [ { id = "a", …