'수학과 코드의 만남' 함수형 프로그래밍 언어 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을 활용하세요" | 352433 | 2020-10-27 |
| 공지 | [Open UP 소개] 공개SW 개발·공유·활용 원스톱 지원 Open UP이 함께합니다 | 342295 | 2020-10-27 |
| 10005 | [주간 OSS 동향 리포트]삼성리서치 아메리카 로봇운영체제 오픈소스 공신력 인정 | 3973 | 2022-05-16 |
| 10004 | 마이크로소프트, 프로젝트 헤이븐 추진... "윈도 엣지컴퓨팅 기기서 쿠버네티스 가능" | 3748 | 2022-05-16 |
| 10003 | '수학과 코드의 만남' 함수형 프로그래밍 언어 F* | 3600 | 2022-05-16 |
| 10002 | 구글이 포스트그레SQL 시장에서 AWS, 애저와 어깨를 겨룰 수 있는 이유 | 3516 | 2022-05-16 |
| 10001 | 깃허브 트렌드 오픈 소스 파이썬 프로젝트 TOP10 | 5286 | 2022-05-16 |
| 10000 | 오픈소스 경제학에 일어난 변화 | 3351 | 2022-05-13 |
| 9999 | GM, 리눅스 기반 SW정의 자동차 개발 위해 레드햇과 협력 | 3283 | 2022-05-13 |
| 9998 | 삼성리서치 아메리카 로봇운영체제 오픈소스 공신력 인정 | 3471 | 2022-05-12 |
| 9997 | 인텔, 신규 AI 반도체 '가우디2' 출시…엔비디아에 도전장 | 3188 | 2022-05-12 |
| 9996 | 엔비디아, 리눅스 GPU 커널모듈 오픈소스로 공개 | 4023 | 2022-05-12 |
0개 댓글