Property testing

[tom-sherman]

Has there been any experiments with property testing in koka?

One thing I've found annoying about property testing is that it's never very ergonomic to use, especially with custom arbitraries. Threading the random state through is awkward.

This complaint is a variation on "monads are awkward" so I'm sure effects can help here.

I've started playing around with this idea over at https://github.com/tom-sherman/fizzy.kk

[Mazawaje]

Good job

…

On Thu, Dec 29, 2022, 12:35 AM MaryKing8233 ***@***.***> wrote: More photo goo https://go.sv/ntAaaa @Victorankey <https://github.com/Victorankey> @Egbesteve <https://github.com/Egbesteve> @toyedavid64 <https://github.com/toyedavid64> @Zakson9412 <https://github.com/Zakson9412> @Reals-Tech <https://github.com/Reals-Tech> @Ibrahimnasirudeen <https://github.com/Ibrahimnasirudeen> @Olalekan24434 <https://github.com/Olalekan24434> @DEHUMBLELION <https://github.com/DEHUMBLELION> @EricpetersU <https://github.com/EricpetersU> @Abdullahtudu <https://github.com/Abdullahtudu> @Nasiryakub990 <https://github.com/Nasiryakub990> @AMajid-kamarl <https://github.com/AMajid-kamarl> @Zulkifilu06 <https://github.com/Zulkifilu06> @Abdulrauf09 <https://github.com/Abdulrauf09> @Fearlessbutterfly <https://github.com/Fearlessbutterfly> @Mazawaje <https://github.com/Mazawaje> @felixdiria <https://github.com/felixdiria> @Franciscotortee <https://github.com/Franciscotortee> @Drsada1 <https://github.com/Drsada1> @ALAOOPEYEMI <https://github.com/ALAOOPEYEMI> @Khaleephakzr <https://github.com/Khaleephakzr> @Samailanasarki <https://github.com/Samailanasarki> @Mekus123 <https://github.com/Mekus123> @nafiuhabibu <https://github.com/nafiuhabibu> @Hayatu505 <https://github.com/Hayatu505> @Hbabagana <https://github.com/Hbabagana> @tekolujoe <https://github.com/tekolujoe> @ibrahimak491 <https://github.com/ibrahimak491> @Odaudu <https://github.com/Odaudu> @Sintali <https://github.com/Sintali> @Abba3815 <https://github.com/Abba3815> @taiwobalogun <https://github.com/taiwobalogun> @Adam8774 <https://github.com/Adam8774> @Frekee <https://github.com/Frekee> @Imjallo <https://github.com/Imjallo> @NobleGenesis <https://github.com/NobleGenesis> @Laksy55 <https://github.com/Laksy55> @Abiolafola <https://github.com/Abiolafola> @adexcel171 <https://github.com/adexcel171> @esinsharafdeen <https://github.com/esinsharafdeen> @Nassmoon <https://github.com/Nassmoon> @MarvinGold2020 <https://github.com/MarvinGold2020> @ashnababa <https://github.com/ashnababa> @Sadeeq1415 <https://github.com/Sadeeq1415> @AbdulmajidGarba <https://github.com/AbdulmajidGarba> @Phemmistry <https://github.com/Phemmistry> @eazyshittu <https://github.com/eazyshittu> @Bintaalasan75 <https://github.com/Bintaalasan75> @jordanranz <https://github.com/jordanranz> @wubeZ <https://github.com/wubeZ> Look for some fun https://4.fo/pbTsQzT — Reply to this email directly, view it on GitHub <#296 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/A4WAZXGXP52SGY6BV7E5HCDWPTFFDANCNFSM56EGJITQ> . You are receiving this because you were mentioned.Message ID: ***@***.***>