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

แท็ก "กราฟ" นี้หมายถึงกราฟิก (เช่นแผนภูมิหรือแผนภาพ) ซึ่งแสดงความสัมพันธ์ระหว่างตัวแปรสองตัวขึ้นไป สำหรับโครงสร้างคณิตศาสตร์แบบไม่ต่อเนื่องที่ประกอบด้วยจุดยอดและขอบให้ใช้แท็ก "กราฟ - ทฤษฎี"

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", …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.