| 2 |
2 |
HC2-2. Haskell Chapter 2 Practical Tasks - Data types, Signatures and Polymorphism |
These practical task will involve a pragmatic introduction to types, focusing on how Haskell uses a strong, static type system to ensure code safety and correctness. Activities will explore function signatures, understanding how to define and interpret type annotations for functions. By playing with functions, we will experiment with Haskell s pure functions, higher-order functions and composition techniques. Tasks will cover variables in Haskell, emphasizing immutability and how values are bound using let and where expressions. They will differentiate between infix and prefix functions, learning how operators and function applications work in both styles. A deep dive into common data types will help developers understand essential types such as Int, Float, Bool, Char and String. Activities will cover polymorphic values and type variables, demonstrating how Haskell s type system enables code reusability through parametric polymorphism. Finally, activities will cover lists: how to manipulate lists using recursion, pattern matching and built-in functions such as map, foldr and foldl |
