F*
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
F*는 함수형 프로그래밍 언어이다. 2022년 3월 24일 버전까지 F*는 F*와 F#의 공통 하위 집합으로 작성되었으며, OCaml과 F# 모두에서 부트스트래핑을 지원했으나, 2022년 4월 2일 버전부터 이 방식은 중단되었다. F*는 일반적인 산술 연산자와 관계 연산자를 지원하며, bool, int, float, char, unit과 같은 원시 자료형을 제공한다. 관련 연구로 Ahman 외(2017)는 Dijkstra Monads for Free를 발표했으며, Swamy 외(2016)는 F*의 종속 타입 및 다중 모나드 효과를 발표했다.
더 읽어볼만한 페이지
- 2013년 개발된 프로그래밍 언어 - 퓨어스크립트
퓨어스크립트는 2013년 필 프리먼이 설계한 함수형 프로그래밍 언어이며, 하스켈과 유사한 타입 시스템을 갖추고 자바스크립트 등으로 컴파일되며 엄격한 평가, 불변 자료 구조, 타입 추론을 특징으로 한다. - 2013년 개발된 프로그래밍 언어 - 엔트리 (프로그래밍 언어)
엔트리는 네이버 커넥트재단에서 개발한 블록형 프로그래밍 교육 플랫폼으로, 블록 조립을 통해 프로그래밍 학습, 창작물 제작 및 공유가 가능하며, 한국어 지원과 교육 환경에 최적화된 기능이 특징이다. - ML 프로그래밍 언어 계열 - OCaml
OCaml은 ML 계열의 함수형 프로그래밍 언어로서 클래스 기반 객체 지향 프로그래밍 기능을 지원하며, 강력한 타입 시스템, 타입 추론, 꼬리 재귀 최적화 등의 특징을 가진다. - ML 프로그래밍 언어 계열 - ML (프로그래밍 언어)
ML은 1970년대 초에 개발된 프로그래밍 언어로, 강력한 타입 시스템, 일급 함수, 가비지 컬렉션, 정적 타이핑 등의 기능을 제공하며 다양한 분야에서 활용된다. - 마이크로소프트 리서치 - 마이크로소프트 코그니티브 툴킷
- 마이크로소프트 리서치 - Cω
2. 역사
F*는 마이크로소프트 리서치에서 처음 개발되었다.[5]
2. 1. 버전
2022년 3월 24일 버전까지 F*는 F*와 F#의 공통 하위 집합으로 작성되었으며, OCaml과 F# 모두에서 부트스트래핑을 지원했다. 2022년 4월 2일 버전부터 이 방식은 중단되었다.[5][6]3. 특징
F*는 마이크로소프트에서 개발한 함수형 프로그래밍 언어로, 프로그램 검증을 목표로 한다. F*는 ML과 유사한 문법을 가지고 있으며, 하스켈과 OCaml의 영향을 받았다. F*는 반결정적인 SMT 문제를 해결하기 위해 의존 타입, 모나딕 효과, 정제 타입과 같은 기능을 제공한다. F*는 타입 추론을 지원하며, 프로그래머가 명시적으로 타입을 지정하지 않아도 컴파일러가 타입을 유추할 수 있다.
3. 1. 연산자
F*는 +, -, *, / 와 같은 일반적인 산술 연산자를 지원한다. 또한 F*는 <, <=, ==, !=, >, >= 와 같은 관계 연산자도 지원한다.[7]3. 2. 자료형
F*의 일반적인 원시 자료형은 `bool`, `int`, `float`, `char`, `unit`이다.[7]4. 관련 연구
참조
[1]
웹사이트
Microsoft Research Inria Joint Centre
https://www.microsof[...]
[2]
간행물
Secure distributed programming with value-dependent types
https://dl.acm.org/d[...]
Association for Computing Machinery
2023-04-17
[3]
웹사이트
The F* Project
https://www.microsof[...]
2023-04-20
[4]
웹사이트
FStarLang/FStar
https://github.com/F[...]
2024-04-23
[5]
웹사이트
fstar.exe is no longer buildable in F# as a .NET executable #2512
https://github.com/F[...]
2023-04-17
[6]
웹사이트
Consider dropping requirement that F* code has to be valid F# #1737
https://github.com/F[...]
2023-04-17
[7]
서적
Proof-Oriented Programming in F*
https://fstar-lang.o[...]
2024-01-14
[8]
웹인용
Microsoft Research Inria Joint Centre
https://www.microsof[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com