OCamlのテスティングフレームワークを作ってみたり - What is it, naokirin?
練習もかねて、テスティングフレームワークを書いてみてました。 最初はこんなに大きなものを作る気がなかったので、バージョン管理してなかった（汗 正直言ってあまり出来は良くない。複雑だし、いろいろメンドイ。それにOUnitよりいい点があまり無い。 方向性は ・演算子によるアサーション ・比較の型の選択をモジュール（ファンクター）で行う コードは https://gist.github.com/3246539 汚いな、さすが管理されていないコードきたない。 とりあえず次のように書ける。 T_* が対応するテスト用の関数を持っている。あとはsubtypeを持つものはファンクターでsubtypeの T_* を渡す。 module T_int_list = T_list(T_int) module T_string_list = T_list(T_string) let list_test = tes
ネタ記録庫/Scala/Lazy型 - ocaml-nagoya
2012-02-03 ネタ記録庫/Scala/Lazy型 ネタ記録庫/Scala/Android/sbt-0.11.2 ネタ記録庫/Scala/Android/sbt-0.10 ocaml-android 2011-12-27 ネタ記録庫/Scala/Android/Android SDKとエミュレータのインストール 2011-12-09 ネタ記録庫/OCaml RecentDeleted ProofCafe 2011-12-06 ocaml-nagoya 2011-10-09 ネタ記録庫/Scala/dispatch 2011-09-29 ネタ記録庫/SML/SML＃のインストール 2011-09-28 ネタ記録庫/SML/SMLNJのインストール ネタ記録庫/SML 2011-09-12 ネタ記録庫/Scala/Android/NFC 2011-09-09 ネタ記録庫/Scala/An
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by INRIA, a French research institute in computer science and applied mathematics, since 1985. The OCaml system is the main implemen
OCaml プログラミング入門
OCaml のすすめ OCaml とはフランスの 情報技術系の研究機関の INRIA で開発されている関数型言語 ML (の方言) です。ML には多相型、型推論、ガーベージコレクション (GC)、 データ構造のパターンマッチング等、プログラミング言語理論の研究の 成果 (すごく最新のものと言うわけでは無いそうですが) が詰め込まれ ています。これらの目的・効用は、 コードの再利用の範囲が大きい (多相型) コードの記述量が短かくなる (型推論・データ構造のパターンマッチング) バグの入り込む余地が少なくなる (GC、関数的(副作用の少ない)プログラミング) 等です。私は OCaml を研究でのデータ処理をはじめ、作成するプログラムほとんど 全てにおいて日常的に使っているのですが、 とにかく開発効率が良いです。 コンパイル時の型チェックの厳しさには慣れないとちょっと面倒に感じる かもしれま
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてなブログ | 無料ブログを作成しよう
OCamlの多相Variant紹介 #fpstudy
「プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~」を図書館から検索。