Hedgehog (@hedgehogqa) header
Hedgehog (@hedgehogqa) profile picture

Hedgehog

@hedgehogqa

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

 Australia
github.com/hedgehogqa
Joined March 2019
  • Tweets103
  • Following19
  • Followers110
1Media
Photo by Hedgehog (@hedgehogqa)
The Hedgehog project has no official website at the moment. The only official link is: 🔗 github.com/hedgehogqa For any further info, you can contact @nikosbaxevanis.
2
2
1,089
My property tests trying to find that weird bug we had in production.
Fifty Shades of Whey (@davenewworld_2) profile pictureFifty Shades of Whey
@davenewworld_218 Aug 2022
Find the duck 🦆
1
4
20
Replying to @hillelogram
"TDD is okay, I guess" 12 likes, 4 retweets, 104381431 replies
1
4
🧑‍🔬 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📜
List of warnings to enabled for GHC 9.4.1, GHC 9.2 and GHC 9.0 support ghc-options: -Wall -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Wnoncanonical-monad-instances -Wmissing-export-lists -Wpartial-fields -Wmissing-deriving-strategies -fhide-source-paths -fwrite-ide-info -hiedir=.hie -Wunused-packages if impl(ghc >= 9.0) ghc-options: -Winvalid-haddock -Wunicode-bidirectional-format-characters -Werror=unicode-bidirectional-format-characters if impl(ghc >= 9.2) ghc-options: -Wredundant-bang-patterns -Woperator-whitespace

ALT List of warnings to enabled for GHC 9.4.1, GHC 9.2 and GHC 9.0 support ghc-options: -Wall -Wcompat -Widentities -Wincomplete-uni-patterns -Wincomplete-record-updates -Wredundant-constraints -Wnoncanonical-monad-instances -Wmissing-export-lists -Wpartial-fields -Wmissing-deriving-strategies -fhide-source-paths -fwrite-ide-info -hiedir=.hie -Wunused-packages if impl(ghc >= 9.0) ghc-options: -Winvalid-haddock -Wunicode-bidirectional-format-characters -Werror=unicode-bidirectional-format-characters if impl(ghc >= 9.2) ghc-options: -Wredundant-bang-patterns -Woperator-whitespace

1
7
1
83
⚡️ Hedgehog.Xunit by @dharmaturtle is now an indispensable part of the @hedgehogqa family 🦔 github.com/hedgehogqa/fsharp…
GitHub - hedgehogqa/fsharp-hedgehog-xunit: Hedgehog with convenience attributes for xUnit.net

GitHub - hedgehogqa/fsharp-hedgehog-xunit: Hedgehog with convenience attributes for xUnit.net

Hedgehog with convenience attributes for xUnit.net - hedgehogqa/fsharp-hedgehog-xunit

github.com
Nikos (@nikosbaxevanis) profile pictureNikos
@nikosbaxevanis5 Jan 2021
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 nuget.org/packages/Hedgehog.…
Hedgehog.Xunit 0.7.1

Hedgehog.Xunit 0.7.1

Hedgehog with convenience attributes for xUnit. - Test method arguments generated with a custom GenX.auto... - ...or with a custom Generator. - Property.check called for each test. Docs at https://...

nuget.org
3
2
It's a great pleasure for me to announce that I've written a new book, out in September blog.ploeh.dk/code-that-fits…
20
52
6
263
New article: The dispassionate developer ift.tt/3f1JDBa
The dispassionate developer

The dispassionate developer

Caring for your craft is fine, but should you work for free?

blog.ploeh.dk
15
41
11
132
Hedgehog retweeted
Mark (@mwotton) profile picture
Mark@mwotton15 Mar 2021
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.
1
5
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.
2
3
Hedgehog + LINQ =🦄 #csharp #fsharp github.com/hedgehogqa/fsharp…
Image from Nikos (@nikosbaxevanis)
5
13
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 nuget.org/packages/Hedgehog.…
Hedgehog.Xunit 0.7.1

Hedgehog.Xunit 0.7.1

Hedgehog with convenience attributes for xUnit. - Test method arguments generated with a custom GenX.auto... - ...or with a custom Generator. - Property.check called for each test. Docs at https://...

nuget.org
3
1
2
The Quickstrom talk recording from CodeMesh is out!
Erlang Solutions (@ErlangSolutions) profile pictureErlang Solutions
@ErlangSolutions22 Dec 2020
Quickstrom is a browser testing system that combines ideas from property-based testing, TLA+, linear temporal logic, & functional programming. This talk from @owickstrom at @CodeMeshIO discusses Quickstorm's core ideas, how it works & the results. youtube.com/watch?v=ZVPusaFf…
Image from Erlang Solutions (@ErlangSolutions)
9
1
35
#fsharp hedgehog 0.9.0 is out, with contributions from - @tyson_mn - adam-becker (github) - @mausch - @cmeeren - @dharmaturtle 🎉 nuget.org/packages/Hedgehog/
5
11
My GitHub Sponsors profile is live! You can sponsor me to support my blog (which is open source) 💖 github.com/sponsors/ploeh?o=…
Sponsor @ploeh on GitHub Sponsors

Sponsor @ploeh on GitHub Sponsors

Mark Seemann helps programmers make code easier to maintain

github.com
1
6
11
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. blog.ploeh.dk/hire-me
Hire Me

Hire Me

Would you like help with software design, TDD, code review, process, or programming? If so, I may be able to assist.

blog.ploeh.dk
5
18
2
26
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 hackage.haskell.org/package/… /cc @MikePilgrem @felixonmars @acid2 @hedgehogqa
1
4
Hedgehog retweeted
Mark Seemann (@ploeh) profile picture
Mark Seemann@ploeh1 Dec 2020
This is your monthly reminder to support ploeh blog ift.tt/2FOL3wQ
1
2
5
New article: Name by role ift.tt/3llooKa
Name by role

Name by role

Consider naming variables according to their role, instead of their type.

blog.ploeh.dk
1
10
25
.@darklang's new backend will be in F#! blog.darklang.com/new-backen…
Dark's new backend will be in F#

Dark's new backend will be in F#

Welcome HN! Dark is a programming language, structured editor, and infrastructure—all in one—whose goal is to make it 100x easier to build backend services. Check out the website, our What is Dark...

blog.darklang.com
10
63
22
227
I am very excited to announce the 2020 State of #Haskell Survey! Please take 10 minutes to fill it out. Thanks! haskellweekly.news/survey/20…
8
42
6
53
Load more