すもぎのめも

いろいろあったことをメモしています

F#

The Timeless way of Event - F# 勉強会 岐阜

connpass.com F# 勉強会 岐阜を開催し、リアクティブプログラミングについて発表してきました……といっても最後でしか「リアクティブ」という言葉を使わない発表にしました。リアクティブという言葉は言葉だけが先行していると感じていたからです。 4年ぶり 2…

Xamarin.Forms 用の fsproj をビルドしたときに遭遇したバグの話

はじめに この記事で扱われるバグは Alpha preview で修正されています。記事を書いている間に修正されたことを記事を公開する直前に気づいて枕を濡らしました。 概要 F# で Xamarin.Forms 向けのプロジェクトを作成しようとしたらビルドエラーになったので…

Real-World Functional Programming を読んだ

Real-World Functional Programming: With Examples in F# and C#作者: Tomas Petricek,Jon Skeet出版社/メーカー: Manning Pubns Co発売日: 2009/12/30メディア: ペーパーバック購入: 2人 クリック: 22回この商品を含むブログ (2件) を見る 概要 この本は F…

Mono for Android と F#

F#

この記事は F# Advent Calendar 2012 の 8回目です。 7回目 -> @Posauneさん NaturalSpecを使ってC#のテストコードを書いてみた 9回目 -> @yukitosさん Type Provider for INI file (draft) はじめるまえに @gab_kmさんのNaturalSpec 実践入門 、@Posauneさ…

シンタックスから NaturalSpec を理解する

テスティングフレームワークのうち、BDD 向けに作成されたものは、スペックをリーダブルにするためのシンタックスを提供しています。NaturalSpec からもいくつかのシンタックスが提供されています。これらの使い方を知ることで、NaturalSpec に親しみ、読み…

NaturalSpec チュートリアル翻訳版

F# のテスティングフレームワークの一つである NaturalSpec のチュートリアルを翻訳しました。原文のチュートリアルは NaturalSpec の作者である Steffen Forkmann 氏によって書かれています。 テストのためのドメイン特化言語(DSL) - NaturalSpec の手引き …

クイックソートを NaturalSpec でテストする

前回の記事では NaturalSpec でパラメータ化されたシナリオを使用する2つの方法を示した。今回は小さなクイックソート関数を例に、2つを組み合わせてテストする方法を示す。初めに、ソート用のシナリオを定義する。 次に、具体的なテストケースを定義する。 …

NaturalSpec を使用したパラメータ化されたシナリオ

前回の記事では NaturalSpec についての多くを書いた。今回はパラメータ化されたシナリオを使用する方法を示す。1. 事前に定義されたシナリオを使用する定義済みのパラメータ化されたシナリオを書くことによって、多くの異なるテストケースを持ったシナリオ…

NaturalSpec とモックオブジェクト

前回の投稿では、NaturalSpec の手引きとして、開始手順と、NaturalSpec を使用した C# プロジェクトの自動テスト可能なシナリオの記述の仕方を示した。今回は、前回と同じ ”Car-Dealer” サンプルを使用して、NaturalSpec でモックオブジェクトを利用する。 …

NaturalSpec を使用して C# プロジェクトのスペックを生成する

前回の2つの記事では、NaturalSpec を紹介し、使用方法を示した。今回は NaturalSpec を使用して C# プロジェクトの自動テスト可能なシナリオを記述する方法を示す。"最初にテストを書く" TDD の原則のように、私たちはスペックを初めに書き、"Red-Green-Ref…

NaturalSpec 入門

前回の記事 (テストのためのドメイン特化言語(DSL) - NaturalSpec の手引き) では、二つの小さな例で NaturalSpec を使用した。今回は、NaturalSpecの環境をセットアップして、自動テスト可能なシナリオを書く方法を示す。1. IDEを選択する最初に NaturalSpe…

テストのためのドメイン特化言語(DSL) - NaturalSpec の手引き

テスト駆動開発 (TDD) は "Red-Green-Refactor" のサイクルに準ずる有名なソフトウェア開発手法だ。振る舞い駆動開発 (BDD) は自然言語を用いてユニットテストのシナリオを表すアイデアを引き合わせる TDD から派生した手法だ。BDD に使用できる有名なテステ…