OCaml で LLVM -- 事始め - camlspotter’s blog
この記事は LLVM-2.8 とその OCaml binding を使った LLVM プログラミングの始め方について、良く判らないという声を聞いたので、理屈はともかく、どうやって始めるかを主眼に書いた物です。OCaml や Makefile を全く書いた事が無いし知りたくも無い、でも LLVM を使いたいという方にはちょっと無理な内容になっています clang とか LLVM とかこの頃よく聞きますよね。Apple が製品に結構使っているという話ですし、気になっている人もいるでしょう。私も LLVM、気になりました。要するに、プログラム内で Cみたいな言語(語弊がありますが)の構文ツリーを動的に生成して、それを、はいお願いと LLVM のエンジンに投げるとアーラ不思議、各アーキテクチャ用にいい感じで JIT コンパイルしてくれてスイスイ動く、という魔法のような話です。 マシン語は Z80
OCaml on Vim with Homebrew - ここは俺の備忘録だ
動機 私は元々Vimを使っていたが、OCamlはEmacsで書くのが安牌だとされている。(現在ではSpacemacsが最も簡単に入門できる環境だろう) そこでEmacsに乗り換えてみると、此方は此方で快適であるものの、同様にエディタを軽々と乗り換えられる人はそう多くないだろうとも思った。 丁度「OCamlに入門したんだから今の内に振り返りの記事を書こう」と考えていたので、その布石としてOS X上でVimを使う際の環境構築について書くことにした。 Emacs側についてはもっと詳細な説明を書かかれている方がいらっしゃるのでそちらを参照してもらいたい。 前提 みんな HomebrewとNeoBundleの入ったVimは持ったな！！ 行くぞォ！！ シェル上での設定 言語専属パッケージマネージャがOCamlにも有るので入れる。各種操作でコケる事の殆ど無い良い子。 brew install opam
OCamlでカウンターモジュール | 黒曜の吹き溜まり
副作用はなるべくないほうがよい。 それはそうなんですが、副作用を使ったほうが効率がよかったり、コードの見通しが良くなったりすることもよくある話です。 例えば、以下のような単純な表示関数printを考えます。
OCaml: どうやってファンクタをコンパイルしているのか - type t (* void *)
小ネタ。OCamlの複雑な機能の中にファンクタというものがあります。 これをどういうふうにコンパイルしているのか見てみましょう。 結論からいうと、 OCamlのモジュールというのはただのレコードである。 ファンクタはレコードを受け取ってレコードを返すまさに関数である です。 コード例 実際のファンクタを使ったコードを見て、これがどういうふうに中間コードで表現されるのか見てみましょう。 module type S = sig type t val f : t -> t end module Make (M: S) = struct let h1 = (M.f, M.f) let h2 = (M.f, M.f) end module M1 = struct type t = int let f x = x end module M2 = Make(M1) このコードは、ファンクタMakeをつく
ファンクターについての覚え書き - Qiita
この記事は、ファンクターについてひっきりなしに勘違いを繰り返していた過去の自分への覚え書きです。ファンクターは難しいと言われるわりには、ぐぐってみると余裕で理解されている方が多いような気がするんですよね。回りくどくて何が何だかわからん！と思ったら、それはそれだけ勘違いを繰り返していた私のせいです。おかしな点があったらツッコミをお願いします。 それではまず、OCaml チュートリアルからファンクターの説明を抜き出してみましょう。 ファンクタはおそらく OCaml の中でもっとも複雑な特徴のひとつだが、 OCaml プログラマーとして成功するためにファンクタを広く使いこなす必要はない。実際、あなた自身ではファンクタを定義したことはないかもしれないが、標準ライブラリで間違いなく出会うだろう。ファンクタは Set や Map モジュールを使う唯一の方法だが、使うのはそんなに難しくはない。 ふむふむ
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
大事なことは全部MLが教えてくれた 〜 Apple の Swift の mutability 周りの件を理解する - Oh, you `re no (fun _ → more)
開発者アカウントに金が出せない貧乏人の方々が、次の Apple の Swift のコードの挙動がわからない、というので盛り上がっております: let a = [1,2] // a = [1,2] var b = a; // b = [1,2] b[1] = 3; // a = [1,3] b = [1,3] b.append(5); // a = [1,3] b = [1,3,5] b[1] = 4; // a = [1,3] b = [1,4,5]もちろんわたしも貧乏ですからわかりやすい炎上案件を待っておるわけです。これはわかりやすいわからないが来たね。 だいたい b[1] = 3 とやると a[1] も変化する、これがわからないという人 b[1] = 4 とやると a[1] が変化しない、これがわからないという人 二種類いるようです。私はまず、 b[1] に代入できることがわかりません
Haskell for OCaml programmers
Note The latest version of this document can be found online at https://dr-knz.net/haskell-for-ocaml-programmers.html. Alternate formats: Source, PDF. Prologue Why write a new post when a clever reader could simply “read Edward’s post backwards”? It’s about the different audience, really. My experience is that programmers well-versed in Haskell, or who learn Haskell as first language, tend to have
OCaml: what you gain - Thomas Leonard's blog
Way back in June, in Replacing Python: second round, I wrote: The big surprise for me in these tests was how little you lose going from Python to OCaml. Of course, I was mainly focused on making sure the things I needed were still available. With the port now complete (0install 2.6 has been released, and contains no Python code), here's a summary of the main things you gain. Table of Contents Func
静的型と OO というものははじめから… - camlspotter’s blog
OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」 とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」 とか良く聞こえてくるんですが、ダックタイピング心理学 とかいう真に頭おかしい意見を無視できるとすると（無視できない量あるんですが）、まあ私にはどっちもわからんでもない、という話です。 型をゴミ箱に捨てておいてから、後でゴミ箱を漁るなら、型なんかいらない オブジェクトの静的型システムを大雑把にいうとまず upcast と downcast があります。 upcast はオブジェクトの静的型をそれが属するクラスからそのスーパークラスにを変えちまうこと、downcast はその逆、オブジェクトの静的型をそれが属するクラスから子クラスに変えちまうことです。サブクラスの物はスーパークラスとしても通用するはずですから upcast は失
OCamlMeeting / なごやまつりで発表してきました #ocaml2013jp #ngmatsuri - みずぴー日記
よくわからないアレで、イベントが密集した週末を過していました。 OCamlMeeting: 「OCamlでWebアプリケーションを作るn個の方法」 OCamlでWebアプリケーションを作るn個の方法 from Hiroki Mizuno 要約すると「Eliomで作ったWebアプリを、Herokuで動かそうぜ」です。OCamlで作ったWebアプリをHerokuで動かす方法(2) 〜Ocsigen/Eliom編〜を発表用にまとめた感じです。 がちがちに型で守られたEliomで作ったアプリを、Heroku上に楽でホスティングできるのはたのしいので、ぜひやってみると思います。 なごやまつり: 「TypeSafe OSの試み」 TypeSafe OSの試み from Hiroki Mizuno 前半はMirageOSの紹介、後半はMirageOSが使っているMiniOSの紹介になっています。 最近、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
OCamlがiOS開発に本格対応
https://github.com/camlspotter/ocaml-zippy-tutorial-in-japanese/blob/master/y.md
LexiFi
Bitbucket
Everything I did to self-publish a textbook about OCaml (except for the writing part) — OCaml from the Very Beginning
速攻MinCamlコンパイラ概説
http://anil.recoil.org/2013/10/03/merlin-and-vim.html
http://anil.recoil.org/2013/09/16/camlpdf-the-end-of-sucky-pdf-tools.html
http://ocamloscope.herokuapp.com/