F# 入门(五)：F# 代码结构及编译顺序

F#与C#/java/C++的代码区域划分有很大的不同，它是靠行缩进来区别不同的代码作用域的。F#编译器编译文件的顺序是垂直从上到下，就如之前说的F#代码文件都是有上下顺序的，如图：



这个项目下有两个文件，如果"Program.fs"想要引用"Helper.fs"里的代码，那么"Helper.fs"文件必须在"Program.fs"上面，不然会出现未定义错误。这里可以通过选中该文件，然后用"Alt+向上箭头"和"Alt+向下箭头"来上下调整文件顺序。[注意：多个文件时，如果要定义Main函数或入口，这必须定义在最下面文件的底部。]

这里顺便介绍下F#里的几种代码文件：

以fs后缀结尾的文件是正式的代码文件，就如C#中的cs文件及C++中的cpp文件

以fsi后缀结尾的文件是签名文件，就是把函数的定义声明在该文件里，类似于C++的头文件。

以fsx后缀结尾的文件是脚本文件，可以脱离VS单独运行，用F# Interactive(fsi.exe)运行。可以右键该文件，选择"Run With F# Interactive"直接运行。而在项目工程里fsx文件也遵循垂直编译原则。不过要注意的是fsx与fs文件是不相同的，即不能相互引用。

接下来说下同文件里的代码划分：

例如下图：



首先最外层的是该文件中缩进最少的行，如这里的"PrintColors"函数，其次是在该行下面有更多间距的缩进就是其函数体， 从这里可以看出MAX、start、reduce这三个变量和紧接着的for循环代码块是同一层的，然后是for循环里面的代码继续缩进表示接下来的代码都是包含在for循环中的，如果代码不想包含在for循环里，可以使用同MAX相同的缩进回到上一层。

这里变量的作用域是该变量接下来的代码(缩进间距大于或等于该变量声明行)直到碰到缩进间距小于它自己的范围。

在一个文件中最少的缩进(或顶格)行是最外面层，然后在里面用不同缩进表示不同层次，这就像C#里类里包含方法，方法里再包含代码一样。

由于缩进的间距是空行不易识别，虽然惯例是用tab(默认4格空格)进行一层缩进。下面是使用前面介绍过的一个很便利的工具"
F# Depth Colorizer"后的代码：



非常清晰的显示出了代码的层次。

module与namespace

module一般用于一个功能的代码块，namespace可以包含多个module.

例如下面代码：

Helper.fs:

module Utilities

/// This is a sample value

let sampleValue = 7 + 10

/// This is a sample function

let sampleFunction argument1 argument2 =

argument1 + argument2

Program.fs:

open Utilities

// These are some sample values.

let sample1 = sampleFunction 4 12

namesapce中包含多个module：

namespace sample

module sample1 =

let sampledata = 1

let sampleFun argument1 argument2 =

argument1 + argument2

module sample2 =

let sampledata = 1

let sampleFun argument1 argument2 =

argument1 + argument2

外面引用：

sample.sample2.sampleFun 3 4

或

open sample.sample2

sampleFun 3 4