C#の素晴らしさを語る会に参加させていただきました。C#愛に溢れた発表が多く、C#の良さはすごく伝わる内容だったと思います。また、内容は.NET Frameworkのプラットフォームについてから、言語仕様、LINQ、他言語連携（ネイティヴ）、unsafe利用、Roslynな…

mixin Haxeにはmixinという機能があります。mixinは例えば次のようなクラス class Foo { public static function foo<T> (list : List<T>) : Void { for (x in list) { trace (x); } } } があった場合に通常の呼び出しとしては var list = new List<Int> (); list.push </int></t></t>…

Haxeの勉強を始めたばかりですが、NMEが面白いのでちょっとだけ紹介します！ Haxe自体、様々な言語へ変換出来ると言う面白い言語です。さらにNMEでは様々な環境向けにビルドができ、GUI開発ができます。（とはいえ、今はゲーム開発専用と言っても良さそうで…

つい1週間ほど前にHaxeの勉強を始めました。ついでにクロスプラットフォーム開発のために、NMEを使っています。 そのときに var textField = new TextField (); textField.text = "aaa"; var textFormat = new TextFormat ("_sans", 30, 0x333333); textFiel…

OCamlを使っている皆さん。テストコードは書きますよね。 そこでOUnitの登場です。 OUnitはOCamlのユニットテスティングフレームワークです。OSSなどでも良く使われています。…が、OUnitは結構冗長、というよりテスト自体の本質が見えにくくなることがありま…

練習もかねて、テスティングフレームワークを書いてみてました。最初はこんなに大きなものを作る気がなかったので、バージョン管理してなかった（汗正直言ってあまり出来は良くない。複雑だし、いろいろメンドイ。それにOUnitよりいい点があまり無い。 方向…

ずいぶんとエネルギーを持っていかれた気がする…最近、モナドも使い慣れるといろいろ好都合だったりするので、自分用にほぼ最小に近いレベルでOCamlにモナドを実装していこうといろいろなモナドの実装をしています。とはいえ、まだMaybe, List, Lazyくらいで…

前回とはうって変わって、ちょっとだけassert文をどうにか出来ないかなぁという感じの方向性で作ってみました。 module type ASSERT = sig type t val cmp : (t -> t -> bool) val printer : (t -> string) end module MakeAssert(AssertType:ASSERT) : sig …

OUnitはOCamlでは関数がオーバーロード出来ないとかそういう関係で複雑な処理に対してや、パラメタライズドなテストコードが非常にコード自体が見にくくなる傾向にあります。なので遊びがてらいろいろ試してみようと思いました。 open OUnit open List let (…

前回の続きです。Value restrictionによって let x = fst ([], ()) val x : '_a list = [] となってしまっていた。うん、非常に残念。これは別に多相的にあつかってもいいはず。 Relaxed value restriction ここで、Relaxed value restriction。 これはValue…

皆さん、いかがお過ごしでしょうか。楽しいOCamlライフ送ってますか？私は紆余曲折あって「なぜだ・・・なぜ自分が使っている型システムすら知らないんだ！？」ということで、OCamlの型システムを勉強しようと思ってます。そのあたりで論理学の知識がどうし…

sml#入れました。とりあえず、ML系の言語は拡張のされ方だったりが非常に面白い（というかたまに風変わり）だったりするので、興味があります。なのでsml#も少しばかし試してみようと思ってインストールしてみました。で、そのログです。この通りやれば絶対…

ヴァリアントってパターンマッチできるんですねー、なんて言ったら流石に初心者すぎるかも知れませんが、次のようなパターンマッチが可能なことは知りませんでした。 # type myvariant = [`A | `B];; type myvariant = [ `A | `B ] # let f x = match x with…

なんかこのシリーズ、増えれば増えるほど自分のOCamlへの知識のなさが見えてくる… 今回はFunctional Objects.「あー、それね。はいはいChapter 3あたりに書いてあるのでしょ」と思った人は正解です。いやはや、私は今"O"縛り中なので、クラスとかオブジェク…

今回はOCamlの現在のlatest versionである3.12.1には実装されていない、GADTについて試してみました。とりあえず、現状でOCamlのGADTを試すにはOCamlのsvnリポジトリからgadtsをとってきてビルドとインストールを行う必要があります。ただし、これを行うと、…

今日は夏に向けていっちょOCaml界に伝わる怪談話でも… ではなくて、幽霊型について。使えたら面白そうだと思うのですが正直未だに実践で使ったことがないので、非常に残念な気分になりつつも書いていきます。幽霊型は次のように定義できます。 # type 'a num…

ターミナルで $ ocamlと叩くとOCamlのインタラクティブシェルが起動します。 Objective Caml version 3.12.1 # で、さぁてモジュール読み込もうと思ったときに「あっ、しまったぁ！インストールしたモジュール試したかったから、cmaファイル読み込ませないと…

第三回にして、v 3.12の新機能ではなく前からあった機能を書きます。皆さんはリテラルのsuffixをご存知でしょうか。 浮動小数点数を『1.0f』なんて書いているのは見かけたことないですか？見たことない？さすがOCamlばかりやってきた人は違いますね！（違リ…

今回はmodule type ofによるモジュールのシグネチャの取得。・・・あれ、また3.12の新機能じゃないか！それはいいんです、それは。最近ちょうど使う機会があったんですっ！たまたま使っただけですっ！ module type of シグネチャを書くときに、モジュール同…

今回は私の貧弱ぅなOCaml力を晒すべく、最近知ったばかりのOCamlの知識を書いていこうと思います。自分が知らなかったOCamlネタが見つかり次第、随時記事として追加していくつもりです。今回はlocal open。これは3.12で追加された機能ですね。まあ、知らなか…

というタイトルの通りのことを目指して、現在OCamlとOcsigenというWebアプリケーションフレームワークでWebアプリケーションを作ってみようと思ってます。ちなみにこのOCamlとOcsigenというのはかなり癖のある環境で、私は今のところDebian上でしかOcsigenま…

なんとかGroovy&SpockでXP一日体験ワークショップで出されていたお題を終えること自体は終わったので、一応のおわた宣言ブログ書きます。元々のXP一日体験ワークショップのときのGithubがあるのですが、受入テストまで書き換えてしまっているので現在コード…

これ、やろうとすると結構難しい。ということで勉強がてら、Web上の他の人のものを参考にして理解しながら進めることにしました。つまりほぼ私が書いたものではないです。いちおう自分でいろいろ調べつつ、理解できていないところは理解しながら進めてみまし…

Coqを勉強していたら、refineタクティクというものに出会った。一緒にSpecif moduleのsigの記述もあったので最初は混乱していたものの、何となく把握してきた。使い方は次のような感じ。 Definition pred (n : nat) : n>0 -> nat. refine (match n with | 0 …

Coqネタ。挑戦してみていろいろ勉強になった。試行錯誤はやっぱり勉強になる。勉強中はバックトラックでもタダでは起きない（ｷﾘｯ 時間かかり過ぎですが。今回はタイトル通り、「任意の自然数a, b, cについて a*a+b*b=c*c のとき、a, b, cすべてが奇数ではな…

明日は大阪で楽しくXPを体験してこようと思ってます、なおきりんです。（XP一日体験ワークショップ！ - http://kokucheese.com/event/index/30196/）今回、継続的インテグレーションが参加するイベントの一つにあげられているので、先取りで独り継続的インテ…

先日Coqの関数をOCamlのコードとして出力してみました。サンプルとしては (* ret_num.v *) Definition ret_num (n : nat) : nat := n. Extraction "ret_num.ml" ret_num. を coqc ret_num.vして (* ret_num.ml *) type nat = | O | S of nat (** val ret_num…

来春プログラミングするのは私です。人にお勧めしたいことも含みつつ、書いてみることにします。(自分のために書いているので、やってないことも含みますがご了承ください。) Coq http://coq.inria.fr/ 定理証明支援器として知られるCoqです。 特定の値に対…

前回に引き続き、練習してます。今回はちょうど見つけたCoq-99 : Part 1の問題をやってみました。一応、答えを見ずに全部できましたが、所々詰まったりしました。ある意味、人間バックトラックです。 Lemma Coq_01 : forall A B C:Prop, (A->B->C) -> (A->B)…

突然ですが、皆さんは定理証明支援器ってご存知ですか。 定理証明支援器というのは、命題論理の定理を半自動で証明することを可能にしてくれるツールです。去年の末、「テスト？ちがうちがう。これからの時代は証明だよ！」という話になったので、どうせOCam…