[B! QuickCheck] u_wot_m8のブックマーク

QuickCheck, Hedgehog, Validity

I have been working on property testing for years now. My current conclusion is that property testing still has so much uncovered potential that with just some more effort, it can become an even greater tool for software development than it already is today. The concept is relatively young and the design space relatively unexplored. This post seeks to provide an overview of the different approache

u_wot_m8 2022/02/14

リンク

lambda is not a four letter word - Fuzzing me wrong — How QuickCheck destroyed my favourite theory

Fuzzing me wrong — How QuickCheck destroyed my favourite theory Introduction Quite a while back I wrote a larger article on the algebraic foundation of software patterns which also covered the MapReduce algorithm. During the research digged out a paper on algebraic properties of distributed big data analytics, which explained that a MapReduce will always work correctly when the intermediate data s

u_wot_m8 2021/02/02

リンク

QuickCheck experiments on a DSL

u_wot_m8 2017/03/07

リンク

QuickCheck and Magic of Testing - FP Complete

Haskell is an amazing language. With its extremely powerful type system and a pure functional paradigm it prevents programmers from introducing many kinds of bugs, that are notorious in other languages. Despite those powers, code is still written by humans, and bugs are inevitable, so writing quality test suites is just as important as writing an application itself. Over the course of history bugg

u_wot_m8 2017/01/25

リンク

Quickcheck for Core

Automated testing is a powerful tool for finding bugs and specifying correctness properties of code. Haskell’s Quickcheck library is the most well-known automated testing library, based on over 15 years of research into how to write property-base tests, generate useful sources of inputs, and report manageable counterexamples. Jane Street’s Core library has not had anything comparable up until now;

u_wot_m8 2015/10/27

リンク

A QuickCheck Tutorial: Generators | Stack Builders Blog

A QuickCheck Tutorial: Generators Learn how to use QuickCheck’s combinators to create simple generators of random values. From reversing lists to rolling dice and crafting generators for your data types, this tutorial will enhance your programming skills and help you get started with property-based testing in Haskell. This popular post was originally written in 2015 and updated in January 2024 to

u_wot_m8 2015/10/14

リンク

昔のQuickCheckのArbitraryにはcoarbitraryメソッドがあった件 - xuwei-k's blog

標題のことに今更気がついて、少し想定外だったので、それをメモするだけのものです。 O'ReillyのHaskellのやつ(Real Workd Haskell) Real World Haskell―実戦で学ぶ関数型言語プログラミング作者: Bryan O'Sullivan,John Goerzen,Don Stewart,山下伸夫,伊東勝利,株式会社タイムインターメディア出版社/メーカー: オライリージャパン発売日: 2009/10/26メディア: 大型本購入: 8人クリック: 245回この商品を含むブログ (76件) を見るをかなり久しぶりに見返していたら、以下のような記述がありました(268ページ) このクラスはcoarbitraryメソッドも定義しています。これはある型の値を与えると、新しい生成器のための関数を作ります。これはさしあたり無視できます。これが必要になるのは関数の