はりぼて自作OCamlコンパイラAQamlでセルフホストしてみた
おじさん1なにしたのはりぼて自作OCamlコンパイラを書いてセルフホストを達成しました2。コミットログによると、11月から開発を始めて3およそ2ヶ月くらいかかったようです。レポジトリはこちら4： https://github.com/ushitora-anqou/aqaml 文字列・リスト・タプル・レコード・バリアント・参照などの基本的なデータ構造5と、 if・for・パターンマッチ・let・相互再帰関数・クロージャなどの基本的な制御構造6が実装されています。 セルフホストに必要な機能のみを実装したので、もちろんOCamlの全てを実装したわけではありません。例えばGC7・カリー化8・クラスなどのOCamlの重要な機能が無い他、型推論9もありません。 GCが無いのでセルフコンパイルに数百MBのメモリを要しますが、まぁそれはそれです。 OCamlってなに一言では説明できないのでググってください
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
静的型と OO というものははじめから… - camlspotter’s blog
OO の方面から、「静的型とか別に役に立つとは思えない、静的型の人は頭おかしい」 とか関数型の方面から、「静的型が役に立たないなんてはずない OO の人は頭おかしい」 とか良く聞こえてくるんですが、ダックタイピング心理学 とかいう真に頭おかしい意見を無視できるとすると（無視できない量あるんですが）、まあ私にはどっちもわからんでもない、という話です。 型をゴミ箱に捨てておいてから、後でゴミ箱を漁るなら、型なんかいらない オブジェクトの静的型システムを大雑把にいうとまず upcast と downcast があります。 upcast はオブジェクトの静的型をそれが属するクラスからそのスーパークラスにを変えちまうこと、downcast はその逆、オブジェクトの静的型をそれが属するクラスから子クラスに変えちまうことです。サブクラスの物はスーパークラスとしても通用するはずですから upcast は失
JSXよりHaxeがイケてる5つの理由(実践編) もしくは Real World Haxe - みずぴー日記
JSXがリリースされて1週間ぐらい立ちました。ガシガシ進化が進んでてすごいですねー。 おかげで、文法と適用範囲が似てるHaxeにも注目を集まっている気がします。なので、今日はそのHaxeを実際のプロジェクトに適用した事例について紹介したいと思います。題してReal World Haxeです。 プロジェクト概要 プロジェクトの概要は、前にosiireさんが2009-10-21で書いているのでそのまま引用します。 某自動車販売会社用のWebサービス サーバーサイドを全部OCamlで作成。OCaml+MySQL。既に稼働中のサーバーへ導入しなければならず、その環境が少し古かった(debian serge)ので一瞬焦ったが、ちゃんとOCaml開発環境は揃った。初めてpa_monadを導入したが、とても便利だった。重回帰分析をOCamlで実装した（Cで書くのがイヤだったから）。OCamlのコードはト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bitbucket
GitHub - rescript-lang/rescript-compiler: The compiler for ReScript.
Eliom
http://ocsigen.org/eliom/
http://ocsigen.org/js_of_ocaml/