2023-08-03 00:03:31 +0200 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
2023-08-03 00:04:29 +0200 | mud | (~mud@user/kadoban) |
2023-08-03 00:05:59 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-08-03 00:06:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-08-03 00:08:36 +0200 | michalz | (~michalz@185.246.207.205) (Ping timeout: 246 seconds) |
2023-08-03 00:09:28 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
2023-08-03 00:16:01 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:c692:9cde:8ac4:59a8) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
2023-08-03 00:16:22 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:7bdd:68ce:a7a:9e71) |
2023-08-03 00:19:50 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 00:20:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
2023-08-03 00:21:40 +0200 | ub | (~Thunderbi@178.115.75.231.wireless.dyn.drei.com) |
2023-08-03 00:22:52 +0200 | ubert | (~Thunderbi@77.119.203.55.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
2023-08-03 00:22:52 +0200 | ub | ubert |
2023-08-03 00:30:40 +0200 | nick2 | (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) |
2023-08-03 00:32:59 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-08-03 00:33:24 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-03 00:34:57 +0200 | nick2 | (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) (Ping timeout: 245 seconds) |
2023-08-03 00:41:13 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-08-03 00:42:50 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
2023-08-03 00:43:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-08-03 00:45:02 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
2023-08-03 00:45:08 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
2023-08-03 00:45:46 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
2023-08-03 00:49:11 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-08-03 00:49:12 +0200 | danza | (~francesco@151.43.234.196) (Ping timeout: 246 seconds) |
2023-08-03 00:52:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 00:54:02 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
2023-08-03 00:54:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 00:56:09 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 01:01:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
2023-08-03 01:02:01 +0200 | Buggys | (Buggys@buggy.shelltalk.net) |
2023-08-03 01:03:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) (Ping timeout: 245 seconds) |
2023-08-03 01:04:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 01:05:04 +0200 | xff0x | (~xff0x@178.255.149.135) |
2023-08-03 01:07:40 +0200 | pavonia_ | (~user@user/siracusa) |
2023-08-03 01:07:41 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 01:07:44 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
2023-08-03 01:08:10 +0200 | pavonia_ | pavonia |
2023-08-03 01:09:12 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
2023-08-03 01:10:04 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 260 seconds) |
2023-08-03 01:11:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) |
2023-08-03 01:12:35 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
2023-08-03 01:18:56 +0200 | mauke_ | (~mauke@user/mauke) |
2023-08-03 01:20:22 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
2023-08-03 01:20:22 +0200 | mauke_ | mauke |
2023-08-03 01:20:35 +0200 | Axma50742 | Axman6 |
2023-08-03 01:20:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-08-03 01:21:10 +0200 | <jackdk> | shapr: no I didn't. I'm fumbling around with this at work at the moment, was hoping to hit some prior art. (for those who missed it, given a zipper Z and error type E, write a parser combinator library over `StateT Z (ExceptT E)` -- does prior art for this idea exist?) |
2023-08-03 01:21:11 +0200 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) (Ping timeout: 260 seconds) |
2023-08-03 01:22:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 01:24:25 +0200 | johnw_ | johnw |
2023-08-03 01:27:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2023-08-03 01:30:09 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-08-03 01:34:13 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 01:39:12 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-094-168.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
2023-08-03 01:39:39 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 01:39:39 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 01:39:39 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 01:39:53 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 01:39:57 +0200 | dobblego | dibblego |
2023-08-03 01:40:39 +0200 | <jackdk> | Also, for those on the matrix side of things, how is the bridge going? I need to plumb a room to a channel I'm responsible for |
2023-08-03 01:40:45 +0200 | jargon | (~jargon@52.sub-174-238-227.myvzw.com) |
2023-08-03 01:41:42 +0200 | <geekosaur> | b0rked |
2023-08-03 01:42:42 +0200 | <geekosaur> | plumbing "works" right now but the result is highly unreliable. #haskell-irc:matrix.org has received 1 message total from here, but a fair number of joins/parts |
2023-08-03 01:43:03 +0200 | <geekosaur> | unfortunately that seems representative of matrix<->irc in general right now |
2023-08-03 01:51:13 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-08-03 01:52:23 +0200 | jargon | (~jargon@52.sub-174-238-227.myvzw.com) (Remote host closed the connection) |
2023-08-03 01:52:24 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
2023-08-03 01:52:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-08-03 01:52:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-08-03 01:52:53 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-03 01:53:52 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 240 seconds) |
2023-08-03 02:00:32 +0200 | bilegeek | (~bilegeek@2600:1008:b0aa:6b7:3881:3aff:a670:ed17) |
2023-08-03 02:02:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-08-03 02:03:11 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
2023-08-03 02:03:30 +0200 | califax | (~califax@user/califx) |
2023-08-03 02:04:39 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 02:06:03 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 02:08:02 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-08-03 02:11:22 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 02:16:47 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
2023-08-03 02:26:03 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 02:31:45 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
2023-08-03 02:34:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-08-03 02:34:47 +0200 | califax | (~califax@user/califx) |
2023-08-03 02:37:46 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 02:41:34 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
2023-08-03 02:42:52 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 02:49:36 +0200 | mima | (~mmh@aftr-82-135-83-22.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
2023-08-03 02:53:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-08-03 02:53:49 +0200 | iteratee | (~kyle@162.218.222.207) |
2023-08-03 02:54:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 02:59:59 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
2023-08-03 03:01:21 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
2023-08-03 03:04:26 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
2023-08-03 03:04:49 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 03:05:55 +0200 | iteratee | (~kyle@162.218.222.207) |
2023-08-03 03:08:41 +0200 | yangby | (~secret@115.220.173.23) |
2023-08-03 03:09:41 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
2023-08-03 03:11:16 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-08-03 03:12:06 +0200 | razetime | (~quassel@117.254.36.99) |
2023-08-03 03:17:22 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-08-03 03:17:28 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 03:23:12 +0200 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2023-08-03 03:24:56 +0200 | ft | (~ft@p3e9bcfc2.dip0.t-ipconnect.de) |
2023-08-03 03:28:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
2023-08-03 03:30:04 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 03:31:57 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-08-03 03:34:45 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 03:35:22 +0200 | ft | (~ft@p3e9bcfc2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-08-03 03:36:47 +0200 | ft | (~ft@p4fc2a958.dip0.t-ipconnect.de) |
2023-08-03 03:38:51 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-08-03 03:38:52 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-08-03 03:38:52 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-03 03:42:39 +0200 | <shapr> | Anyone else attending ICFP this year in Seattle? |
2023-08-03 03:42:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 03:44:36 +0200 | ft | (~ft@p4fc2a958.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-08-03 03:46:34 +0200 | ft | (~ft@p4fc2af2e.dip0.t-ipconnect.de) |
2023-08-03 03:47:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-08-03 03:48:03 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
2023-08-03 03:48:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 03:52:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-08-03 03:54:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 04:01:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Remote host closed the connection) |
2023-08-03 04:01:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 04:02:53 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Remote host closed the connection) |
2023-08-03 04:06:12 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
2023-08-03 04:07:08 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 04:12:09 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 04:12:54 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 04:13:52 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 240 seconds) |
2023-08-03 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 04:16:03 +0200 | <jackdk> | shapr: one particularly annoying thing with the cursor types I've been playing with is that I don't have a "one-past-the-end" cursor |
2023-08-03 04:20:41 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
2023-08-03 04:22:46 +0200 | <probie> | jackdk: I'm not quite sure what you're asking re parser combinators on zippers |
2023-08-03 04:22:54 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
2023-08-03 04:23:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) (Ping timeout: 246 seconds) |
2023-08-03 04:23:37 +0200 | <glguy> | jackdk: my config-schema library has a kind of parser-combinators on trees for matching configuration values (kind of like json) to Haskell values |
2023-08-03 04:25:16 +0200 | <jackdk> | probie: the classic parser monad is like`newtype Parser a = Parser (String -> Maybe (String, a))`, right? And so you "move along" the input stream (except you throw away the characters you've consumed. What if instead, you made a monad like `newtype CursorParser a = CursorParser (Cursor -> Maybe (Cursor, a))`? This seems to get me a lot of what I want with `$CURRENT_WORK_PROBLEM` |
2023-08-03 04:25:57 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 04:26:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Remote host closed the connection) |
2023-08-03 04:27:15 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 04:27:53 +0200 | <jackdk> | But, I can write `eof :: Parser ()` which succeeds iff the input stream is empty. But the zipper library I've been playing has cursors points at a specific node, so writing an `eof`-equivalent is more annoying. |
2023-08-03 04:28:09 +0200 | <probie> | And you're walking some arbitrary tree structure? |
2023-08-03 04:28:17 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Remote host closed the connection) |
2023-08-03 04:28:55 +0200 | <jackdk> | yeah some slightly-more-structured-than-normal HTML |
2023-08-03 04:30:01 +0200 | <jackdk> | and so I want to do something like walk all the first-level children of the document and parse each. |
2023-08-03 04:30:29 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-08-03 04:31:51 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-08-03 04:31:54 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 04:34:43 +0200 | <probie> | So does that mean some of your combinators are ones which "uncons" (i.e move the cursor back to a place you've already been when you're not backtracking due to failure)? |
2023-08-03 04:35:27 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
2023-08-03 04:38:29 +0200 | <probie> | either way, I can't think of any relevant literature, I'm just curious about the problem |
2023-08-03 04:38:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 04:39:32 +0200 | td_ | (~td@i53870902.versanet.de) (Ping timeout: 245 seconds) |
2023-08-03 04:40:36 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 04:40:36 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 04:40:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 04:41:33 +0200 | td_ | (~td@i5387091A.versanet.de) |
2023-08-03 04:41:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
2023-08-03 04:42:29 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2023-08-03 04:42:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-08-03 04:42:30 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-08-03 04:42:30 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-03 04:44:57 +0200 | <jackdk> | The library makes the assumption that the function `current :: Cursor -> Node` exists, whereas I think i want to allow valid cursors to not point to nodes. You could also think of it as wanting to let a cursor point to child element as well as the nil at the end of the list |
2023-08-03 04:51:25 +0200 | <probie> | So if I've got `<foo><bar/><baz/></foo>`, how many children can I walk to from `foo`? 2 (bar and baz), 3 (bar, baz and null) or 4 (left null, bar, baz and right null)? |
2023-08-03 04:53:49 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-08-03 04:55:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 04:58:58 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-08-03 04:58:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-08-03 04:58:58 +0200 | finn_elija | FinnElija |
2023-08-03 05:01:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2023-08-03 05:02:05 +0200 | <jackdk> | the library I'm using says 2, I'd like to say 3. You also avoid the need for specific "insertBefore" vs "insertAfter" if you do this; your single "insert" can be "insertBefore" if you allow your cursor to move to one-past-the-end |
2023-08-03 05:06:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Remote host closed the connection) |
2023-08-03 05:07:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 05:07:29 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2023-08-03 05:12:04 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
2023-08-03 05:14:51 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Quit: The Lounge - https://thelounge.chat) |
2023-08-03 05:15:56 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
2023-08-03 05:19:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-08-03 05:24:24 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
2023-08-03 05:25:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 05:29:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 05:29:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 05:29:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 05:33:30 +0200 | <shapr> | jackdk: any connection to finger trees? |
2023-08-03 05:34:53 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 05:36:58 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 05:39:32 +0200 | <jackdk> | not that I've thought about |
2023-08-03 05:39:42 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 05:40:07 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
2023-08-03 05:42:56 +0200 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
2023-08-03 05:45:15 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 05:45:15 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 05:45:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 05:48:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-08-03 05:50:04 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 260 seconds) |
2023-08-03 05:50:23 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) |
2023-08-03 05:50:29 +0200 | trev | (~trev@user/trev) |
2023-08-03 05:51:57 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
2023-08-03 05:54:00 +0200 | rnat | (uid73555@id-73555.lymington.irccloud.com) |
2023-08-03 05:56:57 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) (Read error: Connection reset by peer) |
2023-08-03 05:57:07 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) (Ping timeout: 260 seconds) |
2023-08-03 05:57:28 +0200 | phma | (~phma@2001:5b0:211c:3428:4010:7349:818e:e0c8) |
2023-08-03 05:57:48 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
2023-08-03 06:00:22 +0200 | ddellacosta | (~ddellacos@146.70.168.10) (Ping timeout: 250 seconds) |
2023-08-03 06:00:28 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:d700:4114:3685:1754:c122) |
2023-08-03 06:00:42 +0200 | aforemny_ | (~aforemny@2001:9e8:6cee:8c00:a343:dfed:b4a9:34ef) (Ping timeout: 246 seconds) |
2023-08-03 06:00:58 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
2023-08-03 06:01:26 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
2023-08-03 06:03:28 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-08-03 06:08:14 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-08-03 06:09:28 +0200 | razetime | (~quassel@117.254.36.99) (Ping timeout: 250 seconds) |
2023-08-03 06:09:45 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-03 06:10:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 06:12:36 +0200 | shapr | (~user@2600:1700:c640:3100:3ee3:4baf:9e91:b42d) (Ping timeout: 246 seconds) |
2023-08-03 06:15:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2023-08-03 06:16:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 06:16:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 06:16:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 06:30:44 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-08-03 06:34:27 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
2023-08-03 06:41:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 06:44:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-08-03 06:45:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 06:45:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 06:45:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 06:47:31 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 06:50:41 +0200 | razetime | (~quassel@117.254.36.99) |
2023-08-03 06:52:51 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 246 seconds) |
2023-08-03 06:54:33 +0200 | glguy | glguy[m] |
2023-08-03 06:55:05 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-08-03 06:56:11 +0200 | gurkenglas | (~gurkengla@46.114.94.168) |
2023-08-03 06:58:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 06:59:58 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2023-08-03 07:03:54 +0200 | glguy[m] | glguy[i] |
2023-08-03 07:06:04 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 07:06:04 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 07:06:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 07:11:09 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 07:13:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 07:13:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 07:13:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 07:16:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-03 07:20:04 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-08-03 07:21:52 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 240 seconds) |
2023-08-03 07:22:21 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) |
2023-08-03 07:22:23 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 07:24:36 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
2023-08-03 07:27:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 07:28:07 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 07:28:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
2023-08-03 07:30:58 +0200 | yangby | (~secret@115.220.173.23) (Ping timeout: 252 seconds) |
2023-08-03 07:32:56 +0200 | yangby | (~secret@183.157.65.111) |
2023-08-03 07:34:06 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 07:37:41 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-08-03 07:39:12 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
2023-08-03 07:42:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 07:42:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 07:42:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 07:43:29 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-08-03 07:53:28 +0200 | incertia | (~incertia@209.122.71.127) (Ping timeout: 250 seconds) |
2023-08-03 07:55:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 07:56:22 +0200 | incertia | (~incertia@209.122.71.127) |
2023-08-03 07:57:49 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
2023-08-03 07:57:57 +0200 | biberu\ | (~biberu@user/biberu) |
2023-08-03 07:59:22 +0200 | biberu\ | biberu |
2023-08-03 08:02:28 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) |
2023-08-03 08:04:23 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-08-03 08:05:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-03 08:07:12 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) |
2023-08-03 08:09:25 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-08-03 08:10:46 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
2023-08-03 08:12:14 +0200 | bramhaag | (~bramhaag@134.195.121.39) (Quit: The Lounge - https://thelounge.chat) |
2023-08-03 08:12:15 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Quit: The Lounge - https://thelounge.chat) |
2023-08-03 08:14:28 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-08-03 08:16:40 +0200 | gurkenglas | (~gurkengla@46.114.94.168) (Ping timeout: 244 seconds) |
2023-08-03 08:23:01 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-08-03 08:24:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-03 08:37:36 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-08-03 08:38:38 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2023-08-03 08:41:59 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
2023-08-03 08:43:31 +0200 | rnat | (uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 08:48:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-08-03 08:54:36 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2023-08-03 08:58:49 +0200 | <feetwind> | has anyone done anything like make Index.hs or Mod.hs or whatever a way to specify a parent module a la es6 imports or rust? something that's always just mildly annoyed me with haskell module hierarchies |
2023-08-03 08:59:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 09:00:03 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-08-03 09:00:21 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
2023-08-03 09:00:33 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-08-03 09:00:56 +0200 | califax | (~califax@user/califx) |
2023-08-03 09:00:57 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
2023-08-03 09:01:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Ping timeout: 260 seconds) |
2023-08-03 09:01:59 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) (Ping timeout: 260 seconds) |
2023-08-03 09:01:59 +0200 | shreyasminocha | (51fdc93eda@2604:bf00:561:2000::108) (Ping timeout: 260 seconds) |
2023-08-03 09:01:59 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) (Ping timeout: 260 seconds) |
2023-08-03 09:01:59 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) (Ping timeout: 260 seconds) |
2023-08-03 09:01:59 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Ping timeout: 260 seconds) |
2023-08-03 09:02:27 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:8216:268c:40d7:b242) |
2023-08-03 09:02:34 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) (Ping timeout: 260 seconds) |
2023-08-03 09:02:34 +0200 | sm2n | (ae95cb1267@2604:bf00:561:2000::109) (Ping timeout: 260 seconds) |
2023-08-03 09:02:34 +0200 | rselim | (ce261f06ff@2604:bf00:561:2000::257) (Ping timeout: 260 seconds) |
2023-08-03 09:02:34 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) (Ping timeout: 260 seconds) |
2023-08-03 09:02:34 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) (Ping timeout: 260 seconds) |
2023-08-03 09:02:52 +0200 | haasn- | (~nand@haasn.dev) |
2023-08-03 09:02:53 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2023-08-03 09:02:58 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
2023-08-03 09:03:02 +0200 | orcus- | (~orcus@mail.brprice.uk) |
2023-08-03 09:03:09 +0200 | orcus | (~orcus@mail.brprice.uk) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | probie | (cc0b34050a@user/probie) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | jakzale | (6291399afa@2604:bf00:561:2000::1e4) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | chaitlatte0 | (ea29c0bb16@2604:bf00:561:2000::1124) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | sus | (1b7af6299f@2604:bf00:561:2000::1087) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | Guest8948 | (ea769b8000@2604:bf00:561:2000::242) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | yushyin | (f4a8hbfH0Q@mail.karif.server-speed.net) (Ping timeout: 260 seconds) |
2023-08-03 09:03:09 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | haasn` | (~nand@haasn.dev) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | hays | (rootvegeta@fsf/member/hays) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | jleightcap | (7bc4014b62@2604:bf00:561:2000::2cc) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | jkoshy | (99b9359beb@2604:bf00:561:2000::10f) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | glguy[i] | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (Ping timeout: 260 seconds) |
2023-08-03 09:03:44 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 260 seconds) |
2023-08-03 09:04:15 +0200 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
2023-08-03 09:04:16 +0200 | sm2n | (ae95cb1267@user/sm2n) |
2023-08-03 09:04:16 +0200 | n1essa | (3d621153a5@2604:bf00:561:2000::df7) |
2023-08-03 09:04:18 +0200 | rselim | (ce261f06ff@2604:bf00:561:2000::257) |
2023-08-03 09:04:18 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
2023-08-03 09:04:19 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) |
2023-08-03 09:04:19 +0200 | MonsoonSecrecy | (f78c86e960@2604:bf00:561:2000::f99) |
2023-08-03 09:04:19 +0200 | filwisher | (2e6936c793@2604:bf00:561:2000::170) |
2023-08-03 09:04:19 +0200 | bsima1 | (9d7e39c8ad@2604:bf00:561:2000::dd) |
2023-08-03 09:04:20 +0200 | lukec | (9dfd4d094e@2604:bf00:561:2000::10e) |
2023-08-03 09:04:20 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
2023-08-03 09:04:24 +0200 | arcadewise | (52968ed80d@2604:bf00:561:2000::3df) |
2023-08-03 09:04:25 +0200 | probie | (cc0b34050a@user/probie) |
2023-08-03 09:04:25 +0200 | sus | (1b7af6299f@user/zeromomentum) |
2023-08-03 09:04:25 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
2023-08-03 09:04:25 +0200 | jakzale | (6291399afa@user/jakzale) |
2023-08-03 09:04:25 +0200 | samhh | (7569f027cf@2604:bf00:561:2000::e4) |
2023-08-03 09:04:26 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
2023-08-03 09:05:33 +0200 | cheater_ | (~Username@user/cheater) |
2023-08-03 09:05:44 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
2023-08-03 09:06:06 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
2023-08-03 09:06:07 +0200 | theesm | (2cbdf4b38a@2604:bf00:561:2000::11c8) |
2023-08-03 09:06:08 +0200 | thelounge793 | (~thelounge@95.179.128.119) (Quit: Ping timeout (120 seconds)) |
2023-08-03 09:06:08 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
2023-08-03 09:06:08 +0200 | henrytill | (e0180937c3@2604:bf00:561:2000::e8c) |
2023-08-03 09:06:11 +0200 | fvr | (ef3e56ca8b@2604:bf00:561:2000::3c4) |
2023-08-03 09:06:14 +0200 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
2023-08-03 09:06:20 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
2023-08-03 09:06:25 +0200 | thelounge793 | (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) |
2023-08-03 09:07:27 +0200 | michalz | (~michalz@185.246.207.197) |
2023-08-03 09:07:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f97d0a51586a4fa6f31.dip0.t-ipconnect.de) |
2023-08-03 09:07:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
2023-08-03 09:07:49 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
2023-08-03 09:07:59 +0200 | cheater_ | cheater |
2023-08-03 09:08:23 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-08-03 09:10:03 +0200 | mncheck | (~mncheck@193.224.205.254) |
2023-08-03 09:14:29 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-03 09:15:04 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
2023-08-03 09:15:58 +0200 | evanrelf | (3addc196af@2604:bf00:561:2000::f0) |
2023-08-03 09:16:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 09:16:07 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
2023-08-03 09:16:12 +0200 | ggb | (a62ffbaf4f@2604:bf00:561:2000::3ac) |
2023-08-03 09:16:12 +0200 | whereiseveryone | (206ba86c98@2604:bf00:561:2000::2e4) |
2023-08-03 09:16:13 +0200 | ymherklotz | (cb2c9cfbdd@2604:bf00:561:2000::29a) |
2023-08-03 09:16:14 +0200 | b0o | (0e4a0bf4c9@2604:bf00:561:2000::1bf) |
2023-08-03 09:16:21 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
2023-08-03 09:16:54 +0200 | yushyin | (lalptp8DQk@mail.karif.server-speed.net) |
2023-08-03 09:17:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 09:17:52 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 09:18:25 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-095-165.46.114.pool.telefonica.de) |
2023-08-03 09:18:32 +0200 | ubert1 | (~Thunderbi@178.115.75.231) |
2023-08-03 09:20:06 +0200 | chele | (~chele@user/chele) |
2023-08-03 09:20:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-08-03 09:20:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2023-08-03 09:22:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 09:22:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 09:22:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 09:22:51 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-006.client.tudelft.eduvpn.nl) |
2023-08-03 09:24:20 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
2023-08-03 09:24:46 +0200 | bilegeek | (~bilegeek@2600:1008:b0aa:6b7:3881:3aff:a670:ed17) (Quit: Leaving) |
2023-08-03 09:25:15 +0200 | MajorBiscuit | (~MajorBisc@c-001-028-006.client.tudelft.eduvpn.nl) (Client Quit) |
2023-08-03 09:29:26 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
2023-08-03 09:29:40 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) (Quit: "It's the only way, then they can all forget me. I got too big, Dorium, too noisy. Time to step back into the shadows.") |
2023-08-03 09:30:25 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
2023-08-03 09:31:14 +0200 | rumraisin | (~phileasfo@user/phileasfogg) |
2023-08-03 09:31:29 +0200 | rumraisin | phileasfogg |
2023-08-03 09:31:31 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
2023-08-03 09:32:00 +0200 | nullsh | (nullsh@user/nexeq) (Ping timeout: 252 seconds) |
2023-08-03 09:32:23 +0200 | MajorBiscuit | (~MajorBisc@145.90.38.199) |
2023-08-03 09:32:41 +0200 | mima | (~mmh@aftr-82-135-83-150.dynamic.mnet-online.de) |
2023-08-03 09:33:06 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:6257:f623:94d5:3fe3) (Remote host closed the connection) |
2023-08-03 09:34:01 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:3f9:96d9:976e:1fc6) |
2023-08-03 09:41:08 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 09:44:29 +0200 | nullsh | (nullsh@user/nexeq) |
2023-08-03 09:45:00 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-08-03 09:49:09 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 244 seconds) |
2023-08-03 09:50:10 +0200 | <dminuoso> | feetwind: Can you elaborate on what you mean by "make Index.hs or Mod.hs"? |
2023-08-03 09:50:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-08-03 09:50:35 +0200 | <dminuoso> | If anything, I consider the rigid module structure of Haskell a good thiing. |
2023-08-03 09:52:09 +0200 | gmg | (~user@user/gehmehgeh) |
2023-08-03 09:53:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-08-03 09:54:16 +0200 | vpan | (~0@mail.elitnet.lt) |
2023-08-03 09:54:53 +0200 | califax | (~califax@user/califx) |
2023-08-03 09:56:18 +0200 | <probie> | dminuoso: I think they mean someting like `module Foo (module X) where; import Foo.Bar as X; import Foo.Baz as X` |
2023-08-03 09:57:34 +0200 | <feetwind> | nah I just mean being able to have e.g. lib/Foo/Bar/Baz/{mod.hs,A} mean the modules Foo.Bar.Baz and Foo.Bar.Baz.A instead of needing lib/Foo/Bar/{Baz.hs,Baz/A.hs} |
2023-08-03 09:59:03 +0200 | <feetwind> | it's a very minor quibble, i just like the fewer redundant names in my directory structure in my rust projects |
2023-08-03 10:01:14 +0200 | misterfish | (~misterfis@87.215.131.102) |
2023-08-03 10:01:22 +0200 | <feetwind> | as in rust, es6, or python's mod.rs, index.js, or __init__.py files respectively |
2023-08-03 10:02:16 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) |
2023-08-03 10:05:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Remote host closed the connection) |
2023-08-03 10:07:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
2023-08-03 10:10:56 +0200 | danza | (~francesco@151.19.228.50) |
2023-08-03 10:11:31 +0200 | danza | (~francesco@151.19.228.50) (Remote host closed the connection) |
2023-08-03 10:14:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 10:14:14 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-08-03 10:18:58 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 10:20:47 +0200 | razetime | (~quassel@117.254.36.99) (Ping timeout: 260 seconds) |
2023-08-03 10:21:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 10:23:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
2023-08-03 10:26:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 10:26:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 10:26:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 10:27:48 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
2023-08-03 10:28:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 10:29:32 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2023-08-03 10:31:21 +0200 | razetime | (~quassel@117.254.36.99) |
2023-08-03 10:32:23 +0200 | danse-nr3 | (~francesco@151.19.228.50) |
2023-08-03 10:33:16 +0200 | danse-nr3 | (~francesco@151.19.228.50) (Remote host closed the connection) |
2023-08-03 10:33:21 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-08-03 10:34:52 +0200 | danse-nr3 | (~francesco@151.19.228.50) |
2023-08-03 10:35:36 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-03 10:35:46 +0200 | danse-nr3 | (~francesco@151.19.228.50) (Remote host closed the connection) |
2023-08-03 10:35:54 +0200 | mmhat | (~mmh@p200300f1c73d19d6ee086bfffe095315.dip0.t-ipconnect.de) |
2023-08-03 10:41:07 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 10:44:36 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
2023-08-03 10:45:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 10:45:17 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:d700:4114:3685:1754:c122) (Ping timeout: 260 seconds) |
2023-08-03 10:45:28 +0200 | Pickchea | (~private@user/pickchea) |
2023-08-03 10:46:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 10:46:29 +0200 | danse-nr3 | (~francesco@151.19.228.50) |
2023-08-03 10:47:34 +0200 | danse-nr3 | (~francesco@151.19.228.50) (Remote host closed the connection) |
2023-08-03 10:48:12 +0200 | danse-nr3 | (~francesco@151.19.228.50) |
2023-08-03 10:48:25 +0200 | aforemny | (~aforemny@2001:9e8:6cde:900:a720:64c8:17d6:6ec3) |
2023-08-03 10:50:04 +0200 | danse-nr3 | (~francesco@151.19.228.50) (Remote host closed the connection) |
2023-08-03 10:50:35 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 10:50:35 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 10:50:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 10:51:39 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 10:52:51 +0200 | ubert1 | (~Thunderbi@178.115.75.231) (Quit: ubert1) |
2023-08-03 10:53:27 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 10:53:51 +0200 | bramhaag | (~bramhaag@134.195.121.39) |
2023-08-03 10:54:11 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
2023-08-03 10:56:12 +0200 | ft | (~ft@p4fc2af2e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-08-03 10:58:12 +0200 | __monty__ | (~toonn@user/toonn) |
2023-08-03 10:58:18 +0200 | ft | (~ft@p3e9bc0cd.dip0.t-ipconnect.de) |
2023-08-03 11:00:05 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) (Remote host closed the connection) |
2023-08-03 11:03:22 +0200 | ft | (~ft@p3e9bc0cd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2023-08-03 11:04:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 11:05:20 +0200 | mmhat | (~mmh@p200300f1c73d19d6ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
2023-08-03 11:06:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 11:09:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2023-08-03 11:09:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
2023-08-03 11:10:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Ping timeout: 260 seconds) |
2023-08-03 11:15:11 +0200 | danse-nr3 | (~francesco@151.19.228.50) |
2023-08-03 11:22:02 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 260 seconds) |
2023-08-03 11:27:15 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-08-03 11:32:03 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 11:32:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-08-03 11:35:01 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-08-03 11:35:16 +0200 | califax | (~califax@user/califx) |
2023-08-03 11:37:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 11:43:00 +0200 | sayola | (~sayola@2a00:20:b047:ebf2:edae:316a:6fef:1523) |
2023-08-03 11:43:54 +0200 | <kuribas> | Do you think hkd types should be avoided in production code? |
2023-08-03 11:44:05 +0200 | <kuribas> | Even if they help you avoid boilerplate? |
2023-08-03 11:46:30 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-08-03 11:46:31 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Read error: Connection reset by peer) |
2023-08-03 11:46:46 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-08-03 11:47:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2023-08-03 11:48:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 11:48:49 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
2023-08-03 11:49:06 +0200 | <danse-nr3> | highly-kinded? |
2023-08-03 11:49:11 +0200 | <kuribas> | yes |
2023-08-03 11:49:17 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-08-03 11:50:14 +0200 | <lortabac> | kuribas: the question is probably too generic to be useful |
2023-08-03 11:51:03 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
2023-08-03 11:51:38 +0200 | <kuribas> | I try to avoid to much type level magic, but I find hkd types too useful to discard. |
2023-08-03 11:53:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 11:53:51 +0200 | <Hecate> | kuribas: let me ask you a counter-question: Do they adequately model your business domain? |
2023-08-03 11:54:22 +0200 | <kuribas> | yes |
2023-08-03 11:56:22 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2023-08-03 11:56:37 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
2023-08-03 11:56:51 +0200 | <danse-nr3> | what is your concern about highly-kinded types in production? |
2023-08-03 11:57:17 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
2023-08-03 11:57:41 +0200 | <kuribas> | That the entry for understanding them is too high. |
2023-08-03 11:58:32 +0200 | <kuribas> | https://twitter.com/jdegoes/status/1471147030680645638 |
2023-08-03 11:59:43 +0200 | <danse-nr3> | well, that is a thing. Depending on how your team is structured (or meant to grow), you might want to keep things simple |
2023-08-03 12:00:10 +0200 | <danse-nr3> | that tweet is funny, by the way. "functional programming should stay away from highly-kinded types" ... sounds like a joke |
2023-08-03 12:00:22 +0200 | <jackdk> | be highly-kind to each other |
2023-08-03 12:00:52 +0200 | <kuribas> | Not much of a team now, I was allowed to write this script in haskell, but only 1 other person has shown interest. |
2023-08-03 12:01:37 +0200 | <jackdk> | I think a different Haskell ecosystem would make the cost:benefit of HKD quite different. Example: if we didn't have so many libraries using typeclass-based interfaces for codecs (e.g. classes FromJSON/ToJSON, etc), then having a record of encoders and converting to an encoder of records is legit cool. |
2023-08-03 12:01:49 +0200 | <danse-nr3> | kuribas, then i would say keep it simple, but just a shallow opinion |
2023-08-03 12:02:33 +0200 | <danse-nr3> | one can save a lot of boilerplate with higher-order functions already, and it is still interesting for newcomers |
2023-08-03 12:02:47 +0200 | <jackdk> | There are few places where I have legitimately wanted HKD in my commercial work, though occasionally we'll parameterise a couple of fields by some functor f and set `f ~ Identity` or `f ~ Proxy` to "remove" those fields |
2023-08-03 12:03:29 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 12:04:21 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 12:04:23 +0200 | <jackdk> | (also, a good `FRepresentable` is holding back the really dumb stuff I wanna do, like write`fromDMap :: (FRepresentable rep, Rep rep ~ tag) => DMap tag f a -> Maybe (rep f)`, at least I think that's what it was) |
2023-08-03 12:04:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 12:04:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-08-03 12:05:12 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 12:06:14 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
2023-08-03 12:08:29 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-08-03 12:08:33 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
2023-08-03 12:08:53 +0200 | <kuribas> | hkd types are great for describing schemas |
2023-08-03 12:09:08 +0200 | <kuribas> | like database schemas, api schemas, ... |
2023-08-03 12:09:12 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
2023-08-03 12:09:17 +0200 | <kuribas> | configuration data... |
2023-08-03 12:11:52 +0200 | danse-nr3_ | (~francesco@151.35.234.99) |
2023-08-03 12:12:29 +0200 | <kuribas> | You can then adapt it to read from a source, for example environment data, json file, command line parsers. |
2023-08-03 12:13:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2023-08-03 12:13:32 +0200 | <kuribas> | like: MyConfig f, then f ~ CommandParser, or f ~ EnvParser, or f ~ JsonParser. |
2023-08-03 12:13:57 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
2023-08-03 12:14:13 +0200 | <kuribas> | https://chrispenner.ca/posts/hkd-options |
2023-08-03 12:14:29 +0200 | danse-nr3 | (~francesco@151.19.228.50) (Ping timeout: 260 seconds) |
2023-08-03 12:14:43 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Remote host closed the connection) |
2023-08-03 12:18:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
2023-08-03 12:22:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 12:23:34 +0200 | <danse-nr3_> | oh right, had forgotten highly-kinded types refers just to this. It does not look that scary. I thought it was about some more complex abstraction |
2023-08-03 12:25:11 +0200 | mbuf | (~Shakthi@49.207.178.186) |
2023-08-03 12:25:54 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 12:26:24 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 12:26:24 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 12:26:24 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 12:29:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 12:30:01 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-08-03 12:30:15 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 12:34:59 +0200 | danse-nr3_ | (~francesco@151.35.234.99) (Remote host closed the connection) |
2023-08-03 12:35:22 +0200 | danse-nr3_ | (~francesco@151.35.234.99) |
2023-08-03 12:35:30 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-08-03 12:37:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 12:42:20 +0200 | dibblego | (~dibblego@116.255.1.151) |
2023-08-03 12:42:20 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
2023-08-03 12:42:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 12:43:36 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 12:48:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 12:49:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-08-03 12:54:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 12:54:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 12:54:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 13:00:16 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Ping timeout: 250 seconds) |
2023-08-03 13:05:02 +0200 | phma | (~phma@2001:5b0:211c:3428:4010:7349:818e:e0c8) (Read error: Connection reset by peer) |
2023-08-03 13:05:30 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) |
2023-08-03 13:06:24 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 13:08:46 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Remote host closed the connection) |
2023-08-03 13:08:46 +0200 | mima | (~mmh@aftr-82-135-83-150.dynamic.mnet-online.de) (Ping timeout: 245 seconds) |
2023-08-03 13:09:40 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
2023-08-03 13:15:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c00a:1568:1eb1:8f96) |
2023-08-03 13:17:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 13:17:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 13:19:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 13:22:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-08-03 13:23:05 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 13:23:05 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 13:23:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 13:24:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
2023-08-03 13:24:41 +0200 | arahael | (~arahael@124.149.31.4) |
2023-08-03 13:25:04 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-08-03 13:27:07 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) (Quit: CiaoSen) |
2023-08-03 13:29:09 +0200 | arahael | (~arahael@124.149.31.4) (Ping timeout: 260 seconds) |
2023-08-03 13:29:26 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) |
2023-08-03 13:29:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 13:32:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 13:34:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 13:34:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 13:34:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 13:37:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-03 13:37:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
2023-08-03 13:37:54 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
2023-08-03 13:38:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-08-03 13:39:30 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
2023-08-03 13:39:59 +0200 | phma | (~phma@2001:5b0:211c:3428:6fc:f199:7e0b:e846) |
2023-08-03 13:43:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2023-08-03 13:43:44 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-08-03 13:48:50 +0200 | danse-nr3_ | (~francesco@151.35.234.99) (Ping timeout: 245 seconds) |
2023-08-03 13:49:01 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
2023-08-03 13:50:19 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 13:53:31 +0200 | danse-nr3_ | (~francesco@151.35.234.99) |
2023-08-03 13:53:35 +0200 | kaptch | (~kaptch@95.10.4.214) |
2023-08-03 13:53:38 +0200 | kaptch | (~kaptch@95.10.4.214) (Client Quit) |
2023-08-03 13:55:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-08-03 14:00:27 +0200 | eldritchcookie | (~eldritchc@186.226.54.7) |
2023-08-03 14:02:12 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-08-03 14:03:15 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
2023-08-03 14:03:39 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
2023-08-03 14:04:35 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
2023-08-03 14:05:22 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
2023-08-03 14:06:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 14:06:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 14:08:27 +0200 | RDMengineer | (~rdmengie@178-79-78-45.dynamic.telemach.net) |
2023-08-03 14:10:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2023-08-03 14:11:03 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
2023-08-03 14:15:04 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
2023-08-03 14:15:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
2023-08-03 14:16:17 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
2023-08-03 14:17:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-08-03 14:18:21 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-08-03 14:18:23 +0200 | RDMengineer | (~rdmengie@178-79-78-45.dynamic.telemach.net) (The Lounge - https://thelounge.chat) |
2023-08-03 14:18:26 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Client Quit) |
2023-08-03 14:19:11 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-08-03 14:21:18 +0200 | kawen | (~quassel@static.208.191.216.95.clients.your-server.de) (Ping timeout: 250 seconds) |
2023-08-03 14:22:15 +0200 | Pickchea | (~private@user/pickchea) |
2023-08-03 14:28:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 14:30:39 +0200 | sympt | (~sympt@user/sympt) (Quit: Ping timeout (120 seconds)) |
2023-08-03 14:31:37 +0200 | sympt | (~sympt@user/sympt) |
2023-08-03 14:33:19 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 14:34:29 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 260 seconds) |
2023-08-03 14:36:23 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
2023-08-03 14:37:03 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) |
2023-08-03 14:37:24 +0200 | razetime | (~quassel@117.254.36.99) (Ping timeout: 260 seconds) |
2023-08-03 14:41:17 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-08-03 14:45:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 14:49:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
2023-08-03 14:53:43 +0200 | shapr | (~user@2600:1700:c640:3100:2914:c7c5:b36d:30fe) |
2023-08-03 14:54:54 +0200 | nschoe | (~q@141.101.51.197) |
2023-08-03 14:58:27 +0200 | mauke | (~mauke@user/mauke) |
2023-08-03 15:01:53 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 15:03:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 260 seconds) |
2023-08-03 15:06:41 +0200 | sunarch | (~sunarch@user/sunarch) (Ping timeout: 258 seconds) |
2023-08-03 15:07:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-08-03 15:12:24 +0200 | danse-nr3_ | (~francesco@151.35.234.99) (Ping timeout: 260 seconds) |
2023-08-03 15:18:57 +0200 | danse-nr3_ | (~francesco@151.35.234.99) |
2023-08-03 15:19:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 15:24:39 +0200 | <eldritchcookie> | hello rust has ABI stable crates what would it take to do something similar in haskell? |
2023-08-03 15:26:39 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 246 seconds) |
2023-08-03 15:26:51 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
2023-08-03 15:26:59 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 15:27:24 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 15:29:48 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-095-165.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
2023-08-03 15:30:27 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
2023-08-03 15:30:59 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 15:31:07 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
2023-08-03 15:31:33 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
2023-08-03 15:33:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 15:33:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2023-08-03 15:36:22 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
2023-08-03 15:37:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-08-03 15:39:14 +0200 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) |
2023-08-03 15:41:29 +0200 | sunarch | (~sunarch@user/sunarch) |
2023-08-03 15:45:52 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
2023-08-03 15:46:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-08-03 15:49:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 15:58:24 +0200 | <monochrom> | Disable all optimizations. |
2023-08-03 15:59:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-08-03 15:59:23 +0200 | <monochrom> | Hugs has ABI stable packages because there is no ABI. |
2023-08-03 15:59:39 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 15:59:52 +0200 | razetime | (~quassel@117.254.36.99) |
2023-08-03 16:00:03 +0200 | <monochrom> | Python and Javascript should too, but somehow they still manage to ruin it. |
2023-08-03 16:04:52 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2023-08-03 16:05:03 +0200 | cfricke | (~cfricke@user/cfricke) |
2023-08-03 16:05:19 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-095-165.46.114.pool.telefonica.de) |
2023-08-03 16:05:21 +0200 | <ncf> | does anyone know why Indexable doesn't have a fundep p -> i? it would make inference easier with `indexed` |
2023-08-03 16:05:21 +0200 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
2023-08-03 16:05:29 +0200 | <monochrom> | OK, disable optimizations or disable separate compilation (so no ABI again). |
2023-08-03 16:06:01 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2023-08-03 16:06:44 +0200 | troydm | (~troydm@user/troydm) |
2023-08-03 16:08:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-08-03 16:08:52 +0200 | califax | (~califax@user/califx) |
2023-08-03 16:10:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 16:10:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) |
2023-08-03 16:10:55 +0200 | troydm | (~troydm@user/troydm) (Client Quit) |
2023-08-03 16:11:41 +0200 | troydm | (~troydm@user/troydm) |
2023-08-03 16:11:59 +0200 | danse-nr3__ | (~francesco@151.37.248.73) |
2023-08-03 16:13:53 +0200 | <dminuoso> | feetwind: I cant quite make out what `lib/Foo/Bar/Baz/{mod.hs,A}` is meant to denote. |
2023-08-03 16:14:13 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2023-08-03 16:14:49 +0200 | danse-nr3_ | (~francesco@151.35.234.99) (Ping timeout: 260 seconds) |
2023-08-03 16:15:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:4c71:241e:cb2d:450f) (Ping timeout: 260 seconds) |
2023-08-03 16:16:57 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2023-08-03 16:17:06 +0200 | <glguy> | Instead if A/B.hs some systems allow you to have A/B/Mod.hs |
2023-08-03 16:17:44 +0200 | CiaoSen | (~Jura@2a05:5800:2ab:9c00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
2023-08-03 16:17:53 +0200 | troydm | (~troydm@user/troydm) |
2023-08-03 16:19:03 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-095-165.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2023-08-03 16:19:21 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-08-03 16:20:13 +0200 | <ncf> | oh, duh, (->) doesn't determine i |
2023-08-03 16:22:24 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 16:25:48 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
2023-08-03 16:32:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 16:34:15 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2023-08-03 16:34:39 +0200 | <dminuoso> | glguy: Maybe Im really confusing something here, but we can have A.B.Mod? |
2023-08-03 16:34:57 +0200 | troydm | (~troydm@user/troydm) |
2023-08-03 16:35:17 +0200 | <glguy> | The point is those two paths would define the same module A.B |
2023-08-03 16:35:45 +0200 | <glguy> | It lets you put the module name exclusively into the directory structure and not the file name |
2023-08-03 16:36:23 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 258 seconds) |
2023-08-03 16:36:25 +0200 | <dminuoso> | In the same sense how nix allows you to write `foo/bar` which implicitly picks up on `foo/bar/default.nix`? |
2023-08-03 16:36:34 +0200 | <glguy> | Sure |
2023-08-03 16:37:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
2023-08-03 16:37:13 +0200 | Square2 | (~Square@user/square) |
2023-08-03 16:38:03 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-03 16:39:12 +0200 | <glguy> | If you wanted to have A and A.B normally you get A.hs and A/B.hs; this would allow you to replace A.hs with A/Mod.hs . People like to use it inconsistently so there isn't a directory A as well as a file A.hs |
2023-08-03 16:39:30 +0200 | danse-nr3__ | (~francesco@151.37.248.73) (Read error: Connection reset by peer) |
2023-08-03 16:39:46 +0200 | <dminuoso> | That seems to only make much sense for completely flat module structure. |
2023-08-03 16:40:05 +0200 | <dminuoso> | If you have more than one level of (perceived) hierarchy, then this just shifts module position |
2023-08-03 16:41:18 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
2023-08-03 16:41:56 +0200 | <glguy> | I could see wanting it in cases where I have an important module and a couple submodules that only exist to support it. |
2023-08-03 16:41:58 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
2023-08-03 16:42:06 +0200 | <dminuoso> | Though I guess it lets you keep "entry module" and helper modules in a singular directory |
2023-08-03 16:42:07 +0200 | <dminuoso> | So that might be nice |
2023-08-03 16:43:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 16:43:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 16:43:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 16:44:29 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-08-03 16:54:43 +0200 | <ph88> | i'm trying to use TextShow with FromGeneric, i'm getting a stackoverflow. Is it a bug in my code or is it a bug in a package? https://bpa.st/Z4HQ |
2023-08-03 16:55:37 +0200 | <ph88> | here same version without some unnecesarry imports https://bpa.st/LAJA |
2023-08-03 16:57:25 +0200 | <geekosaur> | isn't that deriving-via trying to go via itself, causing an infinite loop? I'd want to see -ddump-deriv for that |
2023-08-03 16:58:07 +0200 | <ph88> | ok i will try to get a ddump-deriv |
2023-08-03 16:58:11 +0200 | <glguy> | What does that have to do with TextShow? Isn't decodeEither from Aeson? |
2023-08-03 16:58:15 +0200 | <ph88> | i will put it in it's own project |
2023-08-03 16:58:16 +0200 | <geekosaur> | (and I think we'd need to see that anyway to answer your question) |
2023-08-03 16:58:33 +0200 | <glguy> | Oh, nevermind I see the show in the comment |
2023-08-03 17:00:48 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2023-08-03 17:03:49 +0200 | phma | (~phma@2001:5b0:211c:3428:6fc:f199:7e0b:e846) (Read error: Connection reset by peer) |
2023-08-03 17:05:34 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2023-08-03 17:06:18 +0200 | troydm | (~troydm@user/troydm) |
2023-08-03 17:09:00 +0200 | phma | (~phma@host-67-44-208-165.hnremote.net) |
2023-08-03 17:09:02 +0200 | <geekosaur> | okay, looking at te docs for TextShow Generic it looks like you are indeed supposed to repeat the type there |
2023-08-03 17:09:25 +0200 | <geekosaur> | we still need to see the dump-deriv output to try to say why it's looping |
2023-08-03 17:11:35 +0200 | <ph88> | i think i found it, sorry guys seems it was my mistake |
2023-08-03 17:11:57 +0200 | <ph88> | https://bpa.st/XFSQ line 14 and 15 |
2023-08-03 17:14:40 +0200 | <ph88> | how would i best implement that? convert it to list first? |
2023-08-03 17:16:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 17:17:06 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:8216:268c:40d7:b242) (Quit: WeeChat 2.8) |
2023-08-03 17:18:36 +0200 | <ph88> | hhmm probably not, i'll think of something to do it directly from vector |
2023-08-03 17:18:46 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2023-08-03 17:19:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 17:19:48 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-08-03 17:23:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
2023-08-03 17:24:49 +0200 | MajorBiscuit | (~MajorBisc@145.90.38.199) (Ping timeout: 260 seconds) |
2023-08-03 17:25:27 +0200 | Nikopol | (nikopol@user/astrorigin) |
2023-08-03 17:29:47 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
2023-08-03 17:30:21 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-08-03 17:32:59 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 264 seconds) |
2023-08-03 17:38:53 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-08-03 17:47:40 +0200 | flounders | (~flounders@24.246.133.1) |
2023-08-03 17:49:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 17:50:39 +0200 | titibandit | (~titibandi@user/titibandit) (Read error: Connection reset by peer) |
2023-08-03 17:50:41 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
2023-08-03 17:50:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2023-08-03 17:51:32 +0200 | <EvanR> | converting to a list only to destroy a list for some reason has a chance of being optimized away |
2023-08-03 17:55:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 17:56:36 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-08-03 18:03:17 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
2023-08-03 18:04:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-03 18:05:40 +0200 | Nosrep | (~Nosrep@user/nosrep) |
2023-08-03 18:06:24 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 18:10:51 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
2023-08-03 18:13:31 +0200 | <probie> | EvanR: It's not exactly chance. If you consume a list with `foldr` exactly once, it won't build the list (assuming the function generating the list is sufficiently lazy and can be inlined). GHC's list fusion framework is just about turning multiple uses for `foldr` into a single use of `foldr`. |
2023-08-03 18:15:20 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
2023-08-03 18:17:06 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-08-03 18:17:46 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
2023-08-03 18:21:21 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-08-03 18:22:08 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-08-03 18:23:10 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
2023-08-03 18:24:11 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
2023-08-03 18:26:37 +0200 | vglfr | (~vglfr@145.224.100.231) |
2023-08-03 18:27:26 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 250 seconds) |
2023-08-03 18:30:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2023-08-03 18:31:44 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
2023-08-03 18:31:46 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 250 seconds) |
2023-08-03 18:34:40 +0200 | flounders | (~flounders@24.246.133.1) |
2023-08-03 18:35:19 +0200 | <EvanR> | that's the beauty of probability, lots of interpretations xD |
2023-08-03 18:36:31 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
2023-08-03 18:37:44 +0200 | nschoe | (~q@141.101.51.197) (Ping timeout: 260 seconds) |
2023-08-03 18:39:26 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
2023-08-03 18:40:02 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
2023-08-03 18:40:31 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-08-03 18:44:38 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-08-03 18:54:31 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
2023-08-03 18:55:16 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-08-03 19:00:47 +0200 | Square2 | (~Square@user/square) |
2023-08-03 19:04:27 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-08-03 19:05:38 +0200 | gmg | (~user@user/gehmehgeh) |
2023-08-03 19:07:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 19:07:58 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
2023-08-03 19:08:24 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
2023-08-03 19:09:57 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 19:13:09 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.198) |
2023-08-03 19:13:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
2023-08-03 19:15:12 +0200 | Alex_test | (~al_test@94.233.240.229) (Ping timeout: 246 seconds) |
2023-08-03 19:15:18 +0200 | ars23 | (~ars23@109.96.49.111) |
2023-08-03 19:16:27 +0200 | <ars23> | can someone recommend a good haskell framework for backend? I was thinking at snap and I saw that the snap and snap-core are quite maintained. except for snaplets. |
2023-08-03 19:16:32 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) (Ping timeout: 240 seconds) |
2023-08-03 19:16:52 +0200 | AlexZenon | (~alzenon@94.233.240.229) (Ping timeout: 260 seconds) |
2023-08-03 19:17:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-03 19:18:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 19:18:56 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-08-03 19:20:26 +0200 | Alex_test | (~al_test@178.34.160.198) |
2023-08-03 19:22:10 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 245 seconds) |
2023-08-03 19:23:46 +0200 | <probie> | Depending on your needs and comfort level with Haskell, perhaps servant? |
2023-08-03 19:23:59 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
2023-08-03 19:28:08 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-03 19:28:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 19:28:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 19:28:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 19:29:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 19:31:59 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
2023-08-03 19:33:31 +0200 | AlexZenon | (~alzenon@178.34.160.198) |
2023-08-03 19:41:15 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 244 seconds) |
2023-08-03 19:42:06 +0200 | razetime | (~quassel@117.254.36.99) (Ping timeout: 245 seconds) |
2023-08-03 19:43:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
2023-08-03 19:43:26 +0200 | iteratee | (~kyle@162.218.222.207) |
2023-08-03 19:48:52 +0200 | ars23 | (~ars23@109.96.49.111) (Quit: Leaving) |
2023-08-03 19:48:56 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-08-03 19:49:22 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f97d0a51586a4fa6f31.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-08-03 19:50:39 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
2023-08-03 19:51:37 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
2023-08-03 19:58:45 +0200 | acidjnk | (~acidjnk@p200300d6e7072f97881ab3c305549a97.dip0.t-ipconnect.de) |
2023-08-03 20:03:43 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
2023-08-03 20:07:47 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
2023-08-03 20:08:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 20:10:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-08-03 20:14:34 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 260 seconds) |
2023-08-03 20:15:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 20:16:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-08-03 20:16:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 20:16:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 20:16:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 20:17:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2023-08-03 20:20:22 +0200 | acidjnk | (~acidjnk@p200300d6e7072f97881ab3c305549a97.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-08-03 20:23:23 +0200 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) (Ping timeout: 246 seconds) |
2023-08-03 20:26:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-03 20:30:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-03 20:30:51 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-03 20:30:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-03 20:31:38 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
2023-08-03 20:33:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-03 20:36:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
2023-08-03 20:38:30 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
2023-08-03 20:40:58 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-03 20:46:16 +0200 | ft | (~ft@62.155.202.106) |
2023-08-03 21:00:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-03 21:00:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2023-08-03 21:02:28 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
2023-08-03 21:05:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-08-03 21:10:41 +0200 | danse-nr3 | (~francesco@151.57.239.6) |
2023-08-03 21:10:58 +0200 | <EvanR> | what do you call a type for values between 0 and 1 |
2023-08-03 21:11:19 +0200 | <dolio> | Empty type. |
2023-08-03 21:11:56 +0200 | exarkun | (~exarkun@user/exarkun) |
2023-08-03 21:12:03 +0200 | <EvanR> | 0.5 exists! |
2023-08-03 21:12:13 +0200 | <exarkun> | GLclampf |
2023-08-03 21:12:14 +0200 | <int-e> | dolio values integrity |
2023-08-03 21:12:30 +0200 | <jade[m]> | EvanR: percent |
2023-08-03 21:12:49 +0200 | <exarkun> | I agree with jade[m] 200% |
2023-08-03 21:12:52 +0200 | <int-e> | Probability |
2023-08-03 21:13:06 +0200 | <int-e> | (Odds) |
2023-08-03 21:13:18 +0200 | <dolio> | Probabilities can include 0 and 1. |
2023-08-03 21:13:31 +0200 | <int-e> | "between" is ambiguous |
2023-08-03 21:13:37 +0200 | <dolio> | Exactly. |
2023-08-03 21:13:50 +0200 | <int-e> | So I'm happy to play with both interpretations. |
2023-08-03 21:13:54 +0200 | <EvanR> | I appreciate the ambiguous answers anyway |
2023-08-03 21:14:06 +0200 | <int-e> | NontrivialProbability |
2023-08-03 21:14:07 +0200 | <int-e> | ;) |
2023-08-03 21:14:32 +0200 | <darkling> | Do you mean (0, 1) or [0, 1] or [0, 1)? (Assuming over the subset of the reals implemented by your floating-point hardware) |
2023-08-03 21:14:44 +0200 | <EvanR> | [0, 1] |
2023-08-03 21:14:46 +0200 | <int-e> | PositiveNumberWithNegativeLogarithm |
2023-08-03 21:15:10 +0200 | <darkling> | I've got no good answer, just trying to clarify the question. |
2023-08-03 21:15:31 +0200 | <Logio> | I suppose they must be nonbinary |
2023-08-03 21:15:33 +0200 | <int-e> | EvanR: are there any semantics attached to it? |
2023-08-03 21:15:43 +0200 | <EvanR> | nope |
2023-08-03 21:15:47 +0200 | <int-e> | odd ;) |
2023-08-03 21:15:53 +0200 | AlexNoo_ | AlexNoo |
2023-08-03 21:16:12 +0200 | <EvanR> | if anyone tries to come up with semantics, I'll yell "semantics!" and win the argument |
2023-08-03 21:16:54 +0200 | <int-e> | You can always call the type "Something" |
2023-08-03 21:17:06 +0200 | <int-e> | to indicate the lack of special semantics. |
2023-08-03 21:17:17 +0200 | <EvanR> | a use case that comes to mind is the "value" of a knob that has a minimum and maximum setting |
2023-08-03 21:17:49 +0200 | <jade[m]> | that would be in the percentage direction |
2023-08-03 21:18:53 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 21:19:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-03 21:20:19 +0200 | <EvanR> | all the good names were ransacked by the next 700 programming languages already |
2023-08-03 21:20:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-03 21:22:32 +0200 | briandaed | (~briandaed@185.234.210.211.r.toneticgroup.pl) (Remote host closed the connection) |
2023-08-03 21:23:24 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 21:24:53 +0200 | <[Leary]> | Proportion. |
2023-08-03 21:25:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2023-08-03 21:25:52 +0200 | ddellacosta | (~ddellacos@143.244.47.76) |
2023-08-03 21:26:00 +0200 | <integral> | UnitIntervalValue |
2023-08-03 21:26:02 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-08-03 21:26:30 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
2023-08-03 21:28:54 +0200 | mima | (~mmh@aftr-82-135-83-10.dynamic.mnet-online.de) |
2023-08-03 21:32:23 +0200 | <EvanR> | :k '[0,1] |
2023-08-03 21:32:24 +0200 | <lambdabot> | [GHC.Types.Nat] |
2023-08-03 21:32:52 +0200 | <EvanR> | :k '[0,1] -> '[0,1] -> '[0,1] |
2023-08-03 21:32:53 +0200 | <lambdabot> | error: |
2023-08-03 21:32:53 +0200 | <lambdabot> | • Expected a type, but ‘'[0, 1]’ has kind ‘[GHC.Types.Nat]’ |
2023-08-03 21:32:53 +0200 | <lambdabot> | • In the type ‘'[0, 1] -> '[0, 1] -> '[0, 1]’ |
2023-08-03 21:32:57 +0200 | <EvanR> | shucks |
2023-08-03 21:33:46 +0200 | trev | (~trev@user/trev) |
2023-08-03 21:34:17 +0200 | <ddellacosta> | is it possible to profile programs I run in ghci via cabal repl somehow? |
2023-08-03 21:34:41 +0200 | <sclv> | i don't think so. programs need to be compiled and linked with the profiling runtime |
2023-08-03 21:34:59 +0200 | <ddellacosta> | yeah that makes sense. I was hoping maybe I could profile the entire ghci session and figure things out that way somehow |
2023-08-03 21:35:54 +0200 | <sclv> | the runtime behavior is too different between interpreted bytecode and linked binaries as well, sadly. |
2023-08-03 21:36:22 +0200 | <ddellacosta> | yeah, that too makes sense. Thanks sclv |
2023-08-03 21:36:24 +0200 | <sclv> | there's even reasons why those modes could affect asymptotics iirc |
2023-08-03 21:40:34 +0200 | qrst | plomb |
2023-08-03 21:40:39 +0200 | plomb | (~qrst@user/qrst) (Quit: leaving) |
2023-08-03 21:41:38 +0200 | plomb | (~plomb@user/qrst) |
2023-08-03 21:42:18 +0200 | plomb | (~plomb@user/qrst) (Client Quit) |
2023-08-03 21:43:22 +0200 | trev | (~trev@user/trev) (Quit: trev) |
2023-08-03 21:46:12 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) |
2023-08-03 21:50:14 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 260 seconds) |
2023-08-03 21:50:24 +0200 | trev | (~trev@user/trev) |
2023-08-03 21:50:48 +0200 | trev | (~trev@user/trev) (Client Quit) |
2023-08-03 21:55:21 +0200 | mabiola | (~mabiola@user/mabiola) |
2023-08-03 21:55:43 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Quit: Leaving) |
2023-08-03 21:55:54 +0200 | <ph88> | I have a function like `data Foo a = Foo Int [a]` i want to replace `a` (like fmap) but i want to keep the old version too (but map doesn't allow that). Normally i would use a fold, but when i fold over [a] i can't build a result in the accumulator because i don't have access to the Int. Is there any abstraction that can work here or am i better of writing custom functions for it? |
2023-08-03 21:56:39 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 260 seconds) |
2023-08-03 21:57:06 +0200 | <geekosaur> | define "keep the old version too" |
2023-08-03 21:57:26 +0200 | <int-e> | also that's a (data) type, not a function |
2023-08-03 21:57:43 +0200 | <geekosaur> | seems like you could map to a list of (old,new) tuples |
2023-08-03 21:58:06 +0200 | <EvanR> | > map (\x -> (x, ord x)) "hello world" |
2023-08-03 21:58:08 +0200 | <lambdabot> | [('h',104),('e',101),('l',108),('l',108),('o',111),(' ',32),('w',119),('o',1... |
2023-08-03 21:58:14 +0200 | <int-e> | > let xs = [65,66,67]; ys = map chr xs in (ys {- new -}, xs {- old is still available -}) |
2023-08-03 21:58:16 +0200 | <lambdabot> | ("ABC",[65,66,67]) |
2023-08-03 21:59:08 +0200 | <int-e> | there's apparently also "the accumulator" |
2023-08-03 21:59:15 +0200 | nick3 | (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) |
2023-08-03 22:01:07 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
2023-08-03 22:02:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-08-03 22:03:19 +0200 | <EvanR> | fmap can't depend on the Int anyway because functor laws |
2023-08-03 22:03:28 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
2023-08-03 22:05:47 +0200 | <EvanR> | several types come with a mapAccum which you could implement for Foo |
2023-08-03 22:05:59 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 22:10:06 +0200 | <ph88> | geekosaur, int-e , EvanR thanks for thinking along. I made a small source file that shows what i want to do https://bpa.st/TQUA |
2023-08-03 22:13:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 22:14:19 +0200 | <danse-nr3> | your doFoo function do not seems to use `int` at all. Is having data Foo a = Foo Int a an option? Then you could set `a` to `[b]` but also to `([b], [b]` to keep the old versions |
2023-08-03 22:14:45 +0200 | ars23 | (~ars23@109.96.49.111) |
2023-08-03 22:14:53 +0200 | <danse-nr3> | `([b], [b])` |
2023-08-03 22:15:16 +0200 | <ars23> | thanks! I'll try servant, then! |
2023-08-03 22:15:29 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
2023-08-03 22:16:14 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Ping timeout: 250 seconds) |
2023-08-03 22:16:16 +0200 | <int-e> | :t partitionEithers |
2023-08-03 22:16:17 +0200 | <lambdabot> | [Either a b] -> ([a], [b]) |
2023-08-03 22:16:32 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
2023-08-03 22:17:39 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 22:17:56 +0200 | <int-e> | hmm... `partitionEither` is defined in terms of `foldr` so there's a good chance it fuses nicely. |
2023-08-03 22:18:21 +0200 | <ncf> | list . each %%~ \ a -> maybe ([], a) (\a' -> ([a], a')) (f a) |
2023-08-03 22:18:30 +0200 | <ncf> | where list is a lens for your second field |
2023-08-03 22:19:41 +0200 | <danse-nr3> | :t list . each %%~ \ a -> maybe ([], a) (\a' -> ([a], a')) (f a) |
2023-08-03 22:19:42 +0200 | <lambdabot> | error: |
2023-08-03 22:19:42 +0200 | <lambdabot> | • Variable not in scope: list :: (s0 -> ([b], t0)) -> s -> ([b], t) |
2023-08-03 22:19:42 +0200 | <lambdabot> | • Perhaps you meant one of these: |
2023-08-03 22:20:57 +0200 | acidjnk | (~acidjnk@p200300d6e7072f97881ab3c305549a97.dip0.t-ipconnect.de) |
2023-08-03 22:21:03 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
2023-08-03 22:21:15 +0200 | <ncf> | https://f.monade.li/KMLRNm.hs |
2023-08-03 22:21:19 +0200 | <ncf> | ([2],Foo {_int = 42, _list = [1,6,3]}) |
2023-08-03 22:21:22 +0200 | EvanR | (~EvanR@user/evanr) |
2023-08-03 22:22:56 +0200 | <danse-nr3> | % import Control.Lens |
2023-08-03 22:22:56 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Lens’ ; It is not a module in the current program, or in any known package. |
2023-08-03 22:23:19 +0200 | ars23 | (~ars23@109.96.49.111) (Quit: Leaving) |
2023-08-03 22:34:49 +0200 | mabiola | (~mabiola@user/mabiola) (Quit: leaving) |
2023-08-03 22:35:24 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-08-03 22:36:18 +0200 | pavonia | (~user@user/siracusa) |
2023-08-03 22:42:42 +0200 | <danse-nr3> | maybe we scared him |
2023-08-03 22:44:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 22:45:04 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
2023-08-03 22:45:56 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
2023-08-03 22:46:21 +0200 | <ph88> | danse-nr3, it's using the int to rebuild the Foo on line 18 |
2023-08-03 22:47:23 +0200 | <ph88> | ncf, how can it be done without lens ? |
2023-08-03 22:47:44 +0200 | <ncf> | replace (%%~) with id, each with traverse, list with \ k (Foo i l) -> Foo i <$> k l |
2023-08-03 22:47:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-03 22:48:25 +0200 | <ncf> | (that is literally how (%%~) is defined https://hackage.haskell.org/package/lens-5.2.2/docs/src/Control.Lens.Lens.html#%25%25~ ) |
2023-08-03 22:48:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
2023-08-03 22:50:53 +0200 | Pickchea | (~private@user/pickchea) |
2023-08-03 22:52:49 +0200 | <danse-nr3> | ph88, yes, but the int is not changed nor affects any other parts of the function. You ask how to decompose doFoo in your comments. Well, if that was data Foo = Foo Int a, then it could easily become a functor |
2023-08-03 22:53:30 +0200 | dcoutts | (~duncan@host86-178-182-132.range86-178.btcentralplus.com) |
2023-08-03 22:54:10 +0200 | <ncf> | seems unnecessary |
2023-08-03 22:54:17 +0200 | <ph88> | danse-nr3, i don't know how to collect old values with functor |
2023-08-03 22:54:49 +0200 | <danse-nr3> | just as you would with a simple `[a]` string |
2023-08-03 22:55:02 +0200 | <ph88> | ncf, i don't understand your code |
2023-08-03 22:57:42 +0200 | <danse-nr3> | % data Foo a = Foo Int a |
2023-08-03 22:57:42 +0200 | <yahb2> | <no output> |
2023-08-03 22:58:16 +0200 | <danse-nr3> | % instance Functor (Foo Int) where fmap f (Foo i a) = Foo i (f a) |
2023-08-03 22:58:16 +0200 | <yahb2> | <interactive>:19:19: error: ; • Expected kind ‘* -> *’, but ‘Foo Int’ has kind ‘*’ ; • In the first argument of ‘Functor’, namely ‘(Foo Int)’ ; In the instance declaration for ‘Functo... |
2023-08-03 22:58:19 +0200 | <EvanR> | attaching an Int to everything sounds kind of like Barbies |
2023-08-03 22:58:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
2023-08-03 22:58:53 +0200 | <danse-nr3> | i think he (they?) wrote that as an example of a more complex case they have |
2023-08-03 22:59:33 +0200 | <EvanR> | ok yeah I was kind of skeptical of the literal data Foo a = Foo Int a |
2023-08-03 23:01:35 +0200 | <danse-nr3> | % instance Functor (Foo Int a) where fmap f (Foo i a) = Foo i (f a) |
2023-08-03 23:01:36 +0200 | <yahb2> | <interactive>:21:19: error: ; • Expected kind ‘k -> * -> *’, but ‘Foo Int’ has kind ‘*’ ; • In the first argument of ‘Functor’, namely ‘(Foo Int a)’ ; In the instance declaration for ... |
2023-08-03 23:02:31 +0200 | <danse-nr3> | % instance Functor (Foo a) where fmap f (Foo i a) = Foo i (f a) |
2023-08-03 23:02:31 +0200 | <yahb2> | <interactive>:23:19: error: ; • Expected kind ‘* -> *’, but ‘Foo a’ has kind ‘*’ ; • In the first argument of ‘Functor’, namely ‘(Foo a)’ ; In the instance declaration for ‘Functor (F... |
2023-08-03 23:02:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2023-08-03 23:03:21 +0200 | <danse-nr3> | % instance Functor Foo where fmap f (Foo i a) = Foo i (f a) |
2023-08-03 23:03:21 +0200 | <yahb2> | <no output> |
2023-08-03 23:03:38 +0200 | <danse-nr3> | sorry ph88 i should have been away from the keyboard hours ago |
2023-08-03 23:04:27 +0200 | <ph88> | danse-nr3, np :p |
2023-08-03 23:04:45 +0200 | <danse-nr3> | so with that instance you can apply your functions to the list, folds or whatever else, keeping duplicates etcetera |
2023-08-03 23:04:50 +0200 | <ncf> | ph88: i think it boils down to understanding traverse, so probably do that |
2023-08-03 23:05:40 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-08-03 23:05:43 +0200 | <ncf> | you have a "small" function a -> f a that you want to apply to a bunch of targets in your data structure to get a "big" Foo Int [a] -> f (Foo Int [a]) |
2023-08-03 23:05:55 +0200 | <ncf> | in this case f is the Writer [a] effect that records the "old" a's |
2023-08-03 23:06:17 +0200 | <ncf> | :t traverse |
2023-08-03 23:06:18 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
2023-08-03 23:06:58 +0200 | <ph88> | thanks, i'll have a look if i can understand it with these hints |
2023-08-03 23:08:55 +0200 | <danse-nr3> | ph88, also, your doFoo seems to include some mapMaybe |
2023-08-03 23:08:59 +0200 | <danse-nr3> | :t mapMaybe |
2023-08-03 23:09:00 +0200 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
2023-08-03 23:09:47 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
2023-08-03 23:11:00 +0200 | <danse-nr3> | hum no ... it adds an item to the old ones only when they lead to a Just ... i thought you wanted to store the old copy in any case |
2023-08-03 23:17:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
2023-08-03 23:18:22 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
2023-08-03 23:20:24 +0200 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
2023-08-03 23:21:01 +0200 | <ph88> | ncf, what should be the 2nd argument to traverse (t a) ? I made this function applyToFoo :: ([a] -> [b]) -> Foo a -> Foo b; applyToFoo f (Foo int list) = Foo int $ f list is it useful in this case ? |
2023-08-03 23:22:16 +0200 | <danse-nr3> | that seems a bit like a functor instance, but the first argument of applyToFoo would have type a -> b |
2023-08-03 23:22:26 +0200 | <ncf> | that's basically a Setter' Foo [a], which is strictly less useful than a Traversal |
2023-08-03 23:22:38 +0200 | <ncf> | because it doesn't allow you to get the effects back out of the Foo |
2023-08-03 23:23:08 +0200 | <ph88> | what should put to the second argument of traverse ? |
2023-08-03 23:23:26 +0200 | <ncf> | to do what? |
2023-08-03 23:23:56 +0200 | <ncf> | the second argument to traverse is the structure you want to traverse |
2023-08-03 23:25:28 +0200 | <danse-nr3> | ph88, the Traversable idea is closer to your original doFoo signature. It means you would make a Traversable instance for Foo. It could be more "powerful", depending on what you need, but maybe for starters you could try a Functor instance or familiarising yourself with Setter' from Lens |
2023-08-03 23:25:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
2023-08-03 23:26:22 +0200 | <ncf> | you don't need a Traversable instance for Foo... |
2023-08-03 23:27:03 +0200 | <ncf> | i mean you could make one if you like |
2023-08-03 23:30:04 +0200 | <ph88> | i don't get it https://bpa.st/4JDQ i have used traverse before but now i don't see it how it can help here |
2023-08-03 23:30:40 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
2023-08-03 23:35:13 +0200 | <ncf> | that should be ([], item) and ([item], new_item) i think |
2023-08-03 23:36:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f97881ab3c305549a97.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2023-08-03 23:40:11 +0200 | <ph88> | o_O it worked |
2023-08-03 23:45:08 +0200 | <ph88> | got a little bit further https://bpa.st/C2RA |
2023-08-03 23:45:36 +0200 | chele | (~chele@user/chele) (Quit: Leaving) |
2023-08-03 23:48:02 +0200 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) |
2023-08-03 23:49:54 +0200 | acidjnk | (~acidjnk@p200300d6e7072f47c4518b621df42806.dip0.t-ipconnect.de) |
2023-08-03 23:51:11 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Quit: sm[i]) |
2023-08-03 23:58:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
2023-08-03 23:59:57 +0200 | Ranhir | (~Ranhir@157.97.53.139) |