오카멜

오카멜(OCaml)

오카멜(OCaml)

오카멜(OCaml)은 Objective Categorical Abstract Machine Language의 약자로서, 오브젝티브 카멜(Objective Caml) 언어이다. 오카멜은 기존의 카멜(Caml) 언어에 객체지향 구조를 추가한 객체 지향 프로그래밍(OOP) 언어이다. 오카믈, 오캐멀 또는 오캐믈이라고도 한다. OCaml의 소유는 INRIA(Institut National de Recherche en Informatique et En Automatique)가 갖고 있다. 오픈 소스이며, 자유롭게 재배포가 가능하다.

테조스(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프로그램에서 독립실행형 프로그램을 만들수있다. 다양한 아키텍쳐에서 효율적인 머신 코드를 생성하는 컴파일러를 제공하고있다. 상호작용을 하며, 입력을하면, 바로 값이출력되거나 테스트를 하며, 따로 명령을 프로그램에 삽입할 필요가 없다. 이식성이 좋아, 다양한 플랫폼에서도 실행이 가능하다.

문제점 및 해결방안

오카멜 프로그래밍 언어는 사용하는 프로그래머가 아주 적다. 다만, 비록 사용하는 프로그래머가 적기는 하지만, 다양한 툴과 라이브러리를 보유하고 있다. 특히, IT 대기업인 페이스북이 관심을 갖고 주요 프로젝트의 언어로 채택하였다.

활용 사례

• 제인 스트리트(Jane Street): OCaml의 주요 플랫폼을 사용하는 무역회사이며, 거의 모든 소프트웨어의 통계 조사부터 시스템 관리, 실시간 거래를 OCaml로 하였다.
• 유니슨(Unison) : 윈도우(Windows)와 유닉스(Unix)의 단일 파일 동기화 프로그램을 만들었다.
• MLdonkey : 피투피(P2P) 네트워크에 연결하여 파일을 다운로드 및 공유하는 클라이언트를 만들었고, 원격으로 제어할수있게 만들었다. 현재 이용자는 약 1만명의 이용자가 있다.
• MLFi : LexiFi가 개발하였으며, 자본시장의 신용및 투자제품을 정확하게 설명하는 최초의 공식언어이며, OCaml의 확장으로 구현되었다.
• Coq(Coq Proof Assistant) : 수학 응용프로그램 외에 컴퓨터 프로그램의 정확성을 인증해주는 프로그램이다.
• FFTW : DFT (Discrete Fourier Transform)을 계산하기 위한 빠른 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
• 〈Objective Caml (OCaml)〉, 《CLEVERISM》

같이 보기

• 테조스
• 아서 브라이트만
• 캐슬린 브라이트만
• 유동지분증명
• ㈜테조스코리아
• 이진우
• 최민철
• 베이킹노드

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

개발 : 프로그래밍 □■⊕, 소프트웨어, 데이터, 솔루션, 보안, 하드웨어, 컴퓨터, 사무자동화, 인터넷, 모바일, 사물인터넷, 게임, 메타버스, 디자인 프로그래밍 언어 ASP • C 언어 • C++ • C# • CSS • D 언어 • HTML • HTML5 • JSP • PHP • R • XHTML • XML • XSLT • 고(Go) • 고급언어 • 기계어 • 델파이 • 러스트 • 루비 • 루아 • 리액트 • 리퀴디티 • 무브 • 미켈슨 • 베이직 • 브이비스크립트 • 비주얼 C++ • 비주얼베이직(VB) • 비주얼베이직닷넷(VB.NET) • 솔리디티 • 스몰토크 • 스위프트 언어 • 스칼라 • 스크립트 언어 • 알골 • 어셈블리 • 언리얼스크립트 • 얼랭 • 에이잭스(Ajax) • 엠에프씨(MFC) • 오브젝티브-C • 오브젝트 파스칼 • 오카멜 • 웹어셈블리(WASM) • 이와즘(eWASM) • 자바 • 자바스크립트 • 저급언어 • 제이슨(JSON) • 제이쿼리(jQuery) • 카멜 • 코볼 • 코틀린 • 콜드퓨전 • 타입스크립트 • 파스칼 • 파워스크립트 • 파이썬 • 펄(Perl) • 포트란 • 프로씨(Pro-C) • 피엘에스큐엘(PL/SQL) • 피엘원(PL/I) • 하스켈 개발방법론 CBD 개발방법론 • EA • 구조적 개발방법론 • 객체지향 개발방법론 • 라이브러리 • 람다 아키텍처 • 모듈 • 모듈화 • 벤치마킹 • 소프트웨어 개발방법론 • 스크럼 • 스프린트 • 아키텍처 • 아키텍트 • 애자일 • 웹개발방법론 • 정보공학 개발방법론 • 컴포넌트 • 테일러링 • 템플릿 • 폭포수 모델 • 프로젝트 • 프로토타입 • 피드백 코딩 EUC-KR • UTF-8 • 값 • 글루웨어 • 노팔로우 링크 • 두팔로우 링크 • 디버깅 • 디코딩 • 마크업 • 버그 • 부트스트랩 • 세이브포인트 • 소스코드 • 시큐어코딩 • 아스키 • 액티브엑스 • 오픈소스 • 유니코드 • 인코딩 • 재컴파일 • 주석 • 컴파일 • 컴퓨터 프로그램 • 코드 • 코딩 • 태그 • 테스트 • 테이블 • 텍스트 • 파싱 • 퍼블리싱 • 퓨니코드 • 하드코딩 • 하이퍼링크 • 하이퍼텍스트 프로그래밍 C 명령어 • 객체 • 객체지향 • 객체지향 프로그래밍 • 거짓 • 관계연산자 • 기본형 변수 • 널 • 논리 • 논리연산 • 논리연산자 • 다중상속 • 다형성 • 대입 • 대입문 • 대입연산자 • 더블 • 도스 명령어 • 디폴트 • 레지스터변수 • 루프 • 리눅스 명령어 • 리턴 • 메모리 주소 • 메소드 • 멤버 • 명령문 • 명령어 • 무한루프 • 문자 • 문자열 • 바이트 • 반복문 • 배열 • 변수 • 분기 • 분기문 • 불린 • 브레이크 • 비교연산자 • 비트연산자 • 산술연산자 • 상속 • 상수 • 생성자 • 선언 • 선언문 • 설정자 • 속성 • 스위치 • 스태틱 • 시프트연산자 • 실행 • 실행문 • 어노테이션 • 에코 • 역참조 • 연산 • 연산문 • 연산자 • 오버로딩 • 오버라이딩 • 외부변수 • 윈도우 명령어 • 유닉스 명령어 • 인스턴스 • 인스트럭션 • 인클루드 • 인터페이스 • 임포트 • 입력 • 입력문 • 입출력 • 입출력문 • 자료형(데이터 타입) • 자바 명령어 • 자바 예약어 • 자바 컬렉션 • 전역변수 • 접근자 • 접근제어자 • 정보은닉 • 정수형 • 정적변수 • 제어 • 제어문 • 제어자 • 조건 • 조건문 • 조건연산자 • 주소 • 증감연산자 • 지역변수 • 참 • 참조 • 참조변수 • 초기화 • 추상메소드 • 추상클래스 • 추상화 • 출력 • 출력문 • 캡슐화 • 케이스 • 클래스 • 파라미터(매개변수) • 파이널 • 패키지 • 퍼블릭 • 포인터 • 프라이빗 • 프로텍티드 • 필드(멤버변수) • 함수 • 환경변수 명령어 abstract • array • boolean • break • byte • case • char • continue • default • double • do while • echo • elif • else • else if • false • final • float • for • gosub • goto • if • if else • import • include • int • join • long • long long • null • print • printf • println • private • protected • public • return • scanf • short • stdio.h • static • string • switch • temp • then • true • unsigned • void • while 디자인패턴 구조패턴 • 동시성패턴 • 동시실행패턴 • 모델-뷰-컨트롤러 패턴 • 상태패턴 • 생성패턴 • 싱글톤패턴 • 아키텍처패턴 • 전략패턴 • 커맨드패턴 • 행동패턴 프로그래밍 인물 귀도 반 로썸 • 그레이스 머레이 호퍼 • 니클라우스 비르트 • 댄 브릭클린 • 더그 커팅 • 데니스 리치 • 리누스 토르발스 • 리처드 그린블라트 • 마거릿 해밀턴 • 마크 앤드리슨 • 빈트 서프 • 빌 게이츠 • 빌 조이 • 스티브 잡스 • 에이다 러브레이스 • 제임스 고슬링 • 척 벤턴 • 켄 톰슨 • 팀 패터슨 위키 : 자동차, 교통, 지역, 지도, 산업, 기업, 단체, 업무, 생활, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반