type holyshared = Engineer<mixed>

技術的なことなど色々

2016-01-01から1年間の記事一覧

OUnitでOCamlライブラリのテストを書く

これはML Advent Calendar 2016の18日目の記事です。 OCamlのテストフレームワークのOUnitについて解説します。 また、Oasisの簡単な説明も行います。 プロジェクトのセットアップ OCamlのプロジェクトでは、だいたいの場合はOasisを使います。 Oasisはビル…

Rustでlcovのレポートファイルをマージする

これは Rust Advent Calendar 2016 (2) の 14日目の記事です。 lcovが出力するレポートのパーサー&マージャーをRustと実装しました。 lcovはgcovの拡張版みたいなもので、gcovの出力ファイルから、HTML形式のようなコードカバレッジレポートを出力するツール…

Golangで五目並べ作った

そういえば、Golangでコード書いたことないや、と思って作ってみました。 Golangはコード読んだことあるけど、書いたことがなかったので、作り始める前に、 Golangのチュートリアルを半分くらいやったり、出勤時間にパッケージのAPI調べてたしました。 https…

Hacklangのパッケージのテストコードを、型チェックかかるようにしたかったが断念した話

タイトルの通りHacklang用のパッケージを開発していて、テストコードも型のチェックしたかったので、 できるか試してみました。 今、自分がパッケージ開発で使用しているテストツールは下記の通りです。 peridot-php/peridot - BDDテスティングフレームワー…

PHPのコードをHackのコードに変換する

PHPコードをHackのコードに置き換えるのは、最高に面倒くさいですよね。 なので、HHVMで提供されている、hackificatorを使用して、一気に変換できないかを検証してみました。 hackificatorはPHPコードをHackに置き換える為のコマンドラインツールです。 hack…

Hacklang用にベンチマーク取れるライブラリを作った

HacklangでのJITの検証とか、Vector、Setのパフォーマンスの計測がしたかったので作りました。 計測用のコードは下記のような感じになります。 namespace hhpack\performance\example; require_once __DIR__ . '/../vendor/autoload.php'; use hhpack\perfor…

typechecker-clientで型のカバレッジ取れるようにした

型チェックの比率が知りたかったので、クライントのライブラリにAPIを新しく追加しました。 ファイル/ディレクトリ単位でデータを抜いて、整形することで見やすいフォーマットに整形して表示したり、 データを別の形式に変換したりすることができます。 簡…