Haskell & rust में टाइप-लेवल इंटरफेस: व्यावहारिक टाइप-लेवल प्रोग्रामिंग-एलेक्स ग्रैनिन #FNCONF 2025

इस बात में, मैं टाइप-लेवल इंटरफेस की अवधारणा का परिचय दूंगा जो मैंने हास्केल और रस्ट के लिए विकसित किया था, जो निर्माण को सक्षम करता है …

source