fmm

KO | EN

gitlite — search

#python #java #python3 #arduino #golang #machine-learning #rust #html #flask #javascript #seismology #nodejs

★ 18 Open GitHub ↗

The uncurried minimal functional programming language for CPS transformation

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# F--

[![GitHub Action](https://img.shields.io/github/actions/workflow/status/raviqqe/fmm/test.yaml?branch=main&style=flat-square)](https://github.com/raviqqe/fmm/actions)
[![License](https://img.shields.io/github/license/raviqqe/fmm.svg?style=flat-square)](https://raw.githubusercontent.com/raviqqe/fmm/main/LICENSE)

The uncurried minimal functional programming language

It's designed to be a compiler target for high-level functional programming languages.

## Features

- [SSA](https://en.wikipedia.org/wiki/Static_single_assignment_form)
- Minimal
  - Only 4 control instructions
    - `branch`
    - `call`
    - `if`
    - `return`
  - No backward jump
- Portable
  - Pointer-sized integer
  - C-like union type
  - Boolean type
- Structural typing
- CPS transformation
- IR builder library

### Backends

- [LLVM](fmm-llvm)
- [C](fmm-c)
  - No guarantee for tail call optimization

## Limitations

- Inductive types
- Weak typing
- No type inference

### Calling convention compatibility table

| Caller \ Callee | Target (C) | Tail | Source (CPS) |
| --------------- | ---------- | ---- | ------------ |
| Target (C)      | x          | x    | \*1          |
| Tail            | x          | x    | \*1          |
| Source (CPS)    | x          | x    | x            |

- \*1: Suspension in functions is not supported.

## Design notes

- Expressions have no side effect.
  - You can use them in constants.
- Instructions _can_ have side effects.

## License

[Apache 2.0](LICENSE)

fmm

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README