Haskell Courses and Certifications

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

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

GOTO Conferences

Design and Implementation Lessons from a CSV Library

Delve into the design principles and implementation challenges of CSV libraries in Haskell through practical examples and functional programming insights from an experienced engineer.

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

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

ACM SIGPLAN

Deriving as a Library - Type Classes and Language Features

Explore implementing type class deriving as a library, enhancing Haskell's extensibility without language extensions.

• YouTube
• 12 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

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

ACM SIGPLAN

Modular Higher-Order Effects in Declarative Languages - PADL'24 Lecture

Explore modular higher-order effects in Haskell for creating extensible domain-specific languages with enhanced expressiveness and maintainability using the effective library.

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

ACM SIGPLAN

Type Inference for Application Spines in Higher-Order Languages - WITS'24

Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.

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

ACM SIGPLAN

GHC Plugin for Setting Breakpoints in Concurrent Programs

Explore a GHC plugin for improved breakpoint functionality in concurrent programs, addressing limitations in GHCi's built-in debugger.

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

ACM SIGPLAN

Severing Ties: The Need for Non-Updateable Thunks

Explore non-updateable thunks in Haskell to prevent memory leaks and optimize garbage collection in streaming abstractions and control flow scenarios.

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

ACM SIGPLAN

GHC-Specter: A Plugin for Live Inspection of GHC Internal States

Explore ghc-specter, a GHC plugin for real-time inspection and visualization of GHC's internal states during compilation, enabling interactive debugging and performance analysis.

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

ACM SIGPLAN

PureCake: A Verified Compiler for a Lazy Functional Language - PLDI 2023

Explore PureCake, a verified compiler for PureLang, a lazy functional language. Learn about its Haskell-like syntax, type system, and end-to-end correctness proofs using HOL4 theorem prover.

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