Say, F# compiler is close to single-pass, I believe, producing CIL, which goes to JIT/AOT compiler later