लोगों के लिए पठनीय
कोड के विवरण से पहले आशय और दृश्य।
विकास में · खुली भाषा
Verve.
सॉफ़्टवेयर जो आपका आशय याद रखे।
Verve एजेंटों के साथ निर्माण करने और परिणाम को जिम्मेदारियों, गारंटियों तथा प्रभावों से परखने के लिए एक सामान्य प्रयोजन की प्रोग्रामिंग भाषा है।
भाषा देखेंअर्थ का निर्णय इंसान करता है। Verve उसे मशीन तक स्पष्ट रखता है।
01व्यक्तिउद्देश्य तय करता है
02एजेंटइंजीनियरिंग करता है
03Verveसमझौता संभालता है
04मशीनचलाती और जाँचती है
प्रोग्राम का मानचित्र
ऐसा सिस्टम जिसे पढ़ सकें।
हर जिम्मेदारी अपना आशय बताती है। मानचित्र कोड से बनता है और दिखाता है कि हर निर्णय कहाँ है।
सिस्टम
ऑर्डररसीद
एक बार भुगतान
मूल इकाई
Capability बताती है कि वह क्या वादा करती है।
कार्यान्वयन बदल सकता है। उद्देश्य, सीमाएँ और प्रमाण सामने रहते हैं।
CAPABILITYChargeOrder
01उद्देश्य
ऑर्डर का भुगतान केवल एक बार।
02अनुबंध
इनपुट, परिणाम और गारंटियाँ।
03अधिकार
सिर्फ दिए गए संसाधन।
04कार्यान्वयन
समझौता पूरा करने वाला कोड।
अवधारणात्मक उदाहरण · सिंटैक्स और टूल विकास में
अर्थ के आधार पर समीक्षा
प्रभावों की समीक्षा करें।
बदलाव को उसके लोगों, सिस्टम और गारंटियों पर प्रभाव से दिखाया जाता है।
आपका आशयनेटवर्क विफल हो तो फिर प्रयास करें।
जिम्मेदारी
लक्ष्य अब भी एक बार भुगतान लेना है।
दायरा
नए कनेक्शन पर आपका निर्णय चाहिए।
प्रमाण
हर गारंटी बताती है कि उसे कैसे जाँचा गया।
आपका निर्णयवास्तव में क्या बदलता है।
इस तरह निर्माण के लिए
डिज़ाइन के चार निर्णय।
एजेंटों के लिए लिखने योग्य
स्पष्ट भूमिकाएँ; संभावित गलतियाँ दिखनी चाहिए।
स्पष्ट भरोसा
सिद्ध, परीक्षण किया गया या बिना जाँच: हर शब्द का अपना अर्थ है।
तेज़ पुनरावृत्ति
क्रमिक जाँच और नेटिव प्रदर्शन मापने योग्य लक्ष्य हैं।
वास्तविक स्थिति
हम Verve बना रहे हैं।
प्रतिमान परिभाषित है। संस्करण 1.0 और Rust कंपाइलर चरणों में आगे बढ़ रहे हैं; क्षमताएँ प्रमाण के साथ घोषित होंगी।
लाइसेंसApache 2.0