Hedgehog

Release with confidence, state-of-the-art property testing for Haskell, Scala, F# and friends.

[Hedgehog @hedgehogqa]

The Hedgehog project has no official website at the moment.

The only official link is:
🔗 https://t.co/wc4avWdcWM

For any further info, you can contact @nikosbaxevanis.

[Oskar Wickström @owickstrom]

My property tests trying to find that weird bug we had in production.

[0ch4rl3s.nfo @acid2]

@hillelogram "TDD is okay, I guess"

12 likes, 4 retweets, 104381431 replies

[Hedgehog @hedgehogqa]

@ChShersh Get well soon 🦔🐾

[Dmitrii Kovanikov @ChShersh]

🧑‍🔬 If you upgrade your #Haskell libraries to GHC 9.4.1, and support the latest 3 major GHC versions, this is the list of the sanity checks you want to enable to get the maximum out of the compiler diagnostics 👇

I recommend putting them in the 'common' stanza📜

[Nikos @nikosbaxevanis]

⚡️ Hedgehog.Xunit by @dharmaturtle is now an indispensable part of the @hedgehogqa family 🦔

https://t.co/HKBPRZ6qa2

[Mark Seemann @ploeh]

It's a great pleasure for me to announce that I've written a new book, out in September https://t.co/Rx001zLnhq

[Mark Seemann @ploeh]

New article: The dispassionate developer https://t.co/dUqfFczHN9

[Mark @mwotton]

Type level hacking goes so slowly because it’s so high level - it’s like trying to chop wood on the summit of Everest.

Either that or I’m just terrible at it.

[Oskar Wickström @owickstrom]

Turns out studying @hedgehogqa's lazy tree structures for shrunk examples wasn't in vain, even if they're not very similar. Enough inspiration to get a decent solution in place.

[Nikos @nikosbaxevanis]

Hedgehog + LINQ =🦄 #csharp #fsharp

https://t.co/YrgvJnmImI

[Nikos @nikosbaxevanis]

Hedgehog.Xunit has a Property attribute you can use when writing tests with @xunit and @hedgehogqa:

open Hedgehog.Xunit

[<Property>]
let ``rev a list twice yields the original list`` (xs : int list) =
List.rev (List.rev xs) = xs

https://t.co/4HMTZTLOMR

[Oskar Wickström @owickstrom]

The Quickstrom talk recording from CodeMesh is out!

[Nikos @nikosbaxevanis]

#fsharp hedgehog 0.9.0 is out, with contributions from

- @tyson_mn
- adam-becker (github)
- @mausch
- @cmeeren
- @dharmaturtle

🎉

https://t.co/2DxJVvmVAC

[Mark Seemann @ploeh]

My GitHub Sponsors profile is live! You can sponsor me to support my blog (which is open source) 💖 https://t.co/io8vc3aXit

[Mark Seemann @ploeh]

I've been working on a big project most of 2020, and it's now successfully winding down. What should I do for 2021? I can help with software architecture, functional programming, TDD, REST, object-oriented design, C#, F#, and Haskell. https://t.co/oDY55Wb8IC

[Nikos @nikosbaxevanis]

hedgehog 1.0.4 is out, with contributions from

- Mike Pilgrem
- Felix Yan
- John Fowler
- Ollie Charles
- Huw Campbell
- Markus Hauck
- Alexey Kuleshevich
- Andrew Lelechenko
- Simon Shine
#haskell

https://t.co/3b77uIX7IM

/cc @MikePilgrem @felixonmars @acid2 @hedgehogqa

[Mark Seemann @ploeh]

This is your monthly reminder to support ploeh blog https://t.co/bTH5qstoIP

[Mark Seemann @ploeh]

New article: Name by role https://t.co/cjOoJydY25

[Paul Biggar 🇵🇸🇮🇪 @paulbiggar]

.@darklang's new backend will be in F#!

https://t.co/Bfe8DaYI21