Learn to program is a breeze!

Understandable

The keyword is a whole word in English, not an abbreviation.

• Easy to Learn!

  ---

  Just drag 'n drop, then attach or detach the block.

• Reactive Environment

  ---

  Reactive means action and reaction. When user makes any changes , MNL will response it with the result of evaluation or error if any.

• Shape and Color

  ---

  Assisting users by utilizing visual language capabilities: shapes and colors. Shapes will represent grammar, while colors will indicate value types.

• Type Inference

  ---

  Users do not need to declare the type explicitly! Let MNL do it for them (implicit typing).

• Program Visualization

  ---

  Show the beta reduction and the function value visually.

• It's a Functional PL

  ---

  MNL is a pure block-based functional programming language.

• YAKI

  ---

  MNL proudly presents a compiler, the Yet Another K/C Compiler Interface (YAKI). This powerful tool seamlessly transforms intuitive block-based programming languages into text-based languages like SML and Scala.

• Typing Rule

  ---

  Another YAKI capability is writing the typing derivation of MNL.

• Typing Suggestion

  ---

  MNL will elegantly present a suggested term type in a color box, thoughtfully aligned with its type constraints.