Algebraic Data Types Courses and Certifications

ACM SIGPLAN

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types

Explore a novel approach for specifying data layouts of rich data types, enabling better control over memory representation while maintaining high-level abstractions in programming languages.

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

Code Sync

Far More Than You've Ever Wanted to Know About ADTs - Understanding Algebraic Data Types and GADTs

Dive into the fundamentals of Algebraic Data Types (ADTs), exploring their properties, practical applications, and evolution into GADTs while understanding their theoretical foundations and system design implications.

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

Exploring Common Algebraic Data Types Used in Functional Programming

3 ratings at egghead.io

Explore common Algebraic Data Types in functional programming, focusing on Functors, Semigroups, and Monoids. Learn to implement and leverage these concepts in JavaScript for powerful and interoperable code.

• egghead.io
• 38 minutes
• On-Demand
• Paid Course

ACM SIGPLAN

Types that Change: The Extensible Type Design Pattern

Explore the Extensible Type Design Pattern for compilers, addressing code duplication and enhancing traceability and error recovery in program representations.

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

code::dive conference

Why Algebraic Data Types Are Important

Explore type theory, category theory, and logic in functional programming, focusing on algebraic data types and their role in enhancing code reliability and expressiveness.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Conference Talk

NDC Conferences

Algebraic Data Types for C#

Learn to incorporate immutable algebraic data types in C# projects using DSLs and code generation, enhancing problem modeling and preventing illegal states while integrating functional programming patterns.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Conference Talk

Devoxx

Algebraic Data Types + Pattern Matching = Elegant and Readable Java Code

Explore how algebraic data types and pattern matching enhance Java code elegance and readability, leading to more efficient and maintainable software development.

• YouTube
• 44 minutes
• On-Demand
• Conference Talk

Topos Institute

Algebraic Data Types and Self-Reference in Type Theory - From Theory to Version Control

Explore algebraic data types and their extension for self-referential structures, examining semantic interpretations through groupoids and mutation-based approaches for version control systems.

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

Modern Java: Data Oriented Programming Masterclass

52 ratings at Udemy

Master the Modern Java: Records, Pattern Matching, and Sealed Types for Clean Domain Models and Smarter Error Handling

• Udemy
• 9 hours 50 minutes
• On-Demand
• Paid Course

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

ACM SIGPLAN

The Essence of Generalized Algebraic Data Types

Explore direct encodings of GADTs in lambda-calculus, examining System Fω extensions, expressive power, and relational models for data abstraction reasoning in GADT-equipped calculi.

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

CppCon

Back to Basics: C++ Fundamentals - CppCon 2020

Master fundamental C++ concepts through expert-led sessions covering abstract machines, templates, smart pointers, move semantics, concurrency, and essential programming patterns.

• YouTube
• 14 hours 23 minutes
• On-Demand
• Free Video

Rust

Rust for Non-Systems Programmers

Discover Rust's advantages beyond systems programming: memory safety, concurrency, mutability tracking, robust tooling, documentation, and error handling for all developers.

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

Devoxx

Java Language Futures - All Aboard Project Amber

Explore Project Amber's upcoming Java features with Brian Goetz, including expanded type inference, data classes, pattern matching, and improved serialization.

• YouTube
• 1 hour
• On-Demand
• Conference Talk

GOTO Conferences

Kotlin - Ready for Production

Explore Kotlin's production-ready features, benefits, and real-world applications in this comprehensive talk by JetBrains expert Hadi Hariri.

• YouTube
• 59 minutes
• On-Demand
• Conference Talk