sdiehl/write-you-a-haskell

Stars
3,347
Rank 13,389 (Top 0.3 %)
Language
Haskell
License
MIT License
Created almost 10 years ago
Updated almost 4 years ago

sdiehl/write-you-a-haskell

sdiehl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Building a modern functional compiler from first principles.

Read Online:

Releases

This is a work in progress.

Chapter 1: Introduction
Chapter 2: Haskell Basics
Chapter 3: Parsing
Chapter 4: Lambda Calculus
Chapter 5: Type Systems
Chapter 6: Evaluation
Chapter 7: Hindley-Milner Inference
Chapter 8: Design of ProtoHaskell
Chapter 9: Extended Parser
Chapter 10: Custom Datatypes
[Chapter 11: Renamer] (http://dev.stephendiehl.com/fun/010_renamer.html)
Chapter 12: Pattern Matching & Desugaring
Chapter 13: System-F
Chapter 14: Type Classes
Chapter 15: Core Language
Chapter 16: Kinds
Chapter 17: Haskell Type Checker
Chapter 18: Core Interpreter
Chapter 19: Prelude
Chapter 20: Design of Lazy Evaluation
Chapter 21: STG
Chapter 22: Compilation
Chapter 23: Design of the Runtime
Chapter 24: Imp
Chapter 25: Code Generation ( C )
Chapter 26: Code Generation ( LLVM )
Chapter 27: Row Polymorphism & Effect Typing
Chapter 28: Future Work

Building

To generate the build scripts provision a cabal sandbox with pandoc in it. This is done by the write-you-a-haskell.cabal and stack.yaml files.

Stack

$ stack exec make

To generate the pdf, the LaTeX packages must be installed on the system.

$ sudo apt-get install texlive-xetex texlive-latex-extra
$ sudo apt-get install xzdec
$ sudo tlmgr install zapfding
$ stack exec make pdf

Generation of the epub is also supported.

$ stack exec make epub

Cabal

$ cabal sandbox init
$ cabal install --only-dependencies
$ cabal exec bash
$ make

Contributing

Any and all contributions are always welcome. As always, I rely on the perpetual kindness and goodwill of Haskellers (like you!) to help correct grammar, clarify, and fix errors.

Contributing

License

This written work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. You may reproduce and edit this work with attribution for all non-commercial purposes.

The included source is released under the terms of the MIT License.

wiwinwlh

What I Wish I Knew When Learning Haskell

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

numpile

A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

Jupyter Notebook

gevent-tutorial

Gevent tutorial for the Working Python Developer

wasm

Haskell compiler infastructure for WebAssembly

tinyjit

minichat

Minimal realtime chat application ( Tutorial )

kaylee

MapReduce with ZeroMQ

repline

Haskeline wrapper for GHCi-like REPL interfaces

papers

popping-the-crypto-bubble

A no holds barred and unrelenting hatchet job of the crypto community, with all its bad ideas and bad actors put into a historical context of market manias and financial populism.

dive-into-ghc

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

cabal-edit

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

haskell-vim-proto

Basic starter config for Vim and Haskell

double-ratchet

Double ratchet algorithm for E2E encryption

pairing

Optimised bilinear pairings over elliptic curves

zeromq-chat

A gevent + Django + Socket.IO + ZeroMQ chat example

galois-field

Finite field and algebraic extension field arithmetic

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures

pynanomsg

Python bindings for nanomsg

sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

subpy

elliptic-curve

A polymorphic interface for elliptic curve operations

vim-ormolu

Plugin for formatting Haskell source code

llvm-tutorial-standalone

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

oblivious-transfer

Oblivious transfer for multiparty computation

cats

Generate commutative diagrams inside of Pandoc with Tikz

hakyll-bootstrap

Basic Hakyll + Bootstrap site

pyrewrite

Python term rewriting

paris-fp

Paris Functional Programming Meetup

dotfiles

My config files

llvm-codegen

Code generation utils for LLVM

numpush

Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )

shamir

Shamir Secret Sharing

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

datetime

Financial datetimes and holiday recurrence rules

haskell-picosat

Haskell bindings for PicoSAT solver

haskell-warp-rest

A Haskell web application using acid-state and scotty

vim-cabalfmt

Cabal-fmt vim plugin for formatting Cabal package files

picologic

Symbolic logic expressions

jquery-mathml

Superset of jQuery for working with MathML

cooking-generics

http://www.stephendiehl.com/posts/generics.html

print

Simple printing with Text

beamer_template

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

haskell-linenoise

Lightweight readline library for Haskell

llvm-pp

A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )

gevent_viz

Visualize gevent Greenlet context switches

bnlc

Binary lambda calculus

pycraig

Python library for scraping data from Craigslist

commentary

ts

validation

Applicative data validation

cfrac

Continued fractions for arithmetic

concurrent-timer

Concurrent timer

websocket-logger

A in-browser logging console for debugging realtime communication

agents-experiment

unirewrite

Generic term rewriting

tipy

Preprocessor for Python tutorials

equation-editor

A lightweight extensible Javascript equation editor

pretty-latex

Utilities for pretty printing LaTeX from Haskell

py-control-flow

Visualize python control flow

pure-python

Cython interface for Pure

church-numbers

Lambda Calculus in Python

vector-eigenvalues

pymathml

Fork of sourceforge.net/projects/pymathml

rpygtk

A GTK based frontend for R