Home

Welcome to the haskell-notes wiki!

This contains various topics (mostly attributed cut and paste) that I've found interesting / perplexing

Topics

• Property Based Testing
• GADTs
• Function-Composition-and-Application-and-Fixity
• Explicit forall
• Stack Test and Compile Options
• Repl Notes
• IDE Notes - VS Code

To Do

• Finish Explicit forall
• Finish brackets $ and Compose and eta reduce = flip $ / (&)
• Functional Dependencies
• module exports imports - see https://stackoverflow.com/questions/18035458/haskell-export-current-module-with-additional-imported-module
• let vs where
• Record Access e.g. Record Puns Record wildcards
• Reflection a Case Study: https://stackoverflow.com/questions/53272036/freer-simple-how-can-i-generate-a-list-of-effect-members-at-runtime/53272316#53272316
• Type Families
• Existential Types