Fi (Archived)

This is still a work in progress. It may be changed in the future.

Fi is a conceptual programming language by User:Rdococ.

Notable features of Fi would include:

• A strong, but implicit type system, which would include something like Bosque's string types, a separate system of number types to represent measurement quantities and units, and possibly more.
• A deterministic, region-based memory management system. Regions are automatically allocated when the program enters a scope, and deallocated when it leaves, and values are automatically allocated to the shortest-lived region that contains their entire possible lifetimes.
• Mutable variables and loops which follow certain restrictions so that they may be converted into a purely functional form for static analysis.

A more detailed description is currently a work in progress.