| 2022-09-02 00:02:49 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-09-02 00:03:43 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 00:05:08 +0000 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-09-02 00:08:22 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-09-02 00:15:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 00:16:34 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 00:16:34 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 00:20:48 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 00:26:57 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 00:27:11 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-09-02 00:30:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 00:36:09 +0000 | beteigeuze | (~Thunderbi@89.187.168.240) (Ping timeout: 252 seconds) |
| 2022-09-02 00:38:58 +0000 | Guest27 | (~Guest27@37.230.207.224) |
| 2022-09-02 00:40:46 +0000 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 260 seconds) |
| 2022-09-02 00:41:47 +0000 | <segfaultfizzbuzz> | so if i am trying to sample from a distribution (think: monte carlo), let's suppose that i have a batch of observations, such as one hundred observations with some kind of answer regarding whether these observations do or don't have the desired characteristic |
| 2022-09-02 00:42:18 +0000 | <segfaultfizzbuzz> | for instance i have my circle and i select uniformly at random (x, y) coordinates from a unit interval and then i get information on whether each point is inside the circle or not |
| 2022-09-02 00:42:39 +0000 | <segfaultfizzbuzz> | somehow i need to update my sampling method based on these observations |
| 2022-09-02 00:42:58 +0000 | <segfaultfizzbuzz> | but i can't think that there is any "rational" manner for doing this |
| 2022-09-02 00:43:26 +0000 | <segfaultfizzbuzz> | it seems like you always have to have some kind of model which learns how to update the sampling process from the examples |
| 2022-09-02 00:46:15 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Read error: Connection reset by peer) |
| 2022-09-02 00:47:30 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 00:49:24 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-02 00:59:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 00:59:22 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 00:59:39 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-02 01:03:03 +0000 | master | (~Trickster@37.230.207.224) |
| 2022-09-02 01:04:14 +0000 | master | (~Trickster@37.230.207.224) () |
| 2022-09-02 01:04:47 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 01:05:39 +0000 | master | (~Trickster@37.230.207.224) |
| 2022-09-02 01:05:54 +0000 | master | (~Trickster@37.230.207.224) () |
| 2022-09-02 01:06:35 +0000 | Guest27 | (~Guest27@37.230.207.224) (Quit: Client closed) |
| 2022-09-02 01:10:51 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-02 01:12:55 +0000 | Guest8526 | (~Guest85@2601:602:a080:fa0::54ff) (Quit: Client closed) |
| 2022-09-02 01:13:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2fc4:f88d:3507:57fe) (Ping timeout: 268 seconds) |
| 2022-09-02 01:15:06 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 01:16:58 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-02 01:17:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 01:18:56 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-02 01:19:18 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-02 01:19:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 01:24:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 01:26:31 +0000 | khumba | (~khumba@user/khumba) () |
| 2022-09-02 01:30:43 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-09-02 01:33:21 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-09-02 01:34:54 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-02 01:36:03 +0000 | polo | (~Gambino@user/polo) |
| 2022-09-02 01:36:31 +0000 | aeka` | (~aeka@pool-96-233-77-78.bstnma.fios.verizon.net) |
| 2022-09-02 01:37:21 +0000 | aeka | (~aeka@2606:6080:2001:6:e14e:c3f3:8562:6916) (Ping timeout: 260 seconds) |
| 2022-09-02 01:37:21 +0000 | aeka` | aeka |
| 2022-09-02 01:37:32 +0000 | polo | (~Gambino@user/polo) (Client Quit) |
| 2022-09-02 01:38:18 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-02 01:38:19 +0000 | polo | (~Gambino@user/polo) |
| 2022-09-02 01:39:12 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 01:39:51 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 01:40:05 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 01:40:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 01:42:24 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 01:43:30 +0000 | frost | (~frost@user/frost) |
| 2022-09-02 01:45:53 +0000 | razetime | (~quassel@117.193.3.141) |
| 2022-09-02 01:46:36 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 01:48:51 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-09-02 01:48:59 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 01:51:42 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 01:53:09 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 252 seconds) |
| 2022-09-02 01:53:39 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 3.5) |
| 2022-09-02 01:54:43 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 01:55:13 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 01:55:21 +0000 | polo | (~Gambino@user/polo) (Quit: late) |
| 2022-09-02 01:55:52 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 01:56:18 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 02:01:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-02 02:03:44 +0000 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 02:05:10 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 244 seconds) |
| 2022-09-02 02:06:21 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-02 02:08:11 +0000 | fserucas | (~fserucas@83.223.240.58) (Ping timeout: 252 seconds) |
| 2022-09-02 02:14:30 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 02:16:02 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 02:17:30 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-02 02:18:03 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 02:18:32 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 02:18:48 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 02:22:50 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 02:27:16 +0000 | qy | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 268 seconds) |
| 2022-09-02 02:29:18 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-09-02 02:29:36 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 02:29:45 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-02 02:30:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-02 02:36:06 +0000 | fernand | (uid551405@id-551405.tinside.irccloud.com) |
| 2022-09-02 02:40:10 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-02 02:43:54 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 02:44:53 +0000 | td_ | (~td@94.134.91.37) (Ping timeout: 255 seconds) |
| 2022-09-02 02:46:14 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-02 02:46:32 +0000 | td_ | (~td@94.134.91.208) |
| 2022-09-02 02:58:01 +0000 | mbuf | (~Shakthi@49.204.128.234) |
| 2022-09-02 02:59:08 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 03:01:04 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 03:01:21 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-09-02 03:01:39 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
| 2022-09-02 03:10:06 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 03:10:51 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:11:26 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 03:13:00 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:14:29 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 03:14:44 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:15:03 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 03:18:34 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 03:24:50 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 03:25:00 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 03:25:48 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:27:23 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 03:29:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-02 03:30:18 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 240 seconds) |
| 2022-09-02 03:31:43 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 03:35:41 +0000 | <albet70> | how to implement chunksOf with lambda? |
| 2022-09-02 03:45:42 +0000 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-09-02 03:46:31 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-09-02 03:53:28 +0000 | <dsal> | albet70: That question's a little odd. What are you trying to do? |
| 2022-09-02 03:53:50 +0000 | mixfix41 | (~seikoreg2@user/mixfix41) |
| 2022-09-02 03:56:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 04:05:41 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 04:09:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 04:09:58 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds) |
| 2022-09-02 04:10:33 +0000 | komikat[m] | (~komikatma@2001:470:69fc:105::1:c71e) |
| 2022-09-02 04:10:39 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 04:11:05 +0000 | <komikat[m]> | hi |
| 2022-09-02 04:11:11 +0000 | <komikat[m]> | is Haskell programming from ff still a good book to learn haskell/fp from |
| 2022-09-02 04:11:11 +0000 | <komikat[m]> | have read like 5 chapters but find it boring and can't motivate myself enough to go through it |
| 2022-09-02 04:11:47 +0000 | <glguy> | still? |
| 2022-09-02 04:12:23 +0000 | <dsal> | komikat[m]: I read it concurrently with project work. I thought it was good. Some people don't like it. |
| 2022-09-02 04:12:54 +0000 | <maerwald[m]> | komikat: burn the books and staht coding |
| 2022-09-02 04:13:29 +0000 | <komikat[m]> | glguy: still as in I already have been programming for years but its always been something general purpose like python/lisp or low level stuff like C/C++ |
| 2022-09-02 04:13:47 +0000 | <komikat[m]> | maerwald[m]: what do i code :P |
| 2022-09-02 04:13:57 +0000 | <komikat[m]> | dsal: any other recommendation? |
| 2022-09-02 04:14:43 +0000 | <dsal> | There are lots of books, but I don't learn well without a project that's interesting to me. |
| 2022-09-02 04:15:41 +0000 | <komikat[m]> | how do i look for projects that may interest me |
| 2022-09-02 04:15:56 +0000 | <glguy> | komikat[m]: the problem with hpffp is that it typically uses way more words than needed and is often wrong or subtly wrong. You'd want to write a program that was interesting to you. Presumably there's a reason you want to program |
| 2022-09-02 04:16:33 +0000 | <maerwald[m]> | komikat[m]: A terminal game |
| 2022-09-02 04:16:36 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 04:16:48 +0000 | <komikat[m]> | komikat[m]: because my uni focusses a lot more on algorithmic problems instead of straight up projects |
| 2022-09-02 04:16:57 +0000 | <jackdk> | http://jackkelly.name/blog/archives/2022/05/28/text-mode_games_as_first_haskell_projects/ |
| 2022-09-02 04:17:09 +0000 | <maerwald[m]> | komikat: implement graham scan in haskell |
| 2022-09-02 04:17:17 +0000 | <maerwald[m]> | Visualize it with diagrams or so |
| 2022-09-02 04:18:00 +0000 | slack1256 | (~slack1256@191.126.99.78) |
| 2022-09-02 04:18:05 +0000 | <maerwald[m]> | 2d algorithms are fine |
| 2022-09-02 04:19:12 +0000 | <maerwald[m]> | Image processing is also fun |
| 2022-09-02 04:19:15 +0000 | pavonia_ | (~user@user/siracusa) |
| 2022-09-02 04:20:02 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 244 seconds) |
| 2022-09-02 04:20:21 +0000 | <slack1256> | How do I force stack to clone private repo via ssh instead of https? |
| 2022-09-02 04:20:28 +0000 | <slack1256> | repos*. |
| 2022-09-02 04:20:40 +0000 | pavonia_ | pavonia |
| 2022-09-02 04:21:54 +0000 | <slack1256> | Wait, nevermind. |
| 2022-09-02 04:22:16 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-02 04:22:45 +0000 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-09-02 04:23:40 +0000 | <maerwald[m]> | slack1256: protocol is part of the url |
| 2022-09-02 04:26:19 +0000 | <slack1256> | Yeah, `git checkout` had overwritten that file to their https counterpart. |
| 2022-09-02 04:27:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 04:31:16 +0000 | slack1256 | (~slack1256@191.126.99.78) (Remote host closed the connection) |
| 2022-09-02 04:31:23 +0000 | kin | (~kin@5.164.0.203) |
| 2022-09-02 04:31:30 +0000 | enek | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 04:32:51 +0000 | scobydoo | whatsupboy |
| 2022-09-02 04:34:07 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-02 04:34:53 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 04:37:04 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 04:37:10 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 04:38:46 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-09-02 04:40:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 04:43:46 +0000 | c209e6dc-4d76-47 | (~aditya@c-73-103-92-95.hsd1.in.comcast.net) |
| 2022-09-02 04:45:49 +0000 | <c209e6dc-4d76-47> | I am trying to construct a function `m [(a, [(b, c)])] -> m [(a, [(b', c)])]` where I have a function `b -> m b'` |
| 2022-09-02 04:46:04 +0000 | defanor_ | defanor |
| 2022-09-02 04:47:26 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-02 04:52:58 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 04:53:45 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 04:54:50 +0000 | <pavonia> | m is a Monad? |
| 2022-09-02 04:55:27 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 04:55:39 +0000 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 04:56:19 +0000 | <dsal> | If m is a functor, you should remove that from the requirement. |
| 2022-09-02 04:57:16 +0000 | <dsal> | And [] is a functor, and (,) is a functor. |
| 2022-09-02 04:57:38 +0000 | <dsal> | Your function is approximately fmap.fmap.fmap with maybe a first in there somewhere. |
| 2022-09-02 04:58:16 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 04:58:31 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 04:58:34 +0000 | <dsal> | I guess if you really need `b -> m b'` then you replace one of the `fmap`s with a `traverse` |
| 2022-09-02 04:58:46 +0000 | enek | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-09-02 04:58:53 +0000 | <aaron[m]1234> | they would all need to be traverse |
| 2022-09-02 04:59:01 +0000 | <aaron[m]1234> | assuming that's the desired behavior |
| 2022-09-02 05:02:17 +0000 | <c209e6dc-4d76-47> | I think traverse is what I needed |
| 2022-09-02 05:02:19 +0000 | <c209e6dc-4d76-47> | thanks! |
| 2022-09-02 05:03:20 +0000 | <dsal> | :t traverse.traverse.traverse |
| 2022-09-02 05:03:22 +0000 | <lambdabot> | (Applicative f, Traversable t1, Traversable t2, Traversable t3) => (a -> f b) -> t1 (t2 (t3 a)) -> f (t1 (t2 (t3 b))) |
| 2022-09-02 05:03:34 +0000 | <aaron[m]1234> | with lens you can do this easily with Traversals |
| 2022-09-02 05:03:37 +0000 | <Axman6> | also pretty easy to do with lens |
| 2022-09-02 05:03:42 +0000 | <Axman6> | damn, beaten to it |
| 2022-09-02 05:03:53 +0000 | <Axman6> | "It's always traverse" |
| 2022-09-02 05:03:56 +0000 | <aaron[m]1234> | e.g. x >>= (each . _2 . each ._1) f |
| 2022-09-02 05:05:27 +0000 | <dsal> | :t \x f -> x >>= (each . _2 . each ._1) f |
| 2022-09-02 05:05:29 +0000 | <lambdabot> | (Monad m, Field2 a1 b1 a2 b2, Each s b3 a1 b1, Each a2 b2 a3 b4, Field1 a3 b4 a4 b5) => m s -> (a4 -> m b5) -> m b3 |
| 2022-09-02 05:05:35 +0000 | <dsal> | so pretty |
| 2022-09-02 05:05:39 +0000 | <aaron[m]1234> | lol |
| 2022-09-02 05:06:18 +0000 | <Axman6> | "obviously" |
| 2022-09-02 05:07:03 +0000 | <Axman6> | the implementation is something anyone with a reasonable lens experience would be able to read easily, but probably not tell you what the exact typw it. |
| 2022-09-02 05:07:09 +0000 | <aaron[m]1234> | :t \x f -> x >>= (traverse . _2 . traverse . _1) f |
| 2022-09-02 05:07:11 +0000 | <lambdabot> | (Monad m, Field2 a1 b1 (t1 a2) (t1 b2), Traversable t2, Traversable t1, Field1 a2 b2 a3 b3) => m (t2 a1) -> (a3 -> m b3) -> m (t2 b1) |
| 2022-09-02 05:07:19 +0000 | <Axman6> | type* I'd personally use traverse |
| 2022-09-02 05:08:42 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 05:11:55 +0000 | <dsal> | each is mostly cool to abuse tuples as lists. |
| 2022-09-02 05:14:45 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 05:18:22 +0000 | <c209e6dc-4d76-47> | I came up with this https://paste.tomsmeding.com/t4MXCadz |
| 2022-09-02 05:18:45 +0000 | <c209e6dc-4d76-47> | seems like there could be a simpler way, but I'm not allowed to use lenses |
| 2022-09-02 05:19:38 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 05:20:30 +0000 | kin | (~kin@5.164.0.203) (Ping timeout: 264 seconds) |
| 2022-09-02 05:20:52 +0000 | <dsal> | Not being able to use lenses can really complicate things sometimes. |
| 2022-09-02 05:23:00 +0000 | <aaron[m]1234> | Not a fan of using zip like that. How about using Bitraversable |
| 2022-09-02 05:23:24 +0000 | <c209e6dc-4d76-47> | it's part of base? |
| 2022-09-02 05:24:31 +0000 | <Axman6> | @hoogle Bitraversable |
| 2022-09-02 05:24:31 +0000 | <lambdabot> | module Data.Bitraversable |
| 2022-09-02 05:24:31 +0000 | <lambdabot> | Data.Bitraversable class (Bifunctor t, Bifoldable t) => Bitraversable t |
| 2022-09-02 05:24:31 +0000 | <lambdabot> | module Data.Semigroup.Bitraversable |
| 2022-09-02 05:24:45 +0000 | <Axman6> | hmm, forgot that doesn't tell you the package |
| 2022-09-02 05:25:00 +0000 | <aaron[m]1234> | think it is |
| 2022-09-02 05:25:01 +0000 | <c209e6dc-4d76-47> | seems like it's in base on hoogle |
| 2022-09-02 05:29:29 +0000 | <aaron[m]1234> | :t \f x -> x >>= (traverse $ traverse $ traverse $ bitraverse f pure) |
| 2022-09-02 05:29:31 +0000 | <lambdabot> | error: |
| 2022-09-02 05:29:31 +0000 | <lambdabot> | • Variable not in scope: |
| 2022-09-02 05:29:31 +0000 | <lambdabot> | bitraverse :: t -> (a0 -> f0 a0) -> a -> m b |
| 2022-09-02 05:32:06 +0000 | <c209e6dc-4d76-47> | :t \f x -> x >>= (traverse $ traverse $ traverse $ traverse (bitraverse f pure)) |
| 2022-09-02 05:32:07 +0000 | <lambdabot> | error: |
| 2022-09-02 05:32:07 +0000 | <lambdabot> | • Variable not in scope: |
| 2022-09-02 05:32:07 +0000 | <lambdabot> | bitraverse :: t -> (a0 -> f0 a0) -> a -> m b |
| 2022-09-02 05:34:04 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-02 05:35:28 +0000 | <aaron[m]1234> | :t \f x -> x >>= (traverse $ traverse $ traverse $ Data.Bitraversable.bitraverse f pure) |
| 2022-09-02 05:35:29 +0000 | <lambdabot> | (Monad m, Traversable t1, Traversable t2, Traversable t3, Data.Bitraversable.Bitraversable t4) => (a -> m c) -> m (t1 (t2 (t3 (t4 a d)))) -> m (t1 (t2 (t3 (t4 c d)))) |
| 2022-09-02 05:37:11 +0000 | <rustisafungus> | "not allowed to use lens" -- where does this kind of mandate come from? |
| 2022-09-02 05:37:22 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 05:41:27 +0000 | nilradical | (~nilradica@user/naso) () |
| 2022-09-02 05:43:30 +0000 | <dsal> | rustisafungus: Lots of places where developers are diverse and they want to limit the number of languages people need to learn. |
| 2022-09-02 05:45:09 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-02 05:46:57 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-09-02 05:47:00 +0000 | <maerwald[m]> | After you've had a Monoid based bug in production with lens maybe |
| 2022-09-02 05:47:03 +0000 | <c209e6dc-4d76-47> | I'm working on some open source project and adding a new dependency of lens just for this will be too much |
| 2022-09-02 05:47:27 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-02 05:47:38 +0000 | <c209e6dc-4d76-47> | it's preferred to keep it to bare minimum and also the end goal is something else |
| 2022-09-02 05:47:54 +0000 | <c209e6dc-4d76-47> | if I was the owner, I might have added it without a thought |
| 2022-09-02 05:48:20 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-02 05:48:56 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2022-09-02 05:49:08 +0000 | cheater | (~Username@user/cheater) |
| 2022-09-02 05:50:40 +0000 | c209e6dc-4d76-47 | (~aditya@c-73-103-92-95.hsd1.in.comcast.net) (Quit: Konversation terminated!) |
| 2022-09-02 05:50:57 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 244 seconds) |
| 2022-09-02 05:51:16 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 05:52:13 +0000 | fef | (~thedawn@user/thedawn) (Client Quit) |
| 2022-09-02 05:53:50 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-02 05:55:00 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 05:55:01 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 05:58:47 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-02 06:02:11 +0000 | caffery156 | (~caffery@user/caffery156) |
| 2022-09-02 06:02:48 +0000 | <caffery156> | guys what is `Nothing` in haskell.Is it equivalent of null or what? |
| 2022-09-02 06:04:24 +0000 | <[_________]> | Nothing is a constructor of Maybe a. |
| 2022-09-02 06:06:16 +0000 | hueso | (~root@user/hueso) (Ping timeout: 260 seconds) |
| 2022-09-02 06:08:05 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 06:12:32 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 06:14:53 +0000 | <dsal> | `Maybe` is a sum type that adds one to the cardinality of another type by introducing `Nothing` e.g., if you have a `Bool`, it's got two values (`True` and `False`) whereas `Maybe Bool` has three values (`Nothing`, `Just True`, and `Just False`) |
| 2022-09-02 06:14:53 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-02 06:20:49 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) |
| 2022-09-02 06:22:40 +0000 | <DigitalKiwi> | ah this must be the infamous null + 1 error i heard about |
| 2022-09-02 06:22:46 +0000 | <DigitalKiwi> | https://twitter.com/grhmc/status/1564975641761660928 |
| 2022-09-02 06:22:57 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 06:27:38 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 06:30:16 +0000 | Guest5079 | (~Guest50@50.47.108.232) |
| 2022-09-02 06:30:44 +0000 | <Guest5079> | How do I get CoC to recognize libraries in a Haskell project? |
| 2022-09-02 06:31:38 +0000 | <Guest5079> | For example, in the stack default project, when loading `Main`, it doesn't recognize the module Lib even though it's in src |
| 2022-09-02 06:34:08 +0000 | <c_wraith> | What's CoC? the only thing coming to mind is "calculus of constructions", and contextually I'm pretty sure that's wrong |
| 2022-09-02 06:35:01 +0000 | <DigitalKiwi> | code of conduct |
| 2022-09-02 06:35:15 +0000 | <c_wraith> | That also doesn't quite fit contextually. |
| 2022-09-02 06:35:46 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-02 06:36:44 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 06:36:53 +0000 | <maerwald[m]> | c_wraith: coc.nvim |
| 2022-09-02 06:37:10 +0000 | MoC | (~moc@user/moc) |
| 2022-09-02 06:37:10 +0000 | <c_wraith> | ah! now that makes sense. and also utterly disqualifies me from helping. :) |
| 2022-09-02 06:37:37 +0000 | <Guest5079> | my apologies, it's coc not CoC. It's a vim plugin for using language servers such as hls https://github.com/neoclide/coc.nvim |
| 2022-09-02 06:38:30 +0000 | <maerwald[m]> | c_wraith: it's the worst of all LSP clients. Entirely written in nodejs |
| 2022-09-02 06:39:05 +0000 | <maerwald[m]> | Occasionally works and if it does, makes your screen flicker due to feature creep |
| 2022-09-02 06:39:15 +0000 | <c_wraith> | also, I'm an emacs heathen, so completely untrustworthy. :P |
| 2022-09-02 06:41:51 +0000 | Guest5079 | (~Guest50@50.47.108.232) (Quit: Client closed) |
| 2022-09-02 06:43:58 +0000 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
| 2022-09-02 06:47:15 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:95c3:2c3e:653d:83f0) |
| 2022-09-02 06:47:41 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-02 06:48:03 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-02 06:49:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 06:51:15 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-09-02 06:54:10 +0000 | <maerwald[m]> | Worshipping the old gods, I see |
| 2022-09-02 07:01:09 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-02 07:05:55 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2022-09-02 07:10:14 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-09-02 07:11:41 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 07:13:52 +0000 | libertyprime | (~libertypr@118-92-68-91.dsl.dyn.ihug.co.nz) (Ping timeout: 268 seconds) |
| 2022-09-02 07:15:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 07:16:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 07:16:14 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-02 07:19:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 07:19:51 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 252 seconds) |
| 2022-09-02 07:21:49 +0000 | acidjnk | (~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de) |
| 2022-09-02 07:25:25 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-02 07:26:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 07:26:11 +0000 | Guest4212 | (~chenqisu1@183.217.201.192) (Quit: Leaving) |
| 2022-09-02 07:27:04 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-09-02 07:29:30 +0000 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-09-02 07:29:37 +0000 | kuribas | (~user@ptr-17d51emn3roko68gdk1.18120a2.ip6.access.telenet.be) |
| 2022-09-02 07:30:40 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-02 07:30:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 07:31:28 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Client Quit) |
| 2022-09-02 07:32:01 +0000 | <jackdk> | c_wraith: good to see someone else keeping the old ways alive |
| 2022-09-02 07:39:46 +0000 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 268 seconds) |
| 2022-09-02 07:44:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 08:00:36 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 08:01:52 +0000 | fserucas | (~fserucas@83.223.240.58) |
| 2022-09-02 08:03:10 +0000 | <kuribas> | how does ghc grow the stack? |
| 2022-09-02 08:03:12 +0000 | mixfix41 | (~seikoreg2@user/mixfix41) (Ping timeout: 268 seconds) |
| 2022-09-02 08:03:20 +0000 | <kuribas> | does it just allocate a bigger stack, and copy the whole thing? |
| 2022-09-02 08:03:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 08:05:24 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-09-02 08:10:51 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-02 08:12:05 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-02 08:14:03 +0000 | <[exa]> | what stack? |
| 2022-09-02 08:17:51 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-09-02 08:20:06 +0000 | <Axman6> | GHc's stack is segmented IIRC |
| 2022-09-02 08:21:56 +0000 | <Axman6> | See the RTS flags: |
| 2022-09-02 08:21:58 +0000 | <Axman6> | -ki<size> Sets the initial thread stack size (default 1k) Egs: -ki4k -ki2m |
| 2022-09-02 08:21:58 +0000 | <Axman6> | -kc<size> Sets the stack chunk size (default 32k) |
| 2022-09-02 08:21:59 +0000 | <Axman6> | -kb<size> Sets the stack chunk buffer size (default 1k) |
| 2022-09-02 08:25:30 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a8c4:c646:2b11:d02f) |
| 2022-09-02 08:26:48 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 08:28:28 +0000 | <kuribas> | Axman6: but then how does it "jump" from one segment to the other? |
| 2022-09-02 08:28:32 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 08:29:30 +0000 | agander_m_ | agander_m |
| 2022-09-02 08:30:56 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-09-02 08:31:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-02 08:33:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 08:34:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 08:34:25 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 08:35:35 +0000 | <Axman6> | pretty sure all stack modifications check the current chunk bounds |
| 2022-09-02 08:38:21 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-02 08:38:58 +0000 | odnes | (~odnes@5-203-166-239.pat.nym.cosmote.net) |
| 2022-09-02 08:39:13 +0000 | califax | (~califax@user/califx) |
| 2022-09-02 08:40:41 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 08:43:12 +0000 | jimki | (~jmaki@gazorpazorp.fixme.fi) |
| 2022-09-02 08:45:39 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 08:47:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 08:53:40 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-09-02 08:55:01 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-02 08:55:35 +0000 | FragByte | (~christian@user/fragbyte) |
| 2022-09-02 09:04:21 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2022-09-02 09:04:45 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2022-09-02 09:12:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 09:19:27 +0000 | mikoto-chan | (~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi) |
| 2022-09-02 09:20:59 +0000 | tcard_ | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-09-02 09:26:34 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-09-02 09:26:49 +0000 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-09-02 09:34:41 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-02 09:36:44 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 244 seconds) |
| 2022-09-02 09:38:05 +0000 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) |
| 2022-09-02 09:40:39 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-09-02 09:41:54 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 268 seconds) |
| 2022-09-02 09:41:54 +0000 | mikoto-chan | (~mikoto-ch@dy69gb1kyyyyyyyyyyyby-4.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2022-09-02 09:43:45 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-09-02 09:46:50 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-02 09:57:45 +0000 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Quit: Leaving) |
| 2022-09-02 09:59:54 +0000 | caffery156 | (~caffery@user/caffery156) (Quit: WeeChat 3.6) |
| 2022-09-02 10:04:47 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 10:06:09 +0000 | <kuribas> | hmm: _s2hg::I64 = _s2h1::I64 * 3 + (_s2h1::I64 * 3 + ((_s2h3::I64 << 2) + (_s2h1::I64 * 3 + ((_s2h3::I64 << 2) + (I64[R1 + 7] << 5))))); |
| 2022-09-02 10:06:26 +0000 | <kuribas> | it looks like it could have calculated the "_s2h1::I64 * 3" part only once. |
| 2022-09-02 10:06:53 +0000 | <kuribas> | I would think the CSE would take care of that. |
| 2022-09-02 10:07:13 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2022-09-02 10:08:58 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-09-02 10:12:24 +0000 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 244 seconds) |
| 2022-09-02 10:17:39 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-09-02 10:21:11 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-02 10:24:36 +0000 | <kuribas> | ah, llvm does it better. |
| 2022-09-02 10:25:44 +0000 | <kuribas> | it generated "imulq $9, 16(%rbp), %rsi" |
| 2022-09-02 10:28:42 +0000 | odnes | (~odnes@5-203-166-239.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-09-02 10:30:07 +0000 | <kuribas> | but it's an old ghc (8.6.5) so they may have been improved |
| 2022-09-02 10:31:49 +0000 | coot | (~coot@213.134.176.158) (Ping timeout: 268 seconds) |
| 2022-09-02 10:40:56 +0000 | <kuribas> | So far I am quite satisfied with how ghc can inline known variables, functions and class instances. |
| 2022-09-02 10:41:29 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 10:42:59 +0000 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 252 seconds) |
| 2022-09-02 10:43:41 +0000 | <kuribas> | I was worried lazyness would get in the way of that, but it doesn't. |
| 2022-09-02 10:43:50 +0000 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-02 10:44:18 +0000 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 240 seconds) |
| 2022-09-02 10:45:58 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 10:46:18 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-02 10:55:22 +0000 | raym | (~raym@user/raym) |
| 2022-09-02 11:06:58 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-09-02 11:21:39 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-02 11:22:41 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 11:23:57 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-02 11:24:03 +0000 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-09-02 11:24:48 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f) |
| 2022-09-02 11:29:33 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 252 seconds) |
| 2022-09-02 11:48:20 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-02 11:48:20 +0000 | jinsun | Guest2127 |
| 2022-09-02 11:48:20 +0000 | Guest2127 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-09-02 11:48:20 +0000 | jinsun__ | jinsun |
| 2022-09-02 11:51:44 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-09-02 11:53:07 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-09-02 11:54:38 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:5131:5449:6319:5d6f) (Quit: WeeChat 3.5) |
| 2022-09-02 11:55:57 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-02 11:56:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 11:57:43 +0000 | sajith- | sajith |
| 2022-09-02 12:03:24 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-09-02 12:08:27 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6) |
| 2022-09-02 12:08:30 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 12:08:52 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-02 12:09:29 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 12:10:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 12:10:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 12:15:06 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 12:16:36 +0000 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) () |
| 2022-09-02 12:16:44 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-02 12:17:02 +0000 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) |
| 2022-09-02 12:18:00 +0000 | Pent_ | (sid313808@id-313808.lymington.irccloud.com) (Client Quit) |
| 2022-09-02 12:18:52 +0000 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2022-09-02 12:19:18 +0000 | acidjnk | (~acidjnk@p200300d6e7137a813c1ceb484850c742.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 12:27:11 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 12:27:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-02 12:30:11 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 12:31:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 12:41:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 12:41:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 12:41:58 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-02 12:42:18 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 12:46:55 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 12:49:01 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 12:52:58 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2022-09-02 12:54:06 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 12:54:18 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-02 12:54:32 +0000 | Jonno_FT1 | (~come@api.carswap.me) (Quit: Reconnecting) |
| 2022-09-02 12:54:40 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2022-09-02 12:54:41 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2022-09-02 12:54:41 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2022-09-02 12:54:43 +0000 | nefercheprure | TMA |
| 2022-09-02 12:55:10 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e333:df19:b280:4b33) |
| 2022-09-02 12:55:21 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2022-09-02 12:58:53 +0000 | mniip | (mniip@libera/staff/mniip) (Remote host closed the connection) |
| 2022-09-02 13:00:23 +0000 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) |
| 2022-09-02 13:00:59 +0000 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Client Quit) |
| 2022-09-02 13:02:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 13:03:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 13:06:15 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-02 13:07:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 13:07:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-02 13:07:52 +0000 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) |
| 2022-09-02 13:08:49 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 13:09:06 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-02 13:09:36 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) |
| 2022-09-02 13:10:53 +0000 | <Guest56> | Hi guys, I am beginning the mooc.fi haskell course and I am having an issue with downloading the stack tool. I am getting a lot of warnings about its safety, i am inclined to ignore them and download regardless but is there anything i should know about its safety. Thanks in advance. |
| 2022-09-02 13:12:26 +0000 | <geekosaur> | stack itself is fine. I do wonder if "warnings about its safety" means either you've found an untrusted repo, or if your Let's Encrypt root cert is expired |
| 2022-09-02 13:13:13 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 13:13:17 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 13:15:51 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-09-02 13:16:37 +0000 | luffy | (~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds) |
| 2022-09-02 13:19:31 +0000 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2022-09-02 13:20:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 13:23:45 +0000 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-09-02 13:25:43 +0000 | <Guest56> | I am not on a linux machine, its actually windows that doesn't seem to like the download, the Stack site provides a link to download through windows installer.I think I will just ignore the warnings and install, its probably because of the low number of installs onto windows. |
| 2022-09-02 13:27:53 +0000 | <Guest56> | Its fine, it passed all the antivirus hoops. |
| 2022-09-02 13:45:48 +0000 | Guest56 | (~Guest56@2a00:23c5:b80c:6a01:a067:3e1e:2f95:274b) (Quit: Client closed) |
| 2022-09-02 13:47:33 +0000 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-09-02 13:48:38 +0000 | ft | (~ft@p4fc2a0f5.dip0.t-ipconnect.de) |
| 2022-09-02 13:50:55 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-02 13:52:51 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-09-02 13:52:56 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-09-02 13:53:01 +0000 | cheater1__ | cheater |
| 2022-09-02 13:56:13 +0000 | shapr | (~user@68.54.166.125) (Ping timeout: 252 seconds) |
| 2022-09-02 13:58:14 +0000 | <texasmynsted> | I watched this https://youtu.be/3uwrtjxiq6E about Rel8. Great idea and interesting. It occurs to me that I would like to find an alternative approach to working with postgres. |
| 2022-09-02 13:59:56 +0000 | <texasmynsted> | There are _many_ database packages. What is something I should look at if I want many of my queries to be raw SQL but still have a nice experience in haskell? |
| 2022-09-02 14:00:47 +0000 | Volt_ | (~Volt_@c-73-167-119-209.hsd1.ma.comcast.net) (Quit: ) |
| 2022-09-02 14:01:27 +0000 | raym | (~raym@user/raym) |
| 2022-09-02 14:02:43 +0000 | kitty4 | (~kitty@096-039-147-043.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-09-02 14:03:27 +0000 | <merijn> | texasmynsted: "rolling your own" :p |
| 2022-09-02 14:03:49 +0000 | <texasmynsted> | :-) That would likely be fun. |
| 2022-09-02 14:03:56 +0000 | <merijn> | texasmynsted: My advice would be: use one of the X-simple low level packages and handroll your own abstractions on top of that |
| 2022-09-02 14:04:11 +0000 | <merijn> | That's what I would do for my code with the benefit of hindsight |
| 2022-09-02 14:04:33 +0000 | <merijn> | I'm using persistent atm, but I would definitely *not* advise that :p |
| 2022-09-02 14:04:33 +0000 | <texasmynsted> | https://xkcd.com/927/ |
| 2022-09-02 14:05:25 +0000 | <merijn> | texasmynsted: I build my own kinda abstraction on top of it if you want some inspiration: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/src/Query.hs |
| 2022-09-02 14:05:29 +0000 | <texasmynsted> | heh, why not _persistent_? |
| 2022-09-02 14:06:04 +0000 | <merijn> | texasmynsted: Because using it correctly involves becoming an expert in persistent internals |
| 2022-09-02 14:06:49 +0000 | <merijn> | The superficial API seems very convenient and easy. And then you realise the design of a bunch of dependencies and other things changed introducing all sorts of tricky edge cases into this "safe" API |
| 2022-09-02 14:07:35 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-02 14:07:37 +0000 | <texasmynsted> | "Because using it correctly involves becoming an expert in persistent internals" = exactly what I am trying to avoid. |
| 2022-09-02 14:07:51 +0000 | <merijn> | texasmynsted: See for example https://github.com/yesodweb/persistent/issues/981 |
| 2022-09-02 14:08:22 +0000 | <texasmynsted> | o_O yike! |
| 2022-09-02 14:08:30 +0000 | <texasmynsted> | or yikes |
| 2022-09-02 14:08:51 +0000 | <texasmynsted> | hehe, persistent is out then |
| 2022-09-02 14:08:51 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:95c3:2c3e:653d:83f0) (Quit: WeeChat 2.8) |
| 2022-09-02 14:09:17 +0000 | <merijn> | texasmynsted: Personally I would just use sqlite-simple if I had to do this again (or postgres-simple if you want to use postgres) |
| 2022-09-02 14:10:24 +0000 | <merijn> | And then wrap it with something like the Query type I made to encapsulate the messy low level bits and provide a nice high-level API |
| 2022-09-02 14:14:19 +0000 | <texasmynsted> | Okay that does sound like a good fit |
| 2022-09-02 14:17:36 +0000 | <merijn> | texasmynsted: The low-level/raw SQL intercace I use in the module I linked is basically equivalent to the interface the -simple packages provide, so should be easy enough to roll something like that |
| 2022-09-02 14:20:51 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2022-09-02 14:23:26 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-02 14:26:26 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-02 14:26:26 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-02 14:26:26 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-09-02 14:26:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
| 2022-09-02 14:26:42 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-02 14:26:44 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-02 14:26:54 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-02 14:26:58 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-02 14:29:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-02 14:29:30 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-02 14:29:38 +0000 | acidjnk | (~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 14:29:56 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 14:30:31 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-09-02 14:31:04 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 14:32:14 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 14:32:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 14:32:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 14:33:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 14:36:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-02 14:36:33 +0000 | nilradical | (~nilradica@user/naso) (Ping timeout: 252 seconds) |
| 2022-09-02 14:37:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 14:38:20 +0000 | <texasmynsted> | Thank you :-) |
| 2022-09-02 14:40:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 14:40:38 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 240 seconds) |
| 2022-09-02 14:42:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 14:43:59 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-02 14:48:12 +0000 | <ryantrinkle> | merijn: wow that is a mess lol |
| 2022-09-02 14:48:30 +0000 | <ryantrinkle> | texasmynsted: i agree with merijn that the *-simple libs are great |
| 2022-09-02 14:48:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 14:48:54 +0000 | <ryantrinkle> | if you want more of your DB schema to be typed in Haskell-land, i'd recommend Beam |
| 2022-09-02 14:49:06 +0000 | <ryantrinkle> | but it requires a decent investment of time to learn |
| 2022-09-02 14:56:39 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 14:56:51 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-02 15:01:05 +0000 | glguy | (x@libera/staff-emeritus/glguy) (Ping timeout: 255 seconds) |
| 2022-09-02 15:02:12 +0000 | <kuribas> | meh, I've been using my own database library with not many problems. |
| 2022-09-02 15:02:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-09-02 15:02:37 +0000 | <kuribas> | without the complexity of beam, and without the unsafeness of *-simple |
| 2022-09-02 15:02:56 +0000 | <kuribas> | though it currently works only on mysql |
| 2022-09-02 15:07:03 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 15:07:20 +0000 | Master_Sporta | (~master@37.230.207.224) |
| 2022-09-02 15:07:25 +0000 | Master_Sporta | (~master@37.230.207.224) (Client Quit) |
| 2022-09-02 15:07:44 +0000 | Master_Sporta | (~master@37.230.207.224) |
| 2022-09-02 15:07:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2022-09-02 15:09:48 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-02 15:10:04 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-02 15:10:39 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2022-09-02 15:11:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 15:14:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 15:14:32 +0000 | kadir | (~kadir@78.190.9.68) |
| 2022-09-02 15:16:17 +0000 | nilradical | (~nilradica@user/naso) |
| 2022-09-02 15:16:28 +0000 | nilradical | (~nilradica@user/naso) (Remote host closed the connection) |
| 2022-09-02 15:16:39 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-02 15:16:56 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 260 seconds) |
| 2022-09-02 15:16:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 15:18:19 +0000 | <pareto-optimal-d> | <ryantrinkle> "if you want more of your DB..." <- I've started recommending rel8 over either persistent or beam if you are using or can use postgres |
| 2022-09-02 15:19:54 +0000 | acidjnk | (~acidjnk@p200300d6e7137a8130878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 15:20:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 15:21:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 15:21:40 +0000 | <c_wraith> | have you found its model to work for your needs? I've always thought the idea of rel8 was cool, but I wasn't sure it was flexible enough for what I need. |
| 2022-09-02 15:23:04 +0000 | Successus | (~Successus@user/Successus) |
| 2022-09-02 15:25:30 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-02 15:27:31 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-09-02 15:30:04 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-02 15:33:38 +0000 | roboguy | (~roboguy@user/roboguy) |
| 2022-09-02 15:35:15 +0000 | dtman34 | (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2022-09-02 15:38:22 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-02 15:38:55 +0000 | biberu | (~biberu@user/biberu) |
| 2022-09-02 15:39:02 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 15:40:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 15:42:30 +0000 | dtman34 | (~dtman34@2601:446:4400:2ad9:4876:edc8:3707:71a1) |
| 2022-09-02 15:44:25 +0000 | Master_Sporta | (~master@37.230.207.224) () |
| 2022-09-02 15:46:19 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-09-02 15:47:51 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2022-09-02 15:48:19 +0000 | raym | (~raym@user/raym) (Ping timeout: 268 seconds) |
| 2022-09-02 15:48:36 +0000 | <pareto-optimal-d> | I've only been using it for side projects so far since work has lots of blockers for such a move c_wraith |
| 2022-09-02 15:48:36 +0000 | <pareto-optimal-d> | However I can't think of cases where it wouldn't be flexible enough for work use cases for me. |
| 2022-09-02 15:48:36 +0000 | <pareto-optimal-d> | It's an adjustment for sure since your mental model becomes more Haskell than SQL. |
| 2022-09-02 15:49:24 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-02 15:50:01 +0000 | <pareto-optimal-d> | Question: Is there some trick to showing all "instance Arbitrary YourType` not defined errors? Like if that type had a field whose type didn't have an arbitrary instance, I'd like to see both errors. |
| 2022-09-02 15:50:01 +0000 | <pareto-optimal-d> | I thought `-fkeep-going` and `-fdeferred` type errors might do it but they didn't. |
| 2022-09-02 15:50:17 +0000 | <pareto-optimal-d> | This also may not be easily possible. |
| 2022-09-02 15:51:00 +0000 | <c_wraith> | The thing is, that's not actually knowable |
| 2022-09-02 15:51:23 +0000 | <c_wraith> | it's possible you'll write an instance that doesn't require an instance for its type variables |
| 2022-09-02 15:51:56 +0000 | <c_wraith> | That sounds very unlikely with Arbitrary, but it is theoretically possible |
| 2022-09-02 15:52:18 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-02 15:54:22 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-02 15:56:43 +0000 | janus | (janus@anubis.0x90.dk) () |
| 2022-09-02 15:56:43 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 15:58:39 +0000 | raym | (~raym@user/raym) |
| 2022-09-02 15:59:46 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-02 16:00:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 16:02:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:04:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 16:04:41 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 16:06:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 16:07:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:11:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 16:13:25 +0000 | glguy | (x@libera/staff-emeritus/glguy) |
| 2022-09-02 16:13:37 +0000 | neceve | (~quassel@2.26.93.14) |
| 2022-09-02 16:15:18 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 16:19:00 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 16:24:05 +0000 | Guest__ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-09-02 16:26:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 16:28:20 +0000 | alp | (~alp@user/alp) (*.net *.split) |
| 2022-09-02 16:28:20 +0000 | bonz060_ | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 2022-09-02 16:28:20 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2022-09-02 16:28:20 +0000 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2022-09-02 16:28:20 +0000 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | Trattue | (~Trattue@152.70.182.158) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | markasoftware | (~quassel@107.161.26.124) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | Logio | (em@kapsi.fi) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | derelict | (~derelict@user/derelict) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | kronicmage | (user92236@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | amir | (sid22336@user/amir) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2022-09-02 16:28:21 +0000 | WaxCPU | (Andrew@user/AndrewYu) (*.net *.split) |
| 2022-09-02 16:28:31 +0000 | Logio | (em@kapsi.fi) |
| 2022-09-02 16:28:31 +0000 | akhesacaro | (~caro@212-83-144-58.rev.poneytelecom.eu) |
| 2022-09-02 16:28:35 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2022-09-02 16:28:35 +0000 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-09-02 16:28:37 +0000 | kronicmage | (user88019@neotame.csclub.uwaterloo.ca) |
| 2022-09-02 16:28:43 +0000 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2022-09-02 16:28:43 +0000 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2022-09-02 16:28:44 +0000 | jonrh | (sid5185@id-5185.ilkley.irccloud.com) |
| 2022-09-02 16:28:47 +0000 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2022-09-02 16:28:51 +0000 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2022-09-02 16:28:58 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-09-02 16:29:00 +0000 | Andrew | (Andrew@user/AndrewYu) |
| 2022-09-02 16:29:12 +0000 | amir | (sid22336@id-22336.hampstead.irccloud.com) |
| 2022-09-02 16:29:13 +0000 | amir | (sid22336@id-22336.hampstead.irccloud.com) (Changing host) |
| 2022-09-02 16:29:13 +0000 | amir | (sid22336@user/amir) |
| 2022-09-02 16:29:28 +0000 | Trattue | (~Trattue@152.70.182.158) |
| 2022-09-02 16:30:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 16:31:06 +0000 | derelict | (~derelict@user/derelict) |
| 2022-09-02 16:31:17 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 16:31:40 +0000 | dminuoso | (~dminuoso@user/dminuoso) |
| 2022-09-02 16:33:36 +0000 | Zemyla | (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 2022-09-02 16:36:39 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) |
| 2022-09-02 16:38:03 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving) |
| 2022-09-02 16:38:19 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 16:39:24 +0000 | causal | (~user@50.35.83.177) |
| 2022-09-02 16:41:35 +0000 | Guest___ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 16:42:22 +0000 | <texasmynsted> | okay. That makes sense. There are times where a query is complex or potentially time consuming where I want to just use SQL and let the query planner handle the complexity. |
| 2022-09-02 16:43:01 +0000 | Guest___ | (~Gambino@pool-100-11-18-203.phlapa.fios.verizon.net) (Client Quit) |
| 2022-09-02 16:43:26 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 16:43:46 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 16:44:03 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 16:44:10 +0000 | <texasmynsted> | rel8 is impressive . . . |
| 2022-09-02 16:44:52 +0000 | mbuf | (~Shakthi@49.204.128.234) (Quit: Leaving) |
| 2022-09-02 16:45:08 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) (Quit: Leaving) |
| 2022-09-02 16:45:28 +0000 | hgolden | (~Howard@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-02 16:48:40 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-02 16:50:43 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 248 seconds) |
| 2022-09-02 16:52:47 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-02 16:53:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-02 16:53:22 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-09-02 16:59:16 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 17:00:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 17:02:12 +0000 | <pareto-optimal-d> | <texasmynsted> "rel8 is impressive . . ." <- Yeah the cookbook gives you a good feel for it too: |
| 2022-09-02 17:02:12 +0000 | <pareto-optimal-d> | https://rel8.readthedocs.io/en/latest/cookbook.html |
| 2022-09-02 17:04:34 +0000 | <pareto-optimal-d> | I'm waiting on schema-rel8 to try stuff on work models: https://github.com/circuithub/rel8/pull/59 |
| 2022-09-02 17:04:48 +0000 | <pareto-optimal-d> | * on schema-to-rel8 to |
| 2022-09-02 17:04:56 +0000 | <pareto-optimal-d> | * on schema-to-rel8 to, * on work db models: https://github.com/circuithub/rel8/pull/59 |
| 2022-09-02 17:11:10 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 17:13:06 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-02 17:15:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-02 17:15:33 +0000 | schuelermine[m] | (~schuelerm@user/schuelermine) |
| 2022-09-02 17:19:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 17:21:20 +0000 | fserucas | (~fserucas@83.223.240.58) (Quit: Leaving) |
| 2022-09-02 17:21:38 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-09-02 17:23:02 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-02 17:23:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 17:24:14 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 17:24:39 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 17:25:03 +0000 | owsley | Guest6294 |
| 2022-09-02 17:28:53 +0000 | Guest6294 | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-09-02 17:30:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 17:30:40 +0000 | razetime | (~quassel@117.193.3.141) (Remote host closed the connection) |
| 2022-09-02 17:31:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 17:32:45 +0000 | <texasmynsted> | nice |
| 2022-09-02 17:33:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 17:34:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 17:34:11 +0000 | mikoto-chan | (~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi) |
| 2022-09-02 17:35:47 +0000 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 2022-09-02 17:36:42 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-02 17:37:23 +0000 | titibandit | (~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection) |
| 2022-09-02 17:38:43 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-02 17:42:56 +0000 | econo | (uid147250@user/econo) |
| 2022-09-02 17:43:33 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2022-09-02 17:45:26 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-02 17:45:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-09-02 17:47:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-02 17:48:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-09-02 17:48:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 17:49:25 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-02 17:49:38 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 244 seconds) |
| 2022-09-02 17:50:57 +0000 | mikoto-chan | (~mikoto-ch@dyjhv-mtyyyyyyyyyyybt-4.rev.dnainternet.fi) (Ping timeout: 268 seconds) |
| 2022-09-02 17:51:06 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-02 17:51:32 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-02 17:56:25 +0000 | hpc | (~juzz@ip98-169-32-242.dc.dc.cox.net) |
| 2022-09-02 18:00:12 +0000 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2022-09-02 18:00:25 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2022-09-02 18:01:01 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 18:06:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 18:09:19 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Quit: loggin off) |
| 2022-09-02 18:11:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:12:40 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 18:20:01 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-02 18:21:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:22:42 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-02 18:22:49 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 18:23:06 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.149) |
| 2022-09-02 18:23:31 +0000 | biberu\ | (~biberu@user/biberu) |
| 2022-09-02 18:23:49 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-02 18:24:44 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 18:25:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 18:26:39 +0000 | AlexNoo | (~AlexNoo@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 18:26:41 +0000 | Alex_test | (~al_test@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 18:27:01 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-02 18:27:18 +0000 | AlexZenon | (~alzenon@178.34.163.186) (Ping timeout: 268 seconds) |
| 2022-09-02 18:27:25 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 18:27:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:27:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 18:27:53 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2022-09-02 18:27:53 +0000 | biberu\ | biberu |
| 2022-09-02 18:29:11 +0000 | Guest2 | (~Guest2@207.102.57.162) |
| 2022-09-02 18:30:39 +0000 | Alex_test | (~al_test@178.34.163.149) |
| 2022-09-02 18:31:18 +0000 | dysfigured | dfg |
| 2022-09-02 18:31:25 +0000 | dfg | (dfg@dfg.rocks) (Changing host) |
| 2022-09-02 18:31:25 +0000 | dfg | (dfg@user/dfg) |
| 2022-09-02 18:31:50 +0000 | AlexZenon | (~alzenon@178.34.163.149) |
| 2022-09-02 18:31:50 +0000 | <Guest2> | I’m looking at the servant tutorial and I’m having trouble interpreting: |
| 2022-09-02 18:31:51 +0000 | <Guest2> | type RootEndpoint = |
| 2022-09-02 18:31:51 +0000 | <Guest2> | Get '[JSON] User |
| 2022-09-02 18:31:52 +0000 | <Guest2> | what is ‘ and is [JSON] the type of a list of JSON? |
| 2022-09-02 18:32:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 18:32:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 18:33:26 +0000 | <Guest2> | anyone around that can offer suggestions of what I need to read? I see DataKinds and TypeOperator extensions are enabled. Is the answer there? |
| 2022-09-02 18:33:34 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-02 18:33:44 +0000 | <geekosaur> | there, the tick means that what follows is a promoted value (in this case, a type level list) |
| 2022-09-02 18:33:55 +0000 | <geekosaur> | DataKinds will tell you about the tick |
| 2022-09-02 18:34:14 +0000 | <geekosaur> | the list is a list of types of kind JSON, which is probably promoted |
| 2022-09-02 18:34:29 +0000 | <Guest2> | Ok, cool. Looks like a bunch of reading but prob. worth it |
| 2022-09-02 18:34:30 +0000 | <geekosaur> | that is, somewhere there is a definition `data JSON = ...` |
| 2022-09-02 18:34:47 +0000 | <geekosaur> | and the valid values of kind JSON are whatever the `...` is |
| 2022-09-02 18:35:01 +0000 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) |
| 2022-09-02 18:35:34 +0000 | <Guest2> | Many thanks geekosaur |
| 2022-09-02 18:35:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds) |
| 2022-09-02 18:36:29 +0000 | Guest2 | (~Guest2@207.102.57.162) () |
| 2022-09-02 18:38:29 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-02 18:39:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 18:39:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2022-09-02 18:41:14 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-02 18:41:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 18:45:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-02 18:46:46 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 18:48:09 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9) |
| 2022-09-02 18:51:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-02 18:51:39 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 244 seconds) |
| 2022-09-02 18:53:18 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-09-02 18:53:41 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-09-02 18:57:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 19:01:27 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 19:02:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 19:02:48 +0000 | owsley | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 19:02:55 +0000 | owsley | Guest7666 |
| 2022-09-02 19:05:12 +0000 | shapr | (~user@68.54.166.125) (Remote host closed the connection) |
| 2022-09-02 19:06:35 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-02 19:11:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-02 19:14:38 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 19:15:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-02 19:16:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 19:17:30 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-02 19:19:01 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2022-09-02 19:20:32 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-02 19:21:00 +0000 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) |
| 2022-09-02 19:24:32 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) |
| 2022-09-02 19:29:53 +0000 | vglfr | (~vglfr@145.224.94.248) (Ping timeout: 244 seconds) |
| 2022-09-02 19:30:07 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 19:31:19 +0000 | vglfr | (~vglfr@145.224.94.248) |
| 2022-09-02 19:32:27 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-09-02 19:32:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 19:34:28 +0000 | <kydliceh> | hi |
| 2022-09-02 19:35:20 +0000 | <geekosaur[m]> | Hi |
| 2022-09-02 19:37:18 +0000 | <kydliceh> | I am having trouble with writing bind function for my state Monad :/ |
| 2022-09-02 19:37:40 +0000 | <kydliceh> | https://github.com/hynky1999/LidlParser/blob/main/app/Interpreter.hs you can see the function at line 45 |
| 2022-09-02 19:37:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:818a:17a5:ec7a:19f9) (Ping timeout: 264 seconds) |
| 2022-09-02 19:38:55 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 19:39:23 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-02 19:41:56 +0000 | <geekosaur> | I would guess you've done something wrong somewhere else if you have an `IO a` (a generator of `a`s, in effect) there instead of an `a` |
| 2022-09-02 19:43:35 +0000 | <geekosaur> | presumably you want StateT Store IO (Either RuntimeError a) |
| 2022-09-02 19:44:12 +0000 | <geekosaur> | at least, if I'm reading this right |
| 2022-09-02 19:45:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 19:45:23 +0000 | <kydliceh> | Well I haven't had there IO monad before. At the start it was just StateT Store (Either RuntimeError a). |
| 2022-09-02 19:45:59 +0000 | <kydliceh> | But then I needed to add printing capability to interpreter, so that print statements can be called |
| 2022-09-02 19:46:13 +0000 | <geekosaur> | then you need to do it the way I said |
| 2022-09-02 19:46:32 +0000 | <kydliceh> | Okay I will try that |
| 2022-09-02 19:46:35 +0000 | <geekosaur> | otherwise you're passing around `IO a`s you can't do anything with |
| 2022-09-02 19:51:58 +0000 | <monochrom> | I would think that "StateT Store (ExceptT RuntimeError IO) a" is the most appropriate. |
| 2022-09-02 19:52:33 +0000 | <monochrom> | or maybe not, maybe ExceptT RuntimeError (StateT Store IO) a |
| 2022-09-02 19:52:40 +0000 | <geekosaur> | I conbsidered suggesting that, but wasn't sure even mentioning StateT was appropriate |
| 2022-09-02 19:53:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 19:55:04 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-02 19:55:57 +0000 | Guest7666 | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-02 19:56:41 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-02 19:57:01 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-02 19:58:58 +0000 | owslye | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) |
| 2022-09-02 20:04:50 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2022-09-02 20:05:44 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-02 20:06:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:10:47 +0000 | OscarZ | (~oscarz@95.175.104.83) |
| 2022-09-02 20:14:25 +0000 | wonko_ | (~wjc@2a0e:1c80:2::130) |
| 2022-09-02 20:16:07 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 20:18:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 20:20:23 +0000 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2022-09-02 20:24:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 20:24:31 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-09-02 20:24:45 +0000 | <kayvank> | join |
| 2022-09-02 20:26:09 +0000 | <geekosaur> | ? |
| 2022-09-02 20:28:04 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-02 20:29:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-02 20:30:20 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 20:32:35 +0000 | owslye | (~owsley@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-09-02 20:35:29 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-02 20:38:44 +0000 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) (Read error: Connection reset by peer) |
| 2022-09-02 20:39:59 +0000 | <geekosaur> | hrm |
| 2022-09-02 20:41:36 +0000 | phma | (phma@2001:5b0:210b:e1a8:238a:6544:b808:4f6c) (Read error: Connection reset by peer) |
| 2022-09-02 20:42:06 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-d034-9363-3fef-214e.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-02 20:42:19 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) |
| 2022-09-02 20:43:25 +0000 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) |
| 2022-09-02 20:45:18 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-09-02 20:47:18 +0000 | jargon | (~jargon@184.101.185.66) |
| 2022-09-02 20:47:24 +0000 | phma | (~phma@2001:5b0:212a:c678:14e3:c738:ac7d:1d76) |
| 2022-09-02 20:49:05 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-02 20:50:11 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-02 20:53:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 20:55:31 +0000 | neceve | (~quassel@2.26.93.14) (Ping timeout: 248 seconds) |
| 2022-09-02 20:57:30 +0000 | TonyStone | (~TonyStone@2603-7080-8607-c36a-64d5-91de-6fa5-ec29.res6.spectrum.com) |
| 2022-09-02 20:58:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 20:59:30 +0000 | Guest5078 | (~Guest50@50.47.108.232) |
| 2022-09-02 21:03:29 +0000 | <geekosaur> | kydliceh, you should probably be asking in here rather than pm-ing me; I'm not always at my desk |
| 2022-09-02 21:03:58 +0000 | <geekosaur> | but I think you have some misunderstandings as to how monads work |
| 2022-09-02 21:04:42 +0000 | <geekosaur> | (context for others: https://paste.tomsmeding.com/Ht52LOEs) |
| 2022-09-02 21:09:36 +0000 | wonko_ | (~wjc@2a0e:1c80:2::130) (Ping timeout: 244 seconds) |
| 2022-09-02 21:10:42 +0000 | roboguy | (~roboguy@user/roboguy) () |
| 2022-09-02 21:10:43 +0000 | kydliceh | (~kydliceh@94-255-154-14.cust.bredband2.com) (Ping timeout: 252 seconds) |
| 2022-09-02 21:10:47 +0000 | kydliceh_ | (~kydliceh@94-255-175-55.cust.bredband2.com) |
| 2022-09-02 21:11:28 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-02 21:11:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 21:13:06 +0000 | <kydliceh_> | I do believe I understand how to work with one Monad but I don't quite understand how to work with composition of them |
| 2022-09-02 21:16:38 +0000 | <geekosaur> | % :set -XTypedHoles |
| 2022-09-02 21:16:38 +0000 | <yahb2> | Some flags have not been recognized: -XTypedHoles |
| 2022-09-02 21:17:06 +0000 | <geekosaur> | % :set -XScopedTypeVariables |
| 2022-09-02 21:17:06 +0000 | <yahb2> | <interactive>:1:1: error: Not in scope: ‘Yahb2Defs.limitedPrint’ |
| 2022-09-02 21:17:30 +0000 | <geekosaur> | guess I'[m not using yahb2 |
| 2022-09-02 21:17:48 +0000 | <geekosaur> | @let {-# LANGUAGE ScopedTypeVariables #-} |
| 2022-09-02 21:17:49 +0000 | <lambdabot> | Defined. |
| 2022-09-02 21:20:03 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-02 21:23:50 +0000 | kadir | (~kadir@78.190.9.68) (WeeChat 3.6) |
| 2022-09-02 21:24:24 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-09-02 21:24:52 +0000 | kydliceh_ | (~kydliceh@94-255-175-55.cust.bredband2.com) (Ping timeout: 268 seconds) |
| 2022-09-02 21:25:06 +0000 | kydliceh_ | (~kydliceh@94-255-154-14.cust.bredband2.com) |
| 2022-09-02 21:26:36 +0000 | <geekosaur> | :t runStateT (do { (p :: _) <- StateT (\_ -> return (Right "a", 1)); return p }) 0 |
| 2022-09-02 21:26:37 +0000 | <lambdabot> | (Monad m, Num s) => m (Either a [Char], s) |
| 2022-09-02 21:26:56 +0000 | <geekosaur> | hm, didn't do the typed hole |
| 2022-09-02 21:28:03 +0000 | <geekosaur> | https://paste.tomsmeding.com/GvlufZKP |
| 2022-09-02 21:28:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 21:30:10 +0000 | <geekosaur> | so `p` there is already Either RuntimeError String (I left the Left type unspecified and used String just to get somethingt that could be evaluated) |
| 2022-09-02 21:30:49 +0000 | <geekosaur> | your use of `return` is somewhat suspect both in terms of trying to peel apart a monad stack, and looking as if you were trying to use it as a keyword |
| 2022-09-02 21:31:14 +0000 | <[Leary]> | kydliceh_: You build the composition from Monad transformers so it already has a Monad instance. |
| 2022-09-02 21:32:19 +0000 | <geekosaur> | also that |
| 2022-09-02 21:33:05 +0000 | <geekosaur> | tomsmeding: [02 21:17:06] <yahb2> <interactive>:1:1: error: Not in scope: ‘Yahb2Defs.limitedPrint’ (from: % :set -XScopedTypeVariables) |
| 2022-09-02 21:33:58 +0000 | <geekosaur> | maybe I should have used @tell, it's 22:30 over there I think… |
| 2022-09-02 21:35:54 +0000 | <kydliceh_> | Yeah I thought I still use the Monad I have defined rather than use Monad transformers |
| 2022-09-02 21:36:05 +0000 | <kydliceh_> | *I could still use |
| 2022-09-02 21:36:08 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 21:36:16 +0000 | <geekosaur> | you already have one, you can't replace it |
| 2022-09-02 21:36:47 +0000 | <geekosaur> | and it should already do what you intend |
| 2022-09-02 21:37:27 +0000 | <geekosaur> | @unmtl StateT Store IO (Either RuntimeError a) |
| 2022-09-02 21:37:27 +0000 | <lambdabot> | Store -> IO (Either RuntimeError a, Store) |
| 2022-09-02 21:37:42 +0000 | <kydliceh_> | Yeah But I was not using StateT |
| 2022-09-02 21:38:15 +0000 | <kydliceh_> | I thought it would be Ok to leave there my custom State |
| 2022-09-02 21:38:39 +0000 | <kydliceh_> | https://github.com/hynky1999/LidlParser/blob/main/app/State.hs |
| 2022-09-02 21:38:45 +0000 | <geekosaur> | why do you need a custom State? and how did you plan to deal with IO? |
| 2022-09-02 21:39:52 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-02 21:39:54 +0000 | <geekosaur> | and, well, that module just looks like you reinvented Control.Monad.State (well, from mtl1 where it wasn't a wrapper for StateT). and you still need some way to deal with IO |
| 2022-09-02 21:40:02 +0000 | <geekosaur> | \which is why StateT exists |
| 2022-09-02 21:40:09 +0000 | <kydliceh_> | Well I don't need one, I reused a code from class so I left it there |
| 2022-09-02 21:40:22 +0000 | <kydliceh_> | Yeah it was made to explain how state monad works |
| 2022-09-02 21:43:39 +0000 | <kydliceh_> | I thought that I would resolve how to deal with IO at bind definition |
| 2022-09-02 21:43:59 +0000 | <kydliceh_> | But I guess I will take a look at transfomers before I ask another questions for sure |
| 2022-09-02 21:44:02 +0000 | <geekosaur> | but bind has no way to reach IO because it hasn't been plumbed through |
| 2022-09-02 21:44:20 +0000 | <geekosaur> | if it gets an IO a it can't do anything but return it |
| 2022-09-02 21:44:31 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-02 21:44:47 +0000 | <kydliceh_> | Yeah that's why I had no idea how to continue |
| 2022-09-02 21:45:06 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-02 21:45:09 +0000 | <kydliceh_> | And that's why there were the returns so I could "unwrap it" |
| 2022-09-02 21:45:28 +0000 | <geekosaur> | and even if you use your own State monad it will still behave like any other monad; you already get the whole thing evaluated with the <-, you can't peel it apart and manually evaluate each "level" |
| 2022-09-02 21:45:49 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 21:46:20 +0000 | <kydliceh_> | Ok, that makes sense. I thought I could somehow do it |
| 2022-09-02 21:46:20 +0000 | califax | (~califax@user/califx) |
| 2022-09-02 21:46:56 +0000 | <geekosaur> | and even if you could, once you commit to `return` you can't bail out of it if you get a RuntimeError instead of a result |
| 2022-09-02 21:48:20 +0000 | bbear | (~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 255 seconds) |
| 2022-09-02 21:50:11 +0000 | <kydliceh_> | okay |
| 2022-09-02 21:52:37 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-09-02 21:53:52 +0000 | kydliceh_ | (~kydliceh@94-255-154-14.cust.bredband2.com) (Quit: Konversation terminated!) |
| 2022-09-02 21:55:23 +0000 | jludwig | (~justin@li657-110.members.linode.com) (Changing host) |
| 2022-09-02 21:55:23 +0000 | jludwig | (~justin@user/jludwig) |
| 2022-09-02 21:57:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 22:02:44 +0000 | leah_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-02 22:03:23 +0000 | leah_ | (lp0@heathens.club) |
| 2022-09-02 22:04:07 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-09-02 22:04:19 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:a8c4:c646:2b11:d02f) (Ping timeout: 248 seconds) |
| 2022-09-02 22:07:07 +0000 | Guest5078 | (~Guest50@50.47.108.232) (Quit: Client closed) |
| 2022-09-02 22:17:47 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2022-09-02 22:18:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-09-02 22:18:50 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Remote host closed the connection) |
| 2022-09-02 22:19:13 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-09-02 22:20:22 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-09-02 22:20:33 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 22:21:15 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-09-02 22:23:25 +0000 | off^ | (~off@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-09-02 22:25:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 22:31:06 +0000 | fhn | (~fhn@2.58.185.24) |
| 2022-09-02 22:32:18 +0000 | acidjnk | (~acidjnk@p200300d6e7137a2230878ffc93dd9ace.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-09-02 22:34:06 +0000 | <fhn> | I want to apply STArray s to newArray in ghci but this doesn't work: ghci> :t newArray @(forall s. STArray s) Can I do this somehow? |
| 2022-09-02 22:34:20 +0000 | <fhn> | (Error is: no impredicative polymorphism) |
| 2022-09-02 22:34:54 +0000 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-02 22:37:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 22:38:00 +0000 | <geekosaur> | what's wrong with newSTArray? |
| 2022-09-02 22:40:16 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-09-02 22:43:22 +0000 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-09-02 22:43:34 +0000 | <fhn> | I didn't know it existed ;) I looked into Data.Array.ST and from there to Data.Array.MArray. I see now that newSTArray is in GHC.Arr |
| 2022-09-02 22:44:39 +0000 | off^ | (~off@c-73-237-184-20.hsd1.ga.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-02 22:44:52 +0000 | <geekosaur> | @index newSTArray |
| 2022-09-02 22:44:52 +0000 | <lambdabot> | bzzt |
| 2022-09-02 22:45:39 +0000 | off^ | (~off@c-73-237-184-20.hsd1.ga.comcast.net) |
| 2022-09-02 22:47:42 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-02 22:47:49 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-02 22:48:07 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-02 22:48:31 +0000 | <fhn> | bzzt? |
| 2022-09-02 22:48:49 +0000 | <geekosaur> | I believe what you really want is https://hackage.haskell.org/package/array-0.5.4.0/docs/Data-Array-ST.html and runSTArray, not using newSTArray directly |
| 2022-09-02 22:48:57 +0000 | <geekosaur> | the bot was telling me it's not in base |
| 2022-09-02 22:50:06 +0000 | <geekosaur> | any module starting with "GHC" is an internals module and you probably shouldn't use it directly |
| 2022-09-02 22:50:24 +0000 | <geekosaur> | only GHC.Exts is considered "safe" |
| 2022-09-02 22:50:54 +0000 | <fhn> | Good to know. Thank you! |
| 2022-09-02 22:52:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-02 22:53:02 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-02 22:55:50 +0000 | <geekosaur> | sorry for misleading you, I used hoogle but didn't notice it was pointing me at an internals module 😕 |
| 2022-09-02 22:59:58 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-02 23:00:46 +0000 | Successus | (~Successus@user/Successus) () |
| 2022-09-02 23:05:36 +0000 | <fhn> | No worries. Appreciate suggesting runSTArray. If other beginners are wondering how to use it this is a minimal example: |
| 2022-09-02 23:05:38 +0000 | <fhn> | Data.Array.ST.runSTArray (do arr <- Data.Array.ST.newArray (0, 3) "empty"; return arr) |
| 2022-09-02 23:05:56 +0000 | <fhn> | Should return: array (0,3) [(0,"empty"),(1,"empty"),(2,"empty"),(3,"empty")] |
| 2022-09-02 23:06:16 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-02 23:13:11 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2022-09-02 23:16:22 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-09-02 23:16:25 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-09-02 23:21:51 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-09-02 23:29:33 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-02 23:30:43 +0000 | califax | (~califax@user/califx) |
| 2022-09-02 23:32:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-09-02 23:33:24 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Read error: Connection reset by peer) |
| 2022-09-02 23:34:18 +0000 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-09-02 23:35:11 +0000 | `2jt | (~jtomas@56.red-88-17-82.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-02 23:37:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-02 23:39:02 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-09-02 23:46:26 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-02 23:50:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-09-02 23:50:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-02 23:53:39 +0000 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2022-09-02 23:59:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-09-02 23:59:47 +0000 | rref | (~moe@cpc110681-lewi19-2-0-cust485.2-4.cable.virginm.net) |
| 2022-09-02 23:59:48 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-02 23:59:48 +0000 | finn_elija | FinnElija |