MNL is a block-based functional programming language developed to facilitate programming education. It enables visualization of computational processes, including beta reduction and function evaluation. Additionally, MNL employs visual elements such as shape and color to convey semantic information to users.
learn moreJust drag'n drop, then attach or detach the block.
The keyword is a whole in English, not an abbreviation.
It is a pure block-based functioan programming language.
Reactive means action and reaction. When user makes any changes , MNL will response it with the result of evaluation or error if any.
Assisting users by utilizing visual language capabilities: shapes and colors. Shapes will represent grammar, while colors will indicate value types.
The Yet Another Compiler Interface (YAKI) is a robust tool designed to convert block-based MNL into text-based languages, including SML and Scala.
Bringing beta reduction to life with a visual that highlights how call-by-value and call-by-push-structure evaluation strategies unfold step by step.
Users do not need to declare the type explicitly! Let MNL do it for them (implicit typing).
MNL will elegantly present a suggested term type in a color box, thoughtfully aligned with its type constraints.
MNL provides a tool named Tarsius, which visually represents the function value.
Another YAKI capability is writing the typing derivation of MNL.
2025
The MNL: A Block-Based Functional Programming Language with Reactive Blocks
An evaluation strategy for block-based language.
