- 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...
- multi-stage
programming with
explicit annotations" (PDF).
Theoretical Computer Science. 248 (1): 211–242. doi:10.1016/s0304-3975(00)00053-0.
MetaOCaml...
-
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...
-
metaprogramming features (for example,
Haskell has
Template Haskell,
OCaml has
MetaOCaml).
These can
allow programs to omit
boilerplate code,
abstract away...
- ; 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...
- Poly/ML. Has a BSD-style license. HOL Light – A
thriving "minimalist fork".
OCaml based. ProofPower – Went proprietary, then
returned to open source. Based...
- haskell.org.
Retrieved 2019-07-08. "
OCaml 4.00.1
release notes".
ocaml.org. 2012-10-05.
Retrieved 2019-09-23. "
OCaml 4.09
reference manual". 2012-09-11...
