| 2023-05-24 00:01:06 +0000 | <maralorn> | c_wraith: I think because that would lead to to many major bumps of the public api. |
| 2023-05-24 00:01:30 +0000 | <c_wraith> | there's a reason there are two fields for major. |
| 2023-05-24 00:02:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) |
| 2023-05-24 00:02:54 +0000 | <maralorn> | But consumer will need to pin both fields to be save. |
| 2023-05-24 00:03:21 +0000 | <c_wraith> | and.. good? a package that's frequently changing it's internals isn't stable by definition. |
| 2023-05-24 00:03:32 +0000 | <c_wraith> | *its |
| 2023-05-24 00:03:48 +0000 | <hpc> | isn't the point of internals to change them frequently? |
| 2023-05-24 00:04:02 +0000 | <jackdk> | People have conflated "version numbers as semantic information" and "version numbers as marketing information", I think. |
| 2023-05-24 00:04:09 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-24 00:04:34 +0000 | <c_wraith> | the point of internals is that's where everything is that breaks your invariants. |
| 2023-05-24 00:05:11 +0000 | vandita | (~vandit@178-164-206-99.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-24 00:05:13 +0000 | <hpc> | that's probably where the problem here lies then |
| 2023-05-24 00:05:26 +0000 | <hpc> | maybe it should be called unsafe instead or something |
| 2023-05-24 00:06:10 +0000 | <hpc> | internal sounds like you're violating the promises of the packaging, and unsafe sounds like you're violating the promises of the api |
| 2023-05-24 00:06:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) (Ping timeout: 246 seconds) |
| 2023-05-24 00:07:05 +0000 | <nitrix> | I propose invariant and invarion't. |
| 2023-05-24 00:07:07 +0000 | vandita | (~vandit@178-164-206-56.pool.digikabel.hu) |
| 2023-05-24 00:07:21 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-05-24 00:08:29 +0000 | califax | (~califax@user/califx) |
| 2023-05-24 00:08:48 +0000 | machinedgod | (~machinedg@84-115-230-104.cable.dynamic.surfer.at) (Ping timeout: 268 seconds) |
| 2023-05-24 00:08:57 +0000 | <c_wraith> | unsafe is for things that break the runtime, via memory or type unsafety |
| 2023-05-24 00:13:20 +0000 | phma | (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 2023-05-24 00:13:48 +0000 | phma | (~phma@2001:5b0:215d:f508:c5da:3d99:1fd6:47ad) |
| 2023-05-24 00:23:10 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-24 00:23:59 +0000 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2023-05-24 00:24:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-24 00:24:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-24 00:24:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-24 00:43:35 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-24 00:45:30 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-05-24 00:47:56 +0000 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2023-05-24 00:53:56 +0000 | <c_wraith> | oh hey. 9.6.2. and it fixes the bug I found immediately playing around in 9.6.1. (someone had reported it before it was even released, though) |
| 2023-05-24 01:05:14 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-24 01:08:17 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 2023-05-24 01:09:14 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2023-05-24 01:10:15 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-24 01:10:29 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-05-24 01:12:47 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-05-24 01:15:35 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-05-24 01:16:24 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-24 01:17:44 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6d82:a587:a8fb:8ee1) |
| 2023-05-24 01:20:23 +0000 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-05-24 01:43:31 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-24 01:54:29 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-24 01:54:38 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-05-24 01:59:19 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 2023-05-24 02:03:11 +0000 | vandita | (~vandit@178-164-206-56.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 2023-05-24 02:04:08 +0000 | pharonix71 | (~pharonix7@user/pharonix71) (Ping timeout: 240 seconds) |
| 2023-05-24 02:04:26 +0000 | vandita | (~vandit@84-236-3-126.pool.digikabel.hu) |
| 2023-05-24 02:05:36 +0000 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-05-24 02:07:59 +0000 | td_ | (~td@i53870922.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-24 02:08:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6d82:a587:a8fb:8ee1) (Ping timeout: 256 seconds) |
| 2023-05-24 02:09:57 +0000 | td_ | (~td@i53870930.versanet.de) |
| 2023-05-24 02:12:53 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) |
| 2023-05-24 02:16:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-24 02:18:20 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-05-24 02:25:08 +0000 | ubert | (~Thunderbi@p200300ecdf18b6df36e22024a437cc27.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-24 02:26:50 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-24 02:27:20 +0000 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-24 02:36:23 +0000 | mei | (~mei@user/mei) (Ping timeout: 240 seconds) |
| 2023-05-24 02:40:26 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 02:49:46 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-24 02:49:46 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-24 02:49:46 +0000 | finn_elija | FinnElija |
| 2023-05-24 02:55:07 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-24 02:55:48 +0000 | Mistyhands | (~Mistyhand@217.155.19.212) |
| 2023-05-24 02:57:54 +0000 | trev | (~trev@user/trev) |
| 2023-05-24 03:00:09 +0000 | Mistyhands | (~Mistyhand@217.155.19.212) (Read error: Connection reset by peer) |
| 2023-05-24 03:08:52 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2023-05-24 03:18:23 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-24 03:23:48 +0000 | darchitect | (~darchitec@2a00:23c6:3584:df01:ef79:bcf3:d062:3079) (Ping timeout: 240 seconds) |
| 2023-05-24 03:25:56 +0000 | darchitect | (~darchitec@host86-157-65-148.range86-157.btcentralplus.com) |
| 2023-05-24 03:40:29 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-05-24 03:41:54 +0000 | jrm | (~jrm@user/jrm) |
| 2023-05-24 03:48:09 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2023-05-24 03:49:33 +0000 | jrm | (~jrm@user/jrm) |
| 2023-05-24 04:06:56 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-05-24 04:07:06 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-24 04:08:41 +0000 | vandita | (~vandit@84-236-3-126.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-24 04:09:52 +0000 | vandita | (~vandit@77-234-92-242.pool.digikabel.hu) |
| 2023-05-24 04:10:31 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-24 04:14:00 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-24 04:17:30 +0000 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-24 04:18:28 +0000 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-24 04:22:08 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-24 04:23:29 +0000 | freeside_ | (~mengwong@122.11.248.245) |
| 2023-05-24 04:23:34 +0000 | freeside | (~mengwong@122.11.248.245) (Read error: Connection reset by peer) |
| 2023-05-24 04:25:46 +0000 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-24 04:26:27 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-24 04:28:51 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 04:30:11 +0000 | freeside_ | (~mengwong@122.11.248.245) (Ping timeout: 264 seconds) |
| 2023-05-24 04:36:09 +0000 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-24 04:43:31 +0000 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 240 seconds) |
| 2023-05-24 05:00:11 +0000 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2023-05-24 05:04:07 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 05:06:18 +0000 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-24 05:10:29 +0000 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 246 seconds) |
| 2023-05-24 05:12:18 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-24 05:12:45 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-24 05:13:41 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-24 05:13:41 +0000 | thegeekinside | (~thegeekin@189.141.107.10) |
| 2023-05-24 05:14:49 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-24 05:15:12 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-05-24 05:15:15 +0000 | cheater_ | cheater |
| 2023-05-24 05:19:02 +0000 | delYsid | (~user@user/delYsid) |
| 2023-05-24 05:22:32 +0000 | freeside | (~mengwong@122.11.248.245) |
| 2023-05-24 05:26:48 +0000 | freeside | (~mengwong@122.11.248.245) (Ping timeout: 240 seconds) |
| 2023-05-24 05:28:40 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-24 05:31:25 +0000 | freeside | (~mengwong@202.161.55.11) |
| 2023-05-24 05:31:33 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-24 05:32:33 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-05-24 05:32:35 +0000 | cheater_ | cheater |
| 2023-05-24 05:36:28 +0000 | freeside | (~mengwong@202.161.55.11) (Ping timeout: 240 seconds) |
| 2023-05-24 05:45:40 +0000 | michalz | (~michalz@185.246.204.75) |
| 2023-05-24 05:49:27 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-24 05:54:26 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-24 05:58:07 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 06:02:46 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-24 06:07:09 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-24 06:10:56 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-24 06:12:49 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-24 06:13:48 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-24 06:13:51 +0000 | cheater_ | cheater |
| 2023-05-24 06:14:21 +0000 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-05-24 06:15:28 +0000 | vandita | (~vandit@77-234-92-242.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-24 06:17:23 +0000 | vandita | (~vandit@176-241-19-16.pool.digikabel.hu) |
| 2023-05-24 06:27:35 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-24 06:32:32 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-05-24 06:34:40 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-05-24 06:39:49 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-05-24 06:40:20 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2023-05-24 06:41:28 +0000 | gurkenglas | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) |
| 2023-05-24 06:42:20 +0000 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) |
| 2023-05-24 06:43:22 +0000 | <maerwald[m]> | maralorn: why is it weird |
| 2023-05-24 06:44:13 +0000 | <maerwald[m]> | maralorn: https://nikita-volkov.github.io/internal-convention-is-a-mistake/ |
| 2023-05-24 06:49:01 +0000 | stallmanator | (~stallmana@user/stallmanator) (Ping timeout: 268 seconds) |
| 2023-05-24 06:52:18 +0000 | acidjnk | (~acidjnk@p200300d6e7072f976d29b515cdbc7698.dip0.t-ipconnect.de) |
| 2023-05-24 06:56:51 +0000 | stallmanator | (~stallmana@user/stallmanator) |
| 2023-05-24 07:03:20 +0000 | nschoe | (~q@2a04:cec0:c006:1374:b365:bd25:7c09:4372) |
| 2023-05-24 07:03:27 +0000 | nschoe | (~q@2a04:cec0:c006:1374:b365:bd25:7c09:4372) (Client Quit) |
| 2023-05-24 07:04:22 +0000 | <[Leary]> | maralorn: Internals shouldn't be exposed just for binaries or tests anyway; that's what internal libraries are for. |
| 2023-05-24 07:09:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:95ad:d783:3e23:6a4a) |
| 2023-05-24 07:13:49 +0000 | phma | (~phma@2001:5b0:215d:f508:c5da:3d99:1fd6:47ad) (Read error: Connection reset by peer) |
| 2023-05-24 07:14:54 +0000 | phma | (phma@2001:5b0:210f:3e28:a2ab:29ef:2389:7204) |
| 2023-05-24 07:25:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) (Remote host closed the connection) |
| 2023-05-24 07:27:48 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-24 07:30:16 +0000 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-24 07:31:06 +0000 | <jade[m]> | I am writing an application with brick, which uses a custom state type and transition function. I need to perform IO actions depending on the state. Would I be right to assume that I need a monad transformer (maybe StateT) with IO to model this? |
| 2023-05-24 07:31:39 +0000 | <jade[m]> | I don't know much about either things (State monad and monad transformers) |
| 2023-05-24 07:31:43 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-24 07:32:42 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-24 07:34:57 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-05-24 07:35:08 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 07:40:02 +0000 | <sm> | jade: IIRC brick types are a bit tricky at first but you don't need to add an extra transformer yourself. Maybe check some example apps ? |
| 2023-05-24 07:40:19 +0000 | <jade[m]> | will do so, thank yoi |
| 2023-05-24 07:40:24 +0000 | <jade[m]> | s/yoi/you |
| 2023-05-24 07:43:13 +0000 | thegeekinside | (~thegeekin@189.141.107.10) (Ping timeout: 265 seconds) |
| 2023-05-24 07:44:43 +0000 | <jade[m]> | the problem is that all the example programs I read don't actually use IO-actions when changing state. The transition function is from `State -> State` and the IO is handled in the background |
| 2023-05-24 07:45:08 +0000 | <jade[m]> | I somehow want to use IO as my state |
| 2023-05-24 07:45:27 +0000 | <sm> | I think you can do IO in the event handlers, not the update function ? |
| 2023-05-24 07:45:34 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-05-24 07:45:59 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-24 07:46:34 +0000 | <sm> | ie in EventM you can do liftIO |
| 2023-05-24 07:46:37 +0000 | <[Leary]> | jade[m]: Maybe start here <https://github.com/jtdaugherty/brick/blob/master/docs/guide.rst#the-app-type>, and note that `EventM n s` has MonadState s` and `MonadIO`. |
| 2023-05-24 07:46:55 +0000 | <jade[m]> | ohh I see |
| 2023-05-24 07:47:00 +0000 | <jade[m]> | thank you very much, I just saw that |
| 2023-05-24 07:55:12 +0000 | gurkenglas | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-05-24 07:57:03 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-24 07:59:28 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 08:01:15 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-24 08:03:11 +0000 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-24 08:03:14 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-05-24 08:08:36 +0000 | <delYsid> | Yes, EventM has an MonadIO instance. |
| 2023-05-24 08:08:56 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-24 08:09:26 +0000 | puke | (~puke@user/puke) |
| 2023-05-24 08:16:05 +0000 | vandita | (~vandit@176-241-19-16.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-05-24 08:17:18 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-24 08:17:45 +0000 | vandita | (~vandit@178-164-206-9.pool.digikabel.hu) |
| 2023-05-24 08:17:46 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-24 08:18:07 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-24 08:21:40 +0000 | MajorBiscuit | (~MajorBisc@145.94.40.195) |
| 2023-05-24 08:21:44 +0000 | MajorBiscuit | (~MajorBisc@145.94.40.195) (Client Quit) |
| 2023-05-24 08:23:28 +0000 | CiaoSen | (~Jura@dynamic-046-114-220-096.46.114.pool.telefonica.de) |
| 2023-05-24 08:23:31 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-24 08:23:40 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-24 08:24:00 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-24 08:24:36 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2023-05-24 08:26:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) |
| 2023-05-24 08:26:09 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-24 08:27:49 +0000 | jorwas[m] | (~jorwasmat@2001:470:69fc:105::3:60e7) |
| 2023-05-24 08:30:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6cda:5d2c:763a:75d3) (Ping timeout: 240 seconds) |
| 2023-05-24 08:31:41 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-05-24 08:34:52 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-24 08:39:32 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-24 08:41:42 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-24 08:41:47 +0000 | cheater_ | cheater |
| 2023-05-24 08:48:58 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-24 08:50:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2023-05-24 08:52:40 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-24 08:56:06 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:50f1:64d6:2ce3:ee7c) |
| 2023-05-24 09:11:01 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-24 09:18:47 +0000 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-24 09:23:22 +0000 | elmklod | (~Elm@94.25.164.115) |
| 2023-05-24 09:35:32 +0000 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-24 09:56:48 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 248 seconds) |
| 2023-05-24 10:05:01 +0000 | <maralorn> | maerwald: Yeah, I know that blogpost and I agree. Upholding the pvp is a good thing. I am just wondering whether we painted ourselves into a corner in the community if frequent package splitting is the correct solution. |
| 2023-05-24 10:05:39 +0000 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) |
| 2023-05-24 10:07:30 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-05-24 10:07:59 +0000 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-24 10:08:34 +0000 | user____1 | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) |
| 2023-05-24 10:09:01 +0000 | vandita | (~vandit@178-164-206-9.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-24 10:10:05 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-05-24 10:10:58 +0000 | vandita | (~vandit@94-21-131-107.pool.digikabel.hu) |
| 2023-05-24 10:11:35 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2023-05-24 10:13:09 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-24 10:14:44 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-24 10:14:59 +0000 | user____1 | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-24 10:23:30 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-24 10:26:47 +0000 | mncheckm | (~mncheck@193.224.205.254) |
| 2023-05-24 10:27:58 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 10:29:23 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-24 10:32:23 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 10:32:32 +0000 | acidjnk | (~acidjnk@p200300d6e7072f976d29b515cdbc7698.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-24 10:33:36 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-05-24 10:33:44 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2023-05-24 10:35:00 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-24 10:36:50 +0000 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Remote host closed the connection) |
| 2023-05-24 10:37:03 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-24 10:41:04 +0000 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 248 seconds) |
| 2023-05-24 10:42:41 +0000 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-24 10:43:35 +0000 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-05-24 10:45:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-05-24 10:45:48 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-05-24 10:50:26 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-24 10:50:46 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 10:52:31 +0000 | acidjnk | (~acidjnk@p200300d6e7072f972cb35e063b39afc2.dip0.t-ipconnect.de) |
| 2023-05-24 10:54:47 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 11:02:47 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-24 11:03:02 +0000 | [exa] | (~exa@srv3n.blesmrt.net) |
| 2023-05-24 11:09:46 +0000 | abrantesasf | (~abrantesa@189.115.192.139) (Remote host closed the connection) |
| 2023-05-24 11:09:47 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:50f1:64d6:2ce3:ee7c) (Quit: ubert) |
| 2023-05-24 11:10:02 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f2d8:291c:9e98:bbba) |
| 2023-05-24 11:10:06 +0000 | abrantesasf | (~abrantesa@177.137.232.92) |
| 2023-05-24 11:10:47 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 11:12:45 +0000 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
| 2023-05-24 11:15:10 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 11:15:12 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 2023-05-24 11:17:26 +0000 | xff0x | (~xff0x@2405:6580:b080:900:129:45c2:6814:da56) |
| 2023-05-24 11:21:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-24 11:32:26 +0000 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) |
| 2023-05-24 11:36:47 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-24 11:37:37 +0000 | vandita | (~vandit@94-21-131-107.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-24 11:41:31 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-24 11:42:40 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-05-24 11:43:11 +0000 | vandita | (~vandit@87-97-88-228.pool.digikabel.hu) |
| 2023-05-24 11:43:13 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-24 11:43:35 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-05-24 11:45:46 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 11:46:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:129:45c2:6814:da56) (Ping timeout: 264 seconds) |
| 2023-05-24 11:48:03 +0000 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-24 11:49:31 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-05-24 11:49:44 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-24 11:50:01 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 11:51:29 +0000 | acidjnk | (~acidjnk@p200300d6e7072f972cb35e063b39afc2.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-24 11:53:06 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-24 11:54:59 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-05-24 11:55:31 +0000 | mei | (~mei@user/mei) |
| 2023-05-24 11:57:05 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-05-24 11:59:56 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-24 12:04:09 +0000 | abrantesasf | (~abrantesa@177.137.232.92) (Remote host closed the connection) |
| 2023-05-24 12:06:48 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-24 12:07:01 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-24 12:09:44 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2023-05-24 12:10:35 +0000 | user_____ | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) |
| 2023-05-24 12:12:26 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 12:15:41 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-05-24 12:16:59 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 2023-05-24 12:17:59 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-05-24 12:18:14 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-24 12:19:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-24 12:25:14 +0000 | chomwitt | (~chomwitt@2a02:587:7a18:d000:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-24 12:26:45 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-05-24 12:30:22 +0000 | delYsid | (~user@user/delYsid) (ERC 5.4.1 (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-24 12:32:36 +0000 | <zzz> | ncf: did you mean Bool instead of Either? |
| 2023-05-24 12:32:55 +0000 | <zzz> | ncf: did you mean Bool instead of Either? |
| 2023-05-24 12:33:13 +0000 | <ncf> | when? |
| 2023-05-24 12:33:20 +0000 | <zzz> | oops, i had the chat scrolled WAY up |
| 2023-05-24 12:33:22 +0000 | <zzz> | sorry about that |
| 2023-05-24 12:33:40 +0000 | <ncf> | for the canonical sum type? no, i meant Either |
| 2023-05-24 12:33:58 +0000 | <zzz> | why is Either the canonical sum type? |
| 2023-05-24 12:34:17 +0000 | <ncf> | pretty much by definition |
| 2023-05-24 12:34:30 +0000 | <ncf> | check out https://ncatlab.org/nlab/show/sum+type |
| 2023-05-24 12:34:44 +0000 | <ncf> | Bool is the sum of two copies of the unit type |
| 2023-05-24 12:37:25 +0000 | <jade[m]> | is there a place to ask about Brick? I am facing an issue that's really annoying, and I assume that I'm simply doing something wrong in regards to the rendering |
| 2023-05-24 12:37:39 +0000 | <zzz> | jade[m]: try #haskell-game |
| 2023-05-24 12:38:38 +0000 | <zzz> | i'm guessing byorgey may be able to help too ^^ |
| 2023-05-24 12:40:35 +0000 | <zzz> | ncf: i have zero formal education in type theory, but why was i under the impression that A+B , A and B being terms of a certain type, correponded to `data T = A | B` ? |
| 2023-05-24 12:41:31 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-05-24 12:41:59 +0000 | <ncf> | i'm not sure what you mean by that |
| 2023-05-24 12:42:14 +0000 | <ncf> | A | B seems to indicate that A and B are constructors, so you couldn't take their sum |
| 2023-05-24 12:43:28 +0000 | <jade[m]> | I think they mean that sum types can be represented by that |
| 2023-05-24 12:44:09 +0000 | <jade[m]> | outside the context of haskell |
| 2023-05-24 12:44:15 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 12:46:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 12:47:44 +0000 | <[Leary]> | zzz: For /types/ A and B, A+B corresponds to Either A B = Left A | Right B. |
| 2023-05-24 12:48:17 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-24 12:48:29 +0000 | <zzz> | ok that makes sense |
| 2023-05-24 12:49:28 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2023-05-24 12:50:44 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Ping timeout: 246 seconds) |
| 2023-05-24 12:51:27 +0000 | <zzz> | i didn't follow the conversation, sorry about that |
| 2023-05-24 13:01:53 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 13:04:38 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-24 13:06:25 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-24 13:07:10 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 13:11:25 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 13:26:00 +0000 | Mistyhands | (~Mistyhand@217.155.19.212) |
| 2023-05-24 13:26:41 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-05-24 13:26:56 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-05-24 13:28:59 +0000 | acidjnk | (~acidjnk@p200300d6e7072f97acd2533548afd1ac.dip0.t-ipconnect.de) |
| 2023-05-24 13:31:02 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-24 13:33:02 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2023-05-24 13:34:13 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:10d5:28d5:b8f3:93f9) |
| 2023-05-24 13:34:21 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-24 13:35:23 +0000 | use-value1 | (~Thunderbi@2a00:23c6:8a03:2f01:a9c6:961f:4b03:e0c) |
| 2023-05-24 13:36:01 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) |
| 2023-05-24 13:36:17 +0000 | notzmv | (~zmv@user/notzmv) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2023-05-24 13:38:35 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:10d5:28d5:b8f3:93f9) (Ping timeout: 264 seconds) |
| 2023-05-24 13:38:36 +0000 | use-value1 | use-value |
| 2023-05-24 13:40:01 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-24 13:40:01 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-24 13:40:01 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-24 13:43:41 +0000 | user_____ | (~user@dynamic-046-114-181-020.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-05-24 13:49:36 +0000 | thegeekinside | (~thegeekin@189.141.107.10) |
| 2023-05-24 13:50:22 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:6477:2ba8:415:e790) (Ping timeout: 250 seconds) |
| 2023-05-24 13:57:56 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-05-24 14:10:10 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-24 14:15:25 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-24 14:17:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 14:29:51 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-24 14:32:14 +0000 | <jade[m]> | I need to work with lenses now apparently and I really, really don't like it so far |
| 2023-05-24 14:32:30 +0000 | <jade[m]> | it seems so abitrary and unintuitive |
| 2023-05-24 14:32:39 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-24 14:32:56 +0000 | <probie> | jade[m]: what about it feels arbitrary and unintuitive? |
| 2023-05-24 14:34:08 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-05-24 14:34:13 +0000 | <jade[m]> | it just doesn't make sense to me how it fits in with the rest of haskell. Lenses seem to be this thing that are different to everything else ... |
| 2023-05-24 14:36:04 +0000 | <jade[m]> | I suppose I'm not really sure where to start ... |
| 2023-05-24 14:38:10 +0000 | <probie> | I've definitely felt like I'm writing "lens" and not Haskell before (at a previous job which used generic-lens with overloaded labels) |
| 2023-05-24 14:39:11 +0000 | <geekosaur> | how does that doffer from any other EDSL? |
| 2023-05-24 14:39:16 +0000 | <geekosaur> | *differ |
| 2023-05-24 14:39:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:95ad:d783:3e23:6a4a) (Ping timeout: 248 seconds) |
| 2023-05-24 14:39:35 +0000 | <EvanR> | you can start with old functional references which might seem more motivated, and work your way to the modern lens library |
| 2023-05-24 14:40:26 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-24 14:40:48 +0000 | <jade[m]> | I'm mainly just bummed out that I'm required to use them for a very simple bricks application |
| 2023-05-24 14:41:04 +0000 | <jade[m]> | I just want to move up and down :c |
| 2023-05-24 14:42:10 +0000 | <EvanR> | what specific task is requiring lens |
| 2023-05-24 14:43:22 +0000 | <EvanR> | a common one is editing a field in a nested record |
| 2023-05-24 14:43:31 +0000 | <EvanR> | in which case lens is not required |
| 2023-05-24 14:44:33 +0000 | <jade[m]> | list wants me to use an event handler `handleListEvent :: (Foldable t, Splittable t, Ord n) => Event -> EventM n (GenericList n t e) ()`, but I need to return `Brick.EventM Name ApplicationState ()` which `zoom :: Zoom m n s t => LensLike' (Zoomed m c) t s -> m c -> n c` apparently lets me do ... provided I have a `LensLike' (Zoomed m c) t s` |
| 2023-05-24 14:46:05 +0000 | <jade[m]> | I have no idea about how to create such a LensLike thing for my application state |
| 2023-05-24 14:47:45 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-24 14:47:52 +0000 | <probie> | Where is zoom defined? |
| 2023-05-24 14:47:53 +0000 | <ncf> | makeLenses and (.) |
| 2023-05-24 14:48:13 +0000 | <jade[m]> | probie: https://hackage.haskell.org/package/brick-1.9/docs/Brick-Types.html#v:zoom |
| 2023-05-24 14:48:27 +0000 | <jade[m]> | ncf: I have no idea what to do with that information at all |
| 2023-05-24 14:48:35 +0000 | <c_wraith> | that's a re-export from lens |
| 2023-05-24 14:48:51 +0000 | <c_wraith> | https://hackage.haskell.org/package/lens-5.2.2/docs/Control-Lens-Zoom.html |
| 2023-05-24 14:48:52 +0000 | <EvanR> | https://hackage.haskell.org/package/lens-5.2.2/docs/Control-Lens-Zoom.html |
| 2023-05-24 14:49:01 +0000 | <EvanR> | echo |
| 2023-05-24 14:49:02 +0000 | <EvanR> | echo |
| 2023-05-24 14:49:58 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-05-24 14:50:27 +0000 | <probie> | In the case of brick, it actually looks to be from microlens (not that it matters) |
| 2023-05-24 14:50:39 +0000 | <jade[m]> | <jade[m]> "list wants me to use an event..." <- can you maybe give me the code I would need to do this for my example? |
| 2023-05-24 14:50:39 +0000 | <jade[m]> | My `ApplicationState` is simply a newtype around a list of strings so far ... |
| 2023-05-24 14:51:24 +0000 | <jade[m]> | I also keep seeing this ''Stuff about lenses everywhere on the top level, but it's neither a binding nor an expression which just confuses me |
| 2023-05-24 14:51:45 +0000 | <EvanR> | prime prime is a naming convention, it's part of the name |
| 2023-05-24 14:51:54 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-24 14:51:56 +0000 | <probie> | How do you create your `GenericList` and how to do you modify it? |
| 2023-05-24 14:52:36 +0000 | <ncf> | makeLenses ''Foo is a Template Haskell statement that generates the appropriate haskell code in-place |
| 2023-05-24 14:53:31 +0000 | <jade[m]> | I just want to move through my list 😠|
| 2023-05-24 14:53:57 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-05-24 14:56:02 +0000 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-24 14:56:26 +0000 | <ncf> | zoom yourListLens (handleListEvent e) |
| 2023-05-24 14:56:31 +0000 | <ncf> | or something like that |
| 2023-05-24 14:57:26 +0000 | acidjnk | (~acidjnk@p200300d6e7072f97acd2533548afd1ac.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-24 14:59:19 +0000 | <ncf> | i upgraded a project to brick 1 a few months ago, you can maybe look at that for inspiration https://github.com/utdemir/nix-tree/pull/47/files#diff-ed4121bec4643d6f6c9095d96834993febb1e67fba7… |
| 2023-05-24 15:00:21 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-05-24 15:01:05 +0000 | <EvanR> | embrace the type system lego bricks xD |
| 2023-05-24 15:01:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 15:01:35 +0000 | <EvanR> | it might take all afternoon to put the puzzle together but at least it will look right |
| 2023-05-24 15:01:52 +0000 | <jade[m]> | these are the only times where I feel like imperative languages make all of this so much easier |
| 2023-05-24 15:02:04 +0000 | <jade[m]> | and I know I'll feel better when I learn about it and it all makes sense |
| 2023-05-24 15:02:20 +0000 | <jade[m]> | and I'll know that this is better, but for now I have my monthly grudge against FP |
| 2023-05-24 15:02:35 +0000 | <EvanR> | easier imperative language = someone doesn't explain anything and just gives a block of example code that can be pasted |
| 2023-05-24 15:03:19 +0000 | <EvanR> | not easier imperative language, have you looked at how phone UIs are programmed... shudder |
| 2023-05-24 15:03:42 +0000 | <jade[m]> | yes, I know I know 😄 |
| 2023-05-24 15:03:52 +0000 | <jade[m]> | I'll get over this phase |
| 2023-05-24 15:06:13 +0000 | <jade[m]> | <ncf> "i upgraded a project to brick..." <- I'm trying to find what `B.<stuff>` means and then I see this... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/447335b4faaa2254fbc03eda262a50457014…>) |
| 2023-05-24 15:06:45 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-05-24 15:07:21 +0000 | <ncf> | anyway, when it comes to lenses i would recommend trying to keep a clear mental barrier between interface and implementation (which the lens library makes very difficult...) |
| 2023-05-24 15:08:56 +0000 | <ncf> | the interface is rather simple: once you know what a lens is (hole in a data structure) and what a traversal is (0 or more holes in a data structure) and how they compose, you basically know all the theory you need |
| 2023-05-24 15:09:33 +0000 | <ncf> | the implementation is another story... lens uses the so-called van Laarhoven encoding of lenses, which can be a bit daunting (this is where all the Functor and Applicative and Over and Profunctor stuff comes in) |
| 2023-05-24 15:10:30 +0000 | <ncf> | but really i think in most cases you can just ignore that and use the provided basic lenses (_1, _2, ...) and let Template Haskell generate the rest for you |
| 2023-05-24 15:11:31 +0000 | <jade[m]> | mhm, I'm trying to find the definition for some of the lenses and I can't find them. |
| 2023-05-24 15:11:31 +0000 | <jade[m]> | Especially `modify` and `aeCurrPaneL` seem to be relevant for me? |
| 2023-05-24 15:11:51 +0000 | <jade[m]> | aeCurrPaneL seems to relate to the field aeCurrPane of the state monad |
| 2023-05-24 15:12:05 +0000 | <ncf> | aeCurrPaneL is specific to nix-tree, it's the lens associated with the aeCurrPane field of some data structure they use |
| 2023-05-24 15:12:46 +0000 | <ncf> | the question is: how do you go from your application state to the GenericList you want to modify? |
| 2023-05-24 15:12:48 +0000 | <jade[m]> | ok, what makes... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/139acb91ceaa50ebfd118216c86e63ca15ec…>) |
| 2023-05-24 15:12:49 +0000 | rf | (~rf@2605:59c8:179c:f610:de71:b785:f508:5204) |
| 2023-05-24 15:12:57 +0000 | <jade[m]> | what nakes the state type change here? |
| 2023-05-24 15:13:14 +0000 | <jade[m]> | ncf: my application state carries a `[String]` |
| 2023-05-24 15:13:17 +0000 | <ncf> | zoom does |
| 2023-05-24 15:13:41 +0000 | <ncf> | hm, i don't know if brick can work with that |
| 2023-05-24 15:13:41 +0000 | <jade[m]> | jade[m]: which I use to build the `GenericList` in the render |
| 2023-05-24 15:13:52 +0000 | <probie> | With only a `[String]` how can you know where in the list you are? |
| 2023-05-24 15:14:03 +0000 | <ncf> | yeah, you need to carry the GenericList around in your state |
| 2023-05-24 15:14:09 +0000 | <jade[m]> | ohhhhh |
| 2023-05-24 15:14:11 +0000 | <jade[m]> | OHHHHHHH |
| 2023-05-24 15:14:14 +0000 | <jade[m]> | WAITTTTTATTATATAT |
| 2023-05-24 15:14:15 +0000 | <jade[m]> | AAAAAAAA |
| 2023-05-24 15:14:24 +0000 | <jade[m]> | I had an enlightenment |
| 2023-05-24 15:14:59 +0000 | <ncf> | great! |
| 2023-05-24 15:15:20 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-24 15:18:32 +0000 | enoq_ | (~enoq@194-208-133-121.lampert.tv) |
| 2023-05-24 15:19:23 +0000 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Ping timeout: 264 seconds) |
| 2023-05-24 15:20:20 +0000 | enoq_ | enoq |
| 2023-05-24 15:21:34 +0000 | <jade[m]> | ok, I have remodled that, back to the same issue |
| 2023-05-24 15:21:59 +0000 | <jade[m]> | I need this zoom thing and I think I want to zoom on that list then |
| 2023-05-24 15:22:09 +0000 | <ncf> | yes |
| 2023-05-24 15:22:13 +0000 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2023-05-24 15:23:24 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2023-05-24 15:25:27 +0000 | <jade[m]> | I prefixed my field with an underscore and used $(makeLenses ''ApplicationState) |
| 2023-05-24 15:25:48 +0000 | eugenrh | (~eugenrh@2a02:2f08:4707:3e00:454b:9ac4:8552:8de8) (Ping timeout: 240 seconds) |
| 2023-05-24 15:25:53 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-24 15:31:49 +0000 | <jade[m]> | what should I do now with zoom? |
| 2023-05-24 15:33:19 +0000 | <ncf> | zoom yourField whatever |
| 2023-05-24 15:33:31 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-24 15:33:43 +0000 | <jade[m]> | IT WORKS |
| 2023-05-24 15:33:46 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 2023-05-24 15:33:54 +0000 | <jade[m]> | aaaaaaaaaaaaa |
| 2023-05-24 15:33:57 +0000 | <jade[m]> | I'm done for today |
| 2023-05-24 15:33:59 +0000 | <jade[m]> | thank you very very much for the help |
| 2023-05-24 15:34:11 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-05-24 15:34:24 +0000 | <jade[m]> | my last bug was ... apparently now it matters where you define stuff? like I need to define the lense above where I use it ?! |
| 2023-05-24 15:34:46 +0000 | <ncf> | yes, TH doesn't play well with reordering |
| 2023-05-24 15:34:55 +0000 | <jade[m]> | jesus christ |
| 2023-05-24 15:35:30 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Changing host) |
| 2023-05-24 15:35:30 +0000 | nyc | (~nyc@user/nyc) |
| 2023-05-24 15:36:31 +0000 | <jade[m]> | all of that for this ... |
| 2023-05-24 15:36:37 +0000 | jade[m] | uploaded a video: (2726KiB) < https://libera.ems.host/_matrix/media/v3/download/the-apothecary.club/csQpZmKBFijPduABdEktGEyM/202… > |
| 2023-05-24 15:36:43 +0000 | <jade[m]> | please don't look at the code |
| 2023-05-24 15:36:46 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2023-05-24 15:37:48 +0000 | wiosna | (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-05-24 15:49:49 +0000 | shapr | (~user@76.29.230.19) |
| 2023-05-24 15:53:18 +0000 | mechap | (~mechap@user/mechap) |
| 2023-05-24 16:04:03 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-24 16:04:26 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 16:08:24 +0000 | nick_ | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-05-24 16:08:57 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-24 16:09:20 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-05-24 16:09:35 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 16:10:16 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-24 16:12:31 +0000 | CiaoSen | (~Jura@dynamic-046-114-220-096.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-24 16:12:34 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-24 16:13:33 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-24 16:15:36 +0000 | econo | (uid147250@user/econo) |
| 2023-05-24 16:19:08 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: 1st update reboot in weeks) |
| 2023-05-24 16:19:47 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-24 16:20:28 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-24 16:23:59 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-24 16:26:19 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 16:28:38 +0000 | user_____ | (~user@dynamic-046-114-108-116.46.114.pool.telefonica.de) |
| 2023-05-24 16:29:11 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-24 16:29:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-24 16:29:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-24 16:31:01 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 2023-05-24 16:31:59 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 2023-05-24 16:35:01 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-24 16:38:16 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-05-24 16:46:31 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-24 16:47:19 +0000 | ddellacosta | (~ddellacos@146.70.185.10) |
| 2023-05-24 16:54:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 16:59:11 +0000 | acidjnk | (~acidjnk@p200300d6e7072f97b50268228b627d0d.dip0.t-ipconnect.de) |
| 2023-05-24 17:00:23 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-24 17:00:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-24 17:02:35 +0000 | shapr | (~user@76.29.230.19) (Ping timeout: 264 seconds) |
| 2023-05-24 17:05:56 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 17:06:28 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-05-24 17:07:26 +0000 | ubert | (~Thunderbi@2a02:8109:abc0:6434:f2d8:291c:9e98:bbba) (Remote host closed the connection) |
| 2023-05-24 17:09:59 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 17:12:23 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-05-24 17:20:05 +0000 | lyle | (~lyle@104.246.145.237) |
| 2023-05-24 17:20:38 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) |
| 2023-05-24 17:24:17 +0000 | <lyle> | I have some code here: https://paste.tomsmeding.com/uFyta0yy |
| 2023-05-24 17:24:56 +0000 | <lyle> | I've pointed the line I don't understand in a comment. I'd like to know what the line does and what the name of the language feature is please. |
| 2023-05-24 17:27:01 +0000 | <lyle> | Ok, now I get it; it's just the case where the tree is empty. I thought it was some complicated type thing. Thanks. |
| 2023-05-24 17:27:32 +0000 | <monochrom> | Yeah it is no different from "f Nothing = 0; f (Just _) = 1" |
| 2023-05-24 17:27:59 +0000 | <monochrom> | "defining a function by pattern matching" :) |
| 2023-05-24 17:28:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 17:28:36 +0000 | <lyle> | I don't often see a function that has a pattern match and a case with guards, it threw me off a bit. |
| 2023-05-24 17:29:15 +0000 | <monochrom> | As usual, that happens most often when coding up binary-search-tree algorithms :) |
| 2023-05-24 17:29:24 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) (Remote host closed the connection) |
| 2023-05-24 17:29:25 +0000 | <[exa]> | it's super convenient in such cases tho |
| 2023-05-24 17:29:46 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) |
| 2023-05-24 17:30:27 +0000 | <[exa]> | at the other end you can actually do patternmatches in the guards: | x == y, z <- x, ... |
| 2023-05-24 17:30:43 +0000 | <monochrom> | The mind compartmentalizes "unrelated" language features and does not realize how the grammar actually allows mixing them, even nesting them inside each other. |
| 2023-05-24 17:31:15 +0000 | <monochrom> | For example, few people have thought of "let { x = y where y=10 } in ..." |
| 2023-05-24 17:32:13 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-05-24 17:32:20 +0000 | <monochrom> | https://www.smbc-comics.com/comic/language :) |
| 2023-05-24 17:32:26 +0000 | <int-e> | > let x | x <- x = x where x = 42 in x |
| 2023-05-24 17:32:27 +0000 | <lambdabot> | 42 |
| 2023-05-24 17:32:36 +0000 | <monochrom> | heh |
| 2023-05-24 17:33:01 +0000 | rf | (~rf@2605:59c8:179c:f610:de71:b785:f508:5204) (Ping timeout: 240 seconds) |
| 2023-05-24 17:33:12 +0000 | <monochrom> | Yeah I have actual code that goes "f x = ... foo ... where foo | x<0 = ..." |
| 2023-05-24 17:33:45 +0000 | <int-e> | . o O ( who doesn't? ) |
| 2023-05-24 17:33:51 +0000 | <monochrom> | Woe to those who must pronounce code and pronounce "|" as "where" though. >:D |
| 2023-05-24 17:33:55 +0000 | <int-e> | > [1 | False] |
| 2023-05-24 17:33:56 +0000 | <lambdabot> | [] |
| 2023-05-24 17:34:57 +0000 | <int-e> | (that's silly with a literal `False` but sometimes useful with an actual condition) |
| 2023-05-24 17:35:21 +0000 | <ncf> | | is obviously pronounced "when" |
| 2023-05-24 17:35:58 +0000 | <monochrom> | You are ruining my point. |
| 2023-05-24 17:36:12 +0000 | <monochrom> | I mean, nice. :) |
| 2023-05-24 17:36:38 +0000 | <monochrom> | I now wonder what could be pronounced "whence". :) |
| 2023-05-24 17:36:58 +0000 | <ncf> | => |
| 2023-05-24 17:37:11 +0000 | <monochrom> | I'm also thinking :: |
| 2023-05-24 17:37:40 +0000 | <monochrom> | OK how about one of them "whence" and one of them "hence" just for fun sake >:) |
| 2023-05-24 17:38:40 +0000 | abrantesasf | (~abrantesa@189.115.192.139) (Remote host closed the connection) |
| 2023-05-24 17:46:01 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 2023-05-24 17:50:58 +0000 | <nyc> | monochrom: Cheers! |
| 2023-05-24 17:51:18 +0000 | <monochrom> | oh hi long time no see |
| 2023-05-24 17:55:35 +0000 | shapr | (~user@2600:1700:c640:3100:3f83:2dbd:933:12fd) |
| 2023-05-24 17:57:41 +0000 | machinedgod | (~machinedg@84-115-230-249.cable.dynamic.surfer.at) |
| 2023-05-24 18:04:48 +0000 | Guest88 | (~Guest88@136.226.18.211) |
| 2023-05-24 18:05:04 +0000 | Guest88 | (~Guest88@136.226.18.211) (Client Quit) |
| 2023-05-24 18:07:06 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) (Remote host closed the connection) |
| 2023-05-24 18:07:28 +0000 | Inst | (~Inst@2601:6c4:4081:2fc0:3966:9d9f:5237:b674) |
| 2023-05-24 18:15:13 +0000 | phma_ | (phma@2001:5b0:2172:dd28:7cbf:d1f6:57c5:3699) |
| 2023-05-24 18:15:21 +0000 | <nyc> | What's the term for when there's a case like Ctor :: Class c => c -> t ? |
| 2023-05-24 18:17:20 +0000 | phma | (phma@2001:5b0:210f:3e28:a2ab:29ef:2389:7204) (Read error: Connection reset by peer) |
| 2023-05-24 18:18:31 +0000 | machinedgod | (~machinedg@84-115-230-249.cable.dynamic.surfer.at) (Ping timeout: 240 seconds) |
| 2023-05-24 18:20:45 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) |
| 2023-05-24 18:21:47 +0000 | <nyc> | This page says "implicit context to the data constructor": https://wiki.haskell.org/Data_declaration_with_constraint |
| 2023-05-24 18:22:05 +0000 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-24 18:22:40 +0000 | <EvanR> | basically Ctor will carry a dictionary for Class along with a function |
| 2023-05-24 18:23:14 +0000 | <nyc> | EvanR: Mostly I just needed the name for the construct to drop a comment in. |
| 2023-05-24 18:23:34 +0000 | <EvanR> | sometimes written as Class c *> c -> t to distinguish it as a product instead of a kind of function in itself |
| 2023-05-24 18:23:57 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-05-24 18:24:05 +0000 | <EvanR> | you might get traction calling it "an existential" |
| 2023-05-24 18:24:16 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 18:24:47 +0000 | ddellacosta | (~ddellacos@146.70.185.10) (Ping timeout: 264 seconds) |
| 2023-05-24 18:28:48 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 2023-05-24 18:30:04 +0000 | <[exa]> | anyone using mustache to render stuff? I'm wondering how to (somehow easily) avoid it from expanding all substitued html to htmlentities |
| 2023-05-24 18:31:21 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c838-cb30-96bb-1347.rev.sfr.net) |
| 2023-05-24 18:33:33 +0000 | mmhat | (~mmh@p200300f1c7066879ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-24 18:33:38 +0000 | mmhat | (~mmh@p200300f1c7066879ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-24 18:33:45 +0000 | <[exa]> | (ah ok it got solved by reading the source) |
| 2023-05-24 18:36:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 18:37:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:fc01:1c25:ea0c:77cb) |
| 2023-05-24 18:38:26 +0000 | taupiqueur1 | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-24 18:39:11 +0000 | rf | (~rf@142.99.241.246) |
| 2023-05-24 18:39:47 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-c838-cb30-96bb-1347.rev.sfr.net) (Ping timeout: 264 seconds) |
| 2023-05-24 18:40:13 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-c838-cb30-96bb-1347.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-24 18:40:56 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-24 18:41:11 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-24 18:41:46 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-24 18:43:28 +0000 | <sm> | jade: you code to that ?? |
| 2023-05-24 18:43:50 +0000 | <sm> | but, congrats on the brick app! :) |
| 2023-05-24 18:43:52 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 18:44:44 +0000 | <sm> | was going to suggest hledger-ui as another one to mine for clues but I guess you figured it out. Brick is hard to get going with, I agree |
| 2023-05-24 18:45:45 +0000 | <geekosaur> | `ghcup tui`? |
| 2023-05-24 18:46:05 +0000 | <geekosaur> | especially since the main widget is a big list |
| 2023-05-24 18:46:22 +0000 | <geekosaur> | s/main/primary |
| 2023-05-24 18:48:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-24 18:48:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 18:48:53 +0000 | <sm> | oh I was thinking that's not brick, but it is |
| 2023-05-24 18:50:32 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-05-24 18:51:19 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Client Quit) |
| 2023-05-24 18:51:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 18:55:59 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:fc01:1c25:ea0c:77cb) (Ping timeout: 264 seconds) |
| 2023-05-24 18:56:39 +0000 | <jade[m]> | <sm> "jade: you code to that ??" <- hm? |
| 2023-05-24 18:58:12 +0000 | <sm> | I heard your coding music :) |
| 2023-05-24 18:58:38 +0000 | <jade[m]> | ohhh, yeah |
| 2023-05-24 18:58:47 +0000 | <EvanR> | sm stop accessing the surveillance net without a warrant |
| 2023-05-24 19:00:30 +0000 | <sm> | well if by surveillance net you mean the chat log two screens up.. sorry :) |
| 2023-05-24 19:02:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-24 19:02:30 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f1d3:4e32:4039:9211) |
| 2023-05-24 19:07:35 +0000 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) |
| 2023-05-24 19:11:42 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-05-24 19:14:15 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-05-24 19:14:34 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 19:15:05 +0000 | rf | (~rf@142.99.241.246) (Remote host closed the connection) |
| 2023-05-24 19:20:07 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 2023-05-24 19:22:39 +0000 | boukenshaou | (~Boukensha@223.178.84.76) |
| 2023-05-24 19:23:29 +0000 | boukenshaou | (~Boukensha@223.178.84.76) (Client Quit) |
| 2023-05-24 19:24:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 19:29:22 +0000 | alternateved | (~user@77-253-195-69.adsl.inetia.pl) (Ping timeout: 268 seconds) |
| 2023-05-24 19:33:09 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-24 19:36:47 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2023-05-24 19:37:17 +0000 | quarkyalice | (~alice@199.sub-97-136-32.myvzw.com) |
| 2023-05-24 19:37:17 +0000 | quarkyalice | (~alice@199.sub-97-136-32.myvzw.com) (Changing host) |
| 2023-05-24 19:37:17 +0000 | quarkyalice | (~alice@user/quarkyalice) |
| 2023-05-24 19:42:12 +0000 | quarkyalice | (~alice@user/quarkyalice) (Remote host closed the connection) |
| 2023-05-24 19:45:12 +0000 | user_____ | gurkenglas |
| 2023-05-24 19:45:20 +0000 | mauke | (~mauke@user/mauke) |
| 2023-05-24 19:57:33 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 20:00:13 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-05-24 20:04:45 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-24 20:04:59 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-24 20:05:25 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-24 20:11:01 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) |
| 2023-05-24 20:11:15 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-24 20:13:34 +0000 | CiaoSen | (~Jura@dynamic-046-114-220-057.46.114.pool.telefonica.de) |
| 2023-05-24 20:18:13 +0000 | taupiqueur1 | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-24 20:27:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-05-24 20:27:38 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2023-05-24 20:28:22 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 20:29:49 +0000 | <Inst> | what are some good examples of EDSL monads? |
| 2023-05-24 20:29:52 +0000 | <Inst> | I can think of Blaze |
| 2023-05-24 20:30:08 +0000 | <Inst> | or rather, monadic DSLs, which no one uses mDSL or MDSL for |
| 2023-05-24 20:33:30 +0000 | <mauke> | good old monadic parsers? |
| 2023-05-24 20:33:34 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-24 20:36:21 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-24 20:36:36 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-24 20:37:03 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-24 20:41:26 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-24 20:41:29 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 2023-05-24 20:42:43 +0000 | <sm> | Shake ? |
| 2023-05-24 20:46:41 +0000 | ddellacosta | (~ddellacos@146.70.165.234) |
| 2023-05-24 20:51:59 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-24 20:54:24 +0000 | <monochrom> | parsec, attoparsec, megaparsec, etc. IMO anyway. |
| 2023-05-24 20:56:19 +0000 | <tomsmeding> | Inst: if I'm not mistaken https://hackage.haskell.org/package/sbv also has a monad for the most generic use |
| 2023-05-24 20:56:53 +0000 | <Inst> | cool |
| 2023-05-24 20:57:16 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-24 20:57:18 +0000 | <Inst> | thanks |
| 2023-05-24 21:00:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:f1d3:4e32:4039:9211) (Quit: WeeChat 2.8) |
| 2023-05-24 21:00:22 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-05-24 21:00:25 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 21:04:36 +0000 | pavonia | (~user@user/siracusa) |
| 2023-05-24 21:04:59 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 2023-05-24 21:05:48 +0000 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2023-05-24 21:06:48 +0000 | gurkenglas | (~user@dynamic-046-114-108-116.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-05-24 21:13:51 +0000 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-05-24 21:14:49 +0000 | nick_ | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 268 seconds) |
| 2023-05-24 21:15:45 +0000 | <[exa]> | Inst: hakyll has a few build-ish monads, and I'd say scotty-like routing might count as well |
| 2023-05-24 21:16:16 +0000 | <[exa]> | (also everyone's fav list comprehension is an eDSL right? :D ) |
| 2023-05-24 21:17:29 +0000 | <Inst> | fvorite list comprehension? you mean the list comprehension construct? |
| 2023-05-24 21:17:44 +0000 | <Inst> | interestingly enough, I think wadler originally introduced monads as a generalization of list comprehensions |
| 2023-05-24 21:17:52 +0000 | <Inst> | what is meant by scotty-like routing? |
| 2023-05-24 21:18:52 +0000 | <monochrom> | Revisionism: E=monad because E for Eilenberg-Moore >:) |
| 2023-05-24 21:19:28 +0000 | <monochrom> | And KDSL is when you use Arrow because K for Kleisli arrows. >:D |
| 2023-05-24 21:19:39 +0000 | <monochrom> | Or you can say ADSL to confuse everyone |
| 2023-05-24 21:21:27 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) (Remote host closed the connection) |
| 2023-05-24 21:21:51 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) |
| 2023-05-24 21:21:51 +0000 | lyle | (~lyle@104.246.145.237) (Quit: WeeChat 3.8) |
| 2023-05-24 21:22:48 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-24 21:24:03 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-24 21:24:53 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-05-24 21:24:58 +0000 | cheater_ | cheater |
| 2023-05-24 21:28:45 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) (Remote host closed the connection) |
| 2023-05-24 21:29:07 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) |
| 2023-05-24 21:30:45 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-24 21:33:44 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-24 21:34:25 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) (Remote host closed the connection) |
| 2023-05-24 21:34:40 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-24 21:34:49 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) |
| 2023-05-24 21:38:51 +0000 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-24 21:41:31 +0000 | reach | (~reach@2607:fea8:4c0:990:ed57:c522:1ec0:1db4) (Ping timeout: 240 seconds) |
| 2023-05-24 21:42:35 +0000 | abrantesasf | (~abrantesa@189.115.192.139) |
| 2023-05-24 21:48:46 +0000 | quarkyalice | (~alice@199.sub-97-136-32.myvzw.com) |
| 2023-05-24 21:48:46 +0000 | quarkyalice | (~alice@199.sub-97-136-32.myvzw.com) (Changing host) |
| 2023-05-24 21:48:46 +0000 | quarkyalice | (~alice@user/quarkyalice) |
| 2023-05-24 22:09:01 +0000 | _abrantesasf_ | (~abrantesa@177.137.232.92) |
| 2023-05-24 22:09:42 +0000 | abrantesasf | (~abrantesa@189.115.192.139) (Ping timeout: 268 seconds) |
| 2023-05-24 22:16:18 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-24 22:28:02 +0000 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-24 22:30:20 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-24 22:31:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-24 22:35:42 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-24 22:36:32 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-558f-7552-9093-6c65.rev.sfr.net) |
| 2023-05-24 22:39:11 +0000 | acidjnk | (~acidjnk@p200300d6e7072f97b50268228b627d0d.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-24 22:40:31 +0000 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 240 seconds) |
| 2023-05-24 22:40:59 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 264 seconds) |
| 2023-05-24 22:45:08 +0000 | CiaoSen | (~Jura@dynamic-046-114-220-057.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-24 22:47:22 +0000 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) |
| 2023-05-24 22:47:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 22:52:47 +0000 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-24 22:52:51 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) |
| 2023-05-24 23:01:01 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2023-05-24 23:02:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-24 23:02:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-24 23:02:59 +0000 | thegeekinside | (~thegeekin@189.141.107.10) (Remote host closed the connection) |
| 2023-05-24 23:04:21 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) (Remote host closed the connection) |
| 2023-05-24 23:09:10 +0000 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) |
| 2023-05-24 23:10:58 +0000 | CalculusCats | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-05-24 23:13:11 +0000 | CalculusCats | (NyaaTheKit@user/calculuscat) |
| 2023-05-24 23:13:45 +0000 | eL_Bart0- | (eL_Bart0@dietunichtguten.org) (Ping timeout: 240 seconds) |
| 2023-05-24 23:14:06 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2023-05-24 23:18:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-24 23:21:31 +0000 | reach | (~reach@2607:fea8:4c0:990:318c:8cd:c188:35f) (Ping timeout: 240 seconds) |
| 2023-05-24 23:22:11 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:99bb:f82c:7f14:1d7d) |
| 2023-05-24 23:26:07 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-05-24 23:27:35 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-24 23:27:35 +0000 | mauke_ | mauke |
| 2023-05-24 23:29:59 +0000 | CiaoSen | (~Jura@dynamic-046-114-222-184.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-24 23:32:10 +0000 | xameer | (~xameer@144.48.225.48) (Remote host closed the connection) |
| 2023-05-24 23:33:43 +0000 | xameer | (~xameer@144.48.225.48) |
| 2023-05-24 23:35:31 +0000 | vandita | (~vandit@87-97-88-228.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-24 23:37:17 +0000 | vandita | (~vandit@178-164-206-43.pool.digikabel.hu) |
| 2023-05-24 23:38:03 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-24 23:41:23 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 246 seconds) |
| 2023-05-24 23:50:22 +0000 | jero98772 | (~jero98772@2800:484:1d84:9000:8822:84bd:a4f4:947f) (Ping timeout: 265 seconds) |
| 2023-05-24 23:52:55 +0000 | Mistyhands | (~Mistyhand@217.155.19.212) (Read error: Connection reset by peer) |
| 2023-05-24 23:52:59 +0000 | enoq | (~enoq@194-208-133-121.lampert.tv) (Remote host closed the connection) |
| 2023-05-24 23:54:38 +0000 | freeside | (~mengwong@103.252.202.151) |
| 2023-05-24 23:58:34 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-24 23:58:34 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-24 23:58:34 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-24 23:59:01 +0000 | freeside | (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 2023-05-24 23:59:51 +0000 | acarrico | (~acarrico@dhcp-68-142-49-163.greenmountainaccess.net) (Quit: Leaving.) |