2 dépôts
Learning materials for building reliable and maintainable software through the application of advanced functional programming concepts in Haskell.
Explore 2 awesome GitHub repositories matching programming languages & runtimes · Haskell Tutorials. Refine with filters or upvote what's useful.
Ce projet est un dépôt centralisé de tutoriels pratiques piloté par la communauté, conçu pour faciliter l'acquisition de compétences par la construction pratique d'applications logicielles réelles. Il sert de répertoire complet qui agrège la documentation externe et les supports pédagogiques, fournissant un chemin structuré pour que les développeurs maîtrisent des langages de programmation et des domaines techniques spécifiques. Le dépôt se distingue en organisant des ressources techniques disparates dans une structure hiérarchique basée sur une taxonomie qui permet aux développeurs de découvrir et de naviguer dans diverses disciplines du génie logiciel. En regroupant des projets individuels en séquences logiques, il fournit une roadmap qui aide les apprenants à progresser des concepts fondamentaux à la mise en œuvre avancée. Le contenu est maintenu par des contributions collaboratives, garantissant que la collection reste une ressource actuelle et expansive pour la communauté des développeurs. Le projet couvre une large surface de capacités, couvrant des domaines tels que le développement web full-stack, l'ingénierie d'applications mobiles et le développement de jeux interactifs. Il inclut des ressources pour un large éventail de langages de programmation, allant des langages système comme C, C++ et Rust aux langages de haut niveau et fonctionnels tels que Python, Ruby, Haskell et Clojure. Ces supports soutiennent une maîtrise technique spécialisée dans des domaines incluant l'apprentissage automatique, la science des données et la programmation réseau. Le répertoire est structuré pour permettre une découverte efficace par langage de programmation et domaine technique, avec une table des matières claire pour aider les utilisateurs à localiser des informations spécifiques. Il fonctionne comme un index persistant de liens externes, connectant les développeurs à la documentation et aux tutoriels tiers pour approfondir leur compréhension des concepts techniques.
Adopt advanced functional programming paradigms to produce reliable, maintainable software through guided practical challenges.
Ce projet est une plateforme d'apprentissage basée sur des exercices et un cours de programmation fonctionnelle conçu pour enseigner Haskell à travers un curriculum structuré de tâches d'implémentation pratiques. Il fonctionne comme un tutoriel interactif et un framework d'apprentissage où les étudiants maîtrisent les concepts de programmation fonctionnelle en complétant une séquence organisée de modules. La plateforme met l'accent sur un flux de travail de développement piloté par les types, utilisant des trous de type (type holes) et des requêtes de type intégrées au compilateur pour guider la découverte de la logique de programme. Elle fournit un environnement de programmation interactif via une boucle read-eval-print, permettant l'expérimentation de code en temps réel, l'interrogation du type des expressions et l'inspection des détails des identifiants. La correction est assurée par un système de validation automatisé qui combine des tests unitaires et une suite de tests basés sur les propriétés. Ces outils utilisent la génération d'entrées aléatoires pour vérifier que les solutions aux exercices répondent à des exigences spécifiques. Le curriculum couvre la syntaxe du langage, les signatures de type, le polymorphisme et le pattern matching pour déconstruire des structures de données complexes.
Provides a structured set of tutorials for learning advanced functional programming concepts using Haskell.