| { stdenv | |
| , fetchurl | |
| , dpkg | |
| , makeWrapper | |
| , nodePackages | |
| , alsaLib | |
| , at-spi2-atk | |
| , at-spi2-core | |
| , atk | |
| , cairo |
(previous Yoneda blog) (reddit) (twitter)
Let's explore the Yoneda lemma. You don't need to be an advanced Haskeller to understand this. In fact I claim you will understand the first section fine if you're comfortable with map/fmap and id.
I am not out to motivate it, but we will explore Yoneda at the level of terms and at the level of types.
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| module Run ( | |
| runner | |
| ) where | |
| import Control.Monad.Reader (ReaderT, runReaderT) | |
| import Data.Foldable (traverse_) |
There are now official docs, so follow those as they'll be up-to-date and easier to follow.
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| module Language.HigherRank.Main | |
| ( Expr(..) | |
| , EVar(..) | |
| , Type(..) | |
| , TVar(..) | |
| , TEVar(..) | |
| , runInfer | |
| ) where |
Disclaimer 1: Type classes are great but they are not the right tool for every job. Enjoy some balance and balance to your balance.
Disclaimer 2: I should tidy this up but probably won’t.
Disclaimer 3: Yeah called it, better to be realistic.
Type classes are a language of their own, this is an attempt to document features and give a name to them.
| dependencies: | |
| cache_directories: | |
| - "~/.stack" | |
| pre: | |
| - wget https://github.com/commercialhaskell/stack/releases/download/v0.1.2.0/stack-0.1.2.0-x86_64-linux.gz -O /tmp/stack.gz | |
| - gunzip /tmp/stack.gz && chmod +x /tmp/stack | |
| - sudo mv /tmp/stack /usr/bin/stack | |
| override: | |
| - stack setup | |
| - stack build |
