본문 바로가기

Home > 열린마당 > 공개SW 소식

공개SW 소식

'수학과 코드의 만남' 함수형 프로그래밍 언어 F*

support1 게시글 작성 시각 2022-05-16 15:04:50 게시글 조회수 3165

2022.05.16
ⓒ오영주/codingworldnews

 

코드는 다양한 시점에 다양한 방식으로 실행되는 여러 함수가 복잡하게 얽힌 매듭이다. 따라서 함수형 프로그래밍의 몇 가지 중심 개념을 사용해 수학적으로 증명 가능한 코드를 생산하는 언어를 설계할 수 있다. 
마이크로소프트 리서치와 프랑스 국립 연구 센터인 인리아(Inria)에서 진행 중인 프로젝트인 F*('F스타'라고 읽음)는 프로그램 검증 기법을 지원하는 함수형 프로그래밍 언어다. F*로 코드를 쓰고 검증한 다음 타겟 언어 및 환경으로 내보낸다. 이미 성숙도가 충분히 높아서 F* 자체를 개발하는 언어로 사용하고 있으며 OCaml에서 컴파일된다. 깃허브의 개발 커뮤니티도 활발하다.

(후략)

 

[원문 기사 :http://www.codingworldnews.com/news/articleView.html?idxno=9886]

 

 

맨 위로
맨 위로