10 lines
363 B
Markdown
10 lines
363 B
Markdown
|
---
|
||
|
|
type: mixed
|
||
|
|
---
|
||
|
|
### Stuff
|
||
|
|
|
||
|
|
- Definition of polymorphism and type variables
|
||
|
|
- Examples of polymorphic functions:
|
||
|
|
- `id`, `fst`, `swap`, `silly`, `silly2`
|
||
|
|
- List functions from the Prelude (e.g., `length`, `++`, `reverse`, `replicate`, `head`, `tail`, `take`, `drop`, `concat`, `zip`, `unzip`, `and`, `or`, `sum`, `product`)
|
||
|
|
- Polymorphism vs. overloading
|