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

現在ラムダ計算とかを勉強中です。ついでにpbsk氏にプログラム意味論を教えると言うことになっているので勉強がてら資料作成しています。現状では、λ 式の定義、λ 式の等式関係、不動点コンビネータ、リダクション、データとその演算の表現、λ 定義可能と計…

TDDBCはスタッフ参加を含めて今回が3回目です。今回は一参加者として参加させてもらいました。 今回のTDDBCの傾向 今回3回目なのでこれまで参加した、また見聞きした感覚として今回のTDDBCは Githubを使っていたペアが多かった 1ペアごとのレビュー時間が長…

JUnit実践入門 ~体系的に学ぶユニットテストの技法 (WEB+DB PRESS plus)作者: 渡辺修司出版社/メーカー: 技術評論社発売日: 2012/11/21メディア: 単行本（ソフトカバー）購入: 14人 クリック: 273回この商品を含むブログ (69件) を見るレビュアーとして参加…

ソフトウェア・テストの技法を読み終えました。ソフトウェア・テストの技法 第2版作者: J.マイヤーズ,M.トーマス,T.バジェット,C.サンドラー,Glenford J. Myers,Todd M. Thomas,Tom Badgett,Corey Sandler,長尾真,松尾正信出版社/メーカー: 近代科学社発売日…

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は結構冗長、というよりテスト自体の本質が見えにくくなることがありま…

釣りなう（ぉgit nowでのコミットをディレクトリの変更を wait_on コマンドで検知して、保存時に自動的にやってもらおうというだけだったりする。ビルド成功時のみ？テストが成功したら？なにそれおいしいの？トピックブランチに入ったら、管理するファイル…

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

TDDBCにスタッフとして参加したので、つれづれにメモ書き。 TDDBCで発表があったことの内容よりも、参加した中で考えたりしたことをちょっと書きだしておきたいと思います。Keep グリーンの安心さと同時に細かいテスト実行を伝えられたのは大きかった。 最後…

実用期を迎えた関数プログラミング 最新動向と今後の展望 - http://atnd.org/events/27376「実用期を迎えた関数プログラミング」参加してきました。福岡では関数プログラミングの勉強会は少ないので、福岡で関数プログラミングのお話が聞けるというのは非常…

前回の続き。今回は第一章を読んでみたまとめと感想を書きます。 第一章 ノーベル賞記念講演 限定合理性の地図 知覚表象 感覚表象とも。人間が感じる様々な感覚が脳の連合野で分析的に統合されたのもの。 例えば、「重い」という感覚は、皮膚への強い圧力と…

今「ダニエル・カーネマン 心理と経済を語る」という本を読んでいるので、感想を書きつつ読んだところで気になったことを軽くまとめておこうと思います。今回は監訳者解説で気になった用語や事柄をまとめておきます。 監訳者解説 カーネマンの行動経済学での…

前回の続きです。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 シグネチャを書くときに、モジュール同…