会社のLTでOCaml/Ocsigenについて発表しました | 黒曜の吹き溜まり
うちの会社は割といろんな言語を使っているエンジニアがいるのですが、OCamlerは少なそうだったのでOCamlを布教するべく、OCamlでWebサービスが作れるOcsigenの紹介LTをしてきました。 簡単にOcsigenを題材に選んだ流れをまとめると、 先週月曜(2014/07/07)に全社ハッカソンがあった →せっかくなのでOcsigenでなんか作りたかった →チュートリアルの途中で力尽きた →社内LTの発表順が翌週だったので、土日使ってチュートリアルを最後まで終わらせてネタにすることにした というような感じでした。 本当はチュートリアルで終わらずにアプリを作りたかったのですが、思いのほか環境構築のほうに手間取ったためにたどり着けませんでした… まぁ思いのほかOcsigenのモジュール構成が複雑だったので、ある程度習熟しないと一朝一夕でなんか作るのはしんどそうでしたが。 というわけで、
プログラミング言語の基礎概念を学んでる - はこべにっき ♨
プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る この本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこの本のためのオンラインの演習システムというのがあって、本の中で与えられた導出システムに
Real World OCaml が出ました - camlspotter’s blog
一昨年から少しずつ書かれていた OCaml プログラミングの本、 Real World OCaml (以下 RWO)がついに public beta になり公開されました。 ( https://realworldocaml.org/beta1/en/html/ ) 版元の O'Reilly ではこのベータ版の状態の e-book が 今なら安く手に入ります。完全版には後から無料でアクセスできるように なるそうです。( http://shop.oreilly.com/product/0636920024743.do ) ！！！！！安く買いたい人は http://shop.oreilly.com/category/deals/early-release.do?code=WKERRLS をよく読んでね！！！！！ この本は、今まで外に伝わりづらかった OCaml プログラミングの最前線の一面を 伝
OCamlで作ったWebアプリをHerokuで動かす方法(1) 〜OCamlnet編〜 - みずぴー日記
PaaSであるHerokuには、Bulidpackという任意のコマンドをデプロイ時に実行できる仕組みがあります。 これを使って、OCamlで作ったWebアプリケーションをHeroku上で動作させる方法について紹介します。 てっとりばやく動かしたい人は、 heroku-buildpack-ocaml/sample-ocamlnet を見てもらうのが早いと思います。 前提 Herokuのアカウントをもっている OCamlを動かす環境が揃っている Heroku toolbeltがインストールされている Hello,worldを動かしてみる まずは、標準ライブラリだけを使って、Webサーバを作ってみます。 とりあえずディレクトリの準備 適当なディレクトリを作ります。 $ mkdir hello $ cd hello buildpackを指定して、herokuにレポジトリを作成します。 $ hero
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://ocaml-batteries-team.github.io/batteries-included/hdoc/
OCaml API search
ninja.md
Which is the current setup to use OCaml in Vim?
The Objective Caml system release 3.12
Try OCaml
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）