GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → sdiehl → Write You A Haskell

sdiehl / Write You A Haskell

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

Programming Languages

haskell
3896 projects
CSS
56736 projects
ocaml
1615 projects
python
139335 projects - #7 most used programming language
javascript
184084 projects - #8 most used programming language
Yacc
648 projects

Labels

compilerfunctional-programmingbookevaluationlambda-calculustype-theorytype-checkingpdf-bookhaskeltype-systemfunctional-languagehindley-milnertype-inferenceintermediate-representation

Projects that are alternatives of or similar to Write You A Haskell

Typology
Swift type checking and semantic analysis for developer tools
Stars: ✭ 68 (-97.78%)
Mutual labels:  type-checking, type-system, hindley-milner, type-inference
Kind
A modern proof language
Stars: ✭ 2,075 (-32.28%)
Mutual labels:  type-theory, lambda-calculus, functional-programming
gidti
Book: Gentle Introduction to Dependent Types with Idris
Stars: ✭ 70 (-97.72%)
Mutual labels:  lambda-calculus, type-theory
pyrser
A PEG Parsing Tool
Stars: ✭ 32 (-98.96%)
Mutual labels:  type-checking, type-system
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-97.62%)
Mutual labels:  lambda-calculus, type-inference
Create Your Own Lang With Rust
Create your own programming language with Rust (WIP)
Stars: ✭ 236 (-92.3%)
Mutual labels:  compiler, book
Fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Stars: ✭ 2,966 (-3.2%)
Mutual labels:  compiler, functional-programming
cicada
Cicada Language
Stars: ✭ 9 (-99.71%)
Mutual labels:  type-theory, type-system
Typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Stars: ✭ 149 (-95.14%)
Mutual labels:  compiler, functional-programming
Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Stars: ✭ 26 (-99.15%)
Mutual labels:  lambda-calculus, type-theory
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (-95.56%)
Mutual labels:  type-system, type-inference
Silt
An in-progress fast, dependently typed, functional programming language implemented in Swift.
Stars: ✭ 217 (-92.92%)
Mutual labels:  compiler, functional-programming
Mlkit
Standard ML Compiler and Toolkit
Stars: ✭ 183 (-94.03%)
Mutual labels:  compiler, functional-programming
Never
Never: statically typed, embeddable functional programming language.
Stars: ✭ 248 (-91.91%)
Mutual labels:  compiler, functional-programming
Potigol
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Stars: ✭ 179 (-94.16%)
Mutual labels:  compiler, functional-programming
ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-98.56%)
Mutual labels:  type-system, hindley-milner
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-99.25%)
Mutual labels:  type-system, type-inference
Ghc Grin
GRIN backend for GHC
Stars: ✭ 123 (-95.99%)
Mutual labels:  compiler, functional-programming
Grain
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Stars: ✭ 2,199 (-28.23%)
Mutual labels:  compiler, functional-programming
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-99.35%)
Mutual labels:  type-checking, type-system
View All Similar Projects ➔


Building a modern functional compiler from first principles.

Stephen Diehl

Build Status Gitter MIT License

Read Online:

Releases

This is a work in progress.

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.

License

Artwork CC BY NC SA

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.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].