F#는 마이크로소프트 리서치(Microsoft Research)의 돈 사이메(Don Syme)가 설계하고, 마이크로소프트와 F# 소프트웨어 재단(F# Software Foundation)이 공동으로 개발한 범용 고급 프로그래밍 언어이다. 2005년에 버전 1.0이 처음 등장했으며, 현재까지 지속적으로 발전해 왔다.
F#은 함수형(functional), 명령형(imperative), 객체지향(object-oriented) 프로그래밍 패러다임을 모두 포괄하는 다중 패러다임 언어이다. 특히 함수형 프로그래밍에 강점을 두고 있으며, ML 계열 언어인 OCaml의 영향을 크게 받았다. 또한 C#, Erlang, Haskell, Python, Scala 등의 언어로부터도 영향을 받았다.
F#은 주로 .NET 플랫폼에서 실행되는 크로스플랫폼 언어로 사용되며, 정적 타입(static typing)과 강한 타입(strong typing) 체계를 갖추고 있다. 타입 추론(type inference)을 지원하여 개발자가 명시적으로 타입을 선언하지 않아도 컴파일러가 타입을 자동으로 유추할 수 있다. 파일 확장자는 .fs, .fsi, .fsx, .fsscript 등이 사용된다.
F#의 주요 특징으로는 불변성(immutability)을 기본으로 하는 값 바인딩, 일급 함수(first-class functions), 패턴 매칭(pattern matching), 파이프 연산자(|>), 레코드(record)와 판별 유니온(discriminated union) 타입, 측정 단위(units of measure), 타입 프로바이더(type providers) 등이 있다. 이러한 기능들은 간결하고 견고한 코드 작성에 도움을 준다.
F#은 오픈소스 언어로 MIT 라이선스로 배포되며, Windows, macOS, Linux 등 다양한 운영체제에서 실행된다. .NET 플랫폼의 일부로 C# 및 Visual Basic과 상호 운용이 가능하다. 또한 JavaScript 코드 생성(Fable)과 GPU 코드 생성도 지원한다.
F#은 데이터 과학, 머신러닝, 웹 개발, 금융 소프트웨어 등 다양한 분야에서 활용되고 있다. 공식 웹사이트는 fsharp.org이며, 마이크로소프트의 .NET 문서 사이트에서도 공식 문서가 제공된다.
