| 2021-08-01 00:01:10 +0200 | zeenk | (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 2021-08-01 00:01:46 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-08-01 00:02:03 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) |
| 2021-08-01 00:03:13 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) |
| 2021-08-01 00:04:08 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) (Client Quit) |
| 2021-08-01 00:05:49 +0200 | kuribas | (~user@ptr-25vy0i7fhp3jdg2nokv.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-08-01 00:06:38 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) |
| 2021-08-01 00:09:13 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) (Read error: Connection reset by peer) |
| 2021-08-01 00:09:26 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 250 seconds) |
| 2021-08-01 00:09:26 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) |
| 2021-08-01 00:13:11 +0200 | Melantha | (~pyon@user/pyon) (Ping timeout: 268 seconds) |
| 2021-08-01 00:13:40 +0200 | Melantha | (~pyon@user/pyon) |
| 2021-08-01 00:15:09 +0200 | jess | (~jess@libera/staff/jess) |
| 2021-08-01 00:17:15 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-01 00:19:56 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 00:20:30 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 00:20:46 +0200 | <dsal> | Well, failures are kind of bad here. I'm not sure what I did wrong, but the only output I get in my test is `Exception: arithmetic underflow`... which I guess suggests the problem is in my generator. |
| 2021-08-01 00:24:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-01 00:24:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-01 00:25:29 +0200 | <Ariakenom> | oh interesting. underflow as an error? where from |
| 2021-08-01 00:25:34 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 272 seconds) |
| 2021-08-01 00:26:10 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-08-01 00:27:01 +0200 | Guest9130 | (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com) |
| 2021-08-01 00:27:10 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) |
| 2021-08-01 00:27:28 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 00:28:12 +0200 | <dsal> | The problem was that my generator was generating an invalid geometry. I think my Arbitrary instance *could* have done that, but it didn't. |
| 2021-08-01 00:28:53 +0200 | <dsal> | On one hand, it might be that I just don't understand how to use these hedgehog things. |
| 2021-08-01 00:28:55 +0200 | <Ariakenom> | what number type was it that gave that error? |
| 2021-08-01 00:29:06 +0200 | <dsal> | Double, I think. |
| 2021-08-01 00:30:40 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-01 00:31:35 +0200 | <Ariakenom> | makes sense. just wondering since underflow is usually not an error |
| 2021-08-01 00:32:04 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-08-01 00:33:39 +0200 | egoist | (~egoist@186.235.82.100) (Quit: WeeChat 3.2) |
| 2021-08-01 00:34:41 +0200 | <Ariakenom> | in case someone didnt know it's when a float can't represent a small number, small in magnitude, and rounds it to zero. which means the relative error broke the bounds that otherwise hold |
| 2021-08-01 00:35:59 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-01 00:39:11 +0200 | <dsal> | This code scales one geometry into another. If you try to make a geometry with 0 length, the scaling isn't valid. |
| 2021-08-01 00:42:02 +0200 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 272 seconds) |
| 2021-08-01 00:44:58 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-08-01 00:45:11 +0200 | fossdd | (~fossdd@sourcehut/user/fossdd) |
| 2021-08-01 00:48:29 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) (Read error: Connection reset by peer) |
| 2021-08-01 00:48:42 +0200 | <dsal> | Well, converted my tests to hedgehog. So far... similar. Slightly less ergonomic. These tests don't benefit much from the things that hedgehog is best at, but it's a bit of practice. |
| 2021-08-01 00:48:51 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) |
| 2021-08-01 00:52:51 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 265 seconds) |
| 2021-08-01 00:53:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 00:54:04 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-01 00:57:52 +0200 | MorrowM | (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-08-01 01:00:15 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 01:01:34 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 01:02:06 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 01:06:10 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds) |
| 2021-08-01 01:10:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-01 01:10:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-01 01:11:04 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-01 01:12:29 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-01 01:12:47 +0200 | dudek | (~dudek@185.150.236.155) (Quit: Leaving) |
| 2021-08-01 01:13:18 +0200 | Ailrk | (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) |
| 2021-08-01 01:15:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 01:16:05 +0200 | Ailrk | (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) (Quit: WeeChat 3.2) |
| 2021-08-01 01:17:09 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 01:18:14 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 252 seconds) |
| 2021-08-01 01:20:31 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-08-01 01:20:42 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-08-01 01:21:34 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-08-01 01:23:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 01:24:31 +0200 | Guest9130 | (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 2021-08-01 01:25:43 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 265 seconds) |
| 2021-08-01 01:26:33 +0200 | koz | (~koz@121.99.240.58) |
| 2021-08-01 01:27:44 +0200 | Guest9133 | (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com) |
| 2021-08-01 01:29:20 +0200 | sweater | (~sweater@206.81.18.26) |
| 2021-08-01 01:30:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-08-01 01:31:52 +0200 | Ailrk | (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) |
| 2021-08-01 01:32:04 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 272 seconds) |
| 2021-08-01 01:33:23 +0200 | koz | (~koz@121.99.240.58) |
| 2021-08-01 01:36:48 +0200 | <Guest9133> | Is it possible to convert a heterogeneous tuple to a heterogeneous typed list (specifically [this one](https://hackage.haskell.org/package/hvect-0.4.0.0/docs/Data-HVect.html))? I tried type families to resolve the `HVect` type, but it seems type families + fundeps won't resolve the base case (as in [this SO |
| 2021-08-01 01:36:49 +0200 | <Guest9133> | post](https://stackoverflow.com/questions/45360959/illegal-type-synonym-family-application-in-instance-w…)). |
| 2021-08-01 01:37:02 +0200 | retro_ | (~retro@5ec19a54.skybroadband.com) |
| 2021-08-01 01:37:13 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 01:39:18 +0200 | <Guest9133> | Actually my bad, it was this SO post: https://stackoverflow.com/questions/36175839/type-ambiguity-in-haskell-type-families |
| 2021-08-01 01:39:46 +0200 | retroid_ | (~retro@5ec19a54.skybroadband.com) (Ping timeout: 240 seconds) |
| 2021-08-01 01:40:17 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2021-08-01 01:41:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-01 01:45:46 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 240 seconds) |
| 2021-08-01 01:46:26 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 01:46:50 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 01:49:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-08-01 01:51:59 +0200 | Ailrk | (~Ailrk@node-1w7jr9umlq4q5zsu67z73tx37.ipv6.telus.net) (Quit: WeeChat 3.2) |
| 2021-08-01 01:52:20 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 02:00:02 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops) |
| 2021-08-01 02:01:02 +0200 | zopsi | (~zopsi@irc.dir.ac) |
| 2021-08-01 02:03:51 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 02:04:02 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 02:04:11 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-01 02:04:42 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 02:04:42 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 02:05:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-01 02:05:49 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 02:10:42 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 02:10:53 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-08-01 02:12:42 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-01 02:25:30 +0200 | neightchan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2021-08-01 02:29:09 +0200 | pschorf | (~user@c-73-77-28-188.hsd1.tx.comcast.net) |
| 2021-08-01 02:31:54 +0200 | neightchan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 02:31:55 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 02:33:44 +0200 | markpythonicbitc | (~textual@50.228.44.6) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-01 02:33:44 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds) |
| 2021-08-01 02:34:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-01 02:34:59 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 02:37:54 +0200 | mceldeen | (~igloo@174-16-176-84.hlrn.qwest.net) |
| 2021-08-01 02:38:47 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) () |
| 2021-08-01 02:38:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-01 02:40:35 +0200 | mceldeen | (~igloo@174-16-176-84.hlrn.qwest.net) (Remote host closed the connection) |
| 2021-08-01 02:40:48 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-01 02:41:36 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-08-01 02:41:55 +0200 | <Guest9133> | Nevermind, you can just use `hToTuple` and `hFromTuple` https://hackage.haskell.org/package/HList-0.5.0.0 to convert. That's what I get for having case-sensitive search on :/ |
| 2021-08-01 02:42:15 +0200 | Guest9133 | (~Guest91@2603-8080-6d0d-35bb-0000-0000-0000-0aa5.res6.spectrum.com) (Quit: Client closed) |
| 2021-08-01 02:42:29 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 02:43:37 +0200 | vysn | (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-01 02:45:54 +0200 | Null_A | (~null_a@67-207-96-2.static.wiline.com) () |
| 2021-08-01 02:47:26 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 02:49:06 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 03:02:46 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 268 seconds) |
| 2021-08-01 03:03:05 +0200 | willbush | (~user@47.183.200.14) |
| 2021-08-01 03:03:48 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-01 03:03:48 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 03:03:51 +0200 | allbery_b | geekosaur |
| 2021-08-01 03:06:19 +0200 | favonia | (~favonia@user/favonia) |
| 2021-08-01 03:10:14 +0200 | xff0x | (~xff0x@2001:1a81:536d:8c00:2d4:a9e1:415e:5f77) (Ping timeout: 272 seconds) |
| 2021-08-01 03:11:28 +0200 | xff0x | (~xff0x@2001:1a81:53aa:2400:18a4:88bf:e107:53c2) |
| 2021-08-01 03:13:43 +0200 | sheepduck | (~sheepduck@user/sheepduck) |
| 2021-08-01 03:28:16 +0200 | mnrmnaugh | (~mnrmnaugh@68.162.206.56) (Leaving) |
| 2021-08-01 03:28:16 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 03:29:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-01 03:34:18 +0200 | theproffesor | (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2021-08-01 03:34:30 +0200 | theproffesor | (~theproffe@2601:282:847f:8010::3a29) |
| 2021-08-01 03:34:35 +0200 | theproffesor | (~theproffe@2601:282:847f:8010::3a29) (Changing host) |
| 2021-08-01 03:34:35 +0200 | theproffesor | (~theproffe@user/theproffesor) |
| 2021-08-01 03:35:55 +0200 | pschorf | (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 258 seconds) |
| 2021-08-01 03:44:02 +0200 | mnrmnaughmnrgle | (~mnrmnaugh@68.162.206.56) |
| 2021-08-01 03:44:22 +0200 | CannabisIndica | (~mesa@user/mesaboogie) |
| 2021-08-01 03:46:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 03:50:13 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) |
| 2021-08-01 03:52:14 +0200 | poi | (~poi@sp49-98-139-27.msd.spmode.ne.jp) |
| 2021-08-01 03:52:44 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 03:53:54 +0200 | agua | (~agua@191.177.175.57) (Ping timeout: 250 seconds) |
| 2021-08-01 03:54:32 +0200 | poi | (~poi@sp49-98-139-27.msd.spmode.ne.jp) (Client Quit) |
| 2021-08-01 03:57:10 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Client Quit) |
| 2021-08-01 04:06:26 +0200 | Tristano8 | (~Tristano8@2406:3400:357:7100:f413:53ac:4f52:e657) |
| 2021-08-01 04:15:59 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 04:20:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-01 04:21:52 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 04:22:24 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 04:25:14 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-01 04:25:14 +0200 | FinnElija | Guest3020 |
| 2021-08-01 04:25:14 +0200 | finn_elija | FinnElija |
| 2021-08-01 04:28:10 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds) |
| 2021-08-01 04:28:25 +0200 | Guest3020 | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 265 seconds) |
| 2021-08-01 04:30:39 +0200 | Tristano8 | (~Tristano8@2406:3400:357:7100:f413:53ac:4f52:e657) (Quit: Client closed) |
| 2021-08-01 04:34:34 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-01 04:38:05 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 04:38:27 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 04:39:54 +0200 | Null_A | (~null_a@2601:645:8700:2290:3120:cd5f:ccfe:34d6) |
| 2021-08-01 04:45:15 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 04:47:03 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 04:50:36 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 04:55:00 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 250 seconds) |
| 2021-08-01 04:55:37 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 04:56:10 +0200 | ukari | (~ukari@user/ukari) |
| 2021-08-01 04:56:56 +0200 | td_ | (~td@muedsl-82-207-238-147.citykom.de) (Ping timeout: 265 seconds) |
| 2021-08-01 04:58:24 +0200 | td_ | (~td@muedsl-82-207-238-246.citykom.de) |
| 2021-08-01 05:00:16 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 05:01:34 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 05:02:06 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 05:04:16 +0200 | alx741 | (~alx741@186.178.108.145) (Quit: alx741) |
| 2021-08-01 05:08:42 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds) |
| 2021-08-01 05:13:59 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-01 05:21:43 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2021-08-01 05:31:42 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-08-01 05:32:19 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) |
| 2021-08-01 05:34:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-01 05:38:29 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 05:39:29 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-01 05:42:36 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 05:43:11 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-01 05:46:45 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-08-01 05:46:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 05:49:54 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds) |
| 2021-08-01 05:59:37 +0200 | Guest9 | (~Guest9@43.250.157.202) |
| 2021-08-01 06:02:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-01 06:03:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-01 06:05:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2021-08-01 06:13:54 +0200 | dermato | (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 272 seconds) |
| 2021-08-01 06:14:47 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-01 06:16:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 06:23:19 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 06:26:01 +0200 | agua | (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) |
| 2021-08-01 06:27:42 +0200 | reumeth | (~reumeth@user/reumeth) |
| 2021-08-01 06:28:02 +0200 | sheepduck | (~sheepduck@user/sheepduck) (Ping timeout: 256 seconds) |
| 2021-08-01 06:28:28 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) (Ping timeout: 272 seconds) |
| 2021-08-01 06:29:12 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-08-01 06:31:30 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 240 seconds) |
| 2021-08-01 06:37:07 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-01 06:37:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 06:42:36 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-01 06:42:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-08-01 06:47:17 +0200 | willbush | (~user@47.183.200.14) (Remote host closed the connection) |
| 2021-08-01 06:51:02 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-01 06:57:41 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-01 06:58:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-01 06:59:06 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-01 07:01:28 +0200 | mattil | (~mattilinn@84-253-253-42.bb.dnainternet.fi) |
| 2021-08-01 07:02:36 +0200 | mattil | (~mattilinn@84-253-253-42.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-01 07:03:08 +0200 | mattil | (~mattilinn@84-253-253-42.bb.dnainternet.fi) |
| 2021-08-01 07:06:27 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-08-01 07:08:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 07:18:57 +0200 | Guest9 | (~Guest9@43.250.157.202) (Quit: Connection closed) |
| 2021-08-01 07:21:05 +0200 | mattil | (~mattilinn@84-253-253-42.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-01 07:44:49 +0200 | steven1 | (~steven@172.92.136.203) |
| 2021-08-01 07:45:56 +0200 | <steven1> | hello, conduit has a function mapOutput :: Monad m => (o1 -> o2) -> ConduitT i o1 m r -> ConduitT i o2 m r . Is there a similar function like mapMOutput :: Monad m => (o1 -> m o2) -> ConduitT i o1 m r -> ConduitT i o2 m r ? It seems like there isn't, I'm wondering why not |
| 2021-08-01 07:48:06 +0200 | <steven1> | the reason I want it: I'm trying to model request/response between parallel actors, which communicate using a conduit. So one will send a 'request', then I want to mapMOutput to give the request a newMVar, then when the other actor wants to 'respond', it will do a putMVar on it |
| 2021-08-01 07:58:25 +0200 | anandprabhu | (~anandprab@185.195.233.158) |
| 2021-08-01 07:59:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-01 08:01:17 +0200 | <steven1> | I guess I can always put another conduit in between to do this. Still, I'm curious if there's a reason this doesn't exist |
| 2021-08-01 08:08:43 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-01 08:08:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-01 08:14:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2021-08-01 08:15:22 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-01 08:17:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-01 08:18:24 +0200 | steven1 | (~steven@172.92.136.203) (Quit: WeeChat 3.2) |
| 2021-08-01 08:20:38 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-01 08:21:36 +0200 | anandprabhu | (~anandprab@185.195.233.158) (Quit: Leaving) |
| 2021-08-01 08:22:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-01 08:23:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-08-01 08:23:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-08-01 08:28:14 +0200 | Null_A | (~null_a@2601:645:8700:2290:3120:cd5f:ccfe:34d6) (Remote host closed the connection) |
| 2021-08-01 08:28:49 +0200 | Null_A | (~null_a@2601:645:8700:2290:3120:cd5f:ccfe:34d6) |
| 2021-08-01 08:29:56 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 08:31:38 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-08-01 08:32:53 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-08-01 08:33:13 +0200 | azeem | (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-01 08:33:52 +0200 | Null_A | (~null_a@2601:645:8700:2290:3120:cd5f:ccfe:34d6) (Ping timeout: 272 seconds) |
| 2021-08-01 08:39:21 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 08:39:25 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-01 08:39:58 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 08:43:06 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:3530:23ac:2a94:bffd) |
| 2021-08-01 08:44:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-01 08:45:12 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-08-01 08:47:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 08:57:43 +0200 | gustik | (~gustik@2a01:c844:241f:c020:312a:c22f:e497:698f) |
| 2021-08-01 08:59:22 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 08:59:26 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-01 09:10:14 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 09:17:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-01 09:19:22 +0200 | xff0x | (~xff0x@2001:1a81:53aa:2400:18a4:88bf:e107:53c2) (Remote host closed the connection) |
| 2021-08-01 09:19:38 +0200 | xff0x | (~xff0x@2001:1a81:53aa:2400:2c82:924c:5eed:b307) |
| 2021-08-01 09:21:19 +0200 | dhil | (~dhil@195.213.192.47) |
| 2021-08-01 09:22:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 09:25:38 +0200 | zeenk | (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 2021-08-01 09:28:54 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-01 09:29:03 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-08-01 09:30:44 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 09:31:01 +0200 | CannabisIndica | (~mesa@user/mesaboogie) (Read error: Connection reset by peer) |
| 2021-08-01 09:31:03 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Remote host closed the connection) |
| 2021-08-01 09:32:44 +0200 | mesa | (~mesa@user/mesaboogie) |
| 2021-08-01 09:33:16 +0200 | mesa | CannabisIndica |
| 2021-08-01 09:35:51 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-08-01 09:37:56 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 09:38:04 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-01 09:39:44 +0200 | nate3 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 09:41:59 +0200 | CannabisIndica | (~mesa@user/mesaboogie) (Read error: Connection reset by peer) |
| 2021-08-01 09:42:32 +0200 | mesa | (~mesa@user/mesaboogie) |
| 2021-08-01 09:44:26 +0200 | sarapple | (~sarapple@174.127.249.180) |
| 2021-08-01 09:46:36 +0200 | sarapple | (~sarapple@174.127.249.180) (Quit: Lost terminal) |
| 2021-08-01 09:49:51 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 09:49:54 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-01 09:50:12 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-01 09:50:26 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 09:52:28 +0200 | aegon | (~mike@174.127.249.180) (Quit: leaving) |
| 2021-08-01 09:54:34 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-01 09:59:08 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-01 10:00:16 +0200 | vysn | (~vysn@user/vysn) |
| 2021-08-01 10:00:16 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-08-01 10:00:40 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-08-01 10:00:59 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Remote host closed the connection) |
| 2021-08-01 10:02:14 +0200 | peterhil | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-08-01 10:08:10 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-08-01 10:11:04 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-01 10:11:52 +0200 | azeem | (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 256 seconds) |
| 2021-08-01 10:12:02 +0200 | azeem | (~azeem@176.200.193.62) |
| 2021-08-01 10:14:37 +0200 | azeem | (~azeem@176.200.193.62) (Read error: Connection reset by peer) |
| 2021-08-01 10:16:25 +0200 | azeem | (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-01 10:16:48 +0200 | phma | (~phma@host-67-44-208-68.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-01 10:17:23 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-01 10:17:41 +0200 | phma | (phma@2001:5b0:212a:da48:ca78:cb9c:83eb:4c64) |
| 2021-08-01 10:17:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 10:18:03 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-01 10:21:02 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) |
| 2021-08-01 10:22:58 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-01 10:28:35 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-01 10:35:38 +0200 | mei | (~mei@user/mei) |
| 2021-08-01 10:42:26 +0200 | mastarija | (~mastarija@31.217.8.174) |
| 2021-08-01 10:42:50 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 10:44:15 +0200 | <mastarija> | I have the following types: |
| 2021-08-01 10:44:19 +0200 | <mastarija> | (v -> x) -> TheType m x e -> TheType m v (Maybe e) |
| 2021-08-01 10:44:21 +0200 | <mastarija> | (v -> t x) -> TheType m x e -> TheType m v (Maybe (t (Maybe e))) |
| 2021-08-01 10:44:24 +0200 | <mastarija> | (v -> x) -> [TheType m x e] -> TheType m v (Maybe e) |
| 2021-08-01 10:44:26 +0200 | <mastarija> | (v -> t x) -> [TheType m x e] -> TheType m v (Maybe (t (Maybe e))) |
| 2021-08-01 10:44:40 +0200 | <mastarija> | And I wanted to make a class that would help me overload those operations |
| 2021-08-01 10:44:48 +0200 | <mastarija> | e.g. class DoIt f v o | o -> f where doIt :: f -> v -> o |
| 2021-08-01 10:45:16 +0200 | <mastarija> | But that can't be done without some tag, right? |
| 2021-08-01 10:46:22 +0200 | <mastarija> | I can't figure out how to create instances without introducing a tag `t` in my DoIt class, and make it determine `f` `v` and `o` |
| 2021-08-01 10:47:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-01 10:47:41 +0200 | <mastarija> | It feels like it should be possible, but then again, I can't figure it out. |
| 2021-08-01 10:47:46 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-01 10:48:16 +0200 | <tomsmeding> | mastarija: what goes wrong when you just write 'instance DoIt (v -> x) (TheType m x e) (TheType m v (Maybe e)) where ...' for each of the options |
| 2021-08-01 10:48:41 +0200 | <tomsmeding> | (with FlexibleInstances) |
| 2021-08-01 10:49:09 +0200 | <tomsmeding> | oh because 'x' is not implied? |
| 2021-08-01 10:49:15 +0200 | <mastarija> | Coverage condition fails for fundep o -> f |
| 2021-08-01 10:49:27 +0200 | <mastarija> | lhs type `Validator m v (Maybe e)' does not determine rhs type `v -> x' |
| 2021-08-01 10:49:50 +0200 | <mastarija> | Un-determined variable: x |
| 2021-08-01 10:50:20 +0200 | <mastarija> | I mean, I guess FunDeps expect me to provide a "solid" type |
| 2021-08-01 10:50:42 +0200 | <mastarija> | Without type variables |
| 2021-08-01 10:50:50 +0200 | <tomsmeding> | no the error means that there are multiple 'f' types that correspond to the same 'o' type |
| 2021-08-01 10:50:55 +0200 | <tomsmeding> | indeed, one for every instantiation of 'x' |
| 2021-08-01 10:51:08 +0200 | <tomsmeding> | which contradicts the fundep, which literally says that there is one 'f' type for each valid 'o' |
| 2021-08-01 10:51:17 +0200 | <mastarija> | A... |
| 2021-08-01 10:51:30 +0200 | <mastarija> | tomsmeding, yes I didn't think about it that way |
| 2021-08-01 10:51:42 +0200 | <tomsmeding> | do you need to fundep? |
| 2021-08-01 10:51:45 +0200 | <tomsmeding> | without it seems to work |
| 2021-08-01 10:51:50 +0200 | <mastarija> | Really? |
| 2021-08-01 10:51:54 +0200 | <mastarija> | Oh.. |
| 2021-08-01 10:52:19 +0200 | <mastarija> | Huh... look at that |
| 2021-08-01 10:52:29 +0200 | <tomsmeding> | s/to fundep/the fundep/ |
| 2021-08-01 10:53:45 +0200 | mastarija_ | (~mastarija@31.217.8.174) |
| 2021-08-01 10:54:35 +0200 | mastarija_ | (~mastarija@31.217.8.174) (Client Quit) |
| 2021-08-01 10:54:51 +0200 | mastarija_ | (~mastarija@31.217.8.174) |
| 2021-08-01 10:55:56 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-01 10:56:15 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-01 10:57:38 +0200 | mastarija | (~mastarija@31.217.8.174) (Ping timeout: 272 seconds) |
| 2021-08-01 11:00:23 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-01 11:05:34 +0200 | Guest9 | (~Guest9@43.250.157.202) |
| 2021-08-01 11:08:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-01 11:13:43 +0200 | mastarija_ | (~mastarija@31.217.8.174) (Quit: Leaving) |
| 2021-08-01 11:17:15 +0200 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) |
| 2021-08-01 11:17:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 11:18:13 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 11:20:45 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-01 11:21:56 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-08-01 11:22:13 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-01 11:26:35 +0200 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-01 11:28:29 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-01 11:31:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-01 11:31:51 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 11:32:05 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-01 11:36:18 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 256 seconds) |
| 2021-08-01 11:42:31 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 11:46:53 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-01 11:50:09 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 11:51:02 +0200 | ukari | (~ukari@user/ukari) |
| 2021-08-01 11:52:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 11:52:49 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 11:55:26 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-01 11:58:26 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-01 12:05:24 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-08-01 12:08:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-01 12:08:38 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-08-01 12:09:19 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 12:09:38 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-08-01 12:12:18 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-01 12:13:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-01 12:14:16 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2021-08-01 12:15:26 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-01 12:20:36 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-01 12:24:00 +0200 | mesa | CannabisIndica |
| 2021-08-01 12:29:21 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 12:29:23 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 12:29:29 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 12:36:59 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-08-01 12:41:51 +0200 | CannabisIndica | (~mesa@user/mesaboogie) (Read error: Connection reset by peer) |
| 2021-08-01 12:43:15 +0200 | mesa | (~mesa@user/mesaboogie) |
| 2021-08-01 12:43:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2021-08-01 12:47:01 +0200 | mesa | CannabisIndica |
| 2021-08-01 12:47:56 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) |
| 2021-08-01 12:51:00 +0200 | agua | (~agua@2804:14c:8793:8e2f:64f8:45c2:2056:5625) (Ping timeout: 272 seconds) |
| 2021-08-01 12:52:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-01 12:54:53 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-01 12:56:47 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-01 12:57:27 +0200 | Guest9 | (~Guest9@43.250.157.202) (Quit: Connection closed) |
| 2021-08-01 13:02:55 +0200 | MoC | (~moc@user/moc) |
| 2021-08-01 13:06:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-08-01 13:06:45 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-01 13:08:37 +0200 | agua | (~agua@191.177.175.57) |
| 2021-08-01 13:09:00 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 2021-08-01 13:09:02 +0200 | fendor | (~fendor@178.165.188.54.wireless.dyn.drei.com) |
| 2021-08-01 13:10:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-01 13:10:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 13:11:36 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) (Ping timeout: 250 seconds) |
| 2021-08-01 13:13:12 +0200 | <dexterfoo> | is there a non-blocking version of Conduit "await" function? I want to process all the current data that is queued |
| 2021-08-01 13:14:17 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-08-01 13:14:52 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) |
| 2021-08-01 13:15:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-08-01 13:16:38 +0200 | <lechner> | Hi, Haskell offers interesting methods to structure database access like esqueleto. Who uses such domain specific features, please, and what is the benefit over traditional ways like postgres-simple, aside from possibly being independent of the specific SQL grovider? Thanks! |
| 2021-08-01 13:18:24 +0200 | hmmmas | (~fidnc@183.217.200.220) |
| 2021-08-01 13:19:32 +0200 | <dexterfoo> | i think the advantages are: 1) type checks that validate that your queries are correct and match the database schema. 2) composability: create small query fragments that can be reused in bigger queries |
| 2021-08-01 13:20:46 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-01 13:21:15 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) |
| 2021-08-01 13:23:09 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 13:23:18 +0200 | agua | (~agua@191.177.175.57) (Ping timeout: 272 seconds) |
| 2021-08-01 13:25:41 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-01 13:26:23 +0200 | <hpc> | especially #2 - the alternatives are actually writing out the query (which it seems nobody knows how to do anymore) |
| 2021-08-01 13:26:47 +0200 | <hpc> | using an orm that lifts the logic outside the query, leading to some pretty embarassing performance problems (i have seen this in python) |
| 2021-08-01 13:26:59 +0200 | <hpc> | or using store procedures and views, which... nobody seems to know how to be a dba anymore either |
| 2021-08-01 13:28:19 +0200 | <Hanicef> | hpc: yeah, orm has its caveats, but it also have benefits, especially since haskell's laziness helps with optimizing queries at times |
| 2021-08-01 13:29:02 +0200 | <hpc> | at times |
| 2021-08-01 13:29:31 +0200 | <Hanicef> | have you heard of the n+1 problem with orms? if not, i suggest you read up about it :) |
| 2021-08-01 13:29:37 +0200 | <hpc> | if you're writing out the query yourself, the language doesn't have to be lazy, you just control how far into the table you take the cursor |
| 2021-08-01 13:29:42 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 13:30:05 +0200 | bruceleewees | (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) (Ping timeout: 258 seconds) |
| 2021-08-01 13:32:37 +0200 | <hpc> | Hanicef: yeah, i am referring to the n+1 problem there |
| 2021-08-01 13:32:54 +0200 | bruceleewees | (~bruceleew@83.24.236.64.ipv4.supernova.orange.pl) |
| 2021-08-01 13:33:08 +0200 | <hpc> | but n+1 is optimistic if you have sufficiently complex data |
| 2021-08-01 13:34:50 +0200 | <hpc> | if you look at it from the python code's perspective, it can easily be 2n or n**2 |
| 2021-08-01 13:35:19 +0200 | <hpc> | because you don't think about what sql each operation does, and you just casually foo.bar() your way to passing the test suite |
| 2021-08-01 13:35:52 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 256 seconds) |
| 2021-08-01 13:35:58 +0200 | Brianmancer | (~Neuromanc@user/briandamag) (Ping timeout: 272 seconds) |
| 2021-08-01 13:36:03 +0200 | <dexterfoo> | The high-level haskell database libraries are more similar to C# LINQ then to ORMs |
| 2021-08-01 13:39:55 +0200 | <maerwald> | Why would you even use SQL if you don't care about performance |
| 2021-08-01 13:40:34 +0200 | <hpc> | because you aren't webscale enough for mongodb and files are bad? |
| 2021-08-01 13:40:42 +0200 | <Hanicef> | maerwald: well, performance does matter if its causing issues for the end user |
| 2021-08-01 13:40:51 +0200 | <hpc> | or you want the acid properties, or you just like the query language |
| 2021-08-01 13:41:07 +0200 | <Hanicef> | the important thing is that it's good enough for the user not to be bothered by it |
| 2021-08-01 13:41:09 +0200 | <maerwald> | no, SQL is entirely about performance... it's decades of optimisation |
| 2021-08-01 13:41:18 +0200 | <hpc> | or the aws budget comes from operations and not development :P |
| 2021-08-01 13:41:19 +0200 | <maerwald> | which is thrown out by ORMs |
| 2021-08-01 13:42:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 13:42:01 +0200 | <Hanicef> | maerwald: it's also an attempt on making a common and portable interface to relational database, but that went terrible |
| 2021-08-01 13:42:01 +0200 | <maerwald> | Files are great |
| 2021-08-01 13:43:02 +0200 | <hpc> | files are potentially great, but it's easy to screw up locking, fsync, etc |
| 2021-08-01 13:43:07 +0200 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 2021-08-01 13:43:23 +0200 | <maerwald> | files are great on non-windows platforms |
| 2021-08-01 13:43:32 +0200 | <merijn> | Files are awful everywhere >.< |
| 2021-08-01 13:43:33 +0200 | <hpc> | heh, that too |
| 2021-08-01 13:43:48 +0200 | <lechner> | maerwald: do the DB alternatives you are thinking of offer data integrity, like ON DELETE CASCADE? |
| 2021-08-01 13:44:01 +0200 | <hpc> | libraries that use files under the hood are often great though |
| 2021-08-01 13:44:06 +0200 | <dexterfoo> | This article claims that "Files are fraught with peril" and you will likely have data loss: https://danluu.com/deconstruct-files/ |
| 2021-08-01 13:44:24 +0200 | <merijn> | dexterfoo: That article is entirely correct, tbh :p |
| 2021-08-01 13:44:34 +0200 | <maerwald> | lechner: check package manager file handling code. The database is supposed to be on one device and all operations are atomic. Man errors can be recovered from. |
| 2021-08-01 13:44:42 +0200 | <merijn> | If you want a database, but you don't, like, want a database, you just want SQLite :p |
| 2021-08-01 13:44:54 +0200 | <hpc> | (proof: all libraries are file-backed eventually, and the only one that matters is postgres :D) |
| 2021-08-01 13:45:14 +0200 | <hpc> | sqlite is so nice firefox bundled it twice |
| 2021-08-01 13:45:21 +0200 | <merijn> | hpc: Untrue, the only ones that matter are postgres *and* SQLite :p |
| 2021-08-01 13:45:45 +0200 | <hpc> | at least, they used to |
| 2021-08-01 13:45:48 +0200 | <merijn> | My only regret from introducing SQLite into my codebase is: 1) not integrating more of it, 2) not integrating it sooner, and 3) using persistent :p |
| 2021-08-01 13:45:54 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 13:46:20 +0200 | <maerwald> | I went from an sqlite->postgres conversion, so I really only use sqlite for toy things or local stuff, not real world data |
| 2021-08-01 13:46:22 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 13:46:32 +0200 | <merijn> | maerwald: It depends what real world data |
| 2021-08-01 13:47:01 +0200 | <merijn> | I'm not advocating the use of SQLite for, like, massively concurrent webservers |
| 2021-08-01 13:47:12 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 13:47:15 +0200 | <merijn> | more for, like, "local commandline tool data management" |
| 2021-08-01 13:47:42 +0200 | <hpc> | we've drifted off of esqueleto, -offtopic? |
| 2021-08-01 13:48:57 +0200 | <maerwald> | merijn: stack uses sqlite (not sure since when) and I think it has only increased the number of errors it throws |
| 2021-08-01 13:49:41 +0200 | <merijn> | maerwald: Seems weird to conclude that that must be SQLite's fault, as opposed to mismanagement |
| 2021-08-01 13:50:09 +0200 | <merijn> | maerwald: Also |
| 2021-08-01 13:50:12 +0200 | <maerwald> | my point is: don't pick a database unless you really need to |
| 2021-08-01 13:50:23 +0200 | <merijn> | stack uses sqlite via persistent (because, duh) |
| 2021-08-01 13:50:27 +0200 | <maerwald> | many people will do it just because they're familiar with it and less familiar with filesystem |
| 2021-08-01 13:50:33 +0200 | <merijn> | And I'm absolutely *not* surprised that that's broken as fuck |
| 2021-08-01 13:50:46 +0200 | <merijn> | Because persistent is a disaster |
| 2021-08-01 13:51:05 +0200 | <merijn> | And I've had to repeatedly fix persistent-sqlite to get reasonable behaviour |
| 2021-08-01 13:51:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-01 13:52:52 +0200 | <maerwald> | oh, to install nix inside docker you need a privileged container. Wat? |
| 2021-08-01 13:53:00 +0200 | <merijn> | Yes |
| 2021-08-01 13:53:17 +0200 | <merijn> | Can't really use Nix without root unless you recompile it yourself |
| 2021-08-01 13:54:42 +0200 | <maerwald> | I'm trying to run stack integration tests in a container, but it requires nix |
| 2021-08-01 13:55:11 +0200 | <maerwald> | first, nix tries to invoke sudo without my consent (and there is none), then it tries to mount /proc or whatever |
| 2021-08-01 13:55:32 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-08-01 13:56:51 +0200 | <maerwald> | did we come up with controlling the environment so we don't have to write robust code anymore? |
| 2021-08-01 13:56:59 +0200 | <hpc> | yes |
| 2021-08-01 13:57:03 +0200 | <hpc> | that's exactly what it is |
| 2021-08-01 13:57:25 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 13:58:29 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-01 13:58:43 +0200 | <hpc> | it started with controlling the runtime environment because "this code is from 1997" |
| 2021-08-01 13:59:02 +0200 | <hpc> | then someone noticed you could control the development environment too, and programmers never had to think ever again |
| 2021-08-01 13:59:14 +0200 | <lechner> | I have never used ORMs due to the "impedence mismatch". With Haskell's declarative features, it seems the language should be able to offer something else, although I am not sure what I am looking for. This article even offers the intriguing statement that "A major mismatch between existing relational and OO languages is the type system differences." Is there anything else, maybe a set-based |
| 2021-08-01 13:59:16 +0200 | <lechner> | approach? https://en.wikipedia.org/wiki/Object%E2%80%93relational_impedance_mismatch |
| 2021-08-01 13:59:25 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 13:59:38 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 14:00:07 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 14:00:57 +0200 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-08-01 14:04:17 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-01 14:04:35 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-01 14:07:07 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 14:08:39 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 14:09:01 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Client Quit) |
| 2021-08-01 14:09:14 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 14:10:50 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2021-08-01 14:16:55 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-01 14:19:13 +0200 | <thomasjm[m]> | @lech |
| 2021-08-01 14:19:13 +0200 | <lambdabot> | Maybe you meant: let leet echo |
| 2021-08-01 14:19:49 +0200 | <thomasjm[m]> | lechner: the most impressive haskell SQL library i've encountered is Beam, you might enjoy the comparison it has here https://haskell-beam.github.io/beam/about/faq/ |
| 2021-08-01 14:22:20 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-08-01 14:22:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-01 14:22:59 +0200 | <lechner> | thomasjm[m]: thanks for that pointer! opaleye was mentioned here by its author not too long ago, and i'm now reading up on beam |
| 2021-08-01 14:23:43 +0200 | <dexterfoo> | what is this GHC error? solveWanteds: too many iterations (limit = 4) |
| 2021-08-01 14:24:42 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-08-01 14:26:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 14:27:12 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 14:28:22 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 14:28:32 +0200 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 272 seconds) |
| 2021-08-01 14:29:40 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 14:31:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 14:39:09 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 14:41:38 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-01 14:43:06 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-01 14:43:42 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-08-01 14:45:03 +0200 | fendor_ | (~fendor@77.119.222.253.wireless.dyn.drei.com) |
| 2021-08-01 14:47:34 +0200 | fendor | (~fendor@178.165.188.54.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2021-08-01 14:48:16 +0200 | hmmmas | (~fidnc@183.217.200.220) (Quit: Leaving.) |
| 2021-08-01 14:49:19 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-01 14:52:56 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 14:56:36 +0200 | fendor_ | fendor |
| 2021-08-01 14:58:12 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds) |
| 2021-08-01 15:01:05 +0200 | alx741 | (~alx741@186.178.108.145) |
| 2021-08-01 15:02:44 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 272 seconds) |
| 2021-08-01 15:03:31 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 265 seconds) |
| 2021-08-01 15:09:42 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9501c19bd88441742b9a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-01 15:10:19 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-08-01 15:11:46 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2021-08-01 15:12:12 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-08-01 15:12:18 +0200 | lawr3nce | (~lawr3nce@5.170.228.233) |
| 2021-08-01 15:12:44 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-01 15:15:30 +0200 | lawr3nce | (~lawr3nce@5.170.228.233) (Client Quit) |
| 2021-08-01 15:16:40 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 15:19:43 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 15:25:45 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-08-01 15:29:44 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-01 15:31:43 +0200 | favonia | (~favonia@user/favonia) |
| 2021-08-01 15:32:28 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 15:32:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-01 15:32:56 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-08-01 15:34:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 15:35:16 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:3530:23ac:2a94:bffd) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-01 15:35:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-01 15:36:56 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-01 15:36:56 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 272 seconds) |
| 2021-08-01 15:37:23 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 15:39:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 15:39:38 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-01 15:41:56 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-01 15:43:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-01 15:49:30 +0200 | berberman_ | (~berberman@user/berberman) |
| 2021-08-01 15:49:36 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 256 seconds) |
| 2021-08-01 15:52:28 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 15:55:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 15:58:09 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-01 16:00:38 +0200 | jmorris | (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-01 16:01:39 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 16:09:09 +0200 | ablutor | (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 2021-08-01 16:09:26 +0200 | stevenxl | (uid133530@id-133530.highgate.irccloud.com) |
| 2021-08-01 16:10:07 +0200 | ablutor | (~quassel@wasscher.com) |
| 2021-08-01 16:10:18 +0200 | <stevenxl> | Hi folks. I have a haskell script and I want to import a module from a package that is not on stackage. The package is on github. Is that possible? |
| 2021-08-01 16:10:25 +0200 | <stevenxl> | https://www.irccloud.com/pastebin/TEmcMFxR/ |
| 2021-08-01 16:10:31 +0200 | <stevenxl> | That's my haskell script there. |
| 2021-08-01 16:12:05 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 252 seconds) |
| 2021-08-01 16:12:16 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-01 16:14:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-01 16:19:24 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 16:20:03 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 16:21:20 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2021-08-01 16:22:43 +0200 | fendor | (~fendor@77.119.222.253.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-01 16:23:06 +0200 | <yushyin> | stevenxl: from the docs i understand that this should be possible https://docs.haskellstack.org/en/stable/yaml_configuration/#extra-deps |
| 2021-08-01 16:23:19 +0200 | <geekosaur> | not with a script, I think; you need a stack.yaml for that |
| 2021-08-01 16:23:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 16:23:42 +0200 | <stevenxl> | geekosaur: that's what I figured. Thank you. @yushyin thank you as well. |
| 2021-08-01 16:25:47 +0200 | markpythonicbitc | (~textual@50.228.44.6) |
| 2021-08-01 16:27:46 +0200 | severen | (~severen@202.36.179.72) |
| 2021-08-01 16:28:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-01 16:29:46 +0200 | chris_ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-01 16:30:04 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 16:31:21 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-01 16:32:01 +0200 | <severen> | \quit |
| 2021-08-01 16:32:08 +0200 | <severen> | oops, ignore that haha |
| 2021-08-01 16:32:31 +0200 | severen | (~severen@202.36.179.72) (WeeChat 3.2) |
| 2021-08-01 16:33:13 +0200 | zeenk | (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) (Quit: Konversation terminated!) |
| 2021-08-01 16:35:14 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-08-01 16:40:56 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 16:43:53 +0200 | sander | (~sander@user/sander) (Ping timeout: 252 seconds) |
| 2021-08-01 16:45:16 +0200 | sander | (~sander@user/sander) |
| 2021-08-01 16:54:02 +0200 | etea | (~et@204.237.91.74) |
| 2021-08-01 16:58:54 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-01 16:59:46 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-08-01 17:03:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 17:08:27 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-01 17:09:21 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
| 2021-08-01 17:10:34 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 17:11:18 +0200 | mr-red | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 272 seconds) |
| 2021-08-01 17:11:55 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
| 2021-08-01 17:13:28 +0200 | chris_ | (~chris@81.96.113.213) |
| 2021-08-01 17:13:53 +0200 | dhil | (~dhil@195.213.192.47) (Remote host closed the connection) |
| 2021-08-01 17:14:41 +0200 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2021-08-01 17:28:44 +0200 | <dsal> | lechner: Haskell In Depth covered a few SQL libs. There's always new stuff, though. Rel8 is the new hotness. Most of the time sqlite-simple feels about right to me. |
| 2021-08-01 17:28:59 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 17:29:11 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 17:29:57 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-01 17:30:19 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 17:30:45 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 17:34:23 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 17:35:22 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-01 17:37:16 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 17:37:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-08-01 17:41:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 17:45:34 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 17:45:46 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-08-01 17:50:56 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-08-01 17:51:18 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-01 17:53:44 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-08-01 17:54:22 +0200 | xff0x | (~xff0x@2001:1a81:53aa:2400:2c82:924c:5eed:b307) (Ping timeout: 272 seconds) |
| 2021-08-01 17:54:51 +0200 | xff0x | (~xff0x@2001:1a81:53aa:2400:8b2:7ea:32a0:1ac6) |
| 2021-08-01 17:56:37 +0200 | <lechner> | dsal: thanks! how about this one https://chrisdone.com/posts/haskelldb-tutorial/ |
| 2021-08-01 17:58:25 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-01 17:58:32 +0200 | <lechner> | dsal: i am on postgres btw |
| 2021-08-01 17:59:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 18:01:37 +0200 | <dsal> | I hear postgresql-simple is also good, but I've not got around to it. SQLite is the right tool for most of my needs these days. I'll spin up a postgres instance again soon, though, I'm sure. |
| 2021-08-01 18:01:58 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-01 18:02:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-01 18:03:10 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-08-01 18:05:26 +0200 | <dsal> | Rel8 is postgres specific. I generally think of databases as separate things from my applications, so I've never really tried fancy integrations. |
| 2021-08-01 18:05:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-01 18:05:54 +0200 | <janus> | hmm NickServ hasn't seen ski for two weeks. is this normal? |
| 2021-08-01 18:06:04 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 18:06:36 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 18:07:39 +0200 | <Hecate> | I don't even know where to reach him |
| 2021-08-01 18:11:18 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 2021-08-01 18:18:23 +0200 | lep | (~lep@94.31.86.183) (Remote host closed the connection) |
| 2021-08-01 18:18:39 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-01 18:19:16 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 2021-08-01 18:19:16 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 2021-08-01 18:21:57 +0200 | lep | (~lep@94.31.86.183) |
| 2021-08-01 18:22:11 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-08-01 18:25:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 18:33:12 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 18:36:21 +0200 | mattil | (~mattilinn@87-92-237-144.rev.dnainternet.fi) |
| 2021-08-01 18:37:34 +0200 | fendor | (~fendor@77.119.222.253.wireless.dyn.drei.com) |
| 2021-08-01 18:39:20 +0200 | mattil | (~mattilinn@87-92-237-144.rev.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-01 18:39:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 18:39:48 +0200 | mattil | (~mattilinn@87-92-237-144.rev.dnainternet.fi) |
| 2021-08-01 18:40:59 +0200 | pavonia | (~user@user/siracusa) |
| 2021-08-01 18:44:22 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 18:44:43 +0200 | ukari | (~ukari@user/ukari) |
| 2021-08-01 18:45:22 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 18:45:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 18:46:49 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 2021-08-01 18:49:42 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 245 seconds) |
| 2021-08-01 18:52:25 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 18:53:25 +0200 | ukari | (~ukari@user/ukari) |
| 2021-08-01 18:53:45 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-01 18:56:24 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) |
| 2021-08-01 18:58:54 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-01 18:59:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-01 18:59:32 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-01 19:06:09 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-08-01 19:06:28 +0200 | econo | (uid147250@user/econo) |
| 2021-08-01 19:11:08 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-01 19:14:20 +0200 | <lechner> | in some places, it's a popular time to go on vacation |
| 2021-08-01 19:14:58 +0200 | Null_A | (~null_a@2601:645:8700:2290:496c:4f7:da8b:7ffb) |
| 2021-08-01 19:22:36 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-08-01 19:23:49 +0200 | ukari | (~ukari@user/ukari) |
| 2021-08-01 19:24:56 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) |
| 2021-08-01 19:25:37 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-01 19:29:05 +0200 | spruit11_ | (~quassel@2a02:a467:ccd6:1:a4c8:34f4:90c5:9bb8) |
| 2021-08-01 19:29:19 +0200 | spruit11_ | (~quassel@2a02:a467:ccd6:1:a4c8:34f4:90c5:9bb8) (Client Quit) |
| 2021-08-01 19:30:36 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:91b8:870a:fb3:8344) (Ping timeout: 256 seconds) |
| 2021-08-01 19:30:41 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-01 19:31:22 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:a4c8:34f4:90c5:9bb8) |
| 2021-08-01 19:31:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-01 19:33:48 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-08-01 19:39:13 +0200 | markpythonicbitc | (~textual@50.228.44.6) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-08-01 19:42:58 +0200 | ukari | (~ukari@user/ukari) (Ping timeout: 240 seconds) |
| 2021-08-01 19:47:17 +0200 | Guest51 | (~Guest51@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-08-01 19:47:34 +0200 | <DigitalKiwi> | maybe they went to the mountains |
| 2021-08-01 19:47:56 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-01 19:48:06 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-01 19:49:47 +0200 | steven1 | (~steven@172.92.136.203) |
| 2021-08-01 19:49:54 +0200 | jess | (~jess@libera/staff/jess) () |
| 2021-08-01 19:50:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 19:50:52 +0200 | <Guest51> | Since Haskell code is referentially transparent, a potential optimization could be that Haskell records functions inputs and outputs in some kind of lookup table and if the function is called with the same inputs that it has been called with previously instead of recomputing the value it could just return the output from its lookup table from a |
| 2021-08-01 19:50:52 +0200 | <Guest51> | previous call. Does Haskell do anything like this? |
| 2021-08-01 19:52:09 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 19:52:19 +0200 | <Lycurgus> | there's a fallacy in your thinking, conflating values with variables |
| 2021-08-01 19:52:46 +0200 | <Lycurgus> | i.e. typed variables |
| 2021-08-01 19:53:08 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2021-08-01 19:53:46 +0200 | <Guest51> | could you give an example? |
| 2021-08-01 19:54:03 +0200 | <Lycurgus> | i will let others respond |
| 2021-08-01 19:54:57 +0200 | <pavonia> | I don't even understand that objection |
| 2021-08-01 19:54:59 +0200 | <spruit11> | it's called memoization and it's done usually in interpreters |
| 2021-08-01 19:55:12 +0200 | <spruit11> | hugs did it. not sure about ghci |
| 2021-08-01 19:55:28 +0200 | <spruit11> | maybe even ghc does it, dunno |
| 2021-08-01 19:56:33 +0200 | <spruit11> | https://stackoverflow.com/questions/3951012/when-is-memoization-automatic-in-ghc-haskell |
| 2021-08-01 19:56:39 +0200 | <Lycurgus> | memoization is not quite what Guest51 described |
| 2021-08-01 19:57:07 +0200 | <Guest51> | Memoization seems to be what I’m talking about |
| 2021-08-01 19:57:07 +0200 | <spruit11> | right, semantics are important |
| 2021-08-01 19:57:31 +0200 | <Guest51> | From 2 minutes on wikipedia |
| 2021-08-01 19:57:52 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-08-01 20:01:02 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-08-01 20:02:09 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-01 20:05:46 +0200 | Guest51 | (~Guest51@pool-96-252-123-136.bstnma.fios.verizon.net) (Quit: Client closed) |
| 2021-08-01 20:07:37 +0200 | mattil | (~mattilinn@87-92-237-144.rev.dnainternet.fi) (Read error: Connection reset by peer) |
| 2021-08-01 20:09:18 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-01 20:09:37 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 20:15:31 +0200 | gustik | (~gustik@2a01:c844:241f:c020:312a:c22f:e497:698f) (Quit: Leaving) |
| 2021-08-01 20:16:39 +0200 | Guest82 | (~Guest82@78.155.54.115) (Quit: Client closed) |
| 2021-08-01 20:17:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-08-01 20:17:19 +0200 | haskell-lurk | (~haskell-l@78.155.54.115) |
| 2021-08-01 20:19:32 +0200 | kenran | (~kenran@200116b82bcccd0065aac765d90955b0.dip.versatel-1u1.de) |
| 2021-08-01 20:21:27 +0200 | asmit | (~asmit@183.83.208.136) |
| 2021-08-01 20:22:50 +0200 | <asmit> | hello everyone |
| 2021-08-01 20:23:21 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-01 20:23:24 +0200 | asmit | (~asmit@183.83.208.136) (Client Quit) |
| 2021-08-01 20:23:56 +0200 | asmit | (~asmit@183.83.208.136) |
| 2021-08-01 20:24:52 +0200 | Guest9 | (~Guest9@43.250.157.202) |
| 2021-08-01 20:26:31 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-08-01 20:29:11 +0200 | asmit | (~asmit@183.83.208.136) (Quit: Leaving) |
| 2021-08-01 20:30:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2021-08-01 20:31:24 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-01 20:31:49 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2021-08-01 20:33:46 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-01 20:44:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 20:45:06 +0200 | <mikko> | anyone know of a good tutorial that explains "comparing" and "compare" and "on" functions? none of this is making any sense to me and the documentation is not great |
| 2021-08-01 20:46:14 +0200 | <monochrom> | First make sense of "compare". This should not be difficult after you understand that it is similar to C's "strcmp" and Java and Scala's "compareTo", but better. |
| 2021-08-01 20:46:37 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-08-01 20:47:00 +0200 | <monochrom> | IMO there is no hurry in understanding "comparing" or "on" until you are thoroughly annoyed by problems that need them. |
| 2021-08-01 20:47:23 +0200 | <monochrom> | This should be true of most tools. |
| 2021-08-01 20:47:35 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-08-01 20:47:45 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-01 20:47:54 +0200 | <mikko> | i find myself using minimumBy/maximumBy or sorting all the time and it's a major pain to get working every time because i don't understand these |
| 2021-08-01 20:48:21 +0200 | sergio812 | (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 2021-08-01 20:49:34 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 20:49:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-01 20:49:40 +0200 | <monochrom> | In that case the code of "comparing" and "on" are the best explanation. Meaning, better than any wordy explanation. |
| 2021-08-01 20:50:13 +0200 | <monochrom> | Because you're supposed to recognize that code matches something you have always repeated by hand. |
| 2021-08-01 20:50:46 +0200 | <mikko> | coming from ruby i'm used to doing arr.min_by(&:abs), so i don't understand why the need for additional compare function |
| 2021-08-01 20:50:58 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 20:52:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-01 20:52:57 +0200 | <sm> | mikko, study the haddocks and play around with them in GHCI, especially with some real sorting code you need to write - it'll click |
| 2021-08-01 20:53:29 +0200 | <sm> | there's no such tutorial, I'm guessing |
| 2021-08-01 20:56:17 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 20:56:32 +0200 | <sm> | actually, probably the best thing is to search haskell code on github for comparing, and look at examples |
| 2021-08-01 20:57:26 +0200 | <[exa]> | mikko: does 'maximumBy (compare `on` abs)' look like the way? the 'compare' is there because it specifies that you expect your data to have Ord instances |
| 2021-08-01 20:58:06 +0200 | <[exa]> | mikko: also in Data.List.Extra there's a definition for maximumOn that does precisely that |
| 2021-08-01 20:58:21 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:ccd8:d07e:17cb:5010) |
| 2021-08-01 20:58:41 +0200 | <sm> | https://github.com/search?q=comparing+extension%3Ahs+language%3AHaskell&type=Code&ref=advsearch&l=… |
| 2021-08-01 20:58:59 +0200 | <mikko> | hmm maximumOn might be what i'm looking for then |
| 2021-08-01 20:59:03 +0200 | <[exa]> | mikko: in higher perspective, combining the functions is so cheap in haskell that people sometimes don't care to name/point out the combinations |
| 2021-08-01 20:59:12 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:ccd8:d07e:17cb:5010) (Client Quit) |
| 2021-08-01 20:59:33 +0200 | <monochrom> | So this is just once again two communities using the "same" word "by" for two conflicting meanings. |
| 2021-08-01 20:59:42 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:ccd8:d07e:17cb:5010) |
| 2021-08-01 20:59:48 +0200 | <monochrom> | Generally don't trust "meaningful" names. |
| 2021-08-01 21:00:16 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:ccd8:d07e:17cb:5010) (Client Quit) |
| 2021-08-01 21:00:25 +0200 | [exa] | contacts Centralized Preposition Registry And Numbering Agency |
| 2021-08-01 21:00:26 +0200 | sergio812 | (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Quit: Client closed) |
| 2021-08-01 21:00:30 +0200 | <c_wraith> | trust in parametricity |
| 2021-08-01 21:00:43 +0200 | markpythonicbitc | (~textual@2601:647:5a00:35:ccd8:d07e:17cb:5010) |
| 2021-08-01 21:01:19 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 21:04:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-08-01 21:05:00 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 2021-08-01 21:05:29 +0200 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-08-01 21:08:06 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 21:11:22 +0200 | finsternis | (~X@23.226.237.192) |
| 2021-08-01 21:14:38 +0200 | brian_da_mage | (~Neuromanc@user/briandamag) |
| 2021-08-01 21:14:53 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:15:37 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:15:51 +0200 | jushur | (~human@user/jushur) |
| 2021-08-01 21:15:59 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 21:19:24 +0200 | reumeth | (~reumeth@user/reumeth) |
| 2021-08-01 21:20:17 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 21:21:37 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:23:15 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:25:54 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-01 21:27:43 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-01 21:29:50 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
| 2021-08-01 21:30:09 +0200 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2021-08-01 21:30:20 +0200 | kenran | (~kenran@200116b82bcccd0065aac765d90955b0.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-01 21:30:52 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 2021-08-01 21:31:15 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-01 21:34:08 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-08-01 21:34:42 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 256 seconds) |
| 2021-08-01 21:35:01 +0200 | jrm | (~jrm@156.34.187.65) (Ping timeout: 265 seconds) |
| 2021-08-01 21:35:12 +0200 | arkho | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-01 21:36:43 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:36:58 +0200 | ccc | (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Ping timeout: 256 seconds) |
| 2021-08-01 21:37:39 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:38:13 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:39:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-01 21:39:49 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:40:53 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:42:05 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:42:36 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 21:44:31 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 21:46:13 +0200 | cheater | (~Username@user/cheater) |
| 2021-08-01 21:51:44 +0200 | fawful | (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 2021-08-01 21:51:58 +0200 | brian_da_mage | Neuromancer |
| 2021-08-01 21:53:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2021-08-01 21:53:44 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-01 21:53:46 +0200 | pesada | (~agua@2804:18:4e:4e3d:1:0:74be:869) (Ping timeout: 272 seconds) |
| 2021-08-01 21:55:40 +0200 | agua | (~agua@2804:18:7d:7d0f:1:0:789f:b031) |
| 2021-08-01 21:57:15 +0200 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:9470:83ca:3e3b:fb3c) |
| 2021-08-01 21:57:27 +0200 | Neuromancer | (~Neuromanc@user/briandamag) (Changing host) |
| 2021-08-01 21:57:27 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2021-08-01 22:01:18 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:549a:3ebc:6e:7e3d) (Ping timeout: 272 seconds) |
| 2021-08-01 22:01:33 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-08-01 22:09:26 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-01 22:11:53 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-01 22:12:02 +0200 | MoC | (~moc@user/moc) |
| 2021-08-01 22:12:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-01 22:13:38 +0200 | Atum_ | (~IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-01 22:13:45 +0200 | qbt | (~edun@user/edun) (Ping timeout: 276 seconds) |
| 2021-08-01 22:16:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 22:21:23 +0200 | Guest9 | (~Guest9@43.250.157.202) (Quit: Connection closed) |
| 2021-08-01 22:24:18 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-01 22:27:25 +0200 | jrm | (~jrm@156.34.187.65) |
| 2021-08-01 22:30:07 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-08-01 22:30:23 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 2021-08-01 22:35:54 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 256 seconds) |
| 2021-08-01 22:36:55 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-01 22:37:30 +0200 | megaTherion_ | megaTherion |
| 2021-08-01 22:39:35 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9504b8b6f59e7f78d4aa.dip0.t-ipconnect.de) |
| 2021-08-01 22:40:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-01 22:41:55 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-01 22:42:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-01 22:45:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-01 22:45:39 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-01 22:46:33 +0200 | td_ | (~td@muedsl-82-207-238-246.citykom.de) (Ping timeout: 265 seconds) |
| 2021-08-01 22:49:45 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-01 22:50:48 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 276 seconds) |
| 2021-08-01 22:51:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-08-01 22:53:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-08-01 22:54:43 +0200 | fendor | (~fendor@77.119.222.253.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-01 22:58:20 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-01 22:58:46 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-01 23:03:05 +0200 | td_ | (~td@94.134.91.166) |
| 2021-08-01 23:03:26 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-08-01 23:04:38 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-01 23:04:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-01 23:08:49 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-01 23:13:50 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-08-01 23:14:57 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-01 23:15:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-01 23:19:53 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-08-01 23:19:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-01 23:20:43 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-08-01 23:21:05 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-08-01 23:24:08 +0200 | <ixlun> | Is it possible to set all bytes to zero for memory created by `mallocForeignPtr`? |
| 2021-08-01 23:28:06 +0200 | Melantha | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-08-01 23:30:25 +0200 | <roboguy__> | ixlun: maybe you could using withForeignPtr and pokeArray? |
| 2021-08-01 23:32:14 +0200 | <monochrom> | Look for Foreign.Marshal.Utils.fillBytes |
| 2021-08-01 23:33:04 +0200 | <monochrom> | It wants Ptr, so combine with withForeignPtr |
| 2021-08-01 23:33:07 +0200 | Cajun | (~Cajun@user/cajun) (Ping timeout: 246 seconds) |
| 2021-08-01 23:33:44 +0200 | <raehik> | is there a way I can find the path of an executable built by Cabal, to upload it on GitHub CI |
| 2021-08-01 23:33:50 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 2021-08-01 23:34:01 +0200 | <raehik> | sadly I can't do it locally and replicate, because it's Windows :( |
| 2021-08-01 23:34:38 +0200 | <ixlun> | Perfect, thanks! |
| 2021-08-01 23:37:05 +0200 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:3d34:bbf:fe54:17bf) |
| 2021-08-01 23:40:52 +0200 | <lechner> | dsal: thanks for that Rel8 pointer. Cool stuff! |
| 2021-08-01 23:40:53 +0200 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:9470:83ca:3e3b:fb3c) (Ping timeout: 252 seconds) |
| 2021-08-01 23:44:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-08-01 23:47:19 +0200 | aegon | (~mike@174.127.249.180) |
| 2021-08-01 23:48:34 +0200 | Arahael | (~arahael@203-206-93-248.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2021-08-01 23:50:06 +0200 | Arahael | (~arahael@14-200-228-14.tpgi.com.au) |
| 2021-08-01 23:53:18 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-01 23:59:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |