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