Snippets tagged staging
-
Stage your boilerplate
Application of staging to "scrap your boilerplate" generic programming technique.
2 people like this
Like the snippet!Posted: 9 years ago by Nick Palladinos
-
Staged Ackermann
Partial evaluating the Ackermann function.
2 people like this
Like the snippet!Posted: 8 years ago by Nick Palladinos
-
Staged Parser Combinators
Staged Parser Combinators
2 people like this
Like the snippet!Posted: 8 years ago by Nick Palladinos
-
Staged Monoidal Folds
Staged Monoidal Folds based on https://github.com/Gabriel439/slides/blob/master/munihac/foldmap.md
1 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Staged Generic Hashcodes
Staged generic hashcode generation using TypeShape.
0 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis
-
Staged HOAS
Staged Higher-order abstract syntax via GADT encoding.
0 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Staged Free Monads
Transform a Free Monad interpreter to a compiler through staging.
2 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Staged typed formatting
Staged typed formatting, based on http://okmij.org/ftp/ML/GADT.txt, https://www.cl.cam.ac.uk/~jdy22/papers/modular-macros.pdf
0 people like this
Like the snippet!Posted: 7 years ago by NIck Palladinos
-
Staged Trampoline
Staged Trampoline.
1 people like this
Like the snippet!Posted: 7 years ago by NIck Palladinos
-
Yet another staged fixed-point combinator
Staged fixed-point combinator without staged recursion.
3 people like this
Like the snippet!Posted: 9 years ago by Nick Palladinos
-
A Staged Regular Expression Matcher
A staged a regular expression interpreter is a compiler!!!
4 people like this
Like the snippet!Posted: 8 years ago by Nick Palladinos
-
Staged Functional Unparsing
Staged Functional Unparsing based on http://www.brics.dk/RS/98/12/BRICS-RS-98-12.pdf
0 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Lightweight Staged Numeric code
Lightweight Staged Numeric code.
1 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Staged Generic Equality
Staged generic equality comparer using TypeShape.
1 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis
-
Staged HOAS
Staged Higher-order abstract syntax via GADT encoding.
4 people like this
Like the snippet!Posted: 7 years ago by Nick Palladinos
-
Staged Ziria Streams
Staged Ziria Streams, based on https://github.com/dimitriv/ziria-sem/blob/master/Haskell/ZirBasic.hs.
0 people like this
Like the snippet!Posted: 7 years ago by NIck Palladinos
-
Staged Parallel Ziria Streams
Staged Parallel Ziria Streams.
1 people like this
Like the snippet!Posted: 7 years ago by NIck Palladinos
-
Staged Generic Hashcode generation with recursive type support
Staged Generic Programming with support for recursive types PoC
0 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis