[f#] F #이 OCaml로 변경됨 [닫힘]

이 질문은 한동안 답변을 받았지만 대부분의 답변이 F #에서 누락 된 OCaml 기능에 대해 말하고 있다는 사실에 상당히 놀랐습니다. 기존 OCaml 프로그램을 F #으로 이식하려는 경우 확실히 알 수 있습니다. 참고 문헌 대부분의 동기). 그러나 F #을 다른 언어로 만드는 많은 기능이 있습니다 (.NET 용 OCaml의 제한된 버전 만이 아닙니다!) F #에 추가 된 몇 가지 사항은 다음과 같습니다.

• 숫자 계산을 처리하는 코드를 유형 검사 할 수 있는 측정 단위
• 따옴표를 사용한 메타 프로그래밍 (F #에서 LINQ를 사용할 수 있으며 WebSharper 플랫폼과 같은 프로젝트를 승인하는 데 필수적 임)
• 기능적 데이터 유형에 대한 추상화를 작성하기위한 활성 패턴 (보다 복잡한 패턴 일치 애플리케이션에 일반적으로 매우 유용한 기능)
• 비동기 워크 플로우 ( 언어 화 I / O / 웹 서비스 / GUI 프로그래밍을위한 라이브러리 )의 언어 기능인 계산식
• .NET 플랫폼과 완벽하게 상호 운용 될 수있는 .NET 호환 객체 시스템 (OCaml은 객체를 지원하지만 서로 다릅니다. 물론 두 시스템 모두에 이점이 있습니다).
• 과부하 연산자 -내가 아는 한 OCaml에는 과부하 연산자가 없습니다. F # +에서는 모든 숫자 유형과이를 지원하는 유형에 모두 사용할 수 있습니다 .

그리고 솔직히 Visual Studio IDE에 대해서도 언급 할 가치가 있다고 생각합니다. 이것은 언어의 일부는 아니지만 사용자 경험을 향상시킵니다 (Visual Studio의 IntelliSense 지원은 정말 좋습니다!)

이 목록을 보면 F #의 인기에 크게 기여한 것이 많기 때문에 “펑터가없는 Ocaml”이상의 것입니다. F #은 분명히 OCaml을 기반으로하고 (하스켈과 같은 다른 언어의 아이디어를 취함) 그들과 많은 측면을 공유하지만 다른 것들도 많이 있습니다. 비동기 워크 플로, .NET 스타일 OO 및 메타 프로그래밍과 같은 것이 없으면 Microsoft Developer Division은 Visual Studio 2010에서 F #을 절대 포함하지 않을 것입니다.

답변