https://github.com/paulcadman/the-little-typer

Resources for "The Little Typer" study group
https://github.com/paulcadman/the-little-typer

dependent-types racket study-group the-little-typer type-driven-development

Last synced: 29 days ago
JSON representation

Resources for "The Little Typer" study group

• Host: GitHub
• URL: https://github.com/paulcadman/the-little-typer
• Owner: paulcadman
• Created: 2018-11-15T22:30:16.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-19T17:03:55.000Z (almost 5 years ago)
• Last Synced: 2025-01-04T04:06:10.399Z (about 1 month ago)
• Topics: dependent-types, racket, study-group, the-little-typer, type-driven-development
• Language: Racket
• Size: 56.6 KB
• Stars: 47
• Watchers: 5
• Forks: 11
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# The Little Typer Study Group

Resources for "The Little Typer" study group

* https://mitpress.mit.edu/books/little-schemer-fourth-edition

* http://thelittletyper.com

* https://groups.google.com/forum/#!forum/the-little-typer-study-group-london

* https://github.com/the-little-typer/pie

## Getting Started

* Install [Racket](https://racket-lang.org/)

* Install the Pie language `raco pkg install pie`

Further information about installing Pie can be found at https://github.com/the-little-typer/pie.

## Exercises

This repository contains [exercises](exercises/) for material in the book. We discussed solutions to the exericses in the study sessions. Example solutions to the exercises are given in the repository, they are the files with the `-crib` prefix.

The book states that "An understanding of recursive functions over non-nested lists and non-negative numbers is all you need to understand this book". The exercises in [recursion.rkt](exercises/recursion.rkt) aims to provide you with the prerequisite knowledge. These exercises were taken from _The Little Schemer_ book.

The remaining exercises are numbered according to the chapter they correspond to. For example exercise `8.2` assumes that you've read up to chapter 8 of _The Little Typer_

### Acknowledgments

Exercise sets `3.x`, `4.x` and `5.x` were adapted from exercise sheets from a course at Indiana University. All subsequent exercises were compiled by Paul Cadman.