'수학과 코드의 만남' 함수형 프로그래밍 언어 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을 활용하세요" | 316826 | 2020-10-27 |
| 공지 | [Open UP 소개] 공개SW 개발·공유·활용 원스톱 지원 Open UP이 함께합니다 | 306520 | 2020-10-27 |
| 10009 | 고진 "디지털플랫폼정부, 오픈소스 활용 검토할 것" | 3398 | 2022-05-19 |
| 10008 | 파이썬, 속도 업그레이드한 3.11 베타 버전 공개...기존 버전 대비 최고 60% 빨라져 | 3307 | 2022-05-18 |
| 10007 | 구름 3.0 기반 '티맥스 구름', 국내 최초 GS 인증 획득 | 3301 | 2022-05-18 |
| 10006 | 오픈소스 DBMS, 공공 클라우드 격전지로 | 3250 | 2022-05-16 |
| 10005 | [주간 OSS 동향 리포트]삼성리서치 아메리카 로봇운영체제 오픈소스 공신력 인정 | 3918 | 2022-05-16 |
| 10004 | 마이크로소프트, 프로젝트 헤이븐 추진... "윈도 엣지컴퓨팅 기기서 쿠버네티스 가능" | 3696 | 2022-05-16 |
| 10003 | '수학과 코드의 만남' 함수형 프로그래밍 언어 F* | 3539 | 2022-05-16 |
| 10002 | 구글이 포스트그레SQL 시장에서 AWS, 애저와 어깨를 겨룰 수 있는 이유 | 3459 | 2022-05-16 |
| 10001 | 깃허브 트렌드 오픈 소스 파이썬 프로젝트 TOP10 | 5128 | 2022-05-16 |
| 10000 | 오픈소스 경제학에 일어난 변화 | 3298 | 2022-05-13 |
0개 댓글