'수학과 코드의 만남' 함수형 프로그래밍 언어 F*
support1
게시글 작성 시각 2022-05-16 15:04:50
2022.05.16
ⓒ오영주/codingworldnews
코드는 다양한 시점에 다양한 방식으로 실행되는 여러 함수가 복잡하게 얽힌 매듭이다. 따라서 함수형 프로그래밍의 몇 가지 중심 개념을 사용해 수학적으로 증명 가능한 코드를 생산하는 언어를 설계할 수 있다.
마이크로소프트 리서치와 프랑스 국립 연구 센터인 인리아(Inria)에서 진행 중인 프로젝트인 F*('F스타'라고 읽음)는 프로그램 검증 기법을 지원하는 함수형 프로그래밍 언어다. F*로 코드를 쓰고 검증한 다음 타겟 언어 및 환경으로 내보낸다. 이미 성숙도가 충분히 높아서 F* 자체를 개발하는 언어로 사용하고 있으며 OCaml에서 컴파일된다. 깃허브의 개발 커뮤니티도 활발하다.
(후략)
[원문 기사 :http://www.codingworldnews.com/news/articleView.html?idxno=9886]
번호 | 제목 | 조회수 | 작성 |
---|---|---|---|
공지 | [Open UP 활용가이드] 공개SW 활용 및 개발, 창업, 교육 "Open UP을 활용하세요" | 316061 | 2020-10-27 |
공지 | [Open UP 소개] 공개SW 개발·공유·활용 원스톱 지원 Open UP이 함께합니다 | 305652 | 2020-10-27 |
10011 | "오픈소스 진영의 뜨거운 감자" CNCF, '개발 윤리' 교육 과정 개설 | 3243 | 2022-05-20 |
10010 | 미국 법원 "GPL도 계약"…소비자의 코드 요구권 인정 | 3223 | 2022-05-20 |
10009 | 고진 "디지털플랫폼정부, 오픈소스 활용 검토할 것" | 3389 | 2022-05-19 |
10008 | 파이썬, 속도 업그레이드한 3.11 베타 버전 공개...기존 버전 대비 최고 60% 빨라져 | 3295 | 2022-05-18 |
10007 | 구름 3.0 기반 '티맥스 구름', 국내 최초 GS 인증 획득 | 3283 | 2022-05-18 |
10006 | 오픈소스 DBMS, 공공 클라우드 격전지로 | 3244 | 2022-05-16 |
10005 | [주간 OSS 동향 리포트]삼성리서치 아메리카 로봇운영체제 오픈소스 공신력 인정 | 3913 | 2022-05-16 |
10004 | 마이크로소프트, 프로젝트 헤이븐 추진... "윈도 엣지컴퓨팅 기기서 쿠버네티스 가능" | 3690 | 2022-05-16 |
10003 | '수학과 코드의 만남' 함수형 프로그래밍 언어 F* | 3532 | 2022-05-16 |
10002 | 구글이 포스트그레SQL 시장에서 AWS, 애저와 어깨를 겨룰 수 있는 이유 | 3452 | 2022-05-16 |
0개 댓글