data61/fp-course
Fp Course
यह प्रोजेक्ट एक फंक्शनल प्रोग्रामिंग कोर्स और स्वचालित कोडिंग पाठ्यक्रम है जिसे अभ्यासों और मॉड्यूलों के एक संरचित अनुक्रम के माध्यम से प्रतिमान के मूल सिद्धांतों को सिखाने के लिए डिज़ाइन किया गया है। यह एक इंटरैक्टिव प्रोग्रामिंग ट्यूटोरियल के रूप में कार्य करता है जहाँ शिक्षार्थी वृद्धिशील समस्याओं को हल करते हैं और प्रोग्रामिंग अभ्यास सूट के माध्यम से अपनी समझ को सत्यापित करते हैं।
पाठ्यक्रम भाषा-अज्ञेयवादी है, जो किसी विशिष्ट भाषा के बजाय मूल लॉजिक और प्रतिमानों पर केंद्रित है। यह एक स्वचालित टूलचेन का उपयोग करता है जो समाधानों को सत्यापित करने के लिए सोर्स कोड को निष्पादन योग्य बाइनरीज़ में बदल देता है।
शुद्धता को एक टेस्ट-ड्रिवन दृष्टिकोण का उपयोग करके मान्य किया जाता है जो यह सुनिश्चित करने के लिए कि कार्यान्वयन विशिष्ट कार्यात्मक आवश्यकताओं को पूरा करते हैं, एक इन-बिल्ट टेस्ट रनर को प्रॉपर्टी-आधारित टेस्टिंग के साथ जोड़ता है। प्रोजेक्ट में बिल्ड कॉन्फ़िगरेशन फाइलों को स्वचालित रूप से उत्पन्न करने के लिए डेवलपर एनवायरनमेंट बूटस्ट्रैपिंग के लिए स्क्रिप्ट्स शामिल हैं।
Features
- Functional Programming Education - Provides a comprehensive educational program focused on mastering functional programming paradigms.
- Programming Exercises - Provides a collection of incremental coding challenges and property-based tests to master functional programming concepts.
- Automated Coding Curricula - Provides a sequence of lessons with a toolchain that transforms source code into executable binaries for verification.
- Exercise Sequencing Systems - Organizes learning progress through a sequencing system that requires completion of foundational tasks in a specific order.
- Interactive Programming Tutorials - Provides a learning environment combining structured technical guides with hands-on interactive exercises.
- Programming Courses - Implements a comprehensive programming course teaching the logic and principles of functional programming.
- Interactive Coding Tutorials - Offers guided learning modules with hands-on exercises and immediate feedback from a built-in test runner.
- Language Agnostic Learning - Employs an educational approach that emphasizes logic and paradigms independently of any specific programming language.
- Modular Learning Curricula - Structures educational content into a modular curriculum of self-contained units for mastering functional programming.
- Automated Exercise Suites - Ships a collection of coding tasks with a built-in test runner to verify implemented solutions.
- Exercise Validation Tooling - Uses automated test suites and property checks to verify that code implementations meet specific requirements.
- Automated Exercise Validations - Verifies implementation correctness by executing predefined test cases and property-based checks against user code.
- Property-Based Testing - Uses property-based testing to validate that functional invariants hold true across a wide range of generated inputs.
- Solution Verification - Verifies the correctness of student code solutions against predefined automated test suites.
- Build and Test Toolchains - Provides an integrated toolchain that compiles source code and executes automated test suites for exercise verification.
- Compiler Toolchains - Implements a compiler toolchain to transform student source code into binaries for automated execution.
- Functional Programming - Structured exercises for mastering functional programming in Haskell.
