검수요청.png검수요청.png

오카멜

위키원
Asadal (토론 | 기여)님의 2019년 9월 9일 (월) 21:12 판 (같이 보기)
이동: 둘러보기, 검색
오카멜(OCaml) 로고
오카멜(OCaml) 로고와 글자

오카멜(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)가 있다.

역사

오카멜은 Caml light을 계승하여 출시된 프로그래민 언어로, 이는 Caml언어의 초기 구현이며, Caml이라는 이름은 범주적인 추상기계언어를 의미한다. 그러나 오카멜은 Caml과 어떠한 관계도 가지고 있지 않다. 1990년대 초에 유형시스템과 객체지향프로그래밍에 대한 추론은 많은 연구 대상이였다. 연구 중에 표현적이면서 용이한 오브젝트와 클래스를 위한 타입의 시스템을 설계하는데 성공하였고, 새롭게 만들어진 디자인은 Caml Special Light에 통합되어 구현되었으며, 1996년 Objective Caml 언어 및 구현이 탄생하였다. 2011년에는 OCaml로 이름이 변경되었다. 발표이후 OCaml은 ML스타일의 정적 타이핑 및 추론과 함께 객체지향프로그래밍의 완전한 힘을활용한 최초의 언어가 되었고, 이후 정적으로 타입을 안전하게 많은프로그래밍 관용구를 지원하게 되었다. 반대로, JAVA나, C++은 같은 유형의 다른언어에서 문제를 일으키고있다. OCaml을 사용하여 작성된 많은 프로그램과 사용자 커뮤니티의 기여에 사용자의 그래픽 인터페이스및 네트워크 프로그래밍과 같은 다양한 영역에서 수행할수있는 수많은 라이브러리, 도구 및 프레임 워크가 포함이 된다고 밝혔다.

특징

오카멜은 정적 타입 시스템을 가진 함수형 언어이며, 함수를 데이터처럼 다룰 수 있다. 오카멜에서 타입은 컴퓨터에 의해 관리되고 타입에 대해서는 아무 것도 할 필요가 없다. 타입을 입력하지 않아도 강력한 추론 알고리즘을 통해 모든 타입 에러를 미연에 방지할 수 있다. 표현력이 좋고, 가벼운 타입의 시스템이며, 오카멜 타입의 시스템이 타입으로 발생할 수 있는 모든 버그를 예방, 타입 에러로부터 안전하며, 이처럼 수반되는 피해를 예방할 수 있다. 이 언어는 거의 모든 Unix 플랫폼 (Linux 및 MacOS X 포함) 및 윈도우 기반 PC에서 사용할 수 있다.신속하고 눈에 잘 띄지 않는 쓰레기 메모리를 청소해주기에 자동 메모리 관리가 가능하다. 독립 실행 형 응용 프로그램의 개별 컴파일이 가능하며, OCaml프로그램에서 독립실행형 프로그램을 만들수있다. 다양한 아키텍쳐에서 효율적인 머신 코드를 생성하는 컴파일러를 제공하고있다. 상호작용을 하며, 입력을하면, 바로 값이출력되거나 테스트를 하며, 따로 명령을 프로그램에 삽입할 필요가 없다. 이식성이 좋아, 다양한 플랫폼에서도 실행이 가능하다.

문제점

사용하는 프로그래머가 아주 적다. [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 코드를 생성한다.

각주

  1. 프랑스 컴퓨터과학 연구소
  2. The OCaml system is open source and can be freely redistributed. See the file LICENSE in the distribution for licensing information. 머리말 원문 발췌
  3. https://githut.info/ 38위에 랭크되어있다.
  4. OPAM- MERLIN,ocp-indent
  5. 인퍼(Infer)
  6. 이산 푸리에 변환의 한가지로, 주파수x시간 축데이터를 1:1로 변환하는것을 의미한다.

참고자료

같이 보기


  검수요청.png검수요청.png 이 오카멜 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.