ghc-dump
haskell-exercises
Our great sponsors
ghc-dump | haskell-exercises | |
---|---|---|
1 | 2 | |
53 | 633 | |
- | - | |
0.0 | 0.0 | |
over 1 year ago | 6 months ago | |
Haskell | Haskell | |
- | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
ghc-dump
-
Deep embedding of Haskell in Haskell
It kind of sounds like you want to script GHC. There's a plugin system for that, you could check out https://github.com/bgamari/ghc-dump for example. This library also provides a consistent representation for Core across multiple GHC versions.
haskell-exercises
-
Type family therapy
Hi, I'm going through i-am-tom's Haskell exercises, currently I'm doing "06-TypeFamilies", and I'm not getting the answer to question two to go through the type checker. The problem description is:
-
Gadts in haskell
Also, I would recommend writing some code with GADTs and/or doing some exercises: Haskell Exercises (GADT)
What are some alternatives?
ghcup-hs - THIS REPO IS A MIRROR, BUG REPORTS GO HERE:
elsa - ❄️ Elsa is a minimal, fast and secure runtime for JavaScript and TypeScript written in Go
hint - Runtime Haskell interpreter
learn-haskell-blog-generator - Learn Haskell by building a blog generator - an introductory book about Haskell.
ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling
ghc-hotswap - Example code for how we swap compiled code within a running Haskell process.
ghc-exactprint - GHC version of haskell-src-exts exactPrint
haskell-links - Exploratory project to gather Haskell links
stan - 🕵️ Haskell STatic ANalyser
learn-scotty-bulletin-app - Building a bulletin board using Haskell, scotty and friends
hasdim - Haskell Native Dimensional Data Modeling
higgledy - Higher-kinded data via generics