में ऑपरेटर के लिए गतिशील प्राथमिकता और प्राथमिकता निर्दिष्ट करना मैं एक ऐसी भाषा का विश्लेषण करने की कोशिश कर रहा हूं जहां ऑपरेटरों के पास मेनिर पार्सर (ओकैमलीक के समान) का उपयोग करके गतिशील गुण (प्रा
मैं ओकैमल नौसिखिया हूं और मैं एक साधारण ओकैम-जैसी व्याकरण लिखने की कोशिश कर रहा हूं, और मैं इसे समझ नहीं सकता। मेरे व्याकरण कुछ इस तरह की अनुमति देता है: let sub = fun x -> fun y -> x - y;;
हालांकि,