- int -> int = <fun> # add4 98;; - : int = 102
MetaOCaml is a multi-stage
programming extension of
OCaml enabling incremental compiling of new machine...
- Lisp
dialects by
using the
quasiquote ("backquote") operator. Nim
MetaML
MetaOCaml Scala natively or
using the
Lightweight Modular Staging Framework Terra...
-
Maude system META II (and
META I, a subset)
MetaOCaml Nemerle Nim Perl
Python Raku Red Ring Ruby Rust
Scheme SequenceL Smalltalk Source TREE-
META Wolfram Mathematica...
-
metaprogramming features (for example,
Haskell has
Template Haskell,
OCaml has
MetaOCaml).
These can
allow programs to omit
boilerplate code,
abstract away...
- iteration,
while still enabling the use of
standard Lisp operators. The
MetaOCaml preprocessor/language
provides similar features for
external DSLs. This...
- multi-stage
programming with
explicit annotations" (PDF).
Theoretical Computer Science. 248 (1): 211–242. doi:10.1016/s0304-3975(00)00053-0.
MetaOCaml...
- ; Striegnitz, J.; Taha,
Walid Mohamed (2004). "DSL
implementation in
metaocaml,
template haskell, and C++" (PDF).
University of Waterloo, University...
-
language (the
meta-language). If the
meta-language
follows call by
value (as
OCaml does), the
source language follows call by value. If the
meta-language follows...
-
structure that
captures the
bindings of the free variables. The
following OCaml program computes the sum of the
integers from 1 to 100: let rec sum n =...
- ML (
Meta Language) is a general-purpose, high-level,
functional programming language. It is
known for its use of the
polymorphic Hindley–Milner type system...
