Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/i-am-tom/haskell-exercises
A little course to learn about some of the more obscure GHC extensions.
https://github.com/i-am-tom/haskell-exercises
functional-programming ghc haskell haskell-learning teaching-materials
Last synced: about 16 hours ago
JSON representation
A little course to learn about some of the more obscure GHC extensions.
- Host: GitHub
- URL: https://github.com/i-am-tom/haskell-exercises
- Owner: i-am-tom
- License: mit
- Created: 2018-08-26T13:26:18.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2023-11-07T17:54:13.000Z (about 1 year ago)
- Last Synced: 2024-02-17T10:38:08.996Z (12 months ago)
- Topics: functional-programming, ghc, haskell, haskell-learning, teaching-materials
- Language: Haskell
- Homepage:
- Size: 121 KB
- Stars: 626
- Watchers: 18
- Forks: 95
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# GHC exercises 🚀
_For solutions, please see the `Exercises.hs` modules inside [the `answers`
branch](https://github.com/i-am-tom/haskell-exercises/tree/answers)._
OK, you know your **monoids** from your **monads**. You know how to write a
terminal application or two. What's next? What are these language extensions
that keep being mentioned? How "type-safe" can you _really_ be?
This repository, I hope, will provide some **stepping stones**. We'll go
through extensions one at a time, and build up a richer vocabulary for talking
about Haskell programs, and look to move our assertions up into types, where
they can be verified at compile time.
---
## What this _isn't_.
This is a deep dive into GHC extensions, the power that each one gives us, and
how we can combine extensions to achieve very strong guarantees at
compile-time. This is _not_ based around concepts; there won't be sections on
"dependently-typed programming", or "generic programming", though these
concepts will turn up throughout as we dig deeper into the extensions.
> If you're interested in something more project-based, I absolutely, 1000%
> recommend [Thinking with Types](https://leanpub.com/thinking-with-types),
> written by [Sandy Maguire](https://github.com/isovector). It is a
> **fantastic** resource, and one on which I already rely when explaining
> concepts to others.
## Contents
1. `GADTs`
2. `FlexibleInstances`
3. `KindSignatures`
4. `DataKinds`
5. `RankNTypes`
6. `TypeFamilies`
7. `ConstraintKinds`
8. `PolyKinds`
9. `MultiParamTypeClasses`
10. `FunctionalDependencies`
## Setup
Assuming you have [Cabal](https://www.haskell.org/cabal/) or
[Stack](https://docs.haskellstack.org/en/stable/README/) setup, you should be
able to navigate to any of the `exercise*` directories, and run your usual
commands:
### Repl
```
$ stack repl
$ cabal repl
```
### Build
```
$ stack build
$ cabal build
```
It's going to make it a lot easier to iterate through the exercises if you
`cabal install ghcid` or `stack install ghcid`. Just as above, once this is
done, you can navigate to the exercise directory and run it with your preferred
repl command:
```
$ ghcid -c "stack repl"
$ ghcid -c "cabal repl"
```