Skip to main content

Getting started

Miking (Meta vIKING) is a meta language system for creating embedded domain-specific and general-purpose languages. Miking is not a programming language, but rather a language system for creating languages and generating efficient compilers.


If you have not already done so, please install the Miking compiler.


MCore (Miking Core) is the core language of the Miking system. It is based on a typed Lambda Calculus. MCore consists of two parts:

  • MExpr is an MCore expression. A Miking language is always translated into an MExpr, before it is further evaluated or compiled into machine code.

  • MLang which is a language for defining and composing language fragments. MLang is formally translated into an MExpr.

Please proceed to get a basic understanding of MExpr.