SlideShare ist ein Scribd-Unternehmen logo
1 von 16
Downloaden Sie, um offline zu lesen
FsCheck コトハジメ
2013/7/28 F# 談話室 (7)
お前だれよ

・ F# 好きのしがないリーマンエンジニア
・ Python や D 言語も好き
・ Twitter で変なことばっかりしてます
(@gab_km)
皆さん、テストしてますか?
F# で使えるテストツール
・ FsUnit
・ NUnit
・ NaturalSpec … BDD スタイル
・ Foq … Mock フレームワーク など

用途によっていろいろあります。
でも、テストケースは自分で
考えないといけない。
もっと楽してバグの可能性を
減らしたい。
一方、他の言語では…
Haskell の場合
一方、他の言語では…
Erlang の場合
今 QuickCheck がアツい!
QuickCheck とは

引用:いたわさににほんしゅ「 QuickCheck 勉強してみよう 最初の一歩の前段階」
http://d.hatena.ne.jp/ita-wasa/20101212/1292157408
F# でもあったらなぁ…。
あるんです!
FsCheck を使ってみよう。

デモ
ところで…。
 現在 FsCheck/Docs/Documentation.md の
翻訳を行なっています。
・翻訳のお手伝いをしてくださる方
・翻訳物のレビューをしてくださる方
をお待ちしております!
まとめ
・ QC がテストツールの一つとして利用されてきている
・ F# 製 QC ツールとして FsCheck がある
・日本でも FsCheck を広めたい。
まとめ
・ QC がテストツールの一つとして利用されてきている
・ F# 製 QC ツールとして FsCheck がある
・日本でも FsCheck を広めたい。

その前に F# を広めましょう

Weitere ähnliche Inhalte

Was ist angesagt?

Alfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンスAlfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンス
Takuma Morikawa
 
言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo
Shuyo Nakatani
 

Was ist angesagt? (20)

お前の逐モン、GETだぜ!
お前の逐モン、GETだぜ!お前の逐モン、GETだぜ!
お前の逐モン、GETだぜ!
 
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
2015/09/12 第9回G-Study発表資料-XdebugでPHP ScriptのProfileしてみる
 
Alfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンスAlfredとdashで超高速リファレンス
Alfredとdashで超高速リファレンス
 
Rでを作る
Rでを作るRでを作る
Rでを作る
 
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
2015/08/08 第8回G-Study発表資料-部屋と自宅サーバと私
 
言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo言語処理するのに Python でいいの? #PyDataTokyo
言語処理するのに Python でいいの? #PyDataTokyo
 
機械の体を手に入れるのよ、 鉄郎!!!
機械の体を手に入れるのよ、鉄郎!!!機械の体を手に入れるのよ、鉄郎!!!
機械の体を手に入れるのよ、 鉄郎!!!
 
技術ドキュメントで難しい英文に出会ったら
技術ドキュメントで難しい英文に出会ったら技術ドキュメントで難しい英文に出会ったら
技術ドキュメントで難しい英文に出会ったら
 
LTネタが完成しなくてごめんなさい
LTネタが完成しなくてごめんなさいLTネタが完成しなくてごめんなさい
LTネタが完成しなくてごめんなさい
 
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
2015/04/11 第4回G-Study発表資料 Risoluto開発に見る車輪の再発明
 
20110205.conference
20110205.conference20110205.conference
20110205.conference
 
Blenderで和柄をつくるお話
Blenderで和柄をつくるお話Blenderで和柄をつくるお話
Blenderで和柄をつくるお話
 
TwitterのStreaming ApiをPhpから使う
TwitterのStreaming ApiをPhpから使うTwitterのStreaming ApiをPhpから使う
TwitterのStreaming ApiをPhpから使う
 
F*言語ワークショップ
F*言語ワークショップF*言語ワークショップ
F*言語ワークショップ
 
性懲りもなくUnityの闇と戯れる
性懲りもなくUnityの闇と戯れる性懲りもなくUnityの闇と戯れる
性懲りもなくUnityの闇と戯れる
 
Pyladies tokyo 20150123
Pyladies tokyo 20150123Pyladies tokyo 20150123
Pyladies tokyo 20150123
 
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOPこわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
こわくないPython その2- ファイナルファンタジーとグレンラガンで学ぶOOP
 
こわくないPython
こわくないPythonこわくないPython
こわくないPython
 
Bug撲滅作戦
Bug撲滅作戦Bug撲滅作戦
Bug撲滅作戦
 
LTSの準備をチョットやってみた。lxcチョット触ってみた
LTSの準備をチョットやってみた。lxcチョット触ってみた LTSの準備をチョットやってみた。lxcチョット触ってみた
LTSの準備をチョットやってみた。lxcチョット触ってみた
 

Ähnlich wie FsCheckコトハジメ (6)

プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
プログラマになれないあなたのための言語戦略 (Gunma.web #7 2011/12/17)
 
F#の基礎(?)
F#の基礎(?)F#の基礎(?)
F#の基礎(?)
 
chrome拡張機能で ブラウザにp5jsを召喚!
chrome拡張機能で ブラウザにp5jsを召喚!chrome拡張機能で ブラウザにp5jsを召喚!
chrome拡張機能で ブラウザにp5jsを召喚!
 
Fluent Feature in F#
Fluent Feature in F#Fluent Feature in F#
Fluent Feature in F#
 
TypeScriptで作る型安全FirefoxOSアプリ
TypeScriptで作る型安全FirefoxOSアプリTypeScriptで作る型安全FirefoxOSアプリ
TypeScriptで作る型安全FirefoxOSアプリ
 
ODF PlugFestを味見しよう/Tasting Odf plug fest
ODF PlugFestを味見しよう/Tasting Odf plug festODF PlugFestを味見しよう/Tasting Odf plug fest
ODF PlugFestを味見しよう/Tasting Odf plug fest
 

Kürzlich hochgeladen

Kürzlich hochgeladen (10)

論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
論文紹介: The Surprising Effectiveness of PPO in Cooperative Multi-Agent Games
 
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー  DS20L  カタログ  LiDARデバイスLoRaWANスマート距離検出センサー  DS20L  カタログ  LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
 
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半        2024/04/26の勉強会で発表されたものです。新人研修 後半        2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
 
Utilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native IntegrationsUtilizing Ballerina for Cloud Native Integrations
Utilizing Ballerina for Cloud Native Integrations
 
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
論文紹介:Selective Structured State-Spaces for Long-Form Video Understanding
 
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアルLoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
 
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
 
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
知識ゼロの営業マンでもできた!超速で初心者を脱する、悪魔的学習ステップ3選.pptx
 
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
論文紹介:Video-GroundingDINO: Towards Open-Vocabulary Spatio-Temporal Video Groun...
 
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
 

FsCheckコトハジメ