Haskell Courses and Certifications

Haskell: Lecture notes and assignments

Comprehensive introduction to Haskell programming, covering algebraic data types, recursion, polymorphism, higher-order functions, lazy evaluation, monads, and more through weekly lectures and assignments.

• Independent
• On-Demand
• Free Online Course

Derek Banas

Haskell Tutorial

1 review

Comprehensive Haskell tutorial covering syntax, data types, functions, and advanced concepts. Ideal for beginners and intermediate programmers seeking to master functional programming.

• YouTube
• 1 hour 17 minutes
• On-Demand
• Free Video

Learning Path: Haskell: Functional Programming and Haskell

637 ratings at Udemy

Gain expertise of programming in Haskell — an advanced, purely functional programming language.

• Udemy
• 13 hours
• On-Demand
• Paid Course

Haskell for Imperative Programmers

Learn functional programming with Haskell, covering basics to advanced topics like monads, concurrency, and formal verification. Ideal for developers transitioning from imperative languages.

• YouTube
• 12 hours
• On-Demand
• Free Video

Haskell for Beginners

Learn Haskell fundamentals: setup, data types, functions, user input, and basic programming concepts. Build practical projects like a calculator and guessing game to reinforce your skills.

• YouTube
• 2 hours 30 minutes
• On-Demand
• Free Video

HackerRank in Haskell

Solve HackerRank problems using Haskell, covering topics from basic algorithms to advanced functional programming concepts like monads and brute-force techniques.

• YouTube
• 2 hours 30 minutes
• On-Demand
• Free Video

Learn functional programming with Haskell through self-paced online study. Suitable for beginners and experienced programmers, with graded exercises and university credits available.

• Independent
• On-Demand
• Free Online Course

Comprehensive introduction to Haskell fundamentals, covering types, functions, and key concepts like monoids, functors, and monads through practical examples and exercises.

• Independent
• On-Demand
• Free Online Course

IEEE

Programming Languages for High-Assurance Vehicles

Explore secure programming for high-assurance vehicles using embedded domain-specific languages in Haskell, focusing on autopilot development, verification tools, and real-world applications.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Code Sync

QuickCheck Dynamic: Testing Hard Properties and Staying Sane - Lambda Days 2023

Explore QuickCheck Dynamic for testing complex liveness properties in systems. Learn strategies to efficiently test hard-to-reach behaviors and enhance property-based testing capabilities.

• YouTube
• 44 minutes
• On-Demand
• Free Video

Code Sync

Wire All the Things - Flexible Code Wiring Techniques

Explore flexible code wiring techniques for protocol evolution, data generation, and modular applications using function lists in Haskell.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Code Sync

Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer

Explore innovative payment systems using Haskell for type-safe, continuous money transfers. Learn about generalizing payments and implementing blockchain protocols with functional programming concepts.

• YouTube
• 46 minutes
• On-Demand
• Free Video

Code Sync

Approximate Knowledge Synthesis with Refinement Types

Explore approximate knowledge synthesis using refinement types for quantitative declassification policies. Learn about ANOSY's approach to information flow control and policy violation checks.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Code Sync

Effectful: A New Approach to Effects in Haskell

Explore Effectful, a new Haskell effects library combining Polysemy-like ergonomics with ReaderT pattern performance. Learn its potential to revolutionize effect handling in Haskell programming.

• YouTube
• 20 minutes
• On-Demand
• Free Video

Code Sync

Orthotope - APL-Inspired Arrays for Haskell - Lambda Days 2022

Explore Orthotope, a Haskell library for multi-dimensional arrays inspired by APL. Learn efficient structural operations, clever array representation, and various implementations for different storage and typing needs.

• YouTube
• 43 minutes
• On-Demand
• Free Video