'수학과 코드의 만남' 함수형 프로그래밍 언어 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]
| 번호 | 제목 | 조회수 | 작성 |
|---|---|---|---|
| 10011 | 고진 "디지털플랫폼정부, 오픈소스 활용 검토할 것" | 4111 | 2022-05-19 |
| 10010 | 파이썬, 속도 업그레이드한 3.11 베타 버전 메이저 놀이터 순위...기존 버전 대비 최고 60% 빨라져 | 3893 | 2022-05-18 |
| 10009 | 구름 3.0 기반 '티맥스 구름', 국내 최초 GS 인증 획득 | 3899 | 2022-05-18 |
| 10008 | 오픈소스 DBMS, 공공 클라우드 격전지로 | 3879 | 2022-05-16 |
| 10007 | [주간 OSS 동향 리포트]삼성리서치 아메리카 로봇운영체제 오픈소스 공신력 인정 | 4540 | 2022-05-16 |
| 10006 | 마이크로소프트, 프로젝트 헤이븐 추진... "윈도 엣지컴퓨팅 기기서 쿠버네티스 가능" - 메이저 사이트 | 4357 | 2022-05-16 |
| 10005 | '수학과 코드의 만남' 함수형 프로그래밍 언어 F* | 4266 | 2022-05-16 |
| 10004 | 구글이 포스트그레SQL 시장에서 AWS, 애저와 어깨를 겨룰 수 있는 이유 | 4085 | 2022-05-16 |
| 10003 | 깃허브 트렌드 오픈 소스 파이썬 프로젝트 TOP10 | 6548 | 2022-05-16 |
| 10002 | 오픈소스 경제학에 일어난 변화 | 3897 | 2022-05-13 |
0개 댓글