todo.org

Books

Haskell

• The Haskell School of Expression
• Introduction to Functional Programming using Haskell
• The Haskell School of Expression: Learning Functional Programming through Multimedia
• Haskell: The Craft of Functional Programming
• A Gentle Introduction to Haskell, Version 98

FP

• The Fun of Programming
• Purely Functional Data Structures
• Practical.Foundations.for.Programming
• The Haskell Road to Logic, Maths and Programming
• Pearls of Functional Algorithm Design
• Algorithms: A Functional Programming Approach
• Type Theory and Functional Programming

Lambda

• Lambda-Calculus and combinators
• introduce to fictional programming through lambda caculus
• The lambda calculus: its syntax and semantics

Papers

On Understanding Type

Type related papers

• On HaskellWiki
• 13 Type classes
• 18 GADT
• 21 Arbitrary-rank polymorphism
• 22 Phantom types
• 27 Qualified types

Iteratee IO

• as popularized by Oleg Kiselyov,Streams

Test

• QuickCheck: a lightweight tool for random testing of Haskell programs

Others

• Giving Haskell a promotion
• Template meta-programming for Haskell

Links

• https://www.haskell.org/documentation/
• http://dev.stephendiehl.com/hask/
• http://nikita-volkov.github.io/profiling-cabal-projects/

BACKLOG

Interesting Module

• Foldable / Traversable / Typeable `newtype MyInt = MyInt Int (Deriving Typeable)` ` 2 :: MyInt`
• Lens

example projects

• xmonad
• snap
• LambdaHack
  1. Source Code
• preclude
• mtl / transform
• Data.Text
• ByteString
• pandoc
• Parsec
• QuickCheck
• HUnit
• HXT study

morphism

• Morphism
• isomorphism
• polymorphism
• monomorphism

Tic toe tac game

Advanced FP

nim game

FRP

Yesod OAuth authenticate

1. [X] failed at getting access token need callback at getting auth code
2. [ ] post the finding

hakyll (src and tutorial)

IN-PROGRESS

Distinguish those concepts

• Polymorphic Components
  • From Hindley-Milner Types to First-Class Structures by Mark P. Jones
• RankNTypes
  • Arbitrary-rank polymorphism in the GHC User’s Guide.
  • Practical type inference for arbitrary-rank types, Simon Peyton Jones, Mark Shields,etc.
  • Boxy types: type inference for higher-rank types and impredicativity, Simon Peyton Jones, ICFP 2006.
  • Semantics of Types and Classes in the Haskell 98 Report
• Existential Quantification
  • Subsumed by GADT. ( Simple unification-based type inference for GADTs by Simon Peyton Jones )
  • Polymorphic Type Inference and Abstract Data Types by K. Läufer and M. Odersky, in TOPLAS, Sep 1994.
• Universal Quantification / Polymorphism

links

• Existential Quantification pt. 1
• Existential Quantification pt. 2 (Faking it with higher rank)

Monad for web application

Post mtl finding and demo

KnightQuests exercise

• Chapter 12

stockwatcher in haskell

haskell toturial

• Note taken on [2011-05-16 Mon 06:02]
  finish once…probably need re-read..

Quickcheck

1. [X] what and how
2. Home page
3. [X] how to create Test suite

Move notes in google code wiki to `notes` here

Post what learn from euler 104

Post mtl finding and demo

Questions

String / List

1. [X] substitue function / re exp
   • levarge map f
   • a regx module

Tags

TAG	Full Name
PIH	Programming in Haskell
LYGH	Learn Your Good Haskell