F*
패러다임 | 다중 패러다임: 함수형 프로그래밍, 명령형 프로그래밍 |
---|---|
설계자 | 마이크로소프트 리서치, 인리아[1] |
최근 버전 | repository |
자료형 체계 | 의존, 추론, 정적, 스트롱(strong) |
운영 체제 | 리눅스, macOS, 윈도우 |
라이선스 | 아파치 라이선스 2.0 |
웹사이트 | www |
영향을 받은 언어 | |
Coq, Dafny, F#, Lean, OCaml, Standard ML |
F*(F 스타/F star로 발음)는 ML의 영향을 받은 함수형 프로그래밍 언어이다. 프로그램 검증을 목표로 하는 언어이다. 형 체계로는 의존형, 모나딕(monadic)형, 작용형, 정제형(refinement type)이 있다. F*로 작성된 프로그램들은 실행을 위해 OCaml, F 샤프, C로 변환이 가능하다. 이전 버전의 F*는 자바스크립트로의 변환도 지원했다.
각주
- ↑ “Microsoft Research Inria Joint Centre”. 《MSR-INRIA》.
외부 링크
- F* Homepage
- F* source code on GitHub
- F* tutorial
- v
- t
- e
- 마이크로소프트와 오픈 소스
- 공유 소스 이니셔티브
응용 프로그램 |
|
---|---|
비디오 게임 |
|
프로그래밍 언어 |
|
프레임워크 및 개발 도구 |
|
운영 체제 |
|
기타 |
|
- Microsoft Public License
- Microsoft Reciprocal License
- .NET Foundation
- F# Software Foundation
- Microsoft Open Specification Promise
- Open Letter to Hobbyists
- Open Source Security Foundation
- Outercurve Foundation
분류