Haskell 筆記

有空翻翻

工具或理論

Euterpea

• Euterpea - eDSL for computer music development. website

Lens

• Program imperatively using Haskell lenses

Coerce, Roles and newtype

• Adding safe coercions to Haskell (Breitner)
• Roles Overview (GHC Developer Wiki)
• Roles (GHC Developer Wiki)
• Roles, Abstraction & Safety (GHC Developer Wiki)
• GHC/Coerce (Haskell Wiki)
• Newtype (Haskell Wiki)
• 9.36. Roles (GHC User Guide)

others

• Why free monads matter
• GHC/Type Families (Haskell Wiki)

影片

• The Essence of FRP by Conal Elliott
• Adventure with Types in Haskell by Simon Peyton Jones
• A Sensible Intro to FRP by Tikhon Jelvis
• What Code Does vs What Code Means by John Wiegley

Links

GHC Users Guide

• 9. GHC Language Features
  • 9.6. Extensions to the “deriving” mechanism
    • 9.6.9. Generalised derived instances for newtypes
  • 9.9. Type families
  • 9.10. Datatype promotion
  • 9.36. Roles (GHC User Guide)

Haskell 2010 Report

• Contents
• 3 Expressions
  • 3.12 Let Expressions
  • 3.13 Case Expressions
  • 3.17 Pattern Matching
    • 3.17.3 Formal Semantics of Pattern Matching
• 4 Declarations and Bindings
  • 4.2 User-Defined Datatypes
    • 4.2.1 Algebraic Datatype Declarations
    • 4.2.3 Datatype Renamings
  • 4.3 Type Classes and Overloading
  • 4.4 Nested Declarations
    • 4.4.3 Function and Pattern Bindings
  • 4.5 Static Semantics of Function and Pattern Bindings
• 6 Predefined Types and Classes
  • 6.2 Strict Evaluation
  • 6.4 Numbers