corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087e7-e22f-7078-983f-21a5b0c7deed

Demystifying monads in Rust through property-based testing

sunshowers · published 19 February 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at sunshowers.io Wayback capture
2blogs citing
First cited
18 Jul 2020
Most recent
19 Feb 2025
Rank this month
not ranked
Links from this post
46
Words captured
10,275

Cited by

Blog
In the post
Date
Software Security Engineer — Andrew Lilley Brinker
The Best Monad Tutorial Ever Written Read at the source ↗
19 Feb 2025
boringcactus.com
Monads, Explained Without Bullshit Read at the source ↗
18 Jul 2020

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Monad_%28functional_programming%29
en.wikipedia.org
https://blog.plover.com/prog/burritos.html
blog.plover.com
https://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem
stackoverflow.com
https://kwarc.info/teaching/TDM/Borges.pdf
kwarc.info
https://en.wikipedia.org/wiki/Jorge_Luis_Borges
en.wikipedia.org
https://en.wikipedia.org/wiki/QuickCheck
en.wikipedia.org
https://www.reddit.com/r/funny/comments/eccj2/how_to_draw_an_owl/
reddit.com
https://doc.rust-lang.org/std/cmp/trait.Ord.html
doc.rust-lang.org
https://doc.rust-lang.org/std/primitive.slice.html
doc.rust-lang.org
https://github.com/Voultapher
github.com
https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md
github.com
https://doc.rust-lang.org/std/cmp/enum.Ordering.html
doc.rust-lang.org
https://doc.rust-lang.org/std/panic/fn.catch_unwind.html
doc.rust-lang.org
https://doc.rust-lang.org/book/ch15-05-interior-mutability.html
doc.rust-lang.org
https://doc.rust-lang.org/std/cell/struct.RefCell.html
doc.rust-lang.org
https://doc.rust-lang.org/std/sync/struct.Mutex.html
doc.rust-lang.org
https://docs.rs/proptest
docs.rs
https://docs.rs/proptest/latest/proptest/strategy/trait.ValueTree.html
docs.rs
https://docs.rs/proptest/latest/proptest/strategy/trait.Strategy.html
docs.rs
https://docs.rs/proptest/latest/proptest/strategy/struct.Just.html
docs.rs
https://docs.rs/proptest/latest/proptest/macro.prop_oneof.html
docs.rs
https://docs.rs/proptest/latest/proptest/collection/fn.vec.html
docs.rs
https://doc.rust-lang.org/std/iter/trait.Iterator.html
doc.rust-lang.org
https://github.com/sunshowers-code/proptest-shrink-tests
github.com
https://doc.rust-lang.org/cargo/reference/profiles.html
doc.rust-lang.org
https://en.wikipedia.org/wiki/Percentile
en.wikipedia.org
https://en.wikipedia.org/wiki/Cumulative_distribution_function
en.wikipedia.org
https://en.wikipedia.org/wiki/Turing_completeness
en.wikipedia.org
https://en.wikipedia.org/wiki/Halting_problem
en.wikipedia.org
https://en.wikipedia.org/wiki/Rice%27s_theorem
en.wikipedia.org
https://docs.rs/proptest/latest/proptest/test_runner/struct.Config.html
docs.rs
https://docs.rs/proptest/latest/proptest/sample/struct.Index.html
docs.rs
https://github.com/rust-fuzz/cargo-fuzz
github.com
https://github.com/HypothesisWorks/hypothesis
github.com
https://www.doc.ic.ac.uk/~afd/papers/2020/ECOOP_Hypothesis.pdf
doc.ic.ac.uk
https://commons.wikimedia.org/wiki/File:Autobahn_Muenchen.jpg
commons.wikimedia.org
https://docs.rs/futures/latest/futures/future/fn.join.html
docs.rs
https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf
microsoft.com
https://doc.rust-lang.org/std/option/enum.Option.html
doc.rust-lang.org
https://doc.rust-lang.org/std/result/enum.Result.html
doc.rust-lang.org
https://infosec.exchange/@munin
infosec.exchange
https://cliffle.com/
cliffle.com
https://wiki.haskell.org/index.php?title=Monad_laws
wiki.haskell.org
https://blog.rust-lang.org/2022/10/28/gats-stabilization.html
blog.rust-lang.org
Free will quite clearly doesn't exist Read at the source ↗
sunshowers.io
https://en.wikipedia.org/wiki/Primitive_recursive_function
en.wikipedia.org