| 2021-10-24 00:00:06 +0000 | <zero> | i switched to nim at the time |
| 2021-10-24 00:00:43 +0000 | <zero> | shame it didn't get as populat |
| 2021-10-24 00:00:50 +0000 | <zero> | popular |
| 2021-10-24 00:01:28 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 252 seconds) |
| 2021-10-24 00:01:38 +0000 | drdo | (~drdo@roach0.drdo.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2021-10-24 00:04:01 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 00:05:28 +0000 | <ski> | awpr : it's somewhat similar to `let'-`try' ? |
| 2021-10-24 00:05:50 +0000 | jgeerds | (~jgeerds@55d40de2.access.ecotel.net) (Ping timeout: 265 seconds) |
| 2021-10-24 00:05:50 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) (Remote host closed the connection) |
| 2021-10-24 00:06:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-10-24 00:06:41 +0000 | <janus> | how does try fit into it? i thought it was `if let Some(x) = maybeSomething { <x is bound here> }` |
| 2021-10-24 00:07:04 +0000 | <awpr> | it's like if instead of `case () of _ | Just x <- mx -> x; _ -> somethingElse`, you could write `if Just x <- mx then x else somethingElse` |
| 2021-10-24 00:07:22 +0000 | <awpr> | where the Rust spelling of the latter is like what janus wrote |
| 2021-10-24 00:07:23 +0000 | <ski> | `let'-`try' is for binding a result of an expression, while simultaneously also handling some exceptions |
| 2021-10-24 00:07:33 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2021-10-24 00:07:45 +0000 | <awpr> | this construct is instead just pattern-matching |
| 2021-10-24 00:07:49 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 00:08:12 +0000 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2021-10-24 00:08:19 +0000 | <ski> | catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) |
| 2021-10-24 00:08:21 +0000 | <awpr> | just a particularly convenient form of pattern matching: one non-wildcard pattern and one underscore pattern |
| 2021-10-24 00:08:24 +0000 | <ski> | would give the same functionality |
| 2021-10-24 00:08:27 +0000 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 00:08:54 +0000 | <ski> | er |
| 2021-10-24 00:08:56 +0000 | <ski> | catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) -> IO b |
| 2021-10-24 00:10:51 +0000 | <ski> | it's desired, because a plain `catch :: Exception e => IO a -> (e -> IO a) -> IO a' would have issues with tail calls .. and using e.g. `try :: Exception e => IO a -> IO (Either e a)' would uselessly construct an `Either', only to be taken apart right after (barring a SSC) |
| 2021-10-24 00:12:11 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb67a588bcb670b337ca.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-10-24 00:12:32 +0000 | <Cale> | Hecate: https://lib.rs/cryptography/cryptocurrencies hahahaha I love it |
| 2021-10-24 00:12:34 +0000 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 00:13:15 +0000 | <ski> | "Exceptional syntax" by Nick Benton,Andrew Kennnedy in 2001 at <https://www.cambridge.org/core/services/aop-cambridge-core/content/view/58206FB399EDC9F197A0D53BC4…> talks about this |
| 2021-10-24 00:14:32 +0000 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) |
| 2021-10-24 00:14:32 +0000 | dustee | (~dustee@63.81.59.158) |
| 2021-10-24 00:14:36 +0000 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-10-24 00:15:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2021-10-24 00:16:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-10-24 00:21:17 +0000 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Remote host closed the connection) |
| 2021-10-24 00:22:15 +0000 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
| 2021-10-24 00:22:36 +0000 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 00:22:43 +0000 | <kronicmage> | does anyone know if it's possible to implement (!!) linearly? |
| 2021-10-24 00:22:49 +0000 | <kronicmage> | linear on both the list and the index |
| 2021-10-24 00:23:19 +0000 | Kaiepi | (~Kaiepi@156.34.44.192) |
| 2021-10-24 00:23:42 +0000 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 00:23:50 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 00:24:20 +0000 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 00:24:55 +0000 | pparmin | (~pparmin@p20030006214e0337dcae6b48c40f53cd.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2021-10-24 00:28:33 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 265 seconds) |
| 2021-10-24 00:29:58 +0000 | dustee | (~dustee@63.81.59.158) (Remote host closed the connection) |
| 2021-10-24 00:34:24 +0000 | <c_wraith> | kronicmage: I'm not entirely sure what you are asking. It *is* linear |
| 2021-10-24 00:34:51 +0000 | <kronicmage> | the (!!) in base is not linear |
| 2021-10-24 00:34:53 +0000 | <kronicmage> | c_wraith |
| 2021-10-24 00:34:56 +0000 | <c_wraith> | yes, it is |
| 2021-10-24 00:35:06 +0000 | <awpr> | linear typing vs. linear time complextiy |
| 2021-10-24 00:35:13 +0000 | <kronicmage> | i do mean typing |
| 2021-10-24 00:35:27 +0000 | <kronicmage> | (!!) in base has multiplicity many on both arguments |
| 2021-10-24 00:35:38 +0000 | <kronicmage> | i want [a] %1-> Int %1 -> a |
| 2021-10-24 00:36:06 +0000 | <dolio> | What does [a] mean linearly? |
| 2021-10-24 00:36:07 +0000 | <kronicmage> | is it possible to do so without Consumable a? |
| 2021-10-24 00:36:17 +0000 | <kronicmage> | dolio: -XLinearTypes |
| 2021-10-24 00:36:23 +0000 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 264 seconds) |
| 2021-10-24 00:36:27 +0000 | <kronicmage> | o wait |
| 2021-10-24 00:36:29 +0000 | <dolio> | The function clearly doesn't 'use' all the elements of the list. |
| 2021-10-24 00:36:29 +0000 | <kronicmage> | i see |
| 2021-10-24 00:36:33 +0000 | <kronicmage> | yes the consumable is required |
| 2021-10-24 00:36:35 +0000 | <kronicmage> | my bad |
| 2021-10-24 00:36:41 +0000 | <kronicmage> | thank you dolio |
| 2021-10-24 00:36:52 +0000 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 00:38:24 +0000 | Farzad | (~FarzadBek@151.238.114.164) |
| 2021-10-24 00:38:32 +0000 | Farzad | (~FarzadBek@151.238.114.164) (Client Quit) |
| 2021-10-24 00:40:08 +0000 | <kronicmage> | does anyone know if there are tagless final mtl-style monad transformer type classes that are linear? |
| 2021-10-24 00:40:25 +0000 | <kronicmage> | i know that linear-base has the explicit _T transformers, but not the typeclasses |
| 2021-10-24 00:42:55 +0000 | ente_ | (~ente@p200300dc5f17790014214a4427ad1af6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-10-24 00:46:02 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-24 00:46:28 +0000 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) |
| 2021-10-24 01:02:10 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 01:06:05 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 01:06:22 +0000 | img | (~img@user/img) |
| 2021-10-24 01:07:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) |
| 2021-10-24 01:07:47 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 01:11:46 +0000 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-10-24 01:12:48 +0000 | Cajun | (~Cajun@user/cajun) |
| 2021-10-24 01:18:01 +0000 | evocatus | (~evocatus@84.51.113.13) (Quit: Leaving) |
| 2021-10-24 01:19:46 +0000 | benin | (~benin@183.82.207.116) (Ping timeout: 244 seconds) |
| 2021-10-24 01:23:27 +0000 | benin | (~benin@183.82.207.116) |
| 2021-10-24 01:25:21 +0000 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) (Quit: Leaving) |
| 2021-10-24 01:31:44 +0000 | hololeap_ | hololeap |
| 2021-10-24 01:36:37 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 01:39:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-10-24 01:42:30 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 244 seconds) |
| 2021-10-24 01:50:08 +0000 | larryba | (~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-10-24 01:50:31 +0000 | xff0x | (~xff0x@2001:1a81:52c0:f300:1be9:ff56:80a8:5503) (Ping timeout: 245 seconds) |
| 2021-10-24 01:52:21 +0000 | xff0x | (~xff0x@2001:1a81:52fb:1200:6ff2:1757:36ee:1f2f) |
| 2021-10-24 01:53:30 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 01:56:24 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 01:56:30 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 02:01:05 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-10-24 02:10:34 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 02:10:43 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 02:23:06 +0000 | Topsi | (~Tobias@dyndsl-095-033-090-025.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-10-24 02:23:27 +0000 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-10-24 02:23:55 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-10-24 02:33:16 +0000 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-10-24 02:36:23 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 02:37:12 +0000 | hololeap_ | (~hololeap@user/hololeap) |
| 2021-10-24 02:37:39 +0000 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 2021-10-24 02:38:49 +0000 | td_ | (~td@muedsl-82-207-238-090.citykom.de) (Ping timeout: 244 seconds) |
| 2021-10-24 02:40:49 +0000 | td_ | (~td@muedsl-82-207-238-060.citykom.de) |
| 2021-10-24 02:42:30 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2021-10-24 02:44:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-10-24 02:49:41 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 02:50:03 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 02:52:07 +0000 | <kronicmage> | where can one find the default ifThenElse? |
| 2021-10-24 02:52:08 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 02:52:18 +0000 | <kronicmage> | for RebindableSyntax purposes |
| 2021-10-24 02:53:10 +0000 | <awpr> | oddly enough I don't see it in base. given that, I'd hazard a guess that it doesn't exist, and RebindableSyntax uses a binding of that name only if there is one in scope. but that's only a guess |
| 2021-10-24 03:02:17 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 03:03:40 +0000 | hololeap_ | hololeap |
| 2021-10-24 03:04:25 +0000 | <janus> | monochrom: lol, the speaker labels mtl as 'completely unusable' in that effects talk you referenced. i had not expected that |
| 2021-10-24 03:05:07 +0000 | <awpr> | hmm, I think I've heard apocryphal tales of someone using mtl before, but I don't have a citation |
| 2021-10-24 03:06:47 +0000 | <hololeap> | the dead sea scrolls foretold this would happen... |
| 2021-10-24 03:09:03 +0000 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) |
| 2021-10-24 03:14:30 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 03:14:37 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 03:16:23 +0000 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) |
| 2021-10-24 03:21:40 +0000 | mvk | (~mvk@2607:fea8:5cc1:300::4b63) (Ping timeout: 252 seconds) |
| 2021-10-24 03:22:57 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 03:23:19 +0000 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-10-24 03:27:19 +0000 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2021-10-24 03:27:43 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-10-24 03:29:12 +0000 | connrs | (~connrs@user/connrs) |
| 2021-10-24 03:29:16 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds) |
| 2021-10-24 03:33:26 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 258 seconds) |
| 2021-10-24 03:35:14 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 03:37:32 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 03:40:10 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 03:41:31 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 03:44:40 +0000 | InstX1 | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2021-10-24 03:47:15 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 03:48:48 +0000 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 03:48:48 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 03:49:35 +0000 | InstX1 | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2021-10-24 03:53:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-10-24 03:53:40 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 03:54:15 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-10-24 03:55:06 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 03:57:17 +0000 | Player001 | (~Player001@user/player001) (Quit: Read Hegel and Lacan and Marx) |
| 2021-10-24 04:00:27 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:02:22 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:02:56 +0000 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) (Quit: Leaving) |
| 2021-10-24 04:03:09 +0000 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) |
| 2021-10-24 04:05:24 +0000 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 04:07:59 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 04:09:39 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:10:00 +0000 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 04:11:09 +0000 | jonathanlorimer | (~jonathanl@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) |
| 2021-10-24 04:11:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 04:11:33 +0000 | JonathanLorimer8 | (~JonathanL@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) |
| 2021-10-24 04:11:38 +0000 | <jonathanlorimer> | hi |
| 2021-10-24 04:11:45 +0000 | <jonathanlorimer> | i am the real jonathanlorimer |
| 2021-10-24 04:12:00 +0000 | <JonathanLorimer8> | Oh no |
| 2021-10-24 04:12:04 +0000 | <jonathanlorimer> | just kidding he is |
| 2021-10-24 04:12:07 +0000 | jonathanlorimer | (~jonathanl@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) (Client Quit) |
| 2021-10-24 04:12:15 +0000 | <JonathanLorimer8> | Can someone approve jonathanlorimer on hackage? |
| 2021-10-24 04:13:16 +0000 | JonathanLorimer8 | (~JonathanL@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) (Client Quit) |
| 2021-10-24 04:14:24 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:14:38 +0000 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 04:15:56 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:16:32 +0000 | <awpr> | huh, they both quit. was gonna say, https://hackage.haskell.org/users/register-request says you need to email Hackage trustees to get enabled (which is what I did just a few months ago) |
| 2021-10-24 04:21:07 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:23:11 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:23:26 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2021-10-24 04:24:59 +0000 | <awpr> | oof, there are so many gotchas in quarantining unsafeCoerces behind safe APIs... just realized I exported a "field selector" generated by a pattern synonym, which can now be used with record update syntax to break type safety |
| 2021-10-24 04:28:05 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 04:29:28 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:29:49 +0000 | <awpr> | maybe record updates shouldn't be type-changing across type parameters with (declared?) nominal role? |
| 2021-10-24 04:32:17 +0000 | CnnibisIndica | CannabisIndica |
| 2021-10-24 04:35:05 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 04:36:46 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:39:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 04:39:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 04:39:05 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 04:41:47 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:44:02 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:47:50 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 04:47:50 +0000 | trainlag1602 | (~saroa@user/trainlag1602) |
| 2021-10-24 04:48:30 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:50:15 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 04:50:20 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:53:23 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-10-24 04:54:01 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 04:54:55 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
| 2021-10-24 04:55:44 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 04:57:36 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 04:57:54 +0000 | trainlag1602 | (~saroa@user/trainlag1602) () |
| 2021-10-24 04:58:55 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 05:01:56 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 05:03:51 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:04:01 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 05:04:01 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 05:04:01 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 05:08:15 +0000 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 05:08:30 +0000 | dolio | (~dolio@130.44.130.54) (Remote host closed the connection) |
| 2021-10-24 05:08:55 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 05:09:18 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:10:19 +0000 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 05:10:54 +0000 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2021-10-24 05:11:08 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:11:40 +0000 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 05:15:28 +0000 | ravan | (~ravan@user/ravan) |
| 2021-10-24 05:15:59 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 264 seconds) |
| 2021-10-24 05:17:25 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:17:25 +0000 | mbuf | (~Shakthi@223.178.97.156) |
| 2021-10-24 05:22:07 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 05:22:36 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 05:22:57 +0000 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 05:23:09 +0000 | MQ-17J | (~MQ-17J@8.21.10.17) |
| 2021-10-24 05:23:50 +0000 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 05:24:42 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:30:06 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2021-10-24 05:30:18 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:31:05 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 05:31:58 +0000 | <Hecate> | juri_, Cale for that matter I hihgly respect and support lib.rs' decision |
| 2021-10-24 05:32:00 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:35:31 +0000 | ravan | (~ravan@user/ravan) (Ping timeout: 244 seconds) |
| 2021-10-24 05:36:33 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 05:36:46 +0000 | ravan | (~ravan@42.201.198.151) |
| 2021-10-24 05:36:49 +0000 | ravan | (~ravan@42.201.198.151) (Client Quit) |
| 2021-10-24 05:38:16 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:43:50 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:45:33 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:48:51 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-10-24 05:50:56 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 05:52:49 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:54:01 +0000 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 05:56:21 +0000 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) (Ping timeout: 245 seconds) |
| 2021-10-24 05:57:42 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 05:57:49 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 05:59:05 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:02:05 +0000 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Read error: No route to host) |
| 2021-10-24 06:02:47 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-10-24 06:03:42 +0000 | benin5 | (~benin@183.82.207.116) |
| 2021-10-24 06:04:30 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 06:05:47 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 06:06:05 +0000 | benin | (~benin@183.82.207.116) (Ping timeout: 260 seconds) |
| 2021-10-24 06:06:05 +0000 | benin5 | benin |
| 2021-10-24 06:06:21 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:07:21 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 06:10:26 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
| 2021-10-24 06:15:59 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 06:17:39 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:23:19 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 06:24:55 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:28:45 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-10-24 06:29:15 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 06:31:12 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:36:30 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 06:38:21 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 06:38:28 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:42:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 06:42:36 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 06:44:11 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 06:45:45 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:50:17 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-10-24 06:50:52 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 06:52:02 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 06:57:38 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 06:59:17 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:02:09 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: No route to host) |
| 2021-10-24 07:06:26 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-10-24 07:06:34 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:10:08 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 07:10:41 +0000 | aegon | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-10-24 07:11:34 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 07:12:51 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:18:25 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 07:20:07 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:24:58 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2021-10-24 07:26:24 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:28:04 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 07:31:55 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-10-24 07:32:36 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 07:33:42 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:35:02 +0000 | alzgh | (~alzgh@user/alzgh) |
| 2021-10-24 07:37:57 +0000 | phma | (~phma@host-67-44-208-174.hnremote.net) (Read error: Connection reset by peer) |
| 2021-10-24 07:39:00 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 07:39:12 +0000 | phma | (~phma@host-67-44-208-101.hnremote.net) |
| 2021-10-24 07:40:58 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:41:58 +0000 | obviyus_ | obviyus |
| 2021-10-24 07:42:35 +0000 | Midjak | (~Midjak@82-65-111-221.subs.proxad.net) |
| 2021-10-24 07:45:05 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 07:45:40 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-10-24 07:47:15 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:48:14 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-10-24 07:48:22 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 07:48:36 +0000 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 07:49:14 +0000 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2021-10-24 07:49:15 +0000 | Server | +Cnt |
| 2021-10-24 07:52:31 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) (Remote host closed the connection) |
| 2021-10-24 07:52:36 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-10-24 07:52:42 +0000 | ubert | (~Thunderbi@178.115.74.156.wireless.dyn.drei.com) |
| 2021-10-24 07:54:32 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 07:54:57 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 07:56:07 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 07:56:21 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2021-10-24 07:56:43 +0000 | darkstarx | (~darkstard@2601:1c2:300:c8a0::6c32) (Remote host closed the connection) |
| 2021-10-24 07:57:03 +0000 | darkstarx | (~darkstard@2601:1c2:300:c8a0::6c32) |
| 2021-10-24 07:59:16 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-10-24 08:00:48 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:05:46 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-10-24 08:06:15 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 08:08:05 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:08:30 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-10-24 08:13:50 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 08:15:21 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:16:30 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 08:19:42 +0000 | wei2912 | (~wei2912@138.75.71.147) |
| 2021-10-24 08:20:11 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 08:21:23 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 08:21:37 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:25:16 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-10-24 08:26:19 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-10-24 08:27:23 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 08:28:16 +0000 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-10-24 08:28:29 +0000 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) |
| 2021-10-24 08:29:09 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-10-24 08:31:20 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-10-24 08:32:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 08:32:56 +0000 | martin02 | (~silas@141.84.69.76) (Quit: WeeChat 3.2) |
| 2021-10-24 08:37:53 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 08:40:14 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 08:41:04 +0000 | <maerwald> | Hecate: it's not particularly accurate wrt "energy waste" |
| 2021-10-24 08:44:00 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) |
| 2021-10-24 08:44:18 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-10-24 08:48:14 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 08:52:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 08:55:29 +0000 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
| 2021-10-24 08:57:23 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 264 seconds) |
| 2021-10-24 08:57:29 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-10-24 08:57:48 +0000 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-10-24 09:00:14 +0000 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Quit: You have been kicked for being idle) |
| 2021-10-24 09:02:52 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-10-24 09:05:51 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 09:06:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 09:10:35 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 09:10:56 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 09:12:07 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 09:12:16 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 09:14:42 +0000 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-10-24 09:15:04 +0000 | ulvarrefr | (~user@185.24.53.152) |
| 2021-10-24 09:16:21 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-10-24 09:17:08 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-10-24 09:26:59 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 244 seconds) |
| 2021-10-24 09:27:20 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2021-10-24 09:28:13 +0000 | tafa | (~tafa@2a04:52c0:101:85c::1) (Quit: ZNC - https://znc.in) |
| 2021-10-24 09:28:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 09:28:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 09:30:50 +0000 | jinsun | (~quassel@user/jinsun) (Ping timeout: 260 seconds) |
| 2021-10-24 09:31:12 +0000 | jinsun | (~quassel@user/jinsun) |
| 2021-10-24 09:32:36 +0000 | tafa | (~tafa@5.2.76.31) |
| 2021-10-24 09:33:10 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-10-24 09:35:26 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) |
| 2021-10-24 09:41:37 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 09:45:21 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 09:46:02 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-10-24 09:47:21 +0000 | <zincy> | Wow I didn't realise how much more optics offered than just "fixing the record problem" |
| 2021-10-24 09:48:10 +0000 | <zincy> | Many complain that code using lens is hard to read. |
| 2021-10-24 09:48:15 +0000 | mei | (~mei@user/mei) |
| 2021-10-24 09:48:17 +0000 | <zincy> | Is that fair? |
| 2021-10-24 09:48:42 +0000 | <[exa]> | [lens_operator_spray_meme.jpg] |
| 2021-10-24 09:48:53 +0000 | <unit73e> | I don't find it particularly hard |
| 2021-10-24 09:49:03 +0000 | <unit73e> | just kind of quirky with all the ' and _ |
| 2021-10-24 09:50:20 +0000 | <[exa]> | the thing I find problematic is that people tend to easily converge to using the 5435th variant of some (^.~~^!%^.) operator, which is not readable at all |
| 2021-10-24 09:50:58 +0000 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 09:54:17 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 09:54:44 +0000 | gaspare | (~gastel@151.63.119.74) |
| 2021-10-24 09:56:51 +0000 | <zincy> | Seems very readable as long as you stray from those longer operators |
| 2021-10-24 09:57:01 +0000 | gaspare | (~gastel@151.63.119.74) (Client Quit) |
| 2021-10-24 09:57:02 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 09:57:17 +0000 | <zincy> | And some languages ban infix as unreadable ha |
| 2021-10-24 09:58:48 +0000 | Guest38 | (~Guest38@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-10-24 09:59:34 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 10:01:16 +0000 | fendor | (~fendor@77.119.214.28.wireless.dyn.drei.com) |
| 2021-10-24 10:01:22 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 10:02:38 +0000 | img | (~img@user/img) |
| 2021-10-24 10:04:03 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-10-24 10:07:17 +0000 | <[exa]> | zincy: like it helps, if you've got a table of "commands" where the separator is `set` vs a table where the separator is just ^., it's better |
| 2021-10-24 10:09:46 +0000 | <[exa]> | I'm now trying to make local operators instead of using the complicated standard ones, the source is usually shorter and you have a proper "readable" definition hangin right next to the code in a let/where block |
| 2021-10-24 10:13:08 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-10-24 10:16:54 +0000 | <zincy> | Yeah that is a good idea |
| 2021-10-24 10:17:25 +0000 | <zincy> | Best of both worlds, name your custom operators |
| 2021-10-24 10:17:59 +0000 | <zincy> | I'm thinking about modelling a card game as a Mealy machine |
| 2021-10-24 10:18:26 +0000 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 245 seconds) |
| 2021-10-24 10:18:43 +0000 | <zincy> | Wondering if I will get a more principled approach to validating user moves and separating user actions from game progression actions |
| 2021-10-24 10:19:17 +0000 | <zincy> | When everyone has made a move and the turn is over there is a different kind of state transition where we deal the next card |
| 2021-10-24 10:19:50 +0000 | <[exa]> | with card games the rulechecking may get pretty nasty |
| 2021-10-24 10:20:01 +0000 | <zincy> | Yeah |
| 2021-10-24 10:20:13 +0000 | <zincy> | The validation of rules is nasty |
| 2021-10-24 10:20:31 +0000 | <[exa]> | actually you might want products of mealy machines |
| 2021-10-24 10:20:52 +0000 | <[exa]> | N machines for checking all players, a few extra machines for checking the global rules |
| 2021-10-24 10:20:57 +0000 | <zincy> | player is a mealy machine and game is a mealy machine? |
| 2021-10-24 10:21:28 +0000 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 10:21:35 +0000 | <zincy> | ooh :D |
| 2021-10-24 10:21:41 +0000 | <[exa]> | like, this might be a good way to fight the complexity of building the whole state checker yourself |
| 2021-10-24 10:21:56 +0000 | <zincy> | Exciting thanks! |
| 2021-10-24 10:22:31 +0000 | <[exa]> | coding it ain't much hard either, but with having the composition abstracted out you kinda ensure that you don't forget about something when composing it manually |
| 2021-10-24 10:22:51 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2021-10-24 10:23:47 +0000 | <[exa]> | that said, regarding the machines in latex, I'm still missing a suitable regex-like DFA compiler |
| 2021-10-24 10:24:02 +0000 | <[exa]> | s/latex/haskell/ wHaT a TyPo |
| 2021-10-24 10:25:38 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 10:25:43 +0000 | <zincy> | So is the idea about breaking down big transition functions into smaller ones |
| 2021-10-24 10:26:03 +0000 | <zincy> | I guess different game states would be different machines |
| 2021-10-24 10:26:24 +0000 | <zincy> | An inactive game table has different rules to an active game |
| 2021-10-24 10:28:24 +0000 | <[exa]> | I'd go for "small coherent parts of the ruleset to keep are different machies" |
| 2021-10-24 10:29:05 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 10:29:05 +0000 | <[exa]> | then just combine a bunch of those with https://en.wikipedia.org/wiki/Deterministic_finite_automaton#/media/File:Intersection1.png |
| 2021-10-24 10:29:41 +0000 | ubert | (~Thunderbi@178.115.74.156.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2021-10-24 10:32:01 +0000 | <zincy> | So machines represent rules such as nextPlayerPositionToAct |
| 2021-10-24 10:33:10 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-10-24 10:41:46 +0000 | Farzad | (~FarzadBek@151.238.114.164) |
| 2021-10-24 10:41:49 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 10:43:15 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) (Client Quit) |
| 2021-10-24 10:46:20 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 10:47:46 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 10:50:47 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 10:52:51 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 10:53:10 +0000 | MoC | (~moc@user/moc) |
| 2021-10-24 10:53:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 10:54:46 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 10:59:11 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 264 seconds) |
| 2021-10-24 11:00:01 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-10-24 11:02:51 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-10-24 11:03:18 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-10-24 11:03:28 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-10-24 11:05:19 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-10-24 11:08:08 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-10-24 11:20:31 +0000 | Guest38 | (~Guest38@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
| 2021-10-24 11:23:26 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-10-24 11:25:45 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 11:26:01 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 11:30:56 +0000 | n3t | (n3t@s45.mydevil.net) (Changing host) |
| 2021-10-24 11:30:56 +0000 | n3t | (n3t@user/n3t) |
| 2021-10-24 11:31:35 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 11:32:24 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 11:37:40 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 11:42:58 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-10-24 11:46:51 +0000 | phma | (~phma@host-67-44-208-101.hnremote.net) (Read error: Connection reset by peer) |
| 2021-10-24 11:47:10 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 258 seconds) |
| 2021-10-24 11:47:48 +0000 | phma | (~phma@host-67-44-209-31.hnremote.net) |
| 2021-10-24 11:49:46 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 11:51:36 +0000 | gaspare | (~gastel@151.63.119.74) |
| 2021-10-24 11:54:23 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 11:56:42 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-10-24 12:01:10 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 2021-10-24 12:04:02 +0000 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) |
| 2021-10-24 12:04:29 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-10-24 12:05:20 +0000 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) |
| 2021-10-24 12:08:21 +0000 | gaspare | (~gastel@151.63.119.74) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-10-24 12:11:47 +0000 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) (Quit: Ping timeout (120 seconds)) |
| 2021-10-24 12:11:57 +0000 | sprout_ | (~quassel@86-82-44-193.fixed.kpn.net) |
| 2021-10-24 12:13:30 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 12:14:03 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 12:15:20 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5d6e:87c6:1a95:cc2d) (Ping timeout: 260 seconds) |
| 2021-10-24 12:18:12 +0000 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) |
| 2021-10-24 12:22:32 +0000 | tfeb | (~tfb@88.98.95.237) |
| 2021-10-24 12:22:33 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 12:25:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-10-24 12:26:18 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-10-24 12:27:16 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-10-24 12:29:16 +0000 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) (Quit: Ping timeout (120 seconds)) |
| 2021-10-24 12:33:42 +0000 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2021-10-24 12:39:27 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-10-24 12:39:49 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 12:39:54 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-10-24 12:41:20 +0000 | dajoer | (~david@user/gvx) |
| 2021-10-24 12:42:52 +0000 | wei2912 | (~wei2912@138.75.71.147) (Quit: Lost terminal) |
| 2021-10-24 12:44:16 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-24 12:48:59 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 12:49:07 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-10-24 12:49:53 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 12:53:01 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 12:56:43 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 13:00:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 245 seconds) |
| 2021-10-24 13:01:30 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 13:05:46 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-10-24 13:06:17 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-10-24 13:11:16 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-10-24 13:19:37 +0000 | zincy | (~tom@2a00:23c8:970c:4801:8009:c2de:a6e:7c44) (Remote host closed the connection) |
| 2021-10-24 13:19:41 +0000 | tom_ | (~tom@host86-181-60-139.range86-181.btcentralplus.com) |
| 2021-10-24 13:22:16 +0000 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-10-24 13:22:28 +0000 | <fuzzypixelz> | . |
| 2021-10-24 13:22:37 +0000 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit) |
| 2021-10-24 13:23:17 +0000 | mbuf | (~Shakthi@223.178.97.156) (Quit: Leaving) |
| 2021-10-24 13:30:28 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 13:34:25 +0000 | kilolympus | (~kilolympu@185.65.135.177) |
| 2021-10-24 13:34:32 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 13:35:59 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 13:55:21 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-10-24 13:55:24 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 13:58:00 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 14:00:48 +0000 | iammrinal0[m] | (~iammrinal@2001:470:69fc:105::1:2248) |
| 2021-10-24 14:05:00 +0000 | tom_ | (~tom@host86-181-60-139.range86-181.btcentralplus.com) (Quit: Leaving) |
| 2021-10-24 14:05:17 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2021-10-24 14:05:22 +0000 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Client Quit) |
| 2021-10-24 14:05:37 +0000 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2021-10-24 14:07:20 +0000 | buona | (~buona@fi-19-194-76.service.infuturo.it) |
| 2021-10-24 14:07:33 +0000 | <buona> | list |
| 2021-10-24 14:07:46 +0000 | buona | (~buona@fi-19-194-76.service.infuturo.it) (Remote host closed the connection) |
| 2021-10-24 14:08:40 +0000 | mishugana | (~mishugana@user/mishugana) |
| 2021-10-24 14:12:04 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 14:12:08 +0000 | buona | (~buona@fi-19-194-76.service.infuturo.it) |
| 2021-10-24 14:12:38 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-10-24 14:13:02 +0000 | <mishugana> | hello folks, beginner here, have a question about upping my Haskell game. |
| 2021-10-24 14:13:21 +0000 | <mishugana> | So I've finished Graham Hutton's "Programming in Haskell" (2nd Edition), which was great. Given that, how would you recommend I progress from here? |
| 2021-10-24 14:13:22 +0000 | <mishugana> | My main aim is not research but general-purpose programming as well as a special interest in compilers, if that helps |
| 2021-10-24 14:13:40 +0000 | <mishugana> | For reference, after finishing the book, I took a look at the HaskellWiki page for Monad Transformers, but was sorely disappointed that I couldn't make it past halfway through. |
| 2021-10-24 14:14:44 +0000 | buona | (~buona@fi-19-194-76.service.infuturo.it) (Remote host closed the connection) |
| 2021-10-24 14:15:48 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-10-24 14:23:17 +0000 | mishugana | (~mishugana@user/mishugana) () |
| 2021-10-24 14:23:38 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-10-24 14:28:01 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-10-24 14:28:16 +0000 | <zincy> | Have a look at https://haskellbook.com/ |
| 2021-10-24 14:28:57 +0000 | <zincy> | There is a chapter on monad transformers too. |
| 2021-10-24 14:29:48 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-10-24 14:30:16 +0000 | MoC | (~moc@user/moc) |
| 2021-10-24 14:30:37 +0000 | <hpc> | there's a lot of stuff on https://www.haskell.org/documentation/ too |
| 2021-10-24 14:30:38 +0000 | <zincy> | "Thinking with Types" by Sandy Maguire is a good read too |
| 2021-10-24 14:30:44 +0000 | <hpc> | even beyond books/tutorials |
| 2021-10-24 14:32:42 +0000 | <Profpatsch> | As Shea LaBeouf would say “do it! Just … do it! |
| 2021-10-24 14:33:41 +0000 | <zincy> | Diving into a project and asking here when you get stuck is a really good way to get to intermediate |
| 2021-10-24 14:34:07 +0000 | max22- | (~maxime@2a01cb0883359800e0f5f648c85a67fc.ipv6.abo.wanadoo.fr) |
| 2021-10-24 14:35:58 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 14:38:37 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 14:43:51 +0000 | <maerwald> | yeah, burn all the books and open your editor |
| 2021-10-24 14:45:44 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 14:46:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-10-24 14:48:04 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 14:50:20 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-10-24 14:50:37 +0000 | benin8 | (benin@gateway/vpn/protonvpn/benin) |
| 2021-10-24 14:52:04 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 14:52:50 +0000 | benin | (~benin@183.82.207.116) (Ping timeout: 260 seconds) |
| 2021-10-24 14:52:51 +0000 | benin8 | benin |
| 2021-10-24 14:53:34 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 14:56:46 +0000 | neurocyte0132889 | (~neurocyte@213.188.113.34) |
| 2021-10-24 14:56:46 +0000 | neurocyte0132889 | (~neurocyte@213.188.113.34) (Changing host) |
| 2021-10-24 14:56:46 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-10-24 15:03:17 +0000 | <kronicmage> | hey does anyone know what the default confidence is for checkCoverage in Test.QuickCheck? |
| 2021-10-24 15:09:26 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-10-24 15:09:34 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 15:11:15 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 15:13:51 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Ping timeout: 245 seconds) |
| 2021-10-24 15:17:06 +0000 | Guest9035 | (~Guest90@69.166.185.81.rev.sfr.net) |
| 2021-10-24 15:18:49 +0000 | benin8 | (benin@gateway/vpn/protonvpn/benin) |
| 2021-10-24 15:20:02 +0000 | jkaye | (~jkaye@2601:281:8300:7530:c3d4:ecc4:d44c:ce60) |
| 2021-10-24 15:21:50 +0000 | benin | (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 258 seconds) |
| 2021-10-24 15:21:51 +0000 | benin8 | benin |
| 2021-10-24 15:21:59 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-10-24 15:25:35 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2021-10-24 15:28:08 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-10-24 15:28:32 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 15:28:39 +0000 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 15:30:17 +0000 | <Guest9035> | hello |
| 2021-10-24 15:30:28 +0000 | <janus> | Guest9035: HELLO |
| 2021-10-24 15:30:35 +0000 | <Guest9035> | if I have a module that only includes class instances, how do I import it? |
| 2021-10-24 15:30:52 +0000 | <Guest9035> | janus: how are you doing today |
| 2021-10-24 15:31:02 +0000 | <jkaye> | Same way would would import any other module |
| 2021-10-24 15:31:07 +0000 | <janus> | Guest9035: i think you can do "import Module ()" and it will get only the instances. but you could just import all of it |
| 2021-10-24 15:31:09 +0000 | <jkaye> | you would** |
| 2021-10-24 15:31:36 +0000 | <janus> | depends on whether you have -Wexplicit-import-lists on or not |
| 2021-10-24 15:31:43 +0000 | <janus> | (which i like) |
| 2021-10-24 15:31:57 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-10-24 15:33:22 +0000 | <merijn> | Having a module with *only* class instances sounds questionable |
| 2021-10-24 15:34:08 +0000 | <maerwald> | I think that's fine |
| 2021-10-24 15:34:10 +0000 | <Guest9035> | wel there are a couple functions, but it's only the instances I need |
| 2021-10-24 15:35:26 +0000 | <merijn> | maerwald: Well, if it only has instances it, by definition, has to be all orphans :p |
| 2021-10-24 15:35:32 +0000 | <maerwald> | so? |
| 2021-10-24 15:35:56 +0000 | <maerwald> | provide a PR and wait 6 months before you can complete your code? |
| 2021-10-24 15:37:30 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 15:38:14 +0000 | benin5 | (~benin@183.82.207.116) |
| 2021-10-24 15:38:56 +0000 | benin | (benin@gateway/vpn/protonvpn/benin) (Remote host closed the connection) |
| 2021-10-24 15:38:56 +0000 | benin5 | benin |
| 2021-10-24 15:40:01 +0000 | jinsun | (~quassel@user/jinsun) (Ping timeout: 244 seconds) |
| 2021-10-24 15:40:04 +0000 | jinsun__ | (~quassel@user/jinsun) |
| 2021-10-24 15:41:22 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 15:42:09 +0000 | rk04 | (~rk04@user/rajk) (Ping timeout: 258 seconds) |
| 2021-10-24 15:45:27 +0000 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Quit: Leaving) |
| 2021-10-24 15:49:22 +0000 | jinsun__ | jinsun |
| 2021-10-24 15:51:02 +0000 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-10-24 15:51:24 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2021-10-24 15:53:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 15:53:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 15:53:42 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 15:57:26 +0000 | Guest9035 | (~Guest90@69.166.185.81.rev.sfr.net) (Quit: Client closed) |
| 2021-10-24 15:58:30 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 16:03:40 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 16:03:51 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-10-24 16:04:43 +0000 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-10-24 16:04:53 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 16:05:21 +0000 | fjmorazan | (~quassel@user/fjmorazan) |
| 2021-10-24 16:06:40 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-24 16:07:03 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-24 16:09:08 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 16:09:35 +0000 | ubert | (~Thunderbi@91.141.57.54.wireless.dyn.drei.com) |
| 2021-10-24 16:09:50 +0000 | ArtVandelayer | (~ArtVandel@ip174-68-147-20.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 16:11:06 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 16:12:52 +0000 | benin4 | (~benin@106.198.88.230) |
| 2021-10-24 16:13:05 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 244 seconds) |
| 2021-10-24 16:14:47 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 16:15:07 +0000 | benin | (~benin@183.82.207.116) (Ping timeout: 258 seconds) |
| 2021-10-24 16:15:08 +0000 | benin4 | benin |
| 2021-10-24 16:16:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-10-24 16:20:11 +0000 | benin | (~benin@106.198.88.230) (Read error: Connection reset by peer) |
| 2021-10-24 16:22:04 +0000 | benin | (~benin@183.82.207.116) |
| 2021-10-24 16:23:16 +0000 | kilolympus | (~kilolympu@185.65.135.177) (Remote host closed the connection) |
| 2021-10-24 16:23:44 +0000 | juand | (~a@p200300ef973db1c64086f0a6a24fc4dd.dip0.t-ipconnect.de) |
| 2021-10-24 16:25:29 +0000 | <juand> | Using guards I check n > m, n < m, n == m, n, m :: Natural, yet GHC says incomplete pattern matches. Is it supposed to be like this? |
| 2021-10-24 16:26:19 +0000 | <ski> | use `compare' ? |
| 2021-10-24 16:26:19 +0000 | <merijn> | juand: Yes |
| 2021-10-24 16:26:34 +0000 | <merijn> | juand: Because GHC doesn't have a complete logic solver to determine that |
| 2021-10-24 16:26:39 +0000 | <merijn> | But yeah, use compare |
| 2021-10-24 16:26:39 +0000 | <ski> | case n `compare` m of |
| 2021-10-24 16:26:45 +0000 | <ski> | GT -> .. |
| 2021-10-24 16:26:46 +0000 | kilolympus | (~kilolympu@185.65.135.177) |
| 2021-10-24 16:26:47 +0000 | <merijn> | > compare 2 3 |
| 2021-10-24 16:26:49 +0000 | <lambdabot> | LT |
| 2021-10-24 16:26:52 +0000 | <ski> | EQ -> .. |
| 2021-10-24 16:26:54 +0000 | <ski> | LT -> .. |
| 2021-10-24 16:26:56 +0000 | <hpc> | :t compare |
| 2021-10-24 16:26:57 +0000 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2021-10-24 16:26:59 +0000 | <hpc> | @src Ordering |
| 2021-10-24 16:26:59 +0000 | <lambdabot> | data Ordering = LT | EQ | GT |
| 2021-10-24 16:27:36 +0000 | <juand> | That is a good idea. |
| 2021-10-24 16:27:42 +0000 | <ski> | (`compare' may be cheaper, in general, too) |
| 2021-10-24 16:28:16 +0000 | <merijn> | you only compare once too |
| 2021-10-24 16:29:09 +0000 | <merijn> | juand: Anyway, to answer the initial question, you'd have to teach GHC about laws for total ordering (and then assume Ord does indeed obey those, etc.) for it to be able to see those cases are complete |
| 2021-10-24 16:30:11 +0000 | <ski> | basically, using guards, it's hard to determine when you're exhaustive (unless you use a catch-all, like `otherwise' or a later defining equation that always matches), as well as checking for overlap |
| 2021-10-24 16:30:35 +0000 | ArtVandelayer | (~ArtVandel@ip174-68-147-20.lv.lv.cox.net) |
| 2021-10-24 16:30:45 +0000 | <ski> | when you can do it reasonably, prefer pattern-matching over guards |
| 2021-10-24 16:31:44 +0000 | <juand> | I used otherwise but it felt like a hack. But i get it now. compare is a nice solution. |
| 2021-10-24 16:32:04 +0000 | <hpc> | fun fact: otherwise is very much a hack |
| 2021-10-24 16:32:07 +0000 | <hpc> | @src otherwise |
| 2021-10-24 16:32:07 +0000 | <lambdabot> | otherwise = True |
| 2021-10-24 16:32:21 +0000 | <hpc> | not a keyword :D |
| 2021-10-24 16:33:17 +0000 | <hpc> | also even when you get near the limits of what pattern matching can do, you might still want to reach for something like view patterns before guards |
| 2021-10-24 16:33:20 +0000 | <hpc> | but that's a whole other topic |
| 2021-10-24 16:33:46 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-10-24 16:36:40 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-10-24 16:37:15 +0000 | dsrt^ | (~dsrt@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 16:38:10 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-10-24 16:43:44 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 16:44:36 +0000 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-10-24 16:49:38 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-10-24 16:49:39 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 16:50:28 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 16:50:28 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 16:50:28 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 16:52:34 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 16:54:11 +0000 | econo | (uid147250@user/econo) |
| 2021-10-24 16:54:48 +0000 | <maerwald> | I always use `otherwise` instead of `True` in all my code |
| 2021-10-24 16:55:22 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 16:56:37 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2021-10-24 16:56:57 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 16:57:26 +0000 | jstolarek | (~jstolarek@137.220.120.162) |
| 2021-10-24 16:57:30 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-10-24 16:57:38 +0000 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-10-24 16:57:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 16:58:00 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 16:58:46 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 16:58:48 +0000 | Guest9016 | (~Guest90@69.166.185.81.rev.sfr.net) |
| 2021-10-24 17:00:44 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 17:00:59 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Remote host closed the connection) |
| 2021-10-24 17:02:01 +0000 | kuribas | (~user@ptr-25vy0i9x7go3dqtvv83.18120a2.ip6.access.telenet.be) |
| 2021-10-24 17:03:32 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-10-24 17:05:12 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 17:06:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 17:07:12 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:ed38:680c:308b:2321) (Ping timeout: 268 seconds) |
| 2021-10-24 17:07:15 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 17:07:58 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:299b:88e7:728b:a92) |
| 2021-10-24 17:09:56 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 2021-10-24 17:12:36 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-10-24 17:13:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 17:13:17 +0000 | <juand> | I think that a property P(x) always holds if some other property Q(x) holds. I want to use quickcheck to test this. Is it correct to test if: not (q x) || p x? Is if q x then p x else True the same proposition? |
| 2021-10-24 17:13:56 +0000 | <monochrom> | IIRC there is a ==> operator most well suited for this. |
| 2021-10-24 17:14:09 +0000 | <c_wraith> | I'd be careful with structuring your tests like that at all |
| 2021-10-24 17:14:24 +0000 | <c_wraith> | it leaves a good chance of quickcheck not testing anything |
| 2021-10-24 17:14:29 +0000 | <juand> | monochrom: Did not know that. Thank you. |
| 2021-10-24 17:14:41 +0000 | <juand> | c_wraith: how so? |
| 2021-10-24 17:15:03 +0000 | <c_wraith> | It will count everything where Q(x) doesn't hold as a successful test |
| 2021-10-24 17:15:55 +0000 | <juand> | That's true. |
| 2021-10-24 17:16:21 +0000 | <c_wraith> | If Q(x) is somewhat uncommon, you might end up testing very few cases where is does hold |
| 2021-10-24 17:16:42 +0000 | <c_wraith> | If you do that twice... quickcheck only defaults to 100 cases. |
| 2021-10-24 17:17:05 +0000 | <c_wraith> | You're much better off structuring the test such that all generated input has Q(x) hold by construction |
| 2021-10-24 17:17:56 +0000 | <c_wraith> | (not always possible, but it's a better option when it is) |
| 2021-10-24 17:18:43 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-10-24 17:19:02 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-10-24 17:19:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 17:19:14 +0000 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 17:20:03 +0000 | <juand> | Q(x) is in fact uncommon. Good point. |
| 2021-10-24 17:20:29 +0000 | <c_wraith> | that's a gotcha with quickcheck I've run into before. |
| 2021-10-24 17:20:35 +0000 | rk04 | (~rk04@user/rajk) (Client Quit) |
| 2021-10-24 17:20:38 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-10-24 17:21:03 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-10-24 17:24:16 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 17:25:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 17:26:18 +0000 | zero | zzz |
| 2021-10-24 17:26:21 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2021-10-24 17:26:50 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-10-24 17:27:49 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 17:29:11 +0000 | <ski> | @type forAll |
| 2021-10-24 17:29:13 +0000 | <lambdabot> | (Show a, STestable prop) => Gen a -> (a -> prop) -> Test.QuickCheck.Safe.SProperty |
| 2021-10-24 17:29:28 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2021-10-24 17:30:01 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: No route to host) |
| 2021-10-24 17:30:38 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 17:32:40 +0000 | MQ-17J | (~MQ-17J@8.21.10.17) (Ping timeout: 244 seconds) |
| 2021-10-24 17:33:21 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 17:33:57 +0000 | rond_ | (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 2021-10-24 17:34:36 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 17:35:12 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 17:35:14 +0000 | peterhil | (~peterhil@dsl-hkibng32-54fb56-2.dhcp.inet.fi) |
| 2021-10-24 17:36:03 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 17:37:08 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 17:38:31 +0000 | <zincy> | Is there an easy way of getting a num instance for a newtyped Int |
| 2021-10-24 17:38:50 +0000 | <zincy> | When I try and derive it I get "no explicit implementation for Num ..." |
| 2021-10-24 17:38:50 +0000 | <awpr> | `deriving Num`, with `GeneralizedNewtypeDeriving` enabled |
| 2021-10-24 17:38:51 +0000 | <c_wraith> | If you just want Int's instance, yes. GeneralizedNewtypeDeriving |
| 2021-10-24 17:38:55 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 17:38:56 +0000 | <merijn> | GeneralizedNewtypeDeriving? |
| 2021-10-24 17:39:09 +0000 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.3) |
| 2021-10-24 17:41:24 +0000 | <zincy> | Thanks! Must have just forgotten the language ext. |
| 2021-10-24 17:41:45 +0000 | <awpr> | ah, the error message sounds like you had `DeriveAnyClass` enabled and it picked that |
| 2021-10-24 17:42:38 +0000 | <awpr> | this sort of thing is why I prefer to enable `DerivingStrategies` and explicitly tell it how to derive: `deriving newtype Num deriving stock Show deriving anyclass NFData` |
| 2021-10-24 17:45:52 +0000 | <zincy> | Ah ok so that is what was happening |
| 2021-10-24 17:46:07 +0000 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Remote host closed the connection) |
| 2021-10-24 17:46:24 +0000 | <zincy> | For Num DeriveAnyClass was being picked and hence the error "no explicit implementation" |
| 2021-10-24 17:49:30 +0000 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 17:50:36 +0000 | fluffyballoon | (~user@131.93.208.196) (Client Quit) |
| 2021-10-24 17:50:56 +0000 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 17:56:47 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-10-24 17:59:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-10-24 17:59:42 +0000 | <Guest9016> | how difficult is it to submit a package on Hackage/Stackage? |
| 2021-10-24 18:00:15 +0000 | <Clint> | 2 |
| 2021-10-24 18:00:41 +0000 | <awpr> | just to create and upload: extremely easy (once you've gotten an account with permission to upload) |
| 2021-10-24 18:01:19 +0000 | <awpr> | for Hackage, I mean. not sure about Stackage |
| 2021-10-24 18:01:45 +0000 | <Clint> | for stackage you submit a pull request to add a hackage package to a yaml file |
| 2021-10-24 18:02:26 +0000 | <awpr> | to maintain and curate it properly, polish documentation, bump version bounds, set up CI and keep up with base changes, make it compatible with a wide range of GHCs, make the synopsis descriptive without word-wrapping: can be a lot of work |
| 2021-10-24 18:05:05 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 18:07:18 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 18:08:18 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-10-24 18:08:40 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 18:09:01 +0000 | Guest9016 | (~Guest90@69.166.185.81.rev.sfr.net) (Quit: Client closed) |
| 2021-10-24 18:10:38 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 18:13:01 +0000 | jkaye | (~jkaye@2601:281:8300:7530:c3d4:ecc4:d44c:ce60) (Ping timeout: 245 seconds) |
| 2021-10-24 18:15:18 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 18:19:50 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-10-24 18:22:20 +0000 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 18:23:47 +0000 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-10-24 18:29:48 +0000 | alx741 | (~alx741@186.178.108.74) (Quit: alx741) |
| 2021-10-24 18:30:36 +0000 | Farzad | (~FarzadBek@151.238.114.164) (Quit: Leaving) |
| 2021-10-24 18:30:43 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 18:34:02 +0000 | alx741 | (~alx741@186.178.108.74) |
| 2021-10-24 18:36:35 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 18:36:35 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 18:36:35 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 18:36:35 +0000 | alx741 | (~alx741@186.178.108.74) (Client Quit) |
| 2021-10-24 18:53:45 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2021-10-24 18:55:47 +0000 | mei | (~mei@user/mei) |
| 2021-10-24 18:56:04 +0000 | zzz | onion |
| 2021-10-24 18:57:51 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 19:00:30 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 19:06:14 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 19:08:34 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 19:09:55 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) (Quit: Konversation terminated!) |
| 2021-10-24 19:13:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Remote host closed the connection) |
| 2021-10-24 19:14:14 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 265 seconds) |
| 2021-10-24 19:14:55 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 19:15:14 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-10-24 19:16:28 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 19:16:53 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 19:17:00 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 19:18:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 19:25:38 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 19:26:14 +0000 | kuribas | (~user@ptr-25vy0i9x7go3dqtvv83.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-10-24 19:28:28 +0000 | Midjak | (~Midjak@82-65-111-221.subs.proxad.net) (Quit: This computer has gone to sleep) |
| 2021-10-24 19:31:16 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 19:36:54 +0000 | Daniel | (~Daniel@62.214.179.126) |
| 2021-10-24 19:37:00 +0000 | Daniel | Guest8769 |
| 2021-10-24 19:37:02 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 19:37:44 +0000 | Guest8769 | (~Daniel@62.214.179.126) (Client Quit) |
| 2021-10-24 19:39:15 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 19:39:37 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 19:39:52 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-10-24 19:40:07 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-10-24 19:43:27 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2021-10-24 19:44:11 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 19:45:15 +0000 | eruditass | (uid248673@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 19:45:57 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 244 seconds) |
| 2021-10-24 19:47:00 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 19:47:02 +0000 | rond_ | (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed) |
| 2021-10-24 19:47:40 +0000 | dustee | (~dustee@63.81.59.158) |
| 2021-10-24 19:48:40 +0000 | segfaultfizzbuzz | (~segfaultf@135-180-0-138.static.sonic.net) |
| 2021-10-24 19:49:06 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 19:50:23 +0000 | olibiera | (~olibiera@a79-169-181-190.cpe.netcabo.pt) |
| 2021-10-24 19:53:07 +0000 | <olibiera> | hey guys im trying to create a function that runs thru a list and accumulates values and then returns a value, can anyone help me understand why is not working? thx in advance |
| 2021-10-24 19:53:18 +0000 | <olibiera> | votosCandidato :: [(String,(String,String,String))] -> String -> Int |
| 2021-10-24 19:53:18 +0000 | <olibiera> | votosCandidato xs y = votosCandidato' xs y 0 |
| 2021-10-24 19:53:19 +0000 | <olibiera> | where votosCandidato' [] _ _ = 0 |
| 2021-10-24 19:53:19 +0000 | <olibiera> | votosCandidato' (x:xs) y n |
| 2021-10-24 19:53:20 +0000 | <olibiera> | | y == fst x = votosCandidato' xs y n |
| 2021-10-24 19:53:20 +0000 | <olibiera> | | y == first (snd x) = votosCandidato' xs y (n + 3) |
| 2021-10-24 19:53:21 +0000 | <olibiera> | | y == second (snd x) = votosCandidato' xs y (n + 2) |
| 2021-10-24 19:53:21 +0000 | <olibiera> | | y == third (snd x) = votosCandidato' xs y (n + 1) |
| 2021-10-24 19:53:22 +0000 | <olibiera> | | otherwise = votosCandidato' xs y n |
| 2021-10-24 19:53:22 +0000 | <olibiera> | where first (d, _, _) = d |
| 2021-10-24 19:53:23 +0000 | <olibiera> | second (_, e, _) = e |
| 2021-10-24 19:53:23 +0000 | <olibiera> | third (_, _, f) = f |
| 2021-10-24 19:53:35 +0000 | <unit73e> | you know, you could use the paste tool |
| 2021-10-24 19:53:37 +0000 | <Franciman> | olibiera: can you use a paste system, the next time for more than 2 lines? |
| 2021-10-24 19:53:51 +0000 | <Franciman> | so it's easier to read and avoid a lot of cnfusing noise |
| 2021-10-24 19:53:52 +0000 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-10-24 19:54:10 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-10-24 19:54:23 +0000 | <olibiera> | whats the paste tool? |
| 2021-10-24 19:54:32 +0000 | <hpc> | in the topic |
| 2021-10-24 19:54:46 +0000 | <unit73e> | this: https://paste.tomsmeding.com |
| 2021-10-24 19:54:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) |
| 2021-10-24 19:55:24 +0000 | <hpc> | :t first |
| 2021-10-24 19:55:25 +0000 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 2021-10-24 19:55:32 +0000 | <olibiera> | ok will do next time! |
| 2021-10-24 19:55:40 +0000 | <hpc> | :t fst |
| 2021-10-24 19:55:41 +0000 | <lambdabot> | (a, b) -> a |
| 2021-10-24 19:55:42 +0000 | <ski> | @paste |
| 2021-10-24 19:55:43 +0000 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2021-10-24 19:55:47 +0000 | <ski> | @where paste |
| 2021-10-24 19:55:48 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-10-24 19:55:49 +0000 | <hpc> | you're mixing fst and first |
| 2021-10-24 19:55:53 +0000 | <hpc> | :t third |
| 2021-10-24 19:55:54 +0000 | <lambdabot> | error: Variable not in scope: third |
| 2021-10-24 19:56:11 +0000 | <hpc> | or i am not reading the where clause |
| 2021-10-24 19:56:17 +0000 | <ski> | olibiera : use pattern-matching, instead of `fst',.. |
| 2021-10-24 19:57:30 +0000 | <ski> | (also, that code is way too much indented ..) |
| 2021-10-24 19:57:55 +0000 | <hpc> | maybe try breaking the problem up |
| 2021-10-24 19:58:18 +0000 | <hpc> | instead of solving it all at once, try first taking the [(String, (String, String, String))] and filtering it by y |
| 2021-10-24 19:58:24 +0000 | <hpc> | so you have [(String, String, String)] |
| 2021-10-24 19:58:36 +0000 | <hpc> | and then a separate, simpler summing function |
| 2021-10-24 19:58:39 +0000 | <ski> | also, you seem to be ignoring the final result of your accumulator |
| 2021-10-24 19:59:20 +0000 | <olibiera> | yes thats the problem, how can i return the final result in this case |
| 2021-10-24 19:59:24 +0000 | Liudvikas | (~Liudvikas@88.222.185.135) (Quit: Konversation terminated!) |
| 2021-10-24 19:59:28 +0000 | <ski> | stop ignoring it ? |
| 2021-10-24 19:59:37 +0000 | <olibiera> | by doing what? |
| 2021-10-24 19:59:39 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-10-24 19:59:54 +0000 | <ski> | start by locate where you're ignoring the final value of the accumulator |
| 2021-10-24 20:01:05 +0000 | dustee | (~dustee@63.81.59.158) () |
| 2021-10-24 20:01:59 +0000 | <hpc> | olibiera: try stepping through a simple case |
| 2021-10-24 20:02:30 +0000 | <ski> | (for that, using pattern-matching would help) |
| 2021-10-24 20:02:44 +0000 | <hpc> | votosCandidato [("x", ("a", "b", "c")] "a" |
| 2021-10-24 20:03:27 +0000 | <hpc> | do it by hand |
| 2021-10-24 20:04:58 +0000 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
| 2021-10-24 20:05:04 +0000 | juhp | (~juhp@128.106.188.220) (Ping timeout: 244 seconds) |
| 2021-10-24 20:06:13 +0000 | <olibiera> | i just cant figure out how can i return "n" |
| 2021-10-24 20:06:25 +0000 | <olibiera> | will try something different, thx |
| 2021-10-24 20:08:11 +0000 | <ski> | olibiera : i suggest attempting the other suggestions (above), too |
| 2021-10-24 20:08:11 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 20:08:19 +0000 | juhp | (~juhp@128.106.188.220) |
| 2021-10-24 20:08:43 +0000 | ski | . o O ( "Elegance isn't optional." ) |
| 2021-10-24 20:08:43 +0000 | <unit73e> | btw that's candidate votes if you're all wondering |
| 2021-10-24 20:09:09 +0000 | ski | figured |
| 2021-10-24 20:14:48 +0000 | fendor | (~fendor@77.119.214.28.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-10-24 20:19:17 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 20:20:24 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 2021-10-24 20:21:06 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 244 seconds) |
| 2021-10-24 20:21:19 +0000 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 20:32:19 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 20:34:07 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-10-24 20:40:08 +0000 | olibiera | (~olibiera@a79-169-181-190.cpe.netcabo.pt) (Quit: Client closed) |
| 2021-10-24 20:40:37 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 252 seconds) |
| 2021-10-24 20:40:52 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-24 20:41:18 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-10-24 20:46:01 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 20:46:57 +0000 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) |
| 2021-10-24 20:47:11 +0000 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.3) |
| 2021-10-24 20:48:17 +0000 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) |
| 2021-10-24 20:48:41 +0000 | <fendor[m]> | I have a endless cycle in a program I don't control, I want to abort execution after 3 seconds. Can I force that somehow? Performance hits are fine and I am already using `-fno-omit-yields` |
| 2021-10-24 20:50:00 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2021-10-24 20:51:18 +0000 | <geekosaur> | if System.Timeout doesn't work, probably not. hm, unless you are talking about an external program via System.Process, then you might be able to terminate the process (but this might require using the right process module for the system instead of the generic one) |
| 2021-10-24 20:51:37 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 20:53:39 +0000 | <fendor[m]> | not an external program, unfortunately |
| 2021-10-24 20:56:19 +0000 | argento | (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-10-24 20:58:28 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-10-24 21:00:01 +0000 | onion | yin |
| 2021-10-24 21:01:35 +0000 | fluffyballoon | (~user@131.93.208.196) (Ping timeout: 264 seconds) |
| 2021-10-24 21:02:30 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-10-24 21:04:29 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-10-24 21:07:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 21:09:54 +0000 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.3) |
| 2021-10-24 21:12:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-10-24 21:12:39 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 21:13:34 +0000 | mcglk_ | (~mcglk@131.191.49.120) (Quit: (zzz)) |
| 2021-10-24 21:13:45 +0000 | ubert | (~Thunderbi@91.141.57.54.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-10-24 21:14:21 +0000 | acidjnk_new | (~acidjnk@p200300d0c703cb555575e56a44659e48.dip0.t-ipconnect.de) |
| 2021-10-24 21:16:22 +0000 | <koz> | Is there any guides or instructions on how to do a 2-column layout with 'pretty'? |
| 2021-10-24 21:16:53 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-10-24 21:18:01 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-10-24 21:18:32 +0000 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 21:19:04 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-24 21:19:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 21:24:50 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 21:27:36 +0000 | burnsidesLlama | (~burnsides@client-8-77.eduroam.oxuni.org.uk) |
| 2021-10-24 21:28:53 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 21:30:02 +0000 | jgeerds | (~jgeerds@55d40de2.access.ecotel.net) |
| 2021-10-24 21:31:43 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-10-24 21:32:37 +0000 | burnsidesLlama | (~burnsides@client-8-77.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-10-24 21:33:14 +0000 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 21:35:13 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:ab53:1c93:684e:f2ba) (Remote host closed the connection) |
| 2021-10-24 21:35:25 +0000 | tabemann | (~travisb@2600:1700:7990:24e0:95ab:c391:8962:61e4) |
| 2021-10-24 21:37:03 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 21:41:20 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 21:42:55 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 21:51:21 +0000 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 245 seconds) |
| 2021-10-24 21:52:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 21:53:11 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-10-24 21:54:46 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-10-24 21:55:06 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-10-24 21:55:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-10-24 21:56:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-10-24 21:57:33 +0000 | cjb | (~cjbayliss@user/cjb) |
| 2021-10-24 21:59:17 +0000 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 21:59:38 +0000 | cheater | (~Username@user/cheater) |
| 2021-10-24 22:00:35 +0000 | cjb | (~cjbayliss@user/cjb) (Client Quit) |
| 2021-10-24 22:02:10 +0000 | cjb | (~cjbayliss@user/cjb) |
| 2021-10-24 22:03:13 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 22:08:36 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-10-24 22:10:39 +0000 | jgeerds | (~jgeerds@55d40de2.access.ecotel.net) (Ping timeout: 265 seconds) |
| 2021-10-24 22:13:13 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2021-10-24 22:15:32 +0000 | max22- | (~maxime@2a01cb0883359800e0f5f648c85a67fc.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 22:16:15 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 22:21:13 +0000 | <jlamothe> | Can anyone explain to me what's going on with the following error message when I try to do a stack sdist: Packages using 'cabal-version: 2.0' and the autogenerated module Paths_* must include it also on the 'autogen-modules' field besides 'exposed-modules' and 'other-modules'. This specifies that the module does not come with the package and is generated on setup. Modules built with a custom Setup.hs |
| 2021-10-24 22:21:19 +0000 | <jlamothe> | script also go here to ensure that commands like sdist don't fail. |
| 2021-10-24 22:21:49 +0000 | <jlamothe> | I've never encountered this before |
| 2021-10-24 22:22:31 +0000 | <c_wraith> | It seems like a pretty complete message. |
| 2021-10-24 22:23:34 +0000 | <c_wraith> | Some modules are created during package installation. They aren't included in the sdist, so they don't go in exposed-modules or other-modules. But newer version of cabal still ask you to say that you're using them. |
| 2021-10-24 22:23:45 +0000 | echoSMILE | (~echoSMILE@user/echosmile) |
| 2021-10-24 22:25:01 +0000 | <jlamothe> | Right, but those would go in the cabal file, wouldn't they? That file is generated by stack itself. |
| 2021-10-24 22:25:31 +0000 | <jlamothe> | The funny thing is that I don't even use the Paths_* module anywhere in my project. |
| 2021-10-24 22:25:50 +0000 | <c_wraith> | sounds like hpack is doing funny stuff |
| 2021-10-24 22:26:03 +0000 | <c_wraith> | Like trying to stick Paths_* in other-modules |
| 2021-10-24 22:26:20 +0000 | <awpr> | I've had to disable those for unrelated reasons. https://paste.tomsmeding.com/rAcnIibl |
| 2021-10-24 22:26:37 +0000 | <jlamothe> | It is... I wonder why. |
| 2021-10-24 22:26:40 +0000 | <awpr> | if you're not using them, disabling can make rebuilds less frequent |
| 2021-10-24 22:27:39 +0000 | <jlamothe> | How do I disable? |
| 2021-10-24 22:28:09 +0000 | <awpr> | by adding the snippet I linked to, into the `library:` section |
| 2021-10-24 22:28:23 +0000 | <awpr> | (with your package name instead) |
| 2021-10-24 22:29:20 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 22:29:55 +0000 | <energizer> | what is the name for syntax that's like haskell's? |
| 2021-10-24 22:30:29 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-10-24 22:31:07 +0000 | <Axman6> | "Haskell like syntax" :P |
| 2021-10-24 22:31:17 +0000 | fluffyballoon | (~user@131.93.208.196) (Ping timeout: 244 seconds) |
| 2021-10-24 22:31:48 +0000 | <geekosaur> | haskell is declarative, but there are many ways to be declarative. personally I consider haskell's syntax to be in the ML family, but others would argue |
| 2021-10-24 22:32:20 +0000 | <Axman6> | Haskell's syntax is agressively Haskellish |
| 2021-10-24 22:36:30 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 22:36:31 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 22:36:31 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 22:37:18 +0000 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 22:39:02 +0000 | dsrt^ | (~dsrt@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 244 seconds) |
| 2021-10-24 22:42:44 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-10-24 22:44:04 +0000 | <awpr> | any idea how to convince Stack to update its understanding of a package that's been revised on Hackage? I've got CI builds failing because they haven't realized the version bounds have been loosened. I had fixed the local build by deleting stack.yaml.lock, but on my CI, it creates a new one that still chooses the pre-revision version |
| 2021-10-24 22:44:04 +0000 | <Cajun> | definitely ML family of syntax |
| 2021-10-24 22:45:26 +0000 | <kronicmage> | does anyone know the default confidence used in quickcheck's checkCoverage? |
| 2021-10-24 22:46:44 +0000 | <kronicmage> | ah nvm found it, it's 10^9 |
| 2021-10-24 22:48:58 +0000 | jespada | (~jespada@181.28.253.200) |
| 2021-10-24 22:55:35 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 22:56:36 +0000 | argento | (~argent0@168-227-96-26.ptr.westnet.com.ar) (Ping timeout: 244 seconds) |
| 2021-10-24 22:58:05 +0000 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
| 2021-10-24 22:59:28 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-10-24 23:02:47 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb935575e56a44659e48.dip0.t-ipconnect.de) |
| 2021-10-24 23:02:51 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-10-24 23:06:03 +0000 | acidjnk_new | (~acidjnk@p200300d0c703cb555575e56a44659e48.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-10-24 23:07:46 +0000 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving) |
| 2021-10-24 23:10:06 +0000 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-10-24 23:12:34 +0000 | alx741 | (~alx741@186.178.108.74) |
| 2021-10-24 23:12:41 +0000 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 23:12:59 +0000 | dsrt^ | (~dsrt@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 23:12:59 +0000 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 23:13:33 +0000 | MQ-17J | (~MQ-17J@8.21.10.17) |
| 2021-10-24 23:20:59 +0000 | dajoer | (~david@user/gvx) |
| 2021-10-24 23:21:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Remote host closed the connection) |
| 2021-10-24 23:22:18 +0000 | <ski> | energizer : in what sense ? |
| 2021-10-24 23:23:30 +0000 | <liskin> | awpr: do you "stack update" in CI? (maybe a silly question as it assumes ~/.stack is cached…) |
| 2021-10-24 23:24:31 +0000 | <energizer> | ski: i guess "ML-like" is the answer i was looking for |
| 2021-10-24 23:24:52 +0000 | <ski> | or maybe "Miranda-like" ? |
| 2021-10-24 23:24:53 +0000 | <ski> | "ISWIM-like" ? |
| 2021-10-24 23:25:11 +0000 | <ski> | (it all depends on what features you have in mind ..) |
| 2021-10-24 23:25:48 +0000 | <energizer> | i mean stuff like juxtapose-to-call and auto-curry |
| 2021-10-24 23:25:50 +0000 | <sm> | awpr: I think stack/stackage intentionally ignores revisions.. or it's configurable in build-constraints.yaml |
| 2021-10-24 23:25:52 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 23:26:49 +0000 | <sm> | correction, just a few packages are marked as `no-revisions:` |
| 2021-10-24 23:27:28 +0000 | <sm> | and certainly try liskin's suggestion |
| 2021-10-24 23:27:29 +0000 | <ski> | hm .. maybe "FP-like" (as in FP, the language (by Backus)), or possibly just "lambda-calculus-like" ? |
| 2021-10-24 23:28:14 +0000 | <ski> | (also, "auto-curry" is a bad way to think about it ..) |
| 2021-10-24 23:28:39 +0000 | <energizer> | i dont think a calculus has a syntax |
| 2021-10-24 23:29:17 +0000 | <energizer> | at least not a concrete syntax |
| 2021-10-24 23:29:42 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2021-10-24 23:31:29 +0000 | <ski> | Alonzo Church clearly introduces a concrete syntax in his 1941 "The Calculi of Lambda-Conversion" at <https://ia800107.us.archive.org/1/items/AnnalsOfMathematicalStudies6ChurchAlonzoTheCalculiOfLambda…> |
| 2021-10-24 23:32:07 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 23:34:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c703cb935575e56a44659e48.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-10-24 23:37:50 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 23:45:13 +0000 | ssipos | (~ssipos@86.123.18.123) (Quit: WeeChat 3.3) |
| 2021-10-24 23:47:04 +0000 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 23:48:14 +0000 | mvk | (~mvk@2607:fea8:5cc1:300::7f76) |
| 2021-10-24 23:48:41 +0000 | argento | (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-10-24 23:53:35 +0000 | <AWizzArd> | Uh. Really? Getting a substring of a Data.Text is O(n)? |
| 2021-10-24 23:54:29 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-10-24 23:54:30 +0000 | <c_wraith> | it's a variable-length encoding |
| 2021-10-24 23:56:01 +0000 | spider_ | spider |
| 2021-10-24 23:56:16 +0000 | <c_wraith> | even if you ignore that codepoints might be different sizes, that doesn't account for the fact that codepoints aren't what people think of as "characters" in the general case |
| 2021-10-24 23:56:45 +0000 | <c_wraith> | I have *no* idea what getting the substring of Text does with the indices you pass it |
| 2021-10-24 23:57:03 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2021-10-24 23:58:46 +0000 | a6a45081-2b83 | (~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) |
| 2021-10-24 23:58:57 +0000 | platz_ | (~platz@40.122.118.113) (Ping timeout: 258 seconds) |
| 2021-10-24 23:58:58 +0000 | <AWizzArd> | c_wraith: okay thanks, I just would have expected that it could be closer to O(1). |
| 2021-10-24 23:59:21 +0000 | <c_wraith> | Text also doesn't document what it does. |
| 2021-10-24 23:59:36 +0000 | <c_wraith> | It says "characters". |
| 2021-10-24 23:59:52 +0000 | <AWizzArd> | c_wraith: this would probably really require to manage some kind of internal index which may cost some more memory. |
