Re: clojure.algo.monads - no tests for monadic laws

[Leonardo Borges]

No real reason - probably lack of time. For what it's worth, I've written
such tests for my imminent library here:
https://github.com/theleoborges/imminent/blob/master/test/imminent/laws_test.clj
- could be useful.


Leonardo Borges
@theleoborges 
www.leonardoborges.com


On Wed, Mar 31, 2021 at 11:56 AM Rostislav Svoboda <
rostislav.svob...@gmail.com> wrote:

> Hi, the test_monads.clj contains test cases for some arbitrary values but
> no test cases against monadic laws. I wonder why is it so? It's not really
> necessary to have them (everything works), but it won't hurt to have them
> around, I'd say. At least for learning purposes.
> What do you think?
>
> Thanks
>
> Direct link:
> https://github.com/clojure/algo.monads/blob/master/src/test/clojure/clojure/algo/test_monads.clj
>
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@googlegroups.com
> Note that posts from new members are moderated - please be patient with
> your first post.
> To unsubscribe from this group, send email to
> clojure+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/clojure?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "Clojure" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/clojure/CAEtmmeyLhh-CaBu4npbApDpDffMzgNsEbr1j4dtF%2B5u%2BskRqHw%40mail.gmail.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/clojure/CAOMx-_j3HJCvyDHOQLwKZaFwXrPG1B6-SVAFEvaPQ_qX_qez6Q%40mail.gmail.com.

clojure.algo.monads - no tests for monadic laws

[Rostislav Svoboda]

Hi, the test_monads.clj contains test cases for some arbitrary values but
no test cases against monadic laws. I wonder why is it so? It's not really
necessary to have them (everything works), but it won't hurt to have them
around, I'd say. At least for learning purposes.
What do you think?

Thanks

Direct link:
https://github.com/clojure/algo.monads/blob/master/src/test/clojure/clojure/algo/test_monads.clj

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/clojure/CAEtmmeyLhh-CaBu4npbApDpDffMzgNsEbr1j4dtF%2B5u%2BskRqHw%40mail.gmail.com.