Skip to content
/ fmm Public

The uncurried minimal functional programming language for CPS transformation

License

Notifications You must be signed in to change notification settings

raviqqe/fmm

Repository files navigation

F--

GitHub Action License

The uncurried minimal functional programming language

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

Features

  • SSA
  • 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
  • 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

About

The uncurried minimal functional programming language for CPS transformation

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages