एग्डा प्रोग्रामिंग भाषा के रूप में

Question

मुझे प्रूडा सिस्टम के रूप में एग्डा का उपयोग करने पर बहुत उपयोगी जानकारी मिली है। मुझे उपयोग योग्य कार्यक्रम लिखने के लिए आगाडा का उपयोग करने पर लगभग कोई जानकारी नहीं मिली है। मुझे एक "हैलो वर्ल्ड" उदाहरण भी नहीं मिला है जो कि आगाडा के सबसे हाल के संस्करण के साथ संकलित है।

तो,

1. वहाँ एक प्रोग्रामिंग भाषा के रूप में AGDA पर किसी भी अच्छा ट्यूटोरियल हैं?

2. क्या ऐसी ही प्रकृति की अन्य भाषाएं हैं (आलसी कार्यात्मक निर्भर रूप से टाइप की गई) जिनके पास प्रोग्रामिंग भाषा के रूप में उनका उपयोग करने के लिए अधिक परिपक्व दस्तावेज हैं? (मुझे कोक पर बहुत सारे महान दस्तावेज मिले, लेकिन, फिर से, "हैलो वर्ल्ड" नहीं)।

Answer 1

AGDA में एक स्ट्रिंग प्रिंट करने के लिए, आप std lib की जरूरत है। आप Agda 2.2.6 और std lib 0.3 के लिए "हैलो वर्ल्ड" उदाहरण here पा सकते हैं। यह उदाहरण वर्तमान Agda 2.3.0 और std lib 0.6 के लिए काम नहीं करता है। मैं 0.6 lib एसटीडी में कुछ सूत्रों का कहना पढ़ा है, और लगता है कि एक निम्न काम करता है:

module hello where 

open import IO.Primitive using (IO; putStrLn) 
open import Data.String using (toCostring; String) 
open import Foreign.Haskell using (Unit) 

main : IO Unit 
main = putStrLn (toCostring "Hello, Agda!") 

यह संकलन करने के लिए, आप की जरूरत

1. बचाने इसे करने के लिए "./hello.agda"
2. डाउनलोड लिब-0.6.tar.gz, और कहीं में खोल दे, कहना DIR
3. सीडी DIR/ffi & & कबाल स्थापित
4. AGDA मैं DIR/src मैं। -c hello.agda

ghc-7.4.2 और cabal-1.16.0 के साथ मेरे मैकॉक्स शेर पर, यह उदाहरण ठीक काम करता है। मुझे आकार 1 9 .1 एम के साथ "हैलो" नामक एक निष्पादन योग्य कार्यक्रम मिलता है।

Answer 2

इस नवजात है, लेकिन एकदिवसीय एक उपयोगी संसाधन हो सकता है:

https://github.com/liamoc/learn-you-an-agda