The one to look at here is MLton IMHO .. since it uses
a garbage collected (compacted) linear stack with mmap()
extension .. hopefully obtaining the benefits of both
linear performance from linear addresing and low
resource usage from spaghetti stack implementation.