# Learning Haskell with Chess

### From HaskellWiki

(Difference between revisions)

BrettGiles (Talk | contribs) m (Learning Haskell With Chess moved to Learning Haskell with Chess) |
BrettGiles (Talk | contribs) (Wikifying markup) |
||

Line 1: | Line 1: | ||

− | This page is about learning Haskell using the board game Chess as a running example. The complete code can be found at | + | This page is about learning Haskell using the board game Chess as a running example. The complete code can be found at http://www.steffen-mazanek.de/dateien/projekte/hsChess.zip. |

− | + | ==Exercise 1 - data types== | |

− | + | ===Learning targets=== | |

− | + | *recapitulate Haskell types (keywords type and data, product and sum types) | |

− | + | *Helium: define equality functions (pattern matching) | |

− | + | *pretty printing | |

− | + | ||

− | + | ||

− | + | ===Tasks=== | |

− | + | *Define data types that represent boards (<hask>Board</hask>), squares (<hask>Square</hask>), positions (<hask>Pos</hask>), pieces (<hask>Piece</hask>) and game states (<hask>State</hask>). | |

− | + | *Helium: Implement suited eq-functions. | |

− | + | *Implement a function <hask>prettyBoard::Board->String</hask>, that transforms a board into a clearly arranged string representation (human readable :-)). Support this function with auxiliary functions that pretty print pieces, squares, ... | |

− | + | *Define the initial board (<hask>initialBoard::Board</hask>), test prettyBoard with initialBoard. | |

− | + | *Implement a simple evaluation function <hask>evalBoard::Board->Int</hask> as the difference of material on board (values: Pawn->1, Knight and Bishop->3, Queen->9, Rook->6, King->"infinity"=1000). | |

− | + | ||

− | + | ||

− | + | ==Exercise 2 - move generator== | |

− | + | ===Learning targets=== | |

− | + | *list comprehension | |

− | + | *stepwise refinement | |

− | + | ===Tasks=== | |

− | + | ||

− | + | ||

− | + | ==Exercise 3 - gametree generation and minimax algorithm== | |

− | + | ===Learning targets=== | |

− | + | *break code in modules | |

− | + | *complexity | |

− | + | *recursive data structures -> recursive algorithms | |

− | + | ||

− | + | ===Tasks=== | |

− | + | *Define a data type that represents a game tree (<hask>GameTree</hask>). | |

− | + | *Roughly estimate the number of nodes of the gametree with depth 4. | |

− | + | *Define a function <hask>play::Gametree->Int</hask>, that computes the value of a given game tree using the minimax Algorithm. | |

− | + | *Implement the function <hask>doMove::State->State</hask>, that choses the (best) next state. | |

− | + | ||

− | + | ||

− | + |

## Revision as of 16:34, 18 March 2007

This page is about learning Haskell using the board game Chess as a running example. The complete code can be found at http://www.steffen-mazanek.de/dateien/projekte/hsChess.zip.

## Contents |

## 1 Exercise 1 - data types

### 1.1 Learning targets

- recapitulate Haskell types (keywords type and data, product and sum types)
- Helium: define equality functions (pattern matching)
- pretty printing

### 1.2 Tasks

- Define data types that represent boards (), squares (Board), positions (Square), pieces (Pos) and game states (Piece).State
- Helium: Implement suited eq-functions.
- Implement a function , that transforms a board into a clearly arranged string representation (human readable :-)). Support this function with auxiliary functions that pretty print pieces, squares, ...prettyBoard::Board->String
- Define the initial board (), test prettyBoard with initialBoard.initialBoard::Board
- Implement a simple evaluation function as the difference of material on board (values: Pawn->1, Knight and Bishop->3, Queen->9, Rook->6, King->"infinity"=1000).evalBoard::Board->Int

## 2 Exercise 2 - move generator

### 2.1 Learning targets

- list comprehension
- stepwise refinement

### 2.2 Tasks

## 3 Exercise 3 - gametree generation and minimax algorithm

### 3.1 Learning targets

- break code in modules
- complexity
- recursive data structures -> recursive algorithms

### 3.2 Tasks

- Define a data type that represents a game tree ().GameTree
- Roughly estimate the number of nodes of the gametree with depth 4.
- Define a function , that computes the value of a given game tree using the minimax Algorithm.play::Gametree->Int
- Implement the function , that choses the (best) next state.doMove::State->State