- 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...
-
metaprogramming features (for example,
Haskell has
Template Haskell, and
OCaml has
MetaOCaml).
These can
allow a
programmer to
eliminate boilerplate code, abstract...
-
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...
- 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...
-
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...
- ; Striegnitz, J.; Taha,
Walid Mohamed (2004). "DSL
implementation in
metaocaml,
template haskell, and C++" (PDF).
University of Waterloo, University...
- 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...
- Poly/ML. Has a BSD-style license. HOL Light – A
thriving "minimalist fork".
OCaml based. ProofPower – Went proprietary, then
returned to open source. Based...
