OCamlで128行で作るJVMバイトコードコンパイラ：Rainy Day Codings：So-net blog
一昨年に出版されたImplementing Programing Languages <http://www.digitalgrammars.com/ipl-book/> という本（以下IPL）を読んでいました。 この本は名前の通りインタプリタ/コンパイラの実装についての本ですが、とてもいい本です。何がまずいいかというと、薄い（そして安い）。207ページしかありません。コンパイラ作りたいとなったらドラゴンだのタイガーだのと格闘しなければならないという先入観がありますのでこの薄さは画期的です。 内容の深さという意味では他の本に譲る点はあるのでしょうが、一通りのことが実践できるようになるまでを要領よく解説していて、かつ最初は読み飛ばしてもいい理論部分にもわざわざ印をつけてくれているので、おそらくコンパイラ作成志望者にとっての最短コースを示してくれる本だと思います。 飛ばし読みの成果としてJVM
Flow | A static type checker for JavaScript
Code Faster.Tired of having to run your code to find bugs? Flow identifies problems as you code. Stop wasting your time guessing and checking. Code Smarter.It's hard to build smart tools for dynamic languages like JavaScript. Flow understands your code and makes its knowledge available, enabling other smart tools to be built on top of Flow. Code Confidently.Making major changes to large codebases
オブジェクト指向や関数型は「敗者の道具」である
私は「もし完全無欠のプログラマがいるとしたら、どんなプログラマだろう」と夢想することがあります。「完全無欠のプログラマ」と聞いてどんなプログラマをイメージするかは人によって異なるでしょう。「難しいアルゴリズムを使いこなしてすばらしいプログラムを書く人」を想像する人もいるでしょうし、「チーム内のプログラマの能力を極限まで引き出して最良の結果を生み出す人」といったチーム寄りのイメージを持つ人もいるかもしれません。 「オブジェクト指向プログラミングや関数型プログラミングをバリバリ使いこなして優れたソフトウエアを作る人」というイメージを持つ人もいると思います。しかし、ちょっと考えてみると、これはおかしな話です。なぜなら、オブジェクト指向プログラミングも関数型プログラミングも、「人間がコンピュータの挙動をすべて把握することはできないことを前提に、そうした人間であっても良いプログラムを作れるように編み
OCaml on iOS 7 Released
August 21, 2014 Pansophical reader, with your bafflingly good mobile OCaml project, I’m ready at last to release an OCaml compiler for iOS 7. It works for all my projects, and I hope it works for yours. It’s a cross-compiling version of OCaml 4.01.0, and I’m running it under Xcode 5.1.1 on OS X 10.9.4. You can download a binary installer here: OCamlXARM 4.0.2 Installer for OS X 10.9 You can get so
OCaml入門の手引 | POSTD
OCamlを学ぶには、まず何から手を付けたらいいでしょうか？ あなたなら何をしますか？ 私はこれまで、恐らく10数回はOCamlを覚えようとしました。そして手を付けては諦め、また付けては諦めの繰り返しで、ついには数えるのをやめてしまったくらいです。 でも、今回は続いています。ひょっとすると、コミュニティそのものに何か根本的な変化があったのかもしれません。 私にとって功を奏したのが実際は何だったのか、以下に考察してみたいと思います。 役に立つ本は？ 『 Real World OCaml （以下、RWO）』がお勧めです。というよりも、 それ以外にお勧めはありません 。RWOは、私の生涯の中でも1、2を争うことができるくらいのコンピュータ言語解説書です。 ちなみに、その他にも解説書はありますが、大体が不正確な内容を含んでいるか、あるいはフランス語で書かれているかなので、 読まない 方がいいでしょ
camlspotter’s blog
そのまま公開するとまた面倒臭い事になりますから、Timeeingine はいくら好意的に解釈しても大きいバグが二つ存在するので直したほうがよいとだけ。("store" は問題外でカウントに入りません) gpg+base64 してあります。鍵を公表する事がなければそれでよし。 魚拓: http://megalodon.jp/2016-0515-0415-36/d.hatena.ne.jp/camlspotter/20160514 jA0EAwMCvtjTc8nkREFgyesvn2Qomb/Na99Al6T1K+ebWWdK2kyE91N/wY0pn5oHFMFJ0cq4kR6P kTrhLntJ/jPftW4/GghEhN1LEwupxqAtCUjA+XLV2/3rt28tqs+m7tAXAfjz0/V8X3piI46VPdFP FCiBNsq6xlnfhaTSbb54OcagEQnEIY
経験15年のOCaml ユーザーが Haskell を仕事で半年使ってみた - camlspotter’s blog
今の会社に移って半年経ちました。めでたく試用期間終了です。といっても別に試用期間中に密かに首を切られるような事をしたとか、逆に試用期間が終わったからと言ってこれで定年までのうのうと働ける、という訳ではありません。未来は全く判りません。まあとにかく、一つ区切りがやってきました。 金融を知らないQuantsの仕事 私の職業の肩書きには Quantitatitatitatitative という単語がくっついて超カッコよさそう。普通は Quant というと、金融工学や統計数理に詳しい夜もブイブイいわしている超イケメン20代を想像しますが、私は金融とか全然知らないアラフォーお父さんです。それでも Quant です。お願いですから、私に何を買ったらいいかとか、聞かないでください。金融商品とか買った事ないし。というか、逆に教えて欲しいです。 私のチームは、本当の Quant さん達が開発した、金融派生商
Table of Contents / Real World OCaml
Prologue Why OCaml? A Brief History The Core Standard Library The OCaml Platform About This Book What to Expect Installation Instructions Code Examples Safari® Books Online How to Contact Us Contributors I. Language Concepts 1. A Guided Tour OCaml as a Calculator Functions and Type Inference Type Inference Inferring Generic Types Tuples, Lists, Options, and Pattern Matching Tuples Lists The List m
Caml trading - 地球飽きた
Y. Minsky and S. Weeks: Caml trading - experiences with functional programming on Wall Street. JFP 18(4):553-564, 2008. 著者らが所属するJane Streetは自社資金のみでトレーディングを行う会社であり、設立当初はExcelやVBAを使っていたが2005年頃からOCamlをメイン言語として採用している。僅かなバグや数ミリ秒の遅れがパフォーマンスに大きく響く自動取引の世界で、安全性と速度の両立を実現したOCamlの特徴とその活用法とは、というのがストーリー。美点と活用法に関してReadability、Performance、Macrosの3節の後OCamlの欠点について、とバランスよく簡潔に書かれている。順に追っていくと、 Readabilityについて コードの簡潔さ
PDF帳票開発ツール Field Reports / Python Ruby PHP Java C#
Linux, Windows, Mac OS X上で動作し，代表的なLL言語，.Net/JVM環境上の言語から利用することができます。特に，LL言語での使い勝手をよくするために，さまざまな工夫をしています。 Python, Ruby, PHPなどのLL言語から利用可能な拡張ライブラリとして実装されています。お好みのWebアプリケーションフレームワークと組み合わせて柔軟に使用することができます。 PDFに埋め込む値の受け渡しは，辞書・リスト・テキスト・数値などLL言語ネイティブのデータ・オブジェクトを介して行います。 生成したPDF帳票は，ファイルまたはバイナリ文字列形式で呼び出し側に返されます。 ⇒「対応プログラミング言語」を見る
OPAMを使い始めた - YAMAGUCHI::weblog
はじめに こんにちは、Python界の情弱です。OCamlをしばらく書いていなかったのですが、久々に書こうと思い、環境を再セットアップしました。 もうOCaml 4.00.1が出ていたり、そもそもセットアップはOPAMでするのが楽ちんだったりするらしいので、試してみました。 OPAMのインストール 基本的には本家のチュートリアルにある通りにやればいいだけなんで、簡単。 OPAM - Basic Usage % wget http://www.ocamlpro.com/pub/opam_installer.sh % sh ./opam_installer.sh /usr/local/bin ずーっと最新版のOCamlのビルド&インストールを /home/$USER/.opam に対して行ってるログが流れてきますが、最後に設定ファイルへの書き込みを聞いてきます。 =-=-=-= Configu
磯野ー！関数型言語やろうぜー！
第21回オープンラボ岡山の発表スライド http://openlab.okaya.ma/wiki.cgi?page=%CA%D9%B6%AF%B2%F1%2F%C2%E8021%B2%F3Read less
なぜ次に学ぶ言語は関数型であるべきか - YAMAGUCHI::weblog
はじめに こんにちは、Python界の情弱です。ちょっと前にOCaml系のエントリを色々と眺めていたらYaron Minsky氏のエントリを見つけたので翻訳してみました。 OCaml for the Masses - ACM Queue Yaron Minsky氏はJane Streetで第一線で活躍されるエンジニアで、Jane Streetの技術ページをはじめ多くの場所でOCamlに関しての知見を語ってくださっています。 Jane Street Tech Blogs 本エントリはJohn Hughesの名エントリ「なぜ関数プログラミングは重要か」を受けてACM Queueに寄稿されたものの日本語訳です。 なぜ関数プログラミングは重要か Why the next language you learn should be functional YARON MINSKY, JANE STREE
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://cs3110.github.io/textbook/
GitHub - ocaml-community/awesome-ocaml: A curated collection of awesome OCaml tools, frameworks, libraries and articles.