Logs on 2022-12-24 (liberachat/#haskell)
| 00:03:10 | <Inst> | fad implies that something is transient in the short-term |
| 00:03:28 | → | elevenkb joins (~elevenkb@105.224.37.128) |
| 00:03:32 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 00:03:41 | <Inst> | programming is a fad |
| 00:03:43 | <Inst> | comp sci, maybe not |
| 00:04:19 | <Inst> | in that, if you've seen what ChatGPT's been able to produce, we're probably not that far away from having programmers displaced by AI |
| 00:04:34 | <Jadesheit[m]> | I disagree |
| 00:04:55 | <Jadesheit[m]> | ChatGPT fails rather quickly at tasks, especially as they scale |
| 00:04:57 | <monochrom> | "machine learning" doesn't always means the good and important and long-lasting fruits of machine learning. |
| 00:05:23 | <monochrom> | It can also mean what most people who self-identify as "machine learning" actually do. |
| 00:05:34 | <Inst> | i'm not aware of the scammy parts of ML, tbh |
| 00:05:44 | <Inst> | I know that ML is a cash cow for people in the CS / programming space |
| 00:05:44 | <monochrom> | You bet 99% of those are going to be very ephemeral. |
| 00:05:53 | <Inst> | barely understand anything, just know how to feed inputs to a neural network |
| 00:06:12 | <Inst> | but i'm not aware of it in detail |
| 00:07:03 | → | cheater_ joins (~Username@user/cheater) |
| 00:07:04 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 00:07:51 | <Jadesheit[m]> | my go-to analogy is that ML simply finds a local minimum to a function |
| 00:07:58 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 00:08:29 | <monochrom> | I'm impressed with ChatGPT though because someone said they got from it an acceptable explanation of monads XD |
| 00:08:32 | <Jadesheit[m]> | it's not "intelligent" |
| 00:08:49 | <Jadesheit[m]> | monochrom: it simply reproduces |
| 00:08:54 | <monochrom> | Am I intelligent then? I doubt it. |
| 00:09:07 | <dgpratt[m]> | well this thing will never be anything but a toy, but it is just so gosh darn satisfying to craft a basic parser/interpreter in Haskell |
| 00:09:10 | <monochrom> | I always like to assert that I'm a living Chinese Room right here in my brain. |
| 00:09:56 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 00:10:01 | cheater_ | is now known as cheater |
| 00:10:39 | <monochrom> | Most students in most schools, even universities, are also putting in no more effort that finding local maxima to a mark function. |
| 00:10:52 | <monochrom> | otherwise known as "gaming the system". |
| 00:12:15 | <geekosaur> | "guessing the teacher's password" |
| 00:12:32 | <monochrom> | I have first-hand experience with Asian students going to Canadian universities with impossibly high TOEFL scores and impossibly broken English grammar in real life. |
| 00:12:37 | <geekosaur> | (which reportedly is where ChatGPT's name came from) |
| 00:12:51 | <monochrom> | I dare say ChatGPT is better than them. |
| 00:13:12 | → | freeside joins (~mengwong@103.252.202.159) |
| 00:13:34 | <monochrom> | At least ChatGPT has better grammar. |
| 00:14:15 | <monochrom> | As opposed to TOEFL takers whose study strategy is to memorize pages after pages of English dictionaries. |
| 00:15:01 | <monochrom> | So far for every known AI flaw I can point to a corresponing human fallacy. |
| 00:15:27 | <geekosaur> | agreed |
| 00:15:35 | <Inst> | hmm, turns out that threepenny did run |
| 00:16:42 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 00:16:58 | <monochrom> | Come to think of it, probably a fundamental theorem about any kind of learning under any kind of fast marking scheme. |
| 00:17:54 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 00:17:57 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 00:18:36 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:18:38 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 246 seconds) |
| 00:25:28 | <Inst> | monochrom: tbh, that's more like a test design problem, isn't it? |
| 00:25:36 | <Inst> | map and territory, when they merge, it's a good test |
| 00:25:57 | → | mauke_ joins (~mauke@user/mauke) |
| 00:26:06 | <geekosaur> | choose a different style, it'll have its own weakness |
| 00:27:13 | <Inst> | i.e, i've heard that in parts of east asia they just gave up on fighting "adaptiveness" to test regimens and decided to make it so that studying for the test is actually studying the material via test design |
| 00:27:15 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 252 seconds) |
| 00:27:15 | mauke_ | is now known as mauke |
| 00:28:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 00:37:26 | <monochrom> | Easier said than done. As usual. |
| 00:38:02 | <monochrom> | You see, teachers and markers are optimizing a do-less-work-for-more-money function, too! |
| 00:39:25 | → | freeside joins (~mengwong@103.252.202.159) |
| 00:43:26 | → | fizbin joins (~fizbin@user/fizbin) |
| 00:44:06 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 00:47:14 | → | freeside joins (~mengwong@103.252.202.159) |
| 00:48:41 | × | goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 00:58:06 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:02:02 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:02:36 | → | Inst_ joins (~Inst@c-98-208-218-119.hsd1.fl.comcast.net) |
| 01:03:15 | → | califax joins (~califax@user/califx) |
| 01:04:21 | × | dcoutts_ quits (~duncan@host86-151-44-212.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 01:04:40 | → | dcoutts_ joins (~duncan@host86-151-44-212.range86-151.btcentralplus.com) |
| 01:04:43 | × | Inst quits (~Inst@2601:6c4:4081:54f0:b86b:c7d7:3fe0:861c) (Ping timeout: 248 seconds) |
| 01:06:19 | × | elevenkb quits (~elevenkb@105.224.37.128) (Quit: Client closed) |
| 01:08:59 | → | goober joins (~goober@90-231-13-185-no3430.tbcn.telia.com) |
| 01:10:50 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:15:31 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 01:16:57 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:28:59 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 264 seconds) |
| 01:33:08 | → | libertyprime joins (~libertypr@203.96.203.167) |
| 01:33:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 01:33:30 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 01:34:49 | → | thongpv87 joins (~thongpv87@2402:9d80:387:dcf3:1936:a942:7497:64c2) |
| 01:35:54 | → | fizbin joins (~fizbin@user/fizbin) |
| 01:51:11 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 264 seconds) |
| 01:54:05 | × | fizbin quits (~fizbin@user/fizbin) (Remote host closed the connection) |
| 01:54:14 | × | son0p quits (~ff@2604:3d08:5b7f:5540:98a9:2169:15a1:4c7f) (Ping timeout: 255 seconds) |
| 01:54:24 | → | fizbin joins (~fizbin@user/fizbin) |
| 01:56:54 | × | beefbambi quits (~beefbambi@183.82.30.144) (Ping timeout: 272 seconds) |
| 01:57:14 | × | OscarZ quits (~oscarz@95.175.104.82) (Ping timeout: 260 seconds) |
| 01:57:33 | → | freeside joins (~mengwong@103.252.202.159) |
| 01:59:01 | → | jargon_ joins (~jargon@174-22-197-118.phnx.qwest.net) |
| 02:00:23 | × | jargon quits (~jargon@174-22-192-24.phnx.qwest.net) (Ping timeout: 260 seconds) |
| 02:11:35 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 264 seconds) |
| 02:18:02 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 246 seconds) |
| 02:20:41 | → | ddellacosta joins (~ddellacos@143.244.47.100) |
| 02:24:12 | → | fizbin joins (~fizbin@user/fizbin) |
| 02:24:50 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 02:28:37 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 02:29:50 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 02:37:10 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 02:37:10 | jinsun | is now known as Guest7606 |
| 02:37:10 | × | Guest7606 quits (~jinsun@user/jinsun) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 02:37:10 | jinsun__ | is now known as jinsun |
| 02:37:25 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 02:46:02 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 246 seconds) |
| 02:47:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:51:55 | → | razetime joins (~quassel@49.207.230.181) |
| 02:58:34 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 03:00:21 | → | jinsun joins (~jinsun@user/jinsun) |
| 03:13:47 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 03:18:59 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 03:25:59 | × | td_ quits (~td@83.135.9.52) (Ping timeout: 264 seconds) |
| 03:27:35 | → | td_ joins (~td@83.135.9.19) |
| 03:35:19 | × | thongpv87 quits (~thongpv87@2402:9d80:387:dcf3:1936:a942:7497:64c2) (Ping timeout: 252 seconds) |
| 03:46:35 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 03:47:56 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 03:53:29 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 03:57:39 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::d789) |
| 04:02:09 | → | son0p joins (~ff@2604:3d08:5b7f:5540::417e) |
| 04:02:18 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 04:03:59 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 04:06:22 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 04:10:46 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 04:10:50 | → | rnat joins (uid73555@id-73555.lymington.irccloud.com) |
| 04:13:42 | × | dsrt^ quits (~dsrt@76.145.185.103) (Ping timeout: 272 seconds) |
| 04:14:58 | → | dsrt^ joins (~dsrt@76.145.185.103) |
| 04:19:46 | → | freeside joins (~mengwong@103.252.202.159) |
| 04:20:22 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 04:30:56 | <int-e> | Inst_: `foldb` is an alternative `fold` for lists that groups the operations different (in the shape of a binary tree)... it's usually slower than the default `fold` because those intermediate lists actually materialize, so that's a significant overhead. But in the case of `factorial` it does a decent job of multiplying like-sized numbers, keeping intermediate results smaller. |
| 04:31:44 | <int-e> | "in the shape of a binary tree" which is balanced, that is, rather than completely left- or right-leaning. |
| 04:33:21 | <int-e> | > foldMap Sum [x,1,2,3] |
| 04:33:22 | <lambdabot> | Sum {getSum = x + (1 + (2 + (3 + 0)))} |
| 04:35:11 | × | xff0x quits (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 04:36:49 | → | xff0x joins (~xff0x@ai071162.d.east.v6connect.net) |
| 04:40:57 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 04:44:44 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 04:56:24 | × | ddellacosta quits (~ddellacos@143.244.47.100) (Ping timeout: 265 seconds) |
| 05:16:38 | → | calco joins (~calco@47.200.15.90) |
| 05:16:53 | <calco> | hello |
| 05:17:34 | <calco> | anybody home |
| 05:18:07 | ← | calco parts (~calco@47.200.15.90) () |
| 05:18:21 | → | calco joins (~calco@47.200.15.90) |
| 05:18:41 | ← | calco parts (~calco@47.200.15.90) () |
| 05:18:56 | → | calco joins (~calco@47.200.15.90) |
| 05:19:04 | ← | calco parts (~calco@47.200.15.90) () |
| 05:19:09 | → | calco joins (~calco@47.200.15.90) |
| 05:20:10 | × | calco quits (~calco@47.200.15.90) (Remote host closed the connection) |
| 05:20:32 | → | calco joins (~calco@47.200.15.90) |
| 05:20:49 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 05:21:50 | <calco> | hello? |
| 05:22:01 | <calco> | does anybody copy |
| 05:23:40 | → | GrumpyOldGandalf joins (~GrumpyOld@47.200.15.90) |
| 05:25:56 | × | wroathe quits (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 05:26:12 | <pavonia> | Hello |
| 05:26:25 | <GrumpyOldGandalf> | Hi |
| 05:26:27 | <calco> | how goes? |
| 05:27:01 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 05:31:10 | <calco> | I'm looking for some beginner haskell help, if anyone's willing |
| 05:36:26 | <pavonia> | Go ahead and ask your question |
| 05:37:29 | → | mbuf joins (~Shakthi@49.204.138.163) |
| 05:38:22 | <calco> | I'm working on a tic tac toe app for practice, and I want to structure it all using pattern matching and generally improve my functions |
| 05:39:04 | <calco> | I have low cardinality data types, and some function outlines, but I could use some pointers for how to improve the program in general |
| 05:39:16 | <calco> | should I share the file somehow? |
| 05:40:16 | <pavonia> | Yeah, the pastebin at https://paste.tomsmeding.com/ is preferred in this channel |
| 05:40:52 | × | v0id_ptr quits (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 265 seconds) |
| 05:43:36 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 05:43:36 | × | jinsun quits (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 05:43:36 | jinsun__ | is now known as jinsun |
| 05:46:36 | × | GrumpyOldGandalf quits (~GrumpyOld@47.200.15.90) (Quit: Ping timeout (120 seconds)) |
| 05:57:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237) |
| 05:58:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 05:59:24 | × | joeyh quits (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (Quit: ZNC 1.8.2+deb2+b5 - https://znc.in) |
| 05:59:41 | → | joeyh joins (~joeyh@kitenet.net) |
| 06:07:09 | → | v0id_ptr joins (~adrift@user/ptr-frac7al/x-0038398) |
| 06:08:43 | × | jargon_ quits (~jargon@174-22-197-118.phnx.qwest.net) (Ping timeout: 248 seconds) |
| 06:14:40 | × | libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 272 seconds) |
| 06:18:28 | <Inst_> | int-e i actually asked a production haskeller about foldb |
| 06:18:53 | <Inst_> | it matches parallelization algorithms he uses, although he always sets the sparks too small |
| 06:22:30 | <int-e> | Hah. When did "MapReduce" stop being a buzzword? Haven't heard it in a while. |
| 06:25:26 | → | libertyprime joins (~libertypr@203.96.203.167) |
| 06:26:44 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 06:30:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:31:46 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 06:39:18 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 06:41:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:43:55 | → | freeside joins (~mengwong@103.252.202.159) |
| 06:43:58 | → | GrumpyOldGandalf joins (~GrumpyOld@47.200.15.90) |
| 06:54:54 | × | GrumpyOldGandalf quits (~GrumpyOld@47.200.15.90) (Quit: Ping timeout (120 seconds)) |
| 07:00:26 | × | v0id_ptr quits (~adrift@user/ptr-frac7al/x-0038398) (Ping timeout: 246 seconds) |
| 07:02:10 | × | calco quits (~calco@47.200.15.90) (Ping timeout: 272 seconds) |
| 07:02:20 | → | kenran joins (~user@user/kenran) |
| 07:02:24 | × | ft quits (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:03:10 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 07:04:35 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 07:06:20 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 07:07:00 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:30:50 | Inst_ | is now known as Inst |
| 07:31:14 | <Inst> | also, @int-e, do you know anything |
| 07:31:17 | <Inst> | about primeswing? |
| 07:31:23 | <Inst> | I'm benchmarking Haskell vs Julia |
| 07:31:38 | <Inst> | I actually got GHCI to beat Julia in implementing a naive fibonacci function |
| 07:43:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:50:11 | × | libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 246 seconds) |
| 08:05:53 | → | libertyprime joins (~libertypr@203.96.203.167) |
| 08:19:36 | × | mvk quits (~mvk@2607:fea8:5ce3:8500::d789) (Quit: Going elsewhere) |
| 08:24:33 | → | mei joins (~mei@user/mei) |
| 08:25:31 | → | risko joins (~risko@85.195.196.52) |
| 08:27:57 | → | gmg joins (~user@user/gehmehgeh) |
| 08:32:09 | × | libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 268 seconds) |
| 08:32:20 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1dcc:166b:1177:c3e0) (Remote host closed the connection) |
| 08:40:49 | × | pwug quits (~pwug@user/pwug) (Quit: Leaving) |
| 08:44:25 | → | zeenk joins (~zeenk@2a02:2f04:a008:a200::7fe) |
| 08:47:38 | → | ft joins (~ft@x52716366.dyn.telefonica.de) |
| 08:51:24 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 08:55:31 | → | libertyprime joins (~libertypr@203.96.203.167) |
| 09:00:29 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 09:00:40 | → | beefbambi joins (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 09:01:36 | × | beefbambi quits (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 09:02:00 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 09:04:00 | → | freeside joins (~mengwong@103.252.202.159) |
| 09:07:53 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:10:32 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 09:10:59 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 09:11:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:13:48 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 09:13:49 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 09:15:10 | × | libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 272 seconds) |
| 09:20:30 | × | rnat quits (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:28:27 | → | alloca joins (~alloca@user/suppi) |
| 09:32:45 | → | libertyprime joins (~libertypr@203.96.203.167) |
| 09:32:47 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
| 09:37:41 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 09:37:43 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 260 seconds) |
| 09:43:33 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 09:45:55 | × | libertyprime quits (~libertypr@203.96.203.167) (Ping timeout: 265 seconds) |
| 09:52:10 | → | Guest34 joins (~Guest34@2600:387:3:801::82) |
| 09:52:36 | ← | Guest34 parts (~Guest34@2600:387:3:801::82) () |
| 09:55:17 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-159-86.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 09:56:06 | × | ft quits (~ft@x52716366.dyn.telefonica.de) (Quit: leaving) |
| 10:01:32 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 10:05:46 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 10:11:05 | → | ft joins (~ft@x52716366.dyn.telefonica.de) |
| 10:17:52 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:19:01 | → | Guest323 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:21:40 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:25:16 | × | zeenk quits (~zeenk@2a02:2f04:a008:a200::7fe) (Quit: Konversation terminated!) |
| 10:27:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 10:28:13 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:28:50 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 10:39:37 | → | fizbin joins (~fizbin@user/fizbin) |
| 10:48:00 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:52:53 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 10:55:52 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 10:58:51 | → | `2jt joins (~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) |
| 11:04:37 | × | talismanick quits (~talismani@76.133.152.122) (Remote host closed the connection) |
| 11:05:36 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 11:09:34 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 11:13:43 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 11:25:17 | × | ft quits (~ft@x52716366.dyn.telefonica.de) (Quit: leaving) |
| 11:25:20 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 11:27:29 | → | freeside joins (~mengwong@103.252.202.159) |
| 11:29:08 | → | cheater_ joins (~Username@user/cheater) |
| 11:30:35 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 11:32:13 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 11:32:23 | cheater_ | is now known as cheater |
| 11:33:13 | → | haskl joins (~haskl@user/haskl) |
| 11:46:38 | → | akegalj joins (~akegalj@89-172-25-154.adsl.net.t-com.hr) |
| 11:46:46 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 11:52:58 | × | shriekingnoise quits (~shrieking@186.137.167.202) (Quit: Quit) |
| 11:55:46 | <Profpatsch> | Is there a newtype instance of UnliftIO that witnesses the correspondence to MonadBaseControl? |
| 11:55:54 | <Profpatsch> | MonadBaseControl IO that is |
| 11:57:09 | → | __monty__ joins (~toonn@user/toonn) |
| 12:06:39 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 12:14:27 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 12:15:34 | × | Guest323 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 12:20:54 | × | Maeda quits (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 12:31:11 | × | Xeroine quits (~Xeroine@user/xeroine) (Read error: Connection reset by peer) |
| 12:32:20 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 12:32:58 | → | bjourne joins (~helloman@94.191.152.62) |
| 12:36:12 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
| 12:38:12 | × | bjourne quits (~helloman@94.191.152.62) (Read error: Connection reset by peer) |
| 12:39:30 | → | Maeda joins (~Maeda@91-161-10-149.subs.proxad.net) |
| 12:40:22 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 252 seconds) |
| 12:42:11 | → | dextaa3 joins (~DV@user/dextaa) |
| 12:43:20 | × | akhesacaro quits (~caro@212-83-144-58.rev.poneytelecom.eu) (Ping timeout: 260 seconds) |
| 12:44:00 | × | razetime quits (~quassel@49.207.230.181) (Remote host closed the connection) |
| 12:44:10 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 272 seconds) |
| 12:44:10 | dextaa3 | is now known as dextaa |
| 12:50:07 | → | MajorBiscuit joins (~MajorBisc@31-23-159.netrun.cytanet.com.cy) |
| 12:58:30 | × | fizbin quits (~fizbin@user/fizbin) (Remote host closed the connection) |
| 12:58:50 | → | fizbin joins (~fizbin@user/fizbin) |
| 12:58:53 | × | akegalj quits (~akegalj@89-172-25-154.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 13:02:38 | × | risko quits (~risko@85.195.196.52) (Remote host closed the connection) |
| 13:08:00 | × | OscarZ quits (~oscarz@95.175.104.82) (Ping timeout: 252 seconds) |
| 13:11:24 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 13:21:58 | → | ft joins (~ft@87.122.12.144) |
| 13:30:05 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 13:32:28 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 13:42:23 | → | calco joins (~calco@47.200.15.90) |
| 13:54:14 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 13:57:27 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:57:45 | → | unit73e joins (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 14:00:04 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 14:05:14 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 14:09:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:10:35 | × | OscarZ quits (~oscarz@95.175.104.82) (Ping timeout: 260 seconds) |
| 14:12:32 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 14:14:47 | × | `2jt quits (~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 14:20:59 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Ping timeout: 248 seconds) |
| 14:21:07 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:24:31 | × | beefbambi quits (~beefbambi@183.82.206.239) (Ping timeout: 256 seconds) |
| 14:25:17 | → | beefbambi joins (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) |
| 14:33:17 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 14:33:43 | × | jespada quits (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 14:34:16 | × | beefbambi quits (~beefbambi@2401:4900:230d:f57c:538c:d7cc:50c0:e377) (Read error: Connection reset by peer) |
| 14:35:11 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 14:36:29 | → | fizbin joins (~fizbin@user/fizbin) |
| 14:37:21 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:40:16 | → | img joins (~img@user/img) |
| 14:41:54 | → | thongpv87 joins (~thongpv87@2001:ee0:54a8:aee0:3ddf:576f:86ec:d738) |
| 14:41:54 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 14:42:00 | → | mikoto-chan joins (~mikoto-ch@85-76-108-195-nat.elisa-mobile.fi) |
| 14:42:16 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 14:45:08 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 14:45:09 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 14:45:43 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 14:46:59 | × | mauke quits (~mauke@user/mauke) (Quit: bbl) |
| 14:46:59 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 14:47:21 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 14:48:07 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 14:50:19 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 14:50:20 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 14:51:03 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 14:56:04 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:57:12 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:57:40 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 14:57:48 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 15:00:58 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 15:03:50 | → | Guest323 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 15:09:32 | → | freeside joins (~mengwong@103.252.202.159) |
| 15:11:54 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.7.1) |
| 15:12:22 | → | Sciencentistguy9 joins (~sciencent@hacksoc/ordinary-member) |
| 15:14:04 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 15:14:35 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 264 seconds) |
| 15:14:35 | Sciencentistguy9 | is now known as Sciencentistguy |
| 15:14:36 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 15:39:14 | × | OscarZ quits (~oscarz@95.175.104.82) (Ping timeout: 265 seconds) |
| 15:39:36 | × | Guest323 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 15:40:27 | → | freeside joins (~mengwong@103.252.202.159) |
| 15:42:32 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 15:43:15 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 15:43:27 | × | mikoto-chan quits (~mikoto-ch@85-76-108-195-nat.elisa-mobile.fi) (Ping timeout: 260 seconds) |
| 15:45:14 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 15:45:18 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 15:46:06 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 15:49:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:49:06 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 15:49:59 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 15:55:07 | → | tf64 joins (~tf64@5.42.88.91) |
| 15:55:07 | <tf64> | hi |
| 15:55:08 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:55:20 | <geekosaur> | hello |
| 15:55:35 | × | tf64 quits (~tf64@5.42.88.91) (Client Quit) |
| 15:56:39 | × | calco quits (~calco@47.200.15.90) (Ping timeout: 260 seconds) |
| 15:57:03 | → | calco joins (~calco@47.200.15.90) |
| 16:01:13 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 16:01:33 | × | son0p quits (~ff@2604:3d08:5b7f:5540::417e) (Ping timeout: 260 seconds) |
| 16:01:53 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:05:54 | → | jargon joins (~jargon@174-22-197-118.phnx.qwest.net) |
| 16:06:38 | [itchyjunk] | is now known as [itchychristmas] |
| 16:07:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:10:20 | → | freeside joins (~mengwong@103.252.202.159) |
| 16:13:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 16:14:16 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:15:00 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 16:18:55 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 16:23:59 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:24:45 | → | Guest6826 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:27:59 | → | `2jt joins (~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) |
| 16:30:06 | → | freeside joins (~mengwong@103.252.202.159) |
| 16:35:11 | → | Bocaneri joins (~sauvin@user/Sauvin) |
| 16:35:23 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 248 seconds) |
| 16:35:35 | Bocaneri | is now known as Guest4241 |
| 16:36:03 | <calco> | aeyo |
| 16:36:31 | <calco> | hows it kickin' y'all |
| 16:37:03 | <geekosaur> | not sure anyone else is around today 🙂 |
| 16:38:05 | × | Sauvin quits (~sauvin@user/Sauvin) (Ping timeout: 268 seconds) |
| 16:38:14 | Guest4241 | is now known as Sauvin |
| 16:38:33 | <geekosaur> | I'm not stupid enough to go out in high winds and temperatures colder than my freezer gets |
| 16:38:48 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
| 16:40:28 | <calco> | you know it's bad when florida starts getting freeze warnings |
| 16:40:41 | <calco> | might have to put a t-shirt on... |
| 16:40:50 | <calco> | >:( |
| 16:43:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) (Ping timeout: 260 seconds) |
| 16:44:24 | × | mbuf quits (~Shakthi@49.204.138.163) (Quit: Leaving) |
| 16:45:44 | × | phma quits (phma@2001:5b0:210d:bff8:d3d6:20cf:c049:77a5) (Read error: Connection reset by peer) |
| 16:46:38 | → | phma joins (phma@2001:5b0:211f:688:19e1:3069:d7a4:6bdd) |
| 16:50:40 | → | freeside joins (~mengwong@103.252.202.159) |
| 16:52:24 | × | sayola quits (~sayola@dslb-002-201-085-035.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 16:53:27 | × | Guest6826 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 16:56:26 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 16:59:07 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 17:02:16 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:02:24 | → | Guest|58 joins (~Guest|58@18.29.22.0) |
| 17:02:33 | × | Guest|58 quits (~Guest|58@18.29.22.0) (Client Quit) |
| 17:12:38 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:16:19 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 17:27:53 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 17:28:03 | → | econo joins (uid147250@user/econo) |
| 17:28:24 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:31:24 | × | beefbambi quits (~beefbambi@183.82.206.239) (Read error: Connection reset by peer) |
| 17:31:40 | → | beefbambi joins (~beefbambi@183.82.206.239) |
| 17:32:37 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:34:13 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 17:37:02 | → | morb joins (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) |
| 17:41:31 | × | morb quits (~morb@pool-72-80-94-112.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 17:44:55 | × | reda quits (~reda@user/reda) (Quit: Lost terminal) |
| 17:57:05 | → | cheater_ joins (~Username@user/cheater) |
| 17:57:59 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 17:58:01 | cheater_ | is now known as cheater |
| 18:00:04 | → | ddellacosta joins (~ddellacos@static-198-44-136-56.cust.tzulo.com) |
| 18:04:10 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:06:06 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:06:06 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:06:06 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:06:21 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 18:07:38 | → | shapr joins (~user@68.54.166.125) |
| 18:07:50 | → | kimiamania joins (~65804703@user/kimiamania) |
| 18:08:55 | × | OscarZ quits (~oscarz@95.175.104.82) (Ping timeout: 256 seconds) |
| 18:09:45 | → | son0p joins (~ff@2604:3d08:5b7f:5540::cfe6) |
| 18:14:53 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 18:21:35 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 18:25:05 | → | mikoto-chan joins (~mikoto-ch@85-76-117-17-nat.elisa-mobile.fi) |
| 18:27:19 | → | OscarZ joins (~oscarz@95.175.104.82) |
| 18:29:42 | × | ddellacosta quits (~ddellacos@static-198-44-136-56.cust.tzulo.com) (Ping timeout: 268 seconds) |
| 18:39:02 | × | gdd quits (~gdd@2001:470:1f13:187:f1d9:2c39:d075:f0d3) (Ping timeout: 265 seconds) |
| 18:39:44 | → | gdd joins (~gdd@2001:470:1f13:187:3362:f9dd:3b29:2ee1) |
| 18:40:16 | → | Guest323 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 18:41:57 | → | freeside joins (~mengwong@103.252.202.159) |
| 18:47:15 | → | bjourne joins (~helloman@94.191.152.96) |
| 18:48:42 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 18:49:22 | × | mikoto-chan quits (~mikoto-ch@85-76-117-17-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 18:50:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 18:57:49 | → | famubu joins (~famubu@user/famubu) |
| 18:58:21 | <famubu> | Hi. I was doing `1=2` in ghci and it gave no error. What gives? I obviously am missing something basic. |
| 18:59:13 | <geekosaur> | it's just a lazy pattern match, that can never be seen because there's no binding that could be used to force it |
| 19:00:22 | <geekosaur> | so it just sits there taking up memory until it gets garbage collected because it's unreachable |
| 19:00:23 | <hpc> | the googleable term is "irrefutable pattern" |
| 19:00:38 | <hpc> | > let ~(Just x) = Nothing in x |
| 19:00:39 | <lambdabot> | *Exception: <interactive>:3:5-23: Non-exhaustive patterns in Just x |
| 19:00:48 | <hpc> | ^ what happens when one gets forced |
| 19:01:45 | × | Guest323 quits (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 19:03:33 | <famubu> | Oh.. Thanks! |
| 19:03:49 | <famubu> | The `~` is to force eval, right? |
| 19:04:23 | <geekosaur> | the opposite. `let` bindings, unlike top level beindings, are strict; the ~ is needed to make it lazy |
| 19:04:35 | <geekosaur> | ]then attempting to access `x` forces the lazy pattern |
| 19:04:54 | <hpc> | a strict pattern match looks like |
| 19:05:03 | <hpc> | > let !(Just x) = Nothing in "this" |
| 19:05:05 | <lambdabot> | "*Exception: <interactive>:3:5-23: Non-exhaustive patterns in Just x |
| 19:05:19 | <hpc> | notice x isn't used, but it still dies |
| 19:05:44 | <geekosaur> | > let ~(Just x) = Nothing in "this" -- this, on the other hand, works |
| 19:05:46 | <lambdabot> | "this" |
| 19:06:12 | <hpc> | > let jx@(Just x) = Just 5 in (x, jx) -- and just for completeness, at-patterns give you the whole thing's name at the same time you match on it |
| 19:06:13 | <lambdabot> | (5,Just 5) |
| 19:07:30 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 19:15:50 | → | freeside joins (~mengwong@103.252.202.159) |
| 19:16:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:20:37 | → | Cale_ joins (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 19:21:03 | × | Cale quits (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 19:22:49 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 252 seconds) |
| 19:27:41 | Cale_ | is now known as Cale |
| 19:29:12 | → | freeside joins (~mengwong@103.252.202.159) |
| 19:32:09 | × | iqubic quits (~avi@2601:602:9502:c70:4602:12a1:6697:a25f) (Read error: Connection reset by peer) |
| 19:33:26 | → | iqubic joins (~avi@2601:602:9502:c70:4602:12a1:6697:a25f) |
| 19:38:46 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 19:39:38 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 246 seconds) |
| 19:42:13 | <carbolymer> | I think I'm having a brain fart with lenses, why this does not work: https://c-v.sh/mainstreamcotquean.txt ? |
| 19:42:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5cf9:c33d:ed9e:f2a3) |
| 19:45:17 | <carbolymer> | ah yes, ghci couldn't guess the type of `[1]` |
| 19:45:23 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:45:56 | → | pavonia joins (~user@user/siracusa) |
| 19:49:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:50:09 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 19:51:27 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 19:51:46 | → | mikoto-chan joins (~mikoto-ch@85-76-51-255-nat.elisa-mobile.fi) |
| 19:52:10 | → | gurkenglas joins (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 19:52:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:56:44 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Remote host closed the connection) |
| 20:05:44 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 260 seconds) |
| 20:09:02 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:09:41 | → | freeside joins (~mengwong@103.252.202.159) |
| 20:14:28 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 272 seconds) |
| 20:17:38 | → | freeside joins (~mengwong@103.252.202.159) |
| 20:23:20 | → | igghibu joins (~igghibu@37.120.201.91) |
| 20:24:24 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 268 seconds) |
| 20:27:43 | × | famubu quits (~famubu@user/famubu) (Ping timeout: 252 seconds) |
| 20:36:45 | → | freeside joins (~mengwong@103.252.202.159) |
| 20:40:53 | × | mikoto-chan quits (~mikoto-ch@85-76-51-255-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 20:44:27 | → | ddellacosta joins (~ddellacos@89.45.224.116) |
| 20:51:13 | → | cheater_ joins (~Username@user/cheater) |
| 20:54:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 20:54:28 | cheater_ | is now known as cheater |
| 20:57:53 | × | ddellacosta quits (~ddellacos@89.45.224.116) (Ping timeout: 260 seconds) |
| 21:00:10 | × | freeside quits (~mengwong@103.252.202.159) (Ping timeout: 265 seconds) |
| 21:09:19 | × | fizbin quits (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 21:10:13 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 21:12:28 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 21:13:06 | → | freeside joins (~mengwong@103.252.202.159) |
| 21:13:54 | → | shriekingnoise joins (~shrieking@186.137.167.202) |
| 21:17:19 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 21:19:13 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:31:46 | × | `2jt quits (~jtomas@84.red-88-17-186.dynamicip.rima-tde.net) (Quit: Leaving) |
| 21:38:13 | → | mvk joins (~mvk@2607:fea8:5ce3:8500::3ed5) |
| 21:50:13 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 21:50:13 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 21:50:13 | → | wroathe joins (~wroathe@user/wroathe) |
| 21:57:50 | → | hubert joins (uid582073@id-582073.helmsley.irccloud.com) |
| 22:01:50 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 22:07:20 | <hololeap> | @hackage lifted-base -- Profpatsch: you might want this? |
| 22:07:20 | <lambdabot> | https://hackage.haskell.org/package/lifted-base -- Profpatsch: you might want this? |
| 22:08:49 | × | igghibu quits (~igghibu@37.120.201.91) (Quit: igghibu) |
| 22:08:58 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:10:14 | <hololeap> | not that it's what you're asking for, but I guessed you're looking for some of the extra stuff in unliftio but for MonadBaseControl |
| 22:10:58 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:12:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:25:04 | → | acidjnk joins (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) |
| 22:43:46 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 22:44:39 | → | reda joins (~reda@user/reda) |
| 22:45:21 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:57:14 | <Profpatsch> | hololeap: hrm yeah, postgresql-simple in my case |
| 22:57:24 | <Profpatsch> | I’m really annoyed at this mtl stuff |
| 22:57:39 | <Profpatsch> | I feel like it’s one of the super unergonomic parts of Haskell |
| 23:00:11 | <hololeap> | the competing libs that do similar things with no compatibility layers seems to be a constant problem with hackage/haskell. it seems like more of a social problem than a technical one, IMO |
| 23:00:53 | <geekosaur> | I've never had trouble with mtl, but I do think as soon as you've reached for unliftio you've invited trouble in general |
| 23:05:58 | <geekosaur> | I feel like unliftio is trying to be a general solution to a problem that has no general solution, the complexity of MonadBaseControl is proof, and mtl is an exclamation mark on the whole thing |
| 23:07:32 | <MelMalik> | = 167 |
| 23:12:28 | <jackdk> | I don't think that's right, because unliftio is by design less general than MonadBaseControl |
| 23:14:13 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:14:37 | <geekosaur> | it is nevertheless hitting a form of the same problem |
| 23:15:20 | <hololeap> | @hackage unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known |
| 23:15:20 | <lambdabot> | https://hackage.haskell.org/package/unlift-stm -- I wrote this not knowing about MonadBaseControl. I may not have written it if I had known |
| 23:19:59 | × | poscat quits (~poscat@114.245.108.192) (Ping timeout: 264 seconds) |
| 23:20:59 | → | poscat joins (~poscat@114.245.108.12) |
| 23:25:10 | <hololeap> | given the isomorphisms present in ReaderT and IdentityT, doesn't the existence of unliftio make sense? I never fully understood the other transformers that MonadBaseControl supports |
| 23:26:29 | <hololeap> | but the fact is, this should work with monads other than IO so why not generalize it? |
| 23:27:12 | <hololeap> | my lib that I just linked to was a lot of copy-and-paste from unliftio and replacing IO with STM |
| 23:30:55 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 23:32:23 | → | poscat0x04 joins (~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc) |
| 23:32:49 | × | poscat quits (~poscat@114.245.108.12) (Ping timeout: 260 seconds) |
| 23:34:11 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 23:35:35 | <hololeap> | ReaderT r (t m) a ~ t (ReaderT r m) a -- and -- ReaderT r m a ~ r -> m a ~ Reader r (m a) |
| 23:35:44 | <hololeap> | so this gives a lot of wiggle-room |
| 23:35:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 23:36:07 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:36:53 | × | poscat0x04 quits (~poscat@2408:8206:4821:ed55:59ff:d2f4:c62a:1acc) (Ping timeout: 246 seconds) |
| 23:37:32 | → | poscat joins (~poscat@114.245.110.107) |
| 23:40:56 | × | gurkenglas quits (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:41:08 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 23:41:36 | → | talismanick joins (~talismani@76.133.152.122) |
| 23:42:09 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:42:30 | → | Guest323 joins (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 23:44:10 | → | zebrag joins (~chris@user/zebrag) |
| 23:45:48 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 23:46:51 | × | acidjnk quits (~acidjnk@p200300d6e7137a38ed09692e24fc2d3d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:47:02 | × | MajorBiscuit quits (~MajorBisc@31-23-159.netrun.cytanet.com.cy) (Quit: WeeChat 3.6) |
| 23:47:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 23:48:31 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 23:53:23 | → | cheater_ joins (~Username@user/cheater) |
| 23:56:32 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 23:56:40 | cheater_ | is now known as cheater |
| 23:58:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 23:59:56 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
All times are in UTC on 2022-12-24.