[email protected]: ~/site/projects ❯ less mucomp-lang.html

μcomp-lang is a simple component-based imperative language. The main features of the language are the following:

• is statically type checked;
• programs are made of components, which are linked together to form a whole program;
• a component is stateful, there is only one instance of each component;
• component behaviour specifications are given in terms of interfaces, which can be provided or used by the components;
• interfaces specify a set of functions and global variables to be provided by the interface’s provider (similar to the Java programming language);
• components are statically linked to each other via their interfaces

The code below shows a little program, that prints a greeting, using the μComp programming language.

interface StringPrinter { def print_str(msg: char[], size: int): void; } component SimplePrinter provides StringPrinter { def print_str(msg: char[], size: int): void { var i: int; for (i = 0; i < size; i++) putc(msg[i]); return; } } component Main provides App uses StringPrinter { def main(): int { var msg: char[6]; msg[0] = 'H'; msg[1] = 'e'; msg[2] = 'l'; msg[3] = 'l'; msg[4] = 'o'; msg[5] = '!'; print_str(msg, 6); return 0; } } connect Main.StringPrinter <- SimplePrinter.StringPrinter;