F*

F*

패러다임	다중 패러다임: 함수형 프로그래밍, 명령형 프로그래밍
설계자	마이크로소프트 리서치, 인리아[1]
최근 버전	repository
자료형 체계	의존, 추론, 정적, 스트롱(strong)
운영 체제	리눅스, macOS, 윈도우
라이선스	아파치 라이선스 2.0
웹사이트	www.fstar-lang.org
영향을 받은 언어
Coq, Dafny, F#, Lean, OCaml, Standard ML

F*(F 스타/F star로 발음)는 ML의 영향을 받은 함수형 프로그래밍 언어이다. 프로그램 검증을 목표로 하는 언어이다. 형 체계로는 의존형, 모나딕(monadic)형, 작용형, 정제형(refinement type)이 있다. F*로 작성된 프로그램들은 실행을 위해 OCaml, F 샤프, C로 변환이 가능하다. 이전 버전의 F*는 자바스크립트로의 변환도 지원했다.

각주

외부 링크

• F* Homepage
• F* source code on GitHub
• F* tutorial

• v
• t
• e

마이크로소프트 자유-오픈 소스 소프트웨어

개요

• 마이크로소프트와 오픈 소스
• 공유 소스 이니셔티브

소프트웨어

응용 프로그램	3D Movie Maker 아톰 Conference XP Family.Show 파일 관리자 Open Live Writer Microsoft PowerToys 터미널 윈도우 계산기 윈도우 콘솔 윈도우 패키지 관리자 WorldWide Telescope XML Notepad
비디오 게임	Allegiance
프로그래밍 언어	Bosque C# Dafny F# F* GW-BASIC IronPython IronRuby Lean P Power Fx 파워셸 Project Verona Q# R Open 스몰 베이직 온라인 타입스크립트 비주얼 베이직
프레임워크 및 개발 도구	닷넷 닷넷 바이오 닷넷 프레임워크 닷넷 가제티어 닷넷 MAUI 닷넷 마이크로 프레임워크 AirSim ASP.NET ASP.NET AJAX ASP.NET Core ASP.NET MVC ASP.NET Razor ASP.NET Web Forms Babylon.js BitFunnel Blazor C++/WinRT CCF 차크라코어 CLR Profiler Dapr DeepSpeed DiskSpd Dryad Dynamic Language Runtime eBPF on Windows 일렉트론 엔티티 프레임워크 플루언트 디자인 시스템 Fluid Framework Infer.NET LightGBM Managed Extensibility Framework Microsoft Automatic Graph Layout 마이크로소프트 C++ 표준 라이브러리 Microsoft Cognitive Toolkit Microsoft Detours Microsoft Enterprise Library Microsoft SEAL Mimalloc ML.NET mod_mono 모노 MonoDevelop MSBuild MsQuic Neural Network Intelligence npm NuGet OneFuzz Open Management Infrastructure Open Neural Network Exchange Open Service Mesh Open XML SDK Orleans ProcDump ProcMon Python Tools for Visual Studio R Tools for Visual Studio RecursiveExtractor Roslyn Sandcastle SignalR StyleCop SVNBridge T2 Temporal Prover Text Template Transformation Toolkit TLA+ Toolbox U-Prove vcpkg Virtual File System for Git 비주얼 스튜디오 코드 Voldemort VoTT Vowpal Wabbit 윈도우 앱 SDK 윈도우 커뮤니케이션 파운데이션 윈도우 드라이버 프레임워크 KMDF UMDF 윈도우 폼 윈도우 프레젠테이션 파운데이션 Windows Template Library 윈도우 UI 라이브러리 WinJS WinObjC WiX XSP xUnit.net Z3 Theorem Prover
운영 체제	MS-DOS (v1.25 & v2.0) Barrelfish SONiC CBL-Mariner
기타	ChronoZoom Extensible Storage Engine FlexWiki FourQ Gollum Project Mu ReactiveX SILK TLAPS TPM 2.0 Reference Implementation WikiBhasha

라이선스

• Microsoft Public License
• Microsoft Reciprocal License

포지

• CodePlex
• GitHub

관련

• .NET Foundation
• F# Software Foundation
• Microsoft Open Specification Promise
• Open Letter to Hobbyists
• Open Source Security Foundation
• Outercurve Foundation

분류