⊸ หมายถึงอะไร
ทรัพยากรขาเข้า A ถูกใช้เพื่อให้ได้ B
ตรรกศาสตร์เชิงเส้นเป็นวิธีให้เหตุผลที่ติดตามทรัพยากร: ข้อสมมติหนึ่งจะนำกลับมาใช้ซ้ำหรือทิ้งไปตามใจไม่ได้ เมื่อใช้ A ⊸ B ทรัพยากร A จะถูกใช้เพื่อให้ได้ B
ฌอง-อีฟ ฌีราร์เสนอแนวคิดตรรกศาสตร์เชิงเส้นในปี 1987 โดยในสัญกรณ์ของระบบนี้ ⊸ ใช้แทนนัยเชิงเส้น
สัญกรณ์เฉพาะทางในตรรกศาสตร์เชิงเส้นและระบบชนิดข้อมูลในการเขียนโปรแกรมที่ติดตามทรัพยากร
อย่าอ่านเป็นเงื่อนไขธรรมดาว่า “ถ้า A แล้ว B” เพราะเมื่อใช้สัญลักษณ์นี้ A จะถูกใช้หมด
คำถามที่พบบ่อย
1⊸ เหมือนกับ → ไหม?
ไม่เหมือน ในตรรกศาสตร์เชิงเส้น ⊸ ติดตามการใช้ทรัพยากร แต่ → ทั่วไปไม่ได้มีกฎนี้อยู่ในตัว หากบริบทไม่ได้ระบุชัดว่าเป็นตรรกศาสตร์เชิงเส้น ให้ยึดตามคำจำกัดความของผู้เขียน
วิธีพิมพ์ ⊸
⊸\22B8รหัสและการเข้ารหัสจุดรหัส: 1
สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์
