There does exist at least one sml implementation that computes the memory allocations at compile time a bit similar to how Rust does it.