プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで
プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜 (GIHYO Digital Publishing, amazon, 楽天Kobo, yahoo, cbook24.com) PDF/EPUB 版を販売しているGIHYO Digital Publishing のページ おしらせ EPUB版が GIHYO Digital Publishing, Amazon, 楽天Koboで販売開始です．GIHYO Digital Publishing だと pdf とのセット販売(価格は同じ)です． (2014.12.10) 長い間，出版社在庫切れとなっていましたが，この度，細かい修正を施した pdf 版の販売を GIHYO Digital Publishing にて開始しました．価格は 1,400 円と冊子体の半額です! (2012.08.29) 第16章のプログラム
世界のプログラミング言語(27) デキるやつが使ってる『OCaml』は実用的な関数型言語
OCamlは関数型言語の一つで、実用性の高さで人気があります。オブジェクト指向や強い静的型付けなどの特徴を持ち、実行速度がC言語並みに速いことも特徴の一つです。筆者の中ではデキるプログラマーが好んで使っているイメージがあります。Microsoftが開発した.NET対応言語のF#をはじめ、多くの言語にも大きな影響を与えました。今回は、OCamlについて紹介します。 OCamlのWebサイト OCamlについて OCamlは、もともとプログラミング言語ML言語の方言の一つです。もともと、「Objective Caml」という名前でしたが、OCamlに改名されました。つまり、OCamlのOはオブジェクト指向のOなのです。1996年にフランスのINRIA(フランス国立研究所)で開発されました。 残念ながら原稿執筆時点では、TIOBE Indexなどの人気プログラミング言語ベスト50にはランクインし
OCamlで作ったWebアプリをHerokuで動かす方法(2) 〜Ocsigen/Eliom編〜 - みずぴー日記
前エントリでは Heroku上でOCamlを動かす方法を紹介したので、このエントリではOCaml製のWebフレームワークであるOcsigen/Eliom を動かす方法を紹介します。 Ocsigen/Eliomとは OCamlで書かれたWebフレームワークです。 Ocsigenがプロジェクト名かつサーバ名なので、ちょっとややこしいですが、たぶんOcsigenが全体をまとめるプロジェクト名で、EliomはそのうちWebフレームワーク部分です。 他にはJavascriptを生成するjs_of_ocamlや、HTMLを生成するTyxmlなどのサブプロジェクトがあります。 js_of_ocamlを作っていることからも分かるように、SQL,HTML,Javascriptまでを一貫してOCamlだけで書くことができます。そのおかげで表示しているHTMLとそれを操作するJavascriptの間に矛盾がない
OCaml with MirageでXen/EC2上で動くOSを作る - Qiita
Mirageを使うと、OCamlでXenやEC2の上で動くOSを作ることができる。 スタブライブラリも用意されているので、Linux、 MacOS Xのような普通のOSで開発して、その後、Xen/EC2上で動くカーネルにコンパイルできる。 http://openmirage.org によると、通常のソフトウェアよりも、より安価に、セキュアに、より詳細な制御が利点です。 前提 Debian squeeze (x64) Xen Server 6.1 x64は必須らしい。 OCaml 4.00.1 の インストール 3.12.1以降がapt-getで入るなら、そちらでもOK。 まずは、依存ライブラリをインストールする。
OCamlで作られている大きめのアプリケーション - osiire’s blog
LexiFi 金融商品の開発環境。 メイン言語がOCaml。MLFiという専用言語もOCamlで作られている。 http://www.lexifi.com/ http://www.lexifi.com/downloads/frisch_inria_2008-12-15.pdf XenServerのツールスタック(xapi toolstack) 仮想化サーバーXenのツール群。全部OCamlらしい。 13万行 http://www.citrix.com/English/ps2/products/feature.asp?contentID=1686939 http://caml.inria.fr/pub/ml-archives/caml-list/2009/11/d80201600e5f91fbe48ce4856c034a71.en.html http://ocamlnews.blogspot
RustBelt
Update The ERC-funded RustBelt project has now formally ended (as of April 2021), but the project continues in spirit, and we continue to seek exceptional candidates for PhD and postdoc positions at MPI-SWS. We look forward to continued exploration of Rust, Iris, separation logic, relaxed memory models, and more. See below for information on how to apply. Original announcement We are very pleased
OCamlで48 Hour Schemeをやってみる その５ （第九、十章） - Arantium Maestum
Write Yourself a Scheme in 48 Hoursの最後の二章をやっていく。入出力と標準ライブラリ作成。 第九章：入出力 stdin, stdoutやファイルに対する入出力を実装する。 github.com 例によって「Haskellだとモナドが出現していろいろ型を頑張らないといけないけどOCamlだから・・・」という案件。 HaskellではIOモナド型のために新しいIOFunc式を用意したりしているが、OCamlだと普通に今まで通りPrimitiveFuncに放り込んでいける。 type expt = (* 省略 *) | PortIn of in_channel | PortOut of out_channel と入出力用のchannelをラップしたPortIn/PortOut式は用意する。あとはIoモジュールでそれを使う関数を定義し、primitives.mlで
The Pyret Programming Language
Pyret is a programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming. It's under active design and development, and free to use or modify. Examples Why Pyret? Set Sail News & Discussion data BinTree: | leaf | node(value, left, right) end fun tree-sum(t): doc: "Calculate the sum of node values" ca
Interesting Programming Languages
An opinionated collection of programming languages. This is a list of what I consider interesting. Requests to add to this list are welcome, but there is no guarantee I’ll include them. As you can see many mainstream programming languages are misssing from this list. Alore is a language that explores optional typing in a Python-like programming language.Alpaca is a statically typed, strict/eagerly
Reason 使った感想 on Windows - Qiita
Reason 面白そうだったので、ちょっと触った感想を残す。 まとまってなかったり、情報が古かったりする可能性もあるので注意下さい。 1. BuckleScript Reason を知る前に、まずは BuckleScript を知る必要があった。 What & Why - Intro - BuckleScript Concepts Overview - Intro - BuckleScript BuckleScript は、OCaml Compiler の為の新しい Backend ( 中間形式からコードを生成する部分 ) で、OCaml ( or Reason ) を受け取って、Javascript を生成する。 OCaml と Javascript のスムーズな統合 を志向しており、相互運用性を高めるためのアイデアが各所に散りばめられている。 Readable な Javascript
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCaml – NOSE Takafumi
Introduction
OCamlでWebアプリケーションを作るn個の方法
Archives of the Caml mailing list > Message from Thomas Gazagnaire
OCaml News: ICFP draft from Citrix
TypeSafe OSの試み