F#的编译器用哪种语言编写？

F#的编译器是用OCaml语言编写的。

F#是一种跨平台的函数式编程语言，它是基于.NET平台的一部分，可以在Windows、Linux和macOS等操作系统上运行。F#的编译器是将F#代码转换为中间语言（IL）的工具，以便在.NET运行时上执行。

F#的编译器本身是用OCaml语言编写的。OCaml是一种强类型的函数式编程语言，它具有静态类型检查和模式匹配等特性，非常适合用于编写编译器和解释器等工具。F#的设计者之一Don Syme在开发F#时选择了OCaml作为编译器的实现语言，因为OCaml具有强大的类型推导和模式匹配能力，可以很好地支持F#的语法和特性。

关于F#编译器的更多信息，您可以参考腾讯云的F#产品介绍页面：F#产品介绍。