Benki β†’ Bookmarks

β‡  previous page next page β‡’

A Scala library for partial evaluation. Can be used to implement embedded domain-specific languages or to compile high-level code into optimized low-level code.

Type-safe staged metaprogramming for Scala with quasiquotation and code pattern matching. syntax-case, basically.

A functional programming language based on partial evaluation and explicit inlining opt-out.

β‡  previous page next page β‡’