This article gives an overview how types are accessed in F# with a combination of features related to static typing, dynamic typing, and type inference. Static Typing Static type checking ensures, at compile time, that the program is free from most kinds of type errors. The source code editor can highlight such errors as soon as they are written out. Static type checking in F# probably goes further than in any other strongly typed language: By default, types defined in F# cannot be null. This[...]