Logs: freenode/#haskell
| 2021-04-29 10:04:45 | <lowdude[m]> | it's apparently a basic random monad |
| 2021-04-29 10:05:04 | <tomsmeding> | I see |
| 2021-04-29 10:05:26 | <enikar> | In this case I wrap the random generator in a State monad. |
| 2021-04-29 10:05:37 | <tomsmeding> | lowdude[m]: fairToss >>= \coin -> case coin of { Head -> ... ; Tail -> ... } |
| 2021-04-29 10:06:03 | <tomsmeding> | or: do coin <- fairToss ; case coin of { ... } |
| 2021-04-29 10:06:12 | <tomsmeding> | Rand is a monad :) |
| 2021-04-29 10:06:57 | <enikar> | is it the new interface to random values ? |
| 2021-04-29 10:07:07 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-04-29 10:07:31 | <tomsmeding> | "the new"? |
| 2021-04-29 10:07:33 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-29 10:07:43 | → | ddellacosta joins (~ddellacos@86.106.143.60) |
| 2021-04-29 10:07:47 | <tomsmeding> | the 'random' library is still the standard, as far as I know |
| 2021-04-29 10:07:57 | <tomsmeding> | though 'MonadRandom' (which this comes from) I guess also works |
| 2021-04-29 10:08:07 | × | Miroboru quits (~myrvoll@2001:700:301:11::24f) (Ping timeout: 260 seconds) |
| 2021-04-29 10:09:28 | × | malumore quits (~malumore@151.62.116.76) (Remote host closed the connection) |
| 2021-04-29 10:09:48 | → | malumore joins (~malumore@151.62.116.76) |
| 2021-04-29 10:09:52 | → | Miroboru joins (~myrvoll@78.91.103.181) |
| 2021-04-29 10:10:18 | <enikar> | I use ghc 8.8.4 yet. There is no Control.Monad.Random in the random library. I steel use System.Random. |
| 2021-04-29 10:10:36 | <lowdude[m]> | <tomsmeding "lowdude: fairToss >>= \coin -> c"> Okay thanks, I'll have a go with that. |
| 2021-04-29 10:10:45 | → | pjb joins (~pjb@2a01cb04063ec5003930e59e19b6ded2.ipv6.abo.wanadoo.fr) |
| 2021-04-29 10:12:11 | × | ddellacosta quits (~ddellacos@86.106.143.60) (Ping timeout: 240 seconds) |
| 2021-04-29 10:15:16 | → | Qwerky joins (~qwerky@37.171.11.15) |
| 2021-04-29 10:15:21 | → | is_null_ joins (~jpic@pdpc/supporter/professional/is-null) |
| 2021-04-29 10:15:49 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-29 10:16:04 | → | dvdp73 joins (59736826@38.104.115.89.rev.vodafone.pt) |
| 2021-04-29 10:18:06 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds) |
| 2021-04-29 10:19:41 | × | Qwerky quits (~qwerky@37.171.11.15) (Ping timeout: 240 seconds) |
| 2021-04-29 10:20:05 | <enikar> | I found it, it's in monadrandom package. |
| 2021-04-29 10:20:07 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-29 10:23:01 | × | malumore quits (~malumore@151.62.116.76) (Remote host closed the connection) |
| 2021-04-29 10:23:53 | → | malumore joins (~malumore@151.62.116.76) |
| 2021-04-29 10:29:44 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
| 2021-04-29 10:31:40 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-29 10:34:09 | <tomsmeding> | enikar: System.Random is from the 'random' library, which happens to be a library included with a base ghc installation; but it's not in 'base' |
| 2021-04-29 10:36:11 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-29 10:39:55 | → | Igloo joins (~igloo@81.2.99.210) |
| 2021-04-29 10:40:27 | × | Igloo quits (~igloo@81.2.99.210) (Read error: No route to host) |
| 2021-04-29 10:40:55 | → | Igloo joins (~igloo@matrix.chaos.earth.li) |
| 2021-04-29 10:41:45 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-04-29 10:42:54 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
| 2021-04-29 10:43:05 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-29 10:44:03 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-29 10:44:10 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 2021-04-29 10:45:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-29 10:46:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-29 10:47:08 | → | ddellacosta joins (~ddellacos@86.106.143.242) |
| 2021-04-29 10:50:03 | <enikar> | tomsmeding: yes. I use it sometimes. |
| 2021-04-29 10:51:39 | × | ddellacosta quits (~ddellacos@86.106.143.242) (Ping timeout: 252 seconds) |
| 2021-04-29 10:52:35 | × | TheWizardTower[m quits (thewizardt@gateway/shell/matrix.org/x-wdmliecptdlzuqsx) (Ping timeout: 248 seconds) |
| 2021-04-29 10:52:36 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-nlffnpghzfabpuxw) (Ping timeout: 248 seconds) |
| 2021-04-29 10:52:36 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-gdynpirehvttuqgd) (Ping timeout: 248 seconds) |
| 2021-04-29 10:52:44 | → | TheWizardTower[m joins (thewizardt@gateway/shell/matrix.org/x-mhynxqoxcylcdnln) |
| 2021-04-29 10:52:56 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-vcssvhrxheznsnah) |
| 2021-04-29 10:53:09 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-hqewufefunqmyffr) |
| 2021-04-29 10:53:19 | × | xff0x quits (~xff0x@2001:1a81:524d:ea00:13a7:1ddd:e94:27b2) (Ping timeout: 250 seconds) |
| 2021-04-29 10:53:39 | × | Miroboru quits (~myrvoll@78.91.103.181) (Quit: WeeChat 3.1) |
| 2021-04-29 10:55:24 | → | Qwerky joins (~qwerky@37.171.11.15) |
| 2021-04-29 10:55:24 | → | xff0x joins (~xff0x@2001:1a81:524d:ea00:13a7:1ddd:e94:27b2) |
| 2021-04-29 10:57:35 | × | polux2001 quits (~polux@51.15.169.172) (Quit: Ping timeout (120 seconds)) |
| 2021-04-29 10:57:44 | → | polux2001 joins (~polux@51.15.169.172) |
| 2021-04-29 11:00:10 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-29 11:02:23 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-29 11:02:54 | <desophos> | i use Test.QuickCheck.Gen and i'm pretty happy with it so far |
| 2021-04-29 11:03:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-29 11:04:04 | → | desophos_ joins (~desophos@2601:249:1680:a570:63:12af:fbca:ad9f) |
| 2021-04-29 11:04:10 | <desophos> | i haven't tried working with other RNG libraries though |
| 2021-04-29 11:05:42 | <desophos> | i don't really know how much difference there is |
| 2021-04-29 11:05:51 | × | desophos quits (~desophos@2601:249:1680:a570:ad52:b454:fe1c:2cc3) (Read error: Connection reset by peer) |
| 2021-04-29 11:06:01 | × | Guest21568 quits (~textual@2603-7000-3040-0000-057f-238e-9cc1-6931.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-29 11:07:04 | → | jgt_ joins (~jgt@88.225.221.135) |
| 2021-04-29 11:11:12 | × | jgt_ quits (~jgt@88.225.221.135) (Ping timeout: 240 seconds) |
| 2021-04-29 11:15:58 | <lowdude[m]> | <lowdude[m] "Okay thanks, I'll have a go with"> i meant to reply again earlier, but i was away for a little while. so that worked, thank you! |
| 2021-04-29 11:16:37 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) |
| 2021-04-29 11:18:29 | → | ddellacosta joins (~ddellacos@86.106.143.151) |
| 2021-04-29 11:18:54 | × | plutoniix quits (~q@ppp-124-120-200-197.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-04-29 11:21:29 | → | Qwerky_ joins (~qwerky@37.170.132.154) |
| 2021-04-29 11:21:36 | × | Irenes quits (~irenes@NixOS/user/irenes) (Ping timeout: 245 seconds) |
| 2021-04-29 11:22:25 | × | desophos_ quits (~desophos@2601:249:1680:a570:63:12af:fbca:ad9f) (Ping timeout: 276 seconds) |
| 2021-04-29 11:23:06 | → | jgt_ joins (~jgt@46.154.73.47) |
| 2021-04-29 11:23:25 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-04-29 11:23:30 | × | ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 268 seconds) |
| 2021-04-29 11:24:17 | × | Qwerky quits (~qwerky@37.171.11.15) (Ping timeout: 252 seconds) |
| 2021-04-29 11:26:05 | → | __minoru__shirae joins (~shiraeesh@46.34.207.120) |
| 2021-04-29 11:26:29 | → | desophos_ joins (~desophos@2601:249:1680:a570:63:12af:fbca:ad9f) |
| 2021-04-29 11:28:16 | desophos_ | is now known as desophos |
| 2021-04-29 11:29:19 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) (Ping timeout: 260 seconds) |
| 2021-04-29 11:29:24 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 2021-04-29 11:29:40 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-29 11:32:51 | → | zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 2021-04-29 11:33:41 | → | Irenes joins (~irenes@NixOS/user/irenes) |
| 2021-04-29 11:35:34 | × | desophos quits (~desophos@2601:249:1680:a570:63:12af:fbca:ad9f) (Quit: Mutter: www.mutterirc.com) |
| 2021-04-29 11:37:03 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-29 11:37:43 | <tomsmeding> | lowdude[m]: nice :) |
| 2021-04-29 11:44:03 | <DigitalKiwi> | if laziness is so good then how come people mention it so often without being asked |
| 2021-04-29 11:44:08 | → | kami_ joins (~kami@228.243.254.87.static.monaco.mc) |
| 2021-04-29 11:44:38 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-29 11:47:31 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-29 11:47:31 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-29 11:47:43 | <DigitalKiwi> | monochrom: ^ |
| 2021-04-29 11:48:22 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
All times are in UTC.