为什么F#三引号字符串中的换行符与Environment.NewLine不一致？

问题 #

无论在Windows还是Linux系统中，F#三引号字符串内的换行符都会被转换为LF，而非CRLF，但Windows系统下的Environment.NewLine取值为CRLF。

Windows环境下的测试代码如下：

let tripleQuotedString = """1
2
3"""
let concatenatedString = "1" + Environment.NewLine + "2" + Environment.NewLine + "3";;
printfn "%A" (Seq.toList tripleQuotedString) // yields ['1'; '\010'; '2'; '\010'; '3']
printfn "%A" (Seq.toList concatenatedString ) // yields ['1'; '\013'; '\010'; '2'; '\013'; '\010'; '3']

该现象目前未在F#官方规范中提及，请问这是F#的刻意设计决策吗？

回答 #

这是F#编译器的刻意设计决策，核心目的是保证字符串字面量的跨平台语义一致性。

F#在编译阶段处理所有源代码内嵌的字符串字面量时（包括三引号字符串、普通逐字字符串中包含的换行），会统一把源代码文件中的任意换行格式（Windows常用的CRLF、类Unix系统常用的LF）统一转换为单个LF字符存入编译后的程序常量中。该设计可以避免源代码的换行存储格式影响最终程序行为：同一份F#代码不管是在Windows上以CRLF格式保存，还是在Linux/macOS上以LF格式保存，编译后得到的同个字符串字面量内容完全一致，不会出现跨平台编译时字符串比较失败、哈希值不匹配等隐形问题。

Environment.NewLine属于运行时API，作用是返回当前程序运行环境的系统默认换行符，用于适配运行时平台的文本输出、文件写入等场景，和编译期的字符串字面量处理逻辑相互独立，二者的设计目标完全不同。

你观察到的早期F#官方规范未提及该行为的情况确实存在，但该处理逻辑从三引号字符串特性正式发布起就作为稳定实现保留，属于F#社区公认的标准行为。

内容的提问来源于stack exchange，提问作者Dabo