Home » forums » LtU Forum

Looking for VM's or AM's for functional languages.

I am wanting to review source code for virtual or abstract machines for statically typed functional languages.

Candidates would be both native implementations in C, C++, Rust, etc. Or assembler, or higher source language bootstrapped languages.

Many thanks in advance.

By AaronNGray at 2020-11-19 02:34 | LtU Forum | previous forum topic | next forum topic | other blogs | 3020 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

one that never went anywhere fwiw

but was interesting at the time, i thought. hlvm.

By raould at Thu, 2020-12-03 18:55 | login or register to post comments

HLVM was an attempt at

HLVM was an attempt at putting another layer ontop of LLVM it was not functional as such IIRC it had common imperative language constructs and worked like an AST lowering to LLVM. It was a bit too 'opinionated for most usages, iI seem to remember.

By AaronNGray at Sat, 2020-12-05 03:03 | login or register to post comments

Is F# functional enough?

F# is using CLI VM. It is open source. https://github.com/dotnet/runtime

And I do not think that VM layer has to be 'functional'. Even prolog VMs were quite imperative. Rich enough VM like JVM or CLI will work just fine, and you will have libraries.

CLI IR is richer than JVM bytecode, but JVM is catching up and it will be possibly at the similar point in 2-4 years (the project Valhala and so on).

By const at Wed, 2020-12-09 13:02 | login or register to post comments

Moonad/Formality

Victor Maia has been working on an abstract machine to optimize lambda calculus, based on Yves Lafont's Interaction Nets. See medium post. The language built above this is Formality, see github moonad/Formality.

By dmbarbour at Thu, 2020-12-10 16:10 | login or register to post comments