> SaberVM is intended to be what functional programmers wish Wasm was: a statically typed runtime system that could be run in the browser but isn’t primarily for that, which could functional languages could easily compile to in a way that preserves the sort of polymorphism-based security reasoning that functional programs depend on.

F# in Webassembly via Bolero - https://fsbolero.io

How well do you think it succeeds in meeting functional programmers' expectations?