위키원
"오카멜"의 두 판 사이의 차이
(내용추가) (태그: 모바일 편집, 모바일 웹 편집) |
|||
| 5번째 줄: | 5번째 줄: | ||
오카멜 언어로 개발한 암호화폐에는 '''[[테조스]]'''(Tezos)가 있다. | 오카멜 언어로 개발한 암호화폐에는 '''[[테조스]]'''(Tezos)가 있다. | ||
| − | == | + | ==특징== |
| − | + | 정적타입 시스템을 가진 함수형 언어이며, 타입을 입력하지 않아도 강력한 추론 알고리즘을 통해 모든 타입 에러를 미연에 방지할 수 있다. 함수형 언어이며, 함수를 데이터처럼 다룰 수 있다. 표현력이 좋고, 가벼운 타입의 시스템이며, 오카렘 타입의 시스템이 타입으로 발생할 수 있는 모든 버그를 예방, 타입 에러로부터 안전하며, 이처럼 수반되는 피해를 예방할 수 있다. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ==문제점== | |
| + | 사용하는 프로그래머가 아주 적다. <ref>https://githut.info/ 38위에 랭크되어있다.</ref> | ||
| − | [[ | + | |
| + | ==문제점 극복 및 향후== | ||
| + | 사용하는 프로그래머가 적었으나, 툴과 라이브러리를 보유하고 있다.<ref>[https://opam.ocaml.org/ OPAM]- MERLIN,ocp-indent</ref> | ||
| + | IT 대기업인 페이스북이 관심을 갖고 주요 프로젝트의 언어를 채택하였다.<ref>[http://www.zdnet.co.kr/view/?no=20181224091933 인퍼(Infer)]</ref> | ||
| + | |||
| + | ==활용사례== | ||
| + | *제인 스트리트(Jane Street): OCaml의 주요 플랫폼을 사용하는 무역회사이며, 거의 모든 소프트웨어의 통계 조사부터 시스템 관리, 실시간 거래를 OCaml로 하였다. | ||
| + | *유니슨(Unison): 윈도우(Windows)와 유닉스(Unix)의 단일 파일 동기화 프로그램을 만들었다. | ||
| + | *MLdonkey:P2P네트워크에 연결하여 파일을 다운로드 및 공유하는 클라이언트를 만들었고, 원격으로 제어할수있게 만들었다. 현재 이용자는 약 1만명의 이용자가 있다. | ||
| + | *MLFi: LexiFi가 개발하였으며, 자본시장의 신용및 투자제품을 정확하게 설명하는 최초의 공식언어이며, OCaml의 확장으로 구현되었다. | ||
| + | *Coq(Coq Proof Assistant): 수학 응용프로그램 외에 컴퓨터 프로그램의 정확성을 인증해주는 프로그램이다. | ||
| + | *FFTW: DFT (Discrete Fourier Transform)<ref>이산 푸리에 변환의 한가지로, 주파수x시간 축데이터를 1:1로 변환하는것을 의미한다.</ref>을 계산하기 위한 빠른 C 라이브러리이며, OCaml의 강력한 기호 알고리즘을 사용한다. 정수를 입력하면 정수의 크기만큼 DET를 계산하기 위해 최적화된 C 코드를 생성한다. | ||
| + | |||
| + | |||
| + | {{각주}} | ||
| + | |||
| + | |||
| + | ==참고자료== | ||
| + | *임민철 기자, [http://www.zdnet.co.kr/view/?no=20181224091933 차세대 바이너리분석엔진 'B2-R2' 오픈소스로 푼다], 《ZENet Korea 》,2018-12-24 | ||
| + | *네이버 지식백과, DFT - https://terms.naver.com/entry.nhn?docId=3475335&cid=58439&categoryId=58439 | ||
| + | *OCaml공식 홈페이지 - http://www.ocaml.org/ | ||
| + | *Bloofer, [https://jmyang.kr/2018/01/23/why-ocaml/ Why OCaml?], 《블로그》, 2018-01-23 | ||
2019년 6월 27일 (목) 15:29 판
오카멜(OCaml)은 Objective Categorical Abstract Machine Language의 약자로서, 오브젝티브 카멜(Objective Caml) 언어이다. 오카멜은 기존의 카멜(Caml) 언어에 객체지향 구조를 추가한 객체 지향 프로그래밍(OOP) 언어이다. 오카믈, 오캐멀 또는 오캐믈이라고도 한다. OCaml의 소유는 INRIA(Institut National de Recherche en Informatique et En Automatique)[1]가 갖고 있다. 오픈 소스이며, 자유롭게 재배포가 가능하다.[2]
테조스(Tezos)
오카멜 언어로 개발한 암호화폐에는 테조스(Tezos)가 있다.
특징
정적타입 시스템을 가진 함수형 언어이며, 타입을 입력하지 않아도 강력한 추론 알고리즘을 통해 모든 타입 에러를 미연에 방지할 수 있다. 함수형 언어이며, 함수를 데이터처럼 다룰 수 있다. 표현력이 좋고, 가벼운 타입의 시스템이며, 오카렘 타입의 시스템이 타입으로 발생할 수 있는 모든 버그를 예방, 타입 에러로부터 안전하며, 이처럼 수반되는 피해를 예방할 수 있다.
문제점
사용하는 프로그래머가 아주 적다. [3]
문제점 극복 및 향후
사용하는 프로그래머가 적었으나, 툴과 라이브러리를 보유하고 있다.[4] IT 대기업인 페이스북이 관심을 갖고 주요 프로젝트의 언어를 채택하였다.[5]
활용사례
- 제인 스트리트(Jane Street): OCaml의 주요 플랫폼을 사용하는 무역회사이며, 거의 모든 소프트웨어의 통계 조사부터 시스템 관리, 실시간 거래를 OCaml로 하였다.
- 유니슨(Unison): 윈도우(Windows)와 유닉스(Unix)의 단일 파일 동기화 프로그램을 만들었다.
- MLdonkey:P2P네트워크에 연결하여 파일을 다운로드 및 공유하는 클라이언트를 만들었고, 원격으로 제어할수있게 만들었다. 현재 이용자는 약 1만명의 이용자가 있다.
- MLFi: LexiFi가 개발하였으며, 자본시장의 신용및 투자제품을 정확하게 설명하는 최초의 공식언어이며, OCaml의 확장으로 구현되었다.
- Coq(Coq Proof Assistant): 수학 응용프로그램 외에 컴퓨터 프로그램의 정확성을 인증해주는 프로그램이다.
- FFTW: DFT (Discrete Fourier Transform)[6]을 계산하기 위한 빠른 C 라이브러리이며, OCaml의 강력한 기호 알고리즘을 사용한다. 정수를 입력하면 정수의 크기만큼 DET를 계산하기 위해 최적화된 C 코드를 생성한다.
각주
참고자료
- 임민철 기자, 차세대 바이너리분석엔진 'B2-R2' 오픈소스로 푼다, 《ZENet Korea 》,2018-12-24
- 네이버 지식백과, DFT - https://terms.naver.com/entry.nhn?docId=3475335&cid=58439&categoryId=58439
- OCaml공식 홈페이지 - http://www.ocaml.org/
- Bloofer, Why OCaml?, 《블로그》, 2018-01-23
