Ocaml 거래 시스템

Ocaml 거래 시스템
App Store를 통해 가져 오기 우리의 응용 프로그램 에서이 게시물을 읽으십시오!
Ocaml 및 알고리즘 트레이딩 [닫힘]
나는 알고리즘 거래 (Algorithmic Trading) 도메인에 완전히 익숙하지 않습니다. 방금 Ocaml을 기반으로 한 과정을 마쳤으며 Jane Street에 대해 읽었습니다. 분명히 그들은 많은 양의 자원을 가진 거대한 회사이지만 작은 시간 알고리즘 거래에 Ocaml을 사용하는 것이 타당한가?
나는 어쩌면 어리석은 질문처럼 보일지 모르겠지만 Ocaml을위한 거래 API는 없다는 것을 알았다. 이것은 처음부터 다시 써야한다는 것을 의미합니까?
모든 통찰력은 내가이 도메인에 대한 완전한 멍청이라고 말했듯이 사람들에게 크게 감사 할 것입니다.
chrisaycock, martin clayton, Luc M, Dan Esparza, 피터 O. 17:54에 의해 오프 주제로 마감했다.
스택 오버플로에 대한 질문은 커뮤니티에서 정의한 범위 내에서의 프로그래밍과 관련이 있습니다. 범위 내에서 질문을 수정할 수 있다고 생각하면 질문을 편집하거나 개선을 위해 의견을 남기십시오. 여기에서 다시 질문을 읽으십시오. 이 질문을 도움말 센터의 규칙에 맞게 수정하려면 질문을 수정하십시오.
최근 거래 API의 시작 지점을 제공 할 수있는이 패키지를 Opam에서 발견했습니다. "IBX는 Jane Street의 핵심 및 비동기 라이브러리 위에 구축 된 Interactive Brokers Trader 워크 스테이션 API (TWS API)의 순수 OCaml 구현입니다."
오픈 소스 거래 알고리즘에 관해서는이 프로젝트가 최근 시작되었습니다 : scarcecapital / hft /
나는이 질문이 아마도 당신에게 유용 할 스택 오버 플로우 환경을 위해 너무 개방적이라고 생각한다. 스택 오버플로는 해결하려는 특정 문제가있는 경우를위한 것입니다.
하지만 OCaml이 알고리즘 트레이딩에 꽤 좋다고 말할 수는 없습니다. 강력한 타이핑 시스템과 변경 불가능한 데이터는 오류를 피하면서 코드를 신속하게 작성하는 데 도움이됩니다. 적어도 이것은 내가 찾은 것입니다. OCaml을 데이터 소스와 거래 실행 채널에 연결해야합니다. 추가 작업이 필요합니다. 이 분야에 대해 알지 못하면 다른 언어를위한 도서관이 있는지 모르겠습니다.
대부분이 일을 실제로하는 사람들은 자신의 비밀을 지킬 동기를 가지고 있습니다. 그러나 그것은 언어와 상관없이 사실 일 것입니다.

Ocaml 거래 시스템. Jane Street Capital은 거래 시스템에 OCaml을 사용합니다. Yaron Minsky는 사람들이 시도한 다른 언어 (C # 포함)보다 코드를 훨씬 잘 읽고 이해할 수 있다는 것이 주요 장점 중 하나라고 설명했습니다. 야론의 말 : 돈이 많이 드는 축구? v = hKcOkWzj0_s.
Sean Grove - Unikernels에서 Databases, UIs : OCaml의 진정한 풀 스택 앱 - Curry On.
Ocaml 거래 시스템. Jane Street은 정적으로 형식화 된 함수 언어 인 OCaml에서 거의 전적으로 작성된 소프트웨어에 대해 대규모 거래 업무를 수행합니다. 야론 민스키 (Yaron Minsky)는 Ocaml을 선택하는 이유와 그 방법을 설명합니다.
매일 수십억 달러의 거래가 시스템을 통해 이루어 지므로 올바른 결과를 얻으십시오. Facebook은 OCaml을 사용하여 여러 가지 주요 개발 도구를 만들었습니다. Hack은 PHP의 빠른 개발주기와 정적 타이핑 (static typing)이 제공하는 규율을 조화시키는 PHP 변형을위한 컴파일러입니다.
Flow는 Javascript에 대한 정적 유형 검사를 제공하는 유사한 프로젝트입니다. 두 시스템 모두 소스 코드 변경 사항을 실시간으로 통합 할 수있는 높은 응답 성과 병렬 프로그램입니다. Pfff는 OCaml로 작성되었지만 많은 언어를 지원하는 코드 분석, 시각화 및 스타일 보존 소스 변환을위한 도구 세트입니다.
Docker는 개발 및 IT 운영 팀이 분산 응용 프로그램을 구축, 배송 및 실행할 수있는 통합 기술 제품군을 제공합니다. 글로벌 비즈니스 및 금융 정보 및 뉴스 리더 인 블룸버그는 영향력있는 의사 결정권자에게 정보, 사람 및 아이디어의 역동적 인 네트워크에 연결함으로써 중요한 이점을 제공합니다. 블룸버그는 블룸버그 프로페셔널 서비스를 통해 제공되는 선진 금융 파생 상품 관리 애플리케이션에 OCaml을 사용합니다.
Citrix는 세계적 수준의 서버 가상화 시스템 인 XenServer에서 OCaml을 사용합니다. github에서 OCaml 개발을 따라하십시오.
그의 초록과 슬라이드를보십시오. AI의 특허 출원중인 공식 검증 기술은 세계 금융 시장의 안전성, 안정성 및 투명성에 혁명을 가져 왔습니다. Ahrefs는 맞춤형 분산 형 페타 바이트 급 스토리지를 개발하고 전체 웹 색인을 수집하기 위해 인터넷 전체 크롤러를 실행합니다. 또한 회사는 최종 사용자를 위해 다양한 분석 서비스를 구축하고 있습니다.
OCaml은 하루에 최대 60 억 페이지를 처리중인 Ahreffs 백엔드의 주요 언어입니다. Ahrefs는 우크라이나의 뿌리와 싱가포르의 본사가있는 다국적 팀입니다. OCaml의 유형 시스템, 컴파일러, 툴, 커뮤니티 및 디자인 철학은 다양한 시스템 개발 작업을위한 매우 강력하고 다양한 도구입니다. Be Sport의 사명은 스포츠가 디지털 및 소셜 미디어 혁신을 적절히 사용하여 우리 삶에 가져다주는 가치를 향상시키는 것입니다.
Cacaoweb은 새로운 종류의 응용 플랫폼을 개발하고 있습니다. P2P 네트워크는 세계에서 가장 큰 네트워크 중 하나입니다. 플랫폼의 기능은 멀티미디어 스트리밍에서부터 소셜 커뮤니케이션, 오프라인 스토리지 또는 데이터 동기화에 이르기까지 다양합니다. 우리는 대규모 분산 데이터 저장소, 프로그래밍 언어, 런타임 시스템 및 병렬 계산 프레임 워크를 설계하고 구현합니다.
OCaml은 주로 Frama-C 라 불리는 C 소프트웨어의 소스 코드 분석 전용 플랫폼을 개발하는 데 사용됩니다. CloudFounders는 데이터 센터 기능을위한 솔루션을 제공합니다. 우리는 OCaml을 표현력과 속도를 위해 선택된 범용 고수준 언어로 사용합니다. 프랑스 파리에 본사를 둔 Cryptosense는 암호화 시스템을 중심으로 보안 분석 소프트웨어를 제작합니다.
Dernier Cri는 릴과 파리에 본사를 둔 프랑스 회사로 웹과 모바일 어플리케이션 개발을위한 기능적 프로그래밍을 사용합니다. OCaml은 주로 내부 도구를 개발하는 데 사용됩니다. Digirati dba Hostnet은 웹 호스팅 회사입니다. OCaml은 주로 내부 시스템 프로그래밍 및 인프라 서비스에 사용됩니다. 우리는 또한 오픈 소스 OCaml 라이브러리를 공개함으로써 커뮤니티에 기여했습니다.
모바일 텔레포니 프로그래밍 및 웹 애플리케이션 개발에 대한 폭 넓은 기반과 경험을 갖춘 일반 프로그래밍. Esper의 소프트웨어는 보조자를 돕습니다. 그렇게함으로써 임원의 시간을 절약 할 수 있습니다. 우리는 모든 전문가를위한 조수와 모든 조수를위한 에스페어를 통해보다 생산적인 세계로 나아가고 자합니다.
우리는인지 할 수있는 과부하가없고, 기술이 우리를 섬기고 끊임없이 우리를 혼란스럽게하지 않는 끝없는 전자 메일 스케줄링없이 미래를 구상합니다. Esterel Technologies는 우주 항공, 국방, 철도 운송, 원자력 및 산업 및 자동차 분야에서 중요한 시스템 및 소프트웨어 개발 솔루션을 제공하는 주요 업체입니다. Flying Frog Consultancy Ltd. OCaml은 HPF와 같은 언어로 작성된 대규모 배열 기반 프로그램과 Mathematica와 같은 언어로 작성된 소규모 그래픽 프로그램 간의 본질적으로 복잡한 프로그램의 틈새 시장에서 뛰어납니다.
ForAllSecure의 사명은 전세계 소프트웨어를 테스트하고 고객에게 실행 가능한 정보를 제공하는 것입니다. 우리는 Linux로 시작했습니다. Linux의 우리의 사명은 Debian, Ubuntu 및 Red Hat과 같은 현재 배포판의 모든 프로그램을 테스트하는 것입니다. 시간이 갈수록 Mac, Windows 및 모바일과 같은 다른 플랫폼도 지원할 것입니다. 그 동안 한 가지 일을 잘 할 것을 약속드립니다. JavaScript는 계산에 사용됩니다.
일반적으로 지출 보고서, 설문 조사, 주문 양식, 예약 양식, 고용 신청서, 재무 고문, ROI 등에 사용됩니다. 컴파일러는 OCaml을 사용하여 작성됩니다. Galois는 암호 알고리즘을위한 도메인 특정 선언적 언어를 개발했습니다. 우리의 연구 컴파일러 중 하나는 OCaml로 작성되었으며 camlp4를 매우 광범위하게 사용합니다.
Incubaid는 다른 무엇보다 일관성을 보장하는 분산 키 - 값 저장소 인 Arakoon을 개발했습니다. 우리는 요구 사항에 맞는 기존 솔루션이 없기 때문에 Arakoon을 만들었으며 오픈 소스 소프트웨어로 사용할 수 있습니다. Issuu는 잡지, 카탈로그 및 신문의 탁월한 독서 경험을 제공하는 디지털 출판 플랫폼입니다.
매월 Issuu는 전세계 네트워크를 통해 60 억 페이지 뷰와 6 천만 사용자를 지원합니다. OCaml은 서버 측 시스템, 플랫폼 및 웹 응용 프로그램의 일부로 사용됩니다.
백엔드 팀은 상대적으로 작으며 시스템과 프로세스의 단순성과 확장 성이 매우 중요합니다. 우리는 어떤 종류의 엔터프라이즈 시스템에 OCaml을 사용합니다. 제인 스트리트 (Jane Street)는 전 세계적으로 24 시간 운영되는 양적 독점 무역 회사입니다.
그들은 시장에 대한 깊은 이해, 과학적 접근법, 세계에서 경쟁이 치열한 금융 시장에서 수익성있게 거래하는 문제를 해결하는 혁신적인 기술을 제공합니다. Jane Street은 아마도 OCaml의 가장 큰 상업적 사용자 일 것이며 매우 기능적인 프로그래머 팀을 끌어 모았습니다. OCaml은 연구 인프라부터 거래 시스템, 운영 및 회계 시스템에 이르기까지 모든 분야에서 OCaml을 사용합니다.
Jane Street에는 50 명이 넘는 OCaml 프로그래머와 1 백만 라인이 넘는 OCaml이 있으며 매일 수십억 달러를 벌어들이는 기술 플랫폼을 제공합니다. 오픈 소스 소프트웨어에 대한 GitHub 페이지를 참조하십시오. LexiFi는 자본 시장 산업을위한 혁신적인 소프트웨어 응용 프로그램 및 인프라 기술 제공 업체입니다.
LexiFi Apropos는 장기간의 연구 개발 노력의 결과 인 금융 계약을 설명하기위한 원래 형식주의에 힘 입어 제공됩니다. Mashape를 사용하면 클라우드 API를 쉽게 배포, 수익 창출, 관리 및 사용할 수 있습니다.
Mashape는 엔터프라이즈 API 관리 및 분석 제품뿐 아니라 전 세계의 열정적 인 개발자 커뮤니티가 주도하는 클라우드 API를위한 세계 정상급 시장을 구축하고 있습니다. 커널의 주요 기능은 Modelica 언어로 정의 된 모델을 실행 가능한 시뮬레이션 코드로 변환하는 것입니다. MEDIT는 SuMo를 개발합니다. SuMo는 단백질 3D 구조 분석 및 약물 디자인 목표물 식별을위한 고급 생물 정보 시스템입니다.
SuMo는 전적으로 OCaml로 작성되었으며 여러 상용 분자 모델링 패키지에 대한 인터페이스를 제공합니다. MLstate는 Opa의 창안자입니다. 새로운 프로그래밍 언어, 새로운 웹 서버, 새로운 데이터베이스 및 새로운 분산 실행 엔진으로 구성되며, 모두 웹 개발자에게 훌륭한 경험을 제공하기 위해 긴밀하게 통합되었습니다. Opa는 간결하고, 단순하며, 동시적이고, 동적으로 안전하고 안전합니다.
주로 OCaml로 작성되었으며 OCaml을 컴파일을위한 중간 언어로 사용합니다. Monoidics는 소프트웨어 검증을위한 정적 분석기 인 Infer를 개발합니다. 분석 엔진은 전적으로 OCaml로 작성되었습니다. Mount Sinai의 Hammer Lab은 Ketrew를 개발하여 복잡한 생물 정보학 워크 플로우를 관리합니다.
Ketrew에는 워크 플로 지정 및 워크 플로 실행을위한 엔진을 단순화하기 위해 도메인 특정 언어가 포함되어 있습니다. Ketrew는 명령 줄 응용 프로그램 또는 서비스로 실행할 수 있습니다. Number는 실리콘 밸리 창업 기업으로 시작하여 나중에 WhitePages가 인수 한 전화 차단 용 Mr. Number 앱을 개발했습니다. OCaml은 다양한 타사 구성 요소와 서비스 간의 연결 고리로 서버 측에서 사용됩니다.
MyLife는 과거 사람들과 그 사이에 구축 된 삶에 관계없이 누구든지 찾을 필요가있는 사람들에게 권한을 부여하는 강력한 사람들 검색 도구를 개발했습니다. Narrow Gate Logic은 비즈니스 및 비 업무용 응용 프로그램에서 OCaml 언어를 사용하는 회사입니다.
OCamlPro는 OCaml 언어 개발 환경을 개발하고 유지 관리합니다. 그들은 OCaml을 사용하기로 결정하는 회사들에게 서비스를 제공합니다. Park and Eaton은 필라델피아의 마케팅 및 소프트웨어 컨설턴트 회사입니다. QA 및 보안 테스트를 포함한 다양한 솔루션 제공 확장 성 및 유지 보수성을 재 설계합니다. 디지털 사이 니지와 같은 하드웨어 옵션, Park and Eaton은 OCaml 웹 및 데스크톱 서비스를 전문으로합니다.
Arena는 조직에서 적절한 사람을 고용하는 데 도움이됩니다. 우리는 큰 데이터와 예측 분석을 채용 프로세스에 적용하여이를 수행합니다. 이로 인해 고객의 매출이 감소하고 개인에 대한 차별이 줄어 들었습니다. 우리는 모든 백엔드 개발에 OCaml을 사용합니다. Prudent Consulting은 업계 경험과 기술 전문 지식을 결합하여 고객이 신속성, 민첩성 및 큰 효과로 비즈니스 목표를 달성 할 수 있도록 도움으로써 중소 규모 조직에 IT 솔루션을 제공합니다.
Psellos는 OCaml에서 iOS 앱을 코딩한다는 아이디어에 흥미를 느낀 작은 컴퓨터 과학자 그룹입니다. iTunes App Store에서 우리의 응용 프로그램을 구입할 수있을 것으로 기대했던 것보다 효과적이었으며 적어도 한 회사는 우리의 도구로 만든 응용 프로그램을 판매합니다. 가장 최근의 iOS 크로스 컴파일러는 OCaml 4에서 파생되었습니다. RunOrg는 비영리 단체 및 조직에 SaaS 모델을 사용하여 개인 인트라넷과 공용 웹 사이트를 제공합니다. 이 어플리케이션은 OCaml로 완전히 두 가지 이유로 작성되었습니다 : 다른 이유는 유연하고 강력한 컴파일 타임 타입 추론이 버그를 일으키지 않고 코드 기반을 대폭 변경하여 컴파일러가 생성 한 유닛 테스트 스위트로 효과적으로 작동한다는 것입니다.

OCaml을 사용하는 회사.
♥ OCaml은 변화하는 시장 상황에 신속하게 적응하고 프로토 타입에서 생산 시스템으로 이동하는 데 도움을줍니다. 수십억 달러의 거래가 매일 우리 시스템을 통해 흘러 나오므로 문제가 올바르게 발생합니다. вќќ †"Jane Street.
Facebook, 미국.
Facebook은 OCaml을 사용하여 여러 가지 주요 개발 도구를 만들었습니다. Hack은 PHP의 빠른 개발주기와 정적 타이핑 (static typing)이 제공하는 규율을 조화시키는 PHP 변형을위한 컴파일러입니다. Flow는 Javascript에 대한 정적 유형 검사를 제공하는 유사한 프로젝트입니다. 두 시스템 모두 소스 코드 변경 사항을 실시간으로 통합 할 수있는 높은 응답 성과 병렬 프로그램입니다. Pfff는 OCaml로 작성되었지만 많은 언어를 지원하는 코드 분석, 시각화 및 스타일 보존 소스 변환을위한 도구 세트입니다.
미국의 Docker.
Docker는 개발 및 IT 운영 팀이 분산 응용 프로그램을 구축, 배송 및 실행할 수있는 통합 기술 제품군을 제공합니다. Mac 및 Windows 용 기본 응용 프로그램은 MirageOS 라이브러리 운영 체제 프로젝트에서 가져온 OCaml 코드를 사용합니다.
Bloomberg L. P., 미국.
글로벌 비즈니스 및 금융 정보 및 뉴스 리더 인 블룸버그는 영향력있는 의사 결정권자에게 정보, 사람 및 아이디어의 역동적 인 네트워크에 연결함으로써 중요한 이점을 제공합니다. 블룸버그는 블룸버그 프로페셔널 서비스를 통해 제공되는 선진 금융 파생 상품 관리 애플리케이션에 OCaml을 사용합니다.
Citrix, 영국.
Citrix는 세계적 수준의 서버 가상화 시스템 인 XenServer에서 OCaml을 사용합니다. 또한 XenServer (XenServer) 또는 XCP (Xen Cloud Platform)라는 오픈 소스 형식의 전체 버전을 제공합니다. github / xen-org의 OCaml 개발을 따라하십시오. 이 작품은 원래 CUFP 2008에서 Anil Madhavapeddy가 발표했습니다. 그의 초록과 슬라이드를보십시오.
Aesthetic Integration, 영국.
Aesthetic Integration (AI)은 런던시에 기반을 둔 금융 기술 신생 기업입니다. AI의 특허 출원중인 공식 검증 기술은 세계 금융 시장의 안전성, 안정성 및 투명성에 혁명을 가져 왔습니다.
Ahrefs, 싱가포르.
Ahrefs는 맞춤형 분산 형 페타 바이트 급 스토리지를 개발하고 전체 웹 색인을 수집하기 위해 인터넷 전체 크롤러를 실행합니다. 또한 회사는 최종 사용자를 위해 다양한 분석 서비스를 구축하고 있습니다. OCaml은 하루에 최대 60 억 페이지를 처리중인 Ahreffs 백엔드의 주요 언어입니다. Ahrefs는 우크라이나의 뿌리와 싱가포르의 본사가있는 다국적 팀입니다.
미국 자연사 박물관, 미국.
AMNH의 계산 과학부 (Computational Sciences Department)는 계통 발생 추론을 위해 POY 소프트웨어 패키지에서 OCaml을 거의 10 년 동안 사용해 왔습니다. 더 많은 프로젝트는 AMNH의 GitHub 페이지를 참조하십시오.
프랑스 ANSSI.
ANSSI의 핵심 임무는 사이버 공격을 탐지하고 대응하며, 위협을 방지하고, 정부 기관과 핵심 인프라 운영자에게 조언과 지원을 제공하고 기업과 일반 대중에게 정보 보안 위협에 대한 정보를 제공하는 것입니다. OCaml 소프트웨어 중 일부는 ANSII의 GitHub 페이지를 참조하십시오.
Ashima Group, 미국.
Ashima Group은 기하학적 추론, GPU 셰이더 변환 및 고성능 서버에 OCaml을 사용합니다. OCaml의 유형 시스템, 컴파일러, 툴, 커뮤니티 및 디자인 철학은 다양한 시스템 개발 작업을위한 매우 강력하고 다양한 도구입니다.
Be Sport, 프랑스.
Be Sport의 사명은 스포츠가 디지털 및 소셜 미디어 혁신을 적절히 사용하여 우리 삶에 가져다주는 가치를 향상시키는 것입니다. Be Sport는 플랫폼을 개발하는 유일한 빌딩 블록으로 활용되는 100 % OCaml 및 OCsigen 프로젝트입니다.
CACAOWEB, 영국 및 홍콩.
Cacaoweb은 새로운 종류의 응용 플랫폼을 개발하고 있습니다. P2P 네트워크는 세계에서 가장 큰 네트워크 중 하나입니다. 플랫폼의 기능은 멀티미디어 스트리밍에서부터 소셜 커뮤니케이션, 오프라인 스토리지 또는 데이터 동기화에 이르기까지 다양합니다. 우리는 대규모 분산 데이터 저장소, 프로그래밍 언어, 런타임 시스템 및 병렬 계산 프레임 워크를 설계하고 구현합니다.
CEA, 프랑스.
CEA는 OCaml 컨소시엄의 회원사 인 프랑스 국영 기업입니다. OCaml은 주로 Frama-C 라 불리는 C 소프트웨어의 소스 코드 분석 전용 플랫폼을 개발하는 데 사용됩니다.
CloudFounders, 벨기에.
CloudFounders는 데이터 센터 기능을위한 솔루션을 제공합니다. 그들은 Arakoon 키 / 값 저장소를 사용하고 Seagate Kinetic 장치 용 OCaml 클라이언트를 작성했습니다. Open vStorage Backend는 OCaml로도 작성되었습니다.
Coherent Graphics Ltd, United Kindgom.
Coherent Graphics는 PDF 문서 처리를위한 서버 도구 및 데스크탑 소프트웨어의 개발자입니다. 우리는 OCaml을 표현력과 속도를 위해 선택된 범용 고수준 언어로 사용합니다.
Cryptosense, 프랑스.
프랑스 파리에 본사를 둔 Cryptosense는 암호화 시스템을 중심으로 보안 분석 소프트웨어를 제작합니다. Cryptosense †™ s 창시자는 컴퓨터 과학 연구 (Inria)를위한 학회의 spin-off 연구와 기업에있는 40 년 이상 경험을 결합한다. Cryptosense는 특히 금융, 산업 및 정부 분야의 국제 고객에게 솔루션을 제공합니다.
다쏘 시스템, 프랑스.
3DEXPERIENCE Company 인 Dassault SystgЁmes는 기업과 사람들에게 지속 가능한 혁신을 상상할 수있는 가상 우주를 제공합니다.
Dernier Cri, 프랑스.
Dernier Cri는 릴과 파리에 본사를 둔 프랑스 회사로 웹과 모바일 어플리케이션 개발을위한 기능적 프로그래밍을 사용합니다. OCaml은 주로 내부 도구를 개발하는 데 사용됩니다.
Digirati dba Hostnet, 브라질.
Digirati dba Hostnet은 웹 호스팅 회사입니다. OCaml은 주로 내부 시스템 프로그래밍 및 인프라 서비스에 사용됩니다. 우리는 또한 오픈 소스 OCaml 라이브러리를 공개함으로써 커뮤니티에 기여했습니다.
디지털 솔루션, 우간다.
모바일 텔레포니 프로그래밍 및 웹 애플리케이션 개발에 대한 폭 넓은 기반과 경험을 갖춘 일반 프로그래밍.
Esper, 미국.
Esper의 소프트웨어는 보조자를 돕습니다. 그렇게함으로써 임원의 시간을 절약 할 수 있습니다. 우리는 모든 전문가를위한 조수와 모든 조수를위한 에스페어를 통해보다 생산적인 세계로 나아가고 자합니다. 우리는인지 할 수있는 과부하가없고, 기술이 우리를 섬기고 끊임없이 우리를 혼란스럽게하지 않는 끝없는 전자 메일 스케줄링없이 미래를 구상합니다. 이러한 목표를 달성하기 위해 Google은 보조자와 임원 간의 커뮤니케이션을 간소화하고, 자동화 된 작업을 수행하며, 정보를 공유하는 모바일 / 웹 제품군을 구축하고 있습니다.
우리 웹 백엔드는 OCaml로 작성되었으며 우리 자신의 웹, 안드로이드 및 iOS 클라이언트에서 사용되는 API를 제공합니다.
Esterel Technologies, 프랑스.
Esterel Technologies는 우주 항공, 국방, 철도 운송, 원자력 및 산업 및 자동차 분야에서 중요한 시스템 및 소프트웨어 개발 솔루션을 제공하는 주요 업체입니다.
파수, 한국.
Fasoo는 OCaml을 사용하여 정적 분석 도구를 개발합니다.
Flying Frog Consultancy, United Kindgom.
Flying Frog Consultancy Ltd. 는 OCaml 사용에 관한 책과 소프트웨어를 과학 컴퓨팅의 맥락에서 컨설팅하고 작성합니다. OCaml은 HPF와 같은 언어로 작성된 대규모 배열 기반 프로그램과 Mathematica와 같은 언어로 작성된 소규모 그래픽 프로그램 간의 본질적으로 복잡한 프로그램의 틈새 시장에서 탁월합니다.
미국의 안전 보장.
ForAllSecure의 사명은 전세계 소프트웨어를 테스트하고 고객에게 실행 가능한 정보를 제공하는 것입니다. 우리는 Linux로 시작했습니다. Linux의 우리의 사명은 Debian, Ubuntu 및 Red Hat과 같은 현재 배포판의 모든 프로그램을 테스트하는 것입니다. 시간이 갈수록 Mac, Windows 및 모바일과 같은 다른 플랫폼도 지원할 것입니다. 그 동안 한 가지 일을 잘 할 것을 약속드립니다.
Framtidsforum I & amp; M, 스웨덴.
프레임 워크 I & amp; M은 ExcelEverywhere를 판매합니다. ExcelEverywhere는 MS Excel 스프레드 시트와 동일하게 보이고 작동하는 웹 페이지를 만듭니다. JavaScript는 계산에 사용됩니다. 140 Excel 기능을 지원합니다. 일반적으로 지출 보고서, 설문 조사, 주문 양식, 예약 양식, 고용 신청서, 재무 고문, ROI 등에 사용됩니다. ASP, ASP 및 JSP / Java 코드를 생성하는 버전도 있습니다. 컴파일러는 OCaml을 사용하여 작성됩니다.
갈로아스, 미국.
Galois는 암호 알고리즘을위한 도메인 특정 선언적 언어를 개발했습니다. 우리의 연구 컴파일러 중 하나는 OCaml로 작성되었으며 camlp4를 매우 광범위하게 사용합니다.
Incubaid, 벨기에.
Incubaid는 다른 무엇보다 일관성을 보장하는 분산 키 값 저장소 인 Arakoon을 개발했습니다. 우리는 요구 사항에 맞는 기존 솔루션이 없기 때문에 Arakoon을 만들었으며 오픈 소스 소프트웨어로 사용할 수 있습니다.
Issuu, Denmark.
Issuu는 잡지, 카탈로그 및 신문의 탁월한 독서 경험을 제공하는 디지털 출판 플랫폼입니다. 매월 Issuu는 전세계 네트워크를 통해 60 억 페이지 뷰와 6 천만 사용자를 지원합니다. OCaml은 서버 측 시스템, 플랫폼 및 웹 응용 프로그램의 일부로 사용됩니다. 백엔드 팀은 상대적으로 작으며 시스템과 프로세스의 단순성과 확장 성이 매우 중요합니다.
IT 기획, 일본.
OCaml은 일종의 엔터프라이즈 시스템 (예 : 생산 관리, 포트폴리오 위험 관리 및 웹 서비스)에 사용됩니다.
Jane Street, 미국.
제인 스트리트 (Jane Street)는 전 세계적으로 24 시간 운영되는 양적 독점 무역 회사입니다. 그들은 시장에 대한 깊은 이해, 과학적 접근법, 세계에서 경쟁이 치열한 금융 시장에서 수익성있게 거래하는 문제를 해결하는 혁신적인 기술을 제공합니다. Jane Street은 아마도 OCaml의 가장 큰 상업적 사용자 일 것이며 매우 기능적인 프로그래머 팀을 끌어 모았습니다. OCaml은 연구 인프라부터 거래 시스템, 운영 및 회계 시스템에 이르기까지 모든 분야에서 OCaml을 사용합니다. Jane Street에는 50 명이 넘는 OCaml 프로그래머와 1 백만 라인이 넘는 OCaml이 있으며 매일 수십억 달러를 벌어들이는 기술 플랫폼을 제공합니다. 오픈 소스 소프트웨어에 대한 GitHub 페이지를 참조하십시오.
프랑스 LexiFi.
LexiFi는 자본 시장 산업을위한 혁신적인 소프트웨어 응용 프로그램 및 인프라 기술 제공 업체입니다. LexiFi Apropos는 장기간의 연구 개발 노력의 결과 인 금융 계약을 설명하기위한 원래 형식주의에 힘 입어 제공됩니다.
Mashape, 미국.
Mashape를 사용하면 클라우드 API를 쉽게 배포, 수익 창출, 관리 및 사용할 수 있습니다. Mashape는 엔터프라이즈 API 관리 및 분석 제품뿐 아니라 전 세계의 열정적 인 개발자 커뮤니티가 주도하는 클라우드 API를위한 세계 정상급 시장을 구축하고 있습니다. 우리는 미션 크리티컬하고 가벼운 HTTP 프록시의 일부로 APIAnalytics 제품 â € "에서 OCaml을 사용합니다.
Wolfram MathCore, 스웨덴.
Wolfram MathCore는 OCaml을 사용하여 SystemModeler 커널을 구현합니다. 커널의 주요 기능은 Modelica 언어로 정의 된 모델을 실행 가능한 시뮬레이션 코드로 변환하는 것입니다. 여기에는 Modelica 코드 파싱 및 변환, 방정식의 수학적 처리, C / C ++ 시뮬레이션 코드의 코드 생성 및 수치 런타임 계산이 포함됩니다.
프랑스 MEDIT.
MEDIT는 SuMo를 개발합니다. SuMo는 단백질 3D 구조 분석 및 약물 디자인 목표물 식별을위한 고급 생물 정보 시스템입니다. SuMo는 전적으로 OCaml로 작성되었으며 여러 상용 분자 모델링 패키지에 대한 인터페이스를 제공합니다.
MLstate, 프랑스.
MLstate는 오픈 소스 웹 개발 플랫폼 인 Opa를 만든 사람입니다. 새로운 프로그래밍 언어, 새로운 웹 서버, 새로운 데이터베이스 및 새로운 분산 실행 엔진으로 구성되며, 모두 웹 개발자에게 훌륭한 경험을 제공 할 수 있도록 긴밀하게 통합되어 있습니다. Opa는 간결하고, 단순하며, 동시적이고, 동적으로 안전하고 안전합니다. 주로 OCaml로 작성되었으며 OCaml을 컴파일을위한 중간 언어로 사용합니다.
영국의 Monoidics.
Monoidics는 소프트웨어 검증을위한 정적 분석기 인 Infer를 개발합니다. 분석 엔진은 전적으로 OCaml로 작성되었습니다.
Mount Sinai, 미국.
Mount Sinai의 Hammer Lab은 Ketrew를 개발하여 복잡한 생물 정보학 워크 플로우를 관리합니다. Ketrew에는 워크 플로 지정 및 워크 플로 실행을위한 엔진을 단순화하기 위해 도메인 특정 언어가 포함되어 있습니다. Ketrew는 명령 줄 응용 프로그램 또는 서비스로 실행할 수 있습니다.
Mr. Number, 미국.
미스터 넘버는 실리콘 밸리 창업 기업으로 시작하여 차후에 화이트 페이지 (WhitePages)에 인수 된 전화 차단을위한 미스터 넘버 (Number App)를 개발했습니다. OCaml은 다양한 타사 구성 요소와 서비스 간의 연결 고리로 서버 측에서 사용됩니다.
MyLife, 미국.
MyLife는 과거 사람들과 그 사이에 구축 된 삶에 관계없이 누구든지 찾을 필요가있는 사람들에게 권한을 부여하는 강력한 사람들 검색 도구를 개발했습니다.
좁은 게이트 논리, 폴란드.
Narrow Gate Logic은 비즈니스 및 비 업무용 응용 프로그램에서 OCaml 언어를 사용하는 회사입니다.
프랑스 OCamlPro.
OCamlPro는 OCaml 언어 개발 환경을 개발하고 유지 관리합니다. 그들은 OCaml을 사용하기로 결정하는 회사들에게 서비스를 제공합니다. 이러한 서비스들 중에는 훈련, 필요한 전문 지식, 도구 및 도서관의 장기간 지원 및 적용 분야에 대한 구체적인 개발 등이 있습니다.
Park and Eaton, 미국.
Park and Eaton은 필라델피아의 마케팅 및 소프트웨어 컨설턴트 회사입니다. QA 및 보안 테스트를 포함한 다양한 솔루션 제공 확장 성 및 유지 보수성을 재 설계합니다. 디지털 사이 니지와 같은 하드웨어 옵션, Park and Eaton은 OCaml 웹 및 데스크톱 서비스를 전문으로합니다.
Arena, 미국.
Arena는 조직에서 적절한 사람을 고용하는 데 도움이됩니다. 우리는 큰 데이터와 예측 분석을 채용 프로세스에 적용하여이를 수행합니다. 이로 인해 고객의 매출이 감소하고 개인에 대한 차별이 줄어 들었습니다. 우리는 모든 백엔드 개발에 OCaml을 사용합니다.
PRUDENT Technologies and Consulting, Inc., 미국.
Prudent Consulting은 업계 경험과 기술 전문 지식을 결합하여 고객이 신속성, 민첩성 및 큰 효과로 비즈니스 목표를 달성 할 수 있도록 도움으로써 중소 규모 조직에 IT 솔루션을 제공합니다.
미국 Psellos.
Psellos는 OCaml에서 iOS 앱을 코딩한다는 아이디어에 흥미를 느낀 작은 컴퓨터 과학자 그룹입니다. iTunes App Store에서 우리의 앱을 구입할 수있을 것으로 기대했던 것보다 효과가 좋았으며, 적어도 한 회사는 우리 도구로 만든 앱을 판매하고 있습니다. 가장 최근의 iOS 크로스 컴파일러는 OCaml 4.00.0에서 파생되었습니다.
프랑스 RunOrg.
RunOrg는 비영리 단체 및 조직에 SaaS 모델을 사용하여 개인 인트라넷 및 공용 웹 사이트를 제공합니다. OCaml은 빠른 바이너리를 생성하고 우아한 최적화 패턴을 지원하므로 퍼포먼스가 중요합니다. 다른 이유는 유연하고 강력한 컴파일 타임 형식 유추가 버그를 일으키지 않고 코드 기반을 대폭 변경하여 컴파일러가 생성 한 단위 테스트 스위트로 효과적으로 작동한다는 것입니다. 이 소프트웨어는 오픈 소스 사내 웹 프레임 워크 인 Ohm에 의해 구동됩니다.
Sakhalin, 미국.
사할린은 Apple iPad 및 iPhone 용 해양 차트 응용 프로그램을 개발합니다. 모든 기능을 갖춘 앱에는 해양 차트, GPS 및 온보드 센서 데이터, 자동 식별 시스템, 기상 데이터, 앵커 모니터링 등이 표시됩니다. 이 앱에는 가끔 레크리에이션 보트를 타는 사람에서부터 대형 화물칸에 탑승하는 전문 강 / 항구 조종사에 이르기까지 다양한 사용자가 있습니다. 무료로 다운로드하고 시도 할 수 있습니다 (유료 업그레이드를 통해 모든 기능을 사용할 수 있음). 그것들은 Ocaml에서 IOS API와의 인터페이스를위한 작은 양의 접착제로 거의 전적으로 작성되었습니다. Ocaml은 (1) 매우 안정적이고 고성능 소프트웨어의 신속한 개발을 가능하게하고, (2) 성숙한 안정적인 플랫폼이며, (3) 광범위한 라이브러리를 보유하고 있기 때문에 선택되었습니다. OCaml을 Apple iOS 플랫폼으로 이식 할 때 Psellos가 수행 한 위대한 작업을 통해 가능 해졌습니다. iOS에서 OCaml 사용에 관해 궁금한 점이 있으면 사할린에 문의하십시오.
Shiro Games, 프랑스.
Shiro Games는 OCaml로 작성된 컴파일러로 구축 된 Haxe를 사용하여 게임을 개발하고 있습니다.
Skylable, 영국.
Skylable의 사명은 오픈 소스 커뮤니티와 엔터프라이즈를위한 빠르고 강력하며 비용 효율적인 오브젝트 스토리지 솔루션을 구축하는 것입니다. Skylable은 S3 REST API (서브 세트)를 구현하는 Amazon S3 서비스의 오픈 소스 대체품 인 LibreS3 제품에 OCaml을 사용했습니다. 이것은 모나드 스타일로 작성되어 현재 Lwt와 Ocsigenserver를 구현으로 사용하고 있습니다.
호주의 Sleekersoft P / L.
기능 프로그래밍 소프트웨어 개발, 컨설팅 및 교육을 전문으로합니다.
Solvuu, 미국.
Solvuu의 소프트웨어를 사용하면 크고 작은 데이터 세트를 저장하고 공동 작업자와 데이터를 공유하며 연산 집약적 인 알고리즘과 워크 플로를 실행하고 결과를 시각화 할 수 있습니다. 그것의 초기 초점은 건강 관리, 농업 및 근본적인 연구에 대한 중요한 함의를 가지고있는 유전체 데이터에 있습니다. 거의 모든 Solvuu의 소프트웨어 스택은 OCaml에서 구현됩니다.
StackHut, 영국.
StackHut은 작성하는 코드의 양을 줄임으로써 개발자가 쉽게 작업 할 수 있도록하기 위해 노력하고 있습니다. 개발자들이 핵심 비즈니스 로직을 작성하는 데 더 많은 시간을 투자하고 인프라에 대해 생각하는 시간을 줄이기를 바랍니다. 핵심 플랫폼, 툴킷 및 런타임은 OCaml로 작성되었으며 Linux 컨테이너 및 분산 측의 Erlang과 인터페이싱합니다.
Studio Associato 4Sigma, 이탈리아.
4 시그마는 웹 사이트와 흥미로운 웹 응용 프로그램을 만드는 소규모 회사입니다. OCaml은 사용되는 주요 언어가 아니지만 여기저기서, 특히 우리가 고객에게 제공하는 서비스의 핵심 구성 요소 인 작은 서버에서 사용됩니다.
TrustInSoft, 프랑스.
TrustInSoft는 사이버 보안의 규칙을 변경하는 회사입니다. TrustInSoft는 소프트웨어 분석 Frama-C 플랫폼의 소프트웨어 게시자입니다. 우리의 유일한 모토는 간단합니다. 소프트웨어 개발자의 대다수가 공식적인 방법을 이용할 수 있도록하십시오.
벡터 직물, 네덜란드.
Vector Fabrics는 임베디드 멀티 코어 프로그래밍을위한 도구를 개발하는 첨단 소프트웨어 회사입니다. Its technology and expertise is getting widespread recognition in the industry as being innovative and unique in their ability to address heterogeneous multicore application-specific silicon platforms. Due to the advanced nature of its tools, Vector Fabrics operates at the forefront of the next generation of embedded platforms for diverse markets ranging from supercomputers to automotive to cell phones.
부인 성명.
Appearance of a company's name here does not necessarily imply endorsement by that company of OCaml or of the descriptions provided here. Company representatives should contact us to have information about their company removed, modified, or added.

Caml Trading - Experiences with OCaml on Wall Street Like.
reading list Add to.
reading list View my.
If the behaviour persists please contact us.
NOTE: Qcon. ai - Applied AI conference for Developers Apr 9 - 11, 2018. Connect with AI and Machine Learning practitioners who are driving the change in software. Get more details or register now!
개요.
Jane Street runs a large trading business on software written almost entirely in OCaml, a statically typed functional language. Yaron Minsky shows the reasons for choosing Ocaml and how it worked out.
Yaron Minsky heads the Technology group at Jane Street, a proprietary trading firm that is the largest industrial user of OCaml. He was responsible for introducing OCaml to the company and for managing the company's transition to using OCaml for all of its core infrastructure. He chairs the steering committee of the Commercial Users of Functional Programming.
Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
This content is in the topic.
관련 주제 :
Related Vendor Content.
Related Sponsor.
Deploy and manage industry leading databases in minutes. Our platform comes with high availability, auto-scaling, auto-backup and more. Free to try.
당신의 생각을 말해주십시오.
0 Community comments.
Hello stranger!
You need to Register an InfoQ account or login to post comments. But there's so much more behind being registered.
Get the most out of the InfoQ experience.
InfoQ Weekly Newsletter.
Join a community of over 250 K senior developers by signing up for our newsletter.