Adnan Masood's Weblog! عدنان مسعود

F# comes out of the ML family of languages. That family shares with Scheme the fact that functions are values and that free variables in lambdas are lexically scoped. So they're certainly closer to each other than they are to C or Fortran or Java.

But

Scheme: dynamically typed
ML: statically typed - the type system is in fact one of the main reasons ML was invented

Scheme: all variables are mutable
ML: variables are immutable unless marked otherwise

Scheme: macros are part of the language definition and important to how you write it
ML: macros exist in some extensions of some variation on ML

Scheme: call-with-current-continuation
ML: nope