| 2022-09-17 00:00:34 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-17 00:00:36 +0000 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) (Ping timeout: 252 seconds) |
| 2022-09-17 00:03:06 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-17 00:06:21 +0000 | [_] | [itchyjunk] |
| 2022-09-17 00:08:10 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 00:10:16 +0000 | talismanick | (~talismani@2601:644:9380:4570::a698) |
| 2022-09-17 00:15:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-17 00:16:17 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-17 00:19:58 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-17 00:20:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 00:24:12 +0000 | <talismanick> | If stringsearch is preferred to RefSerialize for deserializing ByteString data from disk, is there a corresponding new serialization library? |
| 2022-09-17 00:24:24 +0000 | <talismanick> | This feels like the kind of task where linear types could help |
| 2022-09-17 00:24:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 00:25:23 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-09-17 00:26:10 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-17 00:26:34 +0000 | <talismanick> | nvm, looks like there are other library options |
| 2022-09-17 00:28:33 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-17 00:28:43 +0000 | <talismanick> | more directly pertinent: should I not use TCache for a(n ad-hoc) graph database? |
| 2022-09-17 00:44:27 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-17 00:49:37 +0000 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Read error: Connection reset by peer) |
| 2022-09-17 00:53:25 +0000 | hochata | (~user@user/hochata) (Remote host closed the connection) |
| 2022-09-17 00:53:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 00:55:45 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:f196:ba7d:936f:2d5b) |
| 2022-09-17 00:56:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 00:57:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 01:01:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-09-17 01:01:38 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-17 01:02:55 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-17 01:10:20 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-17 01:13:53 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-09-17 01:16:27 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-17 01:16:44 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-17 01:20:23 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:f196:ba7d:936f:2d5b) (Quit: caryhartline) |
| 2022-09-17 01:21:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 01:24:46 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) (Ping timeout: 260 seconds) |
| 2022-09-17 01:25:37 +0000 | riverside | (~guyst@109.249.184.134) |
| 2022-09-17 01:25:50 +0000 | <riverside> | hi |
| 2022-09-17 01:26:01 +0000 | <riverside> | i would like to ask about lazy evaluation |
| 2022-09-17 01:26:15 +0000 | <riverside> | and how it is used to handle recursive function implementations |
| 2022-09-17 01:26:33 +0000 | <riverside> | i think its called "call by use" or something, right? |
| 2022-09-17 01:26:39 +0000 | <riverside> | call by evaluation... |
| 2022-09-17 01:26:54 +0000 | <riverside> | and then it "unrolls" the recursive structure |
| 2022-09-17 01:27:12 +0000 | <riverside> | its a church encoding of graphs or something? |
| 2022-09-17 01:27:32 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-17 01:27:56 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:f5a5:b633:623:44db) (Ping timeout: 268 seconds) |
| 2022-09-17 01:27:58 +0000 | <riverside> | how does the consumption formalism of call by evaluation somehow pass us through an unfolding duality to a church encoding, and handle a cyclic structure |
| 2022-09-17 01:29:00 +0000 | <riverside> | i think im getting confused about some unfold scanner fold rewrite rule |
| 2022-09-17 01:29:31 +0000 | <riverside> | and i always try to factorise them, which leads to all monoidal algebras and such |
| 2022-09-17 01:29:45 +0000 | <riverside> | the state trasfer functions |
| 2022-09-17 01:29:53 +0000 | <riverside> | and about haskells pure mutability.. |
| 2022-09-17 01:30:14 +0000 | <riverside> | "functions which dont change when you use them" |
| 2022-09-17 01:30:24 +0000 | <riverside> | as compared to as if they were states |
| 2022-09-17 01:30:51 +0000 | <riverside> | class State s where state :: i -> s -> (s,o) |
| 2022-09-17 01:31:17 +0000 | <riverside> | (|s -> i,o) |
| 2022-09-17 01:32:09 +0000 | <riverside> | er right, just otherwise it looks like functions arent states |
| 2022-09-17 01:32:21 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) |
| 2022-09-17 01:32:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 01:34:12 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-17 01:35:13 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) (Client Quit) |
| 2022-09-17 01:35:25 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 01:37:02 +0000 | riverside | (~guyst@109.249.184.134) (Ping timeout: 265 seconds) |
| 2022-09-17 01:37:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) |
| 2022-09-17 01:39:33 +0000 | <oats> | glguy, thanks, cheers! |
| 2022-09-17 01:41:08 +0000 | razetime | (~quassel@117.254.35.66) |
| 2022-09-17 01:44:08 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-17 01:49:44 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-09-17 01:50:56 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-17 01:51:17 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-09-17 02:00:25 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-17 02:00:40 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-17 02:06:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 02:07:03 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-09-17 02:10:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 02:14:45 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-17 02:26:53 +0000 | aweinstock | (~aweinstoc@cpe-74-76-189-75.nycap.res.rr.com) (Ping timeout: 255 seconds) |
| 2022-09-17 02:27:35 +0000 | td_ | (~td@muedsl-82-207-238-252.citykom.de) (Ping timeout: 252 seconds) |
| 2022-09-17 02:28:30 +0000 | aweinstock | (~aweinstoc@cpe-74-76-189-75.nycap.res.rr.com) |
| 2022-09-17 02:29:35 +0000 | td_ | (~td@94.134.91.75) |
| 2022-09-17 02:37:02 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-17 02:38:25 +0000 | razetime | (~quassel@117.254.35.66) (Ping timeout: 265 seconds) |
| 2022-09-17 02:39:10 +0000 | razetime | (~quassel@117.193.0.203) |
| 2022-09-17 02:39:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 02:40:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-17 02:40:48 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-17 02:40:48 +0000 | finn_elija | FinnElija |
| 2022-09-17 02:40:50 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 02:44:52 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-17 02:45:14 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-17 02:45:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 02:48:52 +0000 | DrAvogadro | (~Guest77@S01069050ca4e3573.cg.shawcable.net) |
| 2022-09-17 02:48:55 +0000 | <DrAvogadro> | https://www.youtube.com/watch?v=VX11vfWsfX0 |
| 2022-09-17 02:50:48 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 02:53:07 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-17 02:53:15 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 02:54:52 +0000 | Ian4 | (~Ian@c-71-234-92-136.hsd1.ct.comcast.net) (Quit: Connection closed) |
| 2022-09-17 02:58:32 +0000 | DrAvogadro | (~Guest77@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 2022-09-17 02:59:41 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 265 seconds) |
| 2022-09-17 02:59:58 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-09-17 03:08:33 +0000 | ProbablyReturnin | (~ProbablyR@S01069050ca4e3573.cg.shawcable.net) |
| 2022-09-17 03:14:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 03:20:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 03:23:46 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-09-17 03:25:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-17 03:26:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-17 03:27:38 +0000 | ProbablyReturnin | (~ProbablyR@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 2022-09-17 03:45:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 03:46:39 +0000 | shapr | (~user@68.54.166.125) (Ping timeout: 268 seconds) |
| 2022-09-17 03:50:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 03:52:52 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-17 03:54:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 04:04:36 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 04:08:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-09-17 04:24:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 04:28:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 04:32:19 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 04:41:57 +0000 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-17 04:44:47 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-17 04:45:02 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-17 05:02:27 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-17 05:09:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 05:11:02 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-09-17 05:14:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 05:21:03 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-09-17 05:22:16 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2022-09-17 05:27:46 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-17 05:27:48 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-17 05:32:45 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-09-17 05:32:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 05:33:04 +0000 | kjak | (~kjak@pool-108-31-114-135.washdc.fios.verizon.net) |
| 2022-09-17 05:35:07 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 05:35:23 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 05:43:32 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-17 05:44:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 05:47:33 +0000 | analoq | (~yashi@user/dies) (Read error: Connection reset by peer) |
| 2022-09-17 05:49:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 05:53:38 +0000 | analoq | (~yashi@user/dies) |
| 2022-09-17 05:59:00 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-17 05:59:44 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-17 06:01:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-17 06:19:12 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 06:36:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 06:40:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 06:43:08 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 06:43:24 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-17 06:44:04 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2022-09-17 06:44:48 +0000 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Client Quit) |
| 2022-09-17 06:51:41 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-17 07:03:14 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-17 07:09:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 07:09:41 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-17 07:11:57 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 268 seconds) |
| 2022-09-17 07:13:23 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 07:16:29 +0000 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 244 seconds) |
| 2022-09-17 07:19:43 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 07:23:21 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-17 07:24:13 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-17 07:28:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-17 07:28:43 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-17 07:33:48 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-17 07:34:18 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) |
| 2022-09-17 07:35:04 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-17 07:41:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-17 07:42:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 07:45:23 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 07:45:23 +0000 | jinsun | Guest4559 |
| 2022-09-17 07:45:23 +0000 | Guest4559 | (~jinsun@user/jinsun) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2022-09-17 07:45:23 +0000 | jinsun__ | jinsun |
| 2022-09-17 07:46:07 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-17 07:46:34 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-17 07:46:53 +0000 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2022-09-17 07:47:15 +0000 | zachel | (~zachel@user/zachel) |
| 2022-09-17 07:47:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 08:08:05 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-17 08:12:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-17 08:15:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 08:19:18 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-17 08:20:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 08:29:18 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-17 08:29:37 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-17 08:34:15 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-17 08:35:10 +0000 | MoC | (~moc@user/moc) |
| 2022-09-17 08:35:47 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-17 08:36:47 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Client Quit) |
| 2022-09-17 08:37:36 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-17 08:38:34 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-09-17 08:41:04 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-17 08:44:51 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-17 08:49:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 08:54:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 08:57:12 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-17 08:59:38 +0000 | frost | (~frost@user/frost) |
| 2022-09-17 09:02:28 +0000 | frost | (~frost@user/frost) (Client Quit) |
| 2022-09-17 09:05:34 +0000 | frost | (~frost@user/frost) |
| 2022-09-17 09:05:37 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-17 09:06:16 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-17 09:07:56 +0000 | inversed | (~inversed@90.209.137.56) (Ping timeout: 260 seconds) |
| 2022-09-17 09:10:54 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-09-17 09:10:54 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-09-17 09:11:32 +0000 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-09-17 09:13:35 +0000 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-09-17 09:16:42 +0000 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-09-17 09:25:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 09:30:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 09:31:23 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-17 09:36:56 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:79b5:cc82:9ac6:d041) |
| 2022-09-17 09:43:22 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 09:45:30 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-17 09:45:52 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection) |
| 2022-09-17 09:46:11 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-17 09:49:49 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-17 09:50:06 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Remote host closed the connection) |
| 2022-09-17 09:50:30 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) |
| 2022-09-17 09:54:01 +0000 | thyriaen_ | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) |
| 2022-09-17 09:56:49 +0000 | thyriaen | (~thyriaen@85-125-32-21.static.upcbusiness.at) (Ping timeout: 265 seconds) |
| 2022-09-17 10:01:03 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-17 10:01:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 10:03:32 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-09-17 10:04:10 +0000 | thyriaen_ | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) (Quit: Leaving) |
| 2022-09-17 10:04:24 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-09-17 10:04:36 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) |
| 2022-09-17 10:05:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 10:08:19 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-17 10:13:23 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) (Read error: Connection reset by peer) |
| 2022-09-17 10:14:19 +0000 | _xor | (~xor@74.215.182.83) (Quit: bbiab) |
| 2022-09-17 10:16:45 +0000 | emad | (~emad@156.214.56.12) |
| 2022-09-17 10:17:39 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 268 seconds) |
| 2022-09-17 10:18:55 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) |
| 2022-09-17 10:19:23 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 10:19:58 +0000 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-09-17 10:21:28 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) (Read error: Connection reset by peer) |
| 2022-09-17 10:23:54 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-17 10:25:00 +0000 | ormaaj | ormaaaaj |
| 2022-09-17 10:28:54 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2022-09-17 10:28:55 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-17 10:29:18 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) |
| 2022-09-17 10:33:23 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-17 10:36:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 10:38:48 +0000 | razetime | (~quassel@117.193.0.203) (Ping timeout: 264 seconds) |
| 2022-09-17 10:41:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 10:41:47 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 10:47:04 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-17 10:49:53 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 250 seconds) |
| 2022-09-17 10:50:32 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-17 10:55:25 +0000 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 252 seconds) |
| 2022-09-17 11:00:20 +0000 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-17 11:11:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 11:15:55 +0000 | ormaaaaj | ormaaj |
| 2022-09-17 11:16:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 11:21:07 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) |
| 2022-09-17 11:21:11 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 2022-09-17 11:21:22 +0000 | Furor | Colere |
| 2022-09-17 11:21:44 +0000 | checkum | (~checkum@2604:ca00:1fa:b927::e61:72dc) (Read error: Connection reset by peer) |
| 2022-09-17 11:23:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 11:23:06 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 11:24:13 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) |
| 2022-09-17 11:24:21 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-17 11:25:25 +0000 | emad | (~emad@156.214.56.12) (Quit: Leaving) |
| 2022-09-17 11:26:00 +0000 | img | (~img@user/img) |
| 2022-09-17 11:27:40 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-17 11:33:01 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-17 11:33:54 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-17 11:38:22 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 11:41:16 +0000 | img | (~img@user/img) |
| 2022-09-17 11:43:49 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-17 11:47:05 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-17 11:47:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-17 11:48:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 11:48:50 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 11:51:41 +0000 | img | (~img@user/img) |
| 2022-09-17 11:53:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 12:00:02 +0000 | kuribas | (~user@ptr-17d51emgvn9xyloogcr.18120a2.ip6.access.telenet.be) |
| 2022-09-17 12:04:44 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-09-17 12:05:15 +0000 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-09-17 12:06:08 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-17 12:07:20 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-09-17 12:07:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-17 12:12:56 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2022-09-17 12:16:44 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) |
| 2022-09-17 12:21:35 +0000 | thyriaen | (~thyriaen@dynamic-046-114-006-186.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2022-09-17 12:21:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 12:23:31 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-17 12:26:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 12:32:12 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-09-17 12:40:51 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-17 12:41:18 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 12:48:05 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-17 12:54:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 12:58:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 13:21:44 +0000 | checkum | (~checkum@209.107.176.78) |
| 2022-09-17 13:23:36 +0000 | checkum | (~checkum@209.107.176.78) (Read error: Connection reset by peer) |
| 2022-09-17 13:24:24 +0000 | guest | (~username@2402:3a80:92b:23f3:4b64:2187:50ab:9dc3) |
| 2022-09-17 13:24:57 +0000 | guest | lambda1531 |
| 2022-09-17 13:25:26 +0000 | <lambda1531> | foldr (-) 0 [1..3] |
| 2022-09-17 13:25:43 +0000 | <lambda1531> | why is answer 2 |
| 2022-09-17 13:29:52 +0000 | alp | (~alp@user/alp) |
| 2022-09-17 13:30:00 +0000 | <hpc> | > foldr (-) z [a, b, c] |
| 2022-09-17 13:30:02 +0000 | <lambdabot> | a - (b - (c - z)) |
| 2022-09-17 13:30:19 +0000 | <hpc> | > 1 - (2 - (3 - 0)) |
| 2022-09-17 13:30:21 +0000 | <lambdabot> | 2 |
| 2022-09-17 13:31:43 +0000 | <hpc> | foldl will probably give you the results you expect? |
| 2022-09-17 13:31:48 +0000 | <hpc> | > foldl (-) z [a, b, c] |
| 2022-09-17 13:31:51 +0000 | <lambdabot> | z - a - b - c |
| 2022-09-17 13:32:35 +0000 | <lambda1531> | thanks @hpc |
| 2022-09-17 13:34:18 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-09-17 13:37:51 +0000 | alp | (~alp@user/alp) |
| 2022-09-17 13:40:51 +0000 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-09-17 13:44:35 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 13:46:29 +0000 | lambda1531 | (~username@2402:3a80:92b:23f3:4b64:2187:50ab:9dc3) () |
| 2022-09-17 13:46:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 13:49:13 +0000 | img | (~img@user/img) |
| 2022-09-17 13:49:45 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-17 13:51:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 13:54:17 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-17 14:00:30 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 14:00:31 +0000 | jinsun | Guest6603 |
| 2022-09-17 14:00:31 +0000 | Guest6603 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-09-17 14:00:31 +0000 | jinsun__ | jinsun |
| 2022-09-17 14:02:33 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-17 14:07:32 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-17 14:08:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-17 14:18:26 +0000 | ddellacosta | (~ddellacos@89.45.224.195) |
| 2022-09-17 14:18:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 14:21:23 +0000 | checkum | (~checkum@209.107.176.78) |
| 2022-09-17 14:21:26 +0000 | checkum | (~checkum@209.107.176.78) (Read error: Connection reset by peer) |
| 2022-09-17 14:21:31 +0000 | cpli | (~cpli@77.47.62.180) |
| 2022-09-17 14:21:44 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-17 14:23:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 14:24:31 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-17 14:26:26 +0000 | nunggu | (~q@user/nunggu) |
| 2022-09-17 14:28:43 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-17 14:30:23 +0000 | checkum | (~checkum@209.107.176.78) |
| 2022-09-17 14:30:51 +0000 | checkum | (~checkum@209.107.176.78) (Read error: Connection reset by peer) |
| 2022-09-17 14:35:32 +0000 | razetime | (~quassel@117.193.5.143) |
| 2022-09-17 14:50:55 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 14:51:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 14:53:52 +0000 | img | (~img@user/img) |
| 2022-09-17 14:55:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-09-17 14:56:21 +0000 | ski | (~ski@remote11.chalmers.se) |
| 2022-09-17 14:56:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 15:03:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-17 15:05:20 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 15:06:02 +0000 | thyriaen | (~thyriaen@80.122.59.30) |
| 2022-09-17 15:11:36 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-17 15:12:23 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-09-17 15:13:05 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-17 15:15:45 +0000 | razetime | (~quassel@117.193.5.143) (Ping timeout: 252 seconds) |
| 2022-09-17 15:16:59 +0000 | checkum | (~checkum@2604:ca00:1ec:8dfc::260:8aeb) |
| 2022-09-17 15:18:45 +0000 | razetime | (~quassel@117.254.34.157) |
| 2022-09-17 15:19:01 +0000 | checkum | (~checkum@2604:ca00:1ec:8dfc::260:8aeb) (Read error: Connection reset by peer) |
| 2022-09-17 15:20:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 15:24:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 15:26:49 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 15:31:16 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-17 15:33:24 +0000 | razetime | (~quassel@117.254.34.157) (Ping timeout: 264 seconds) |
| 2022-09-17 15:33:31 +0000 | razetime_ | (~quassel@117.254.34.20) |
| 2022-09-17 15:37:03 +0000 | ddellacosta | (~ddellacos@89.45.224.195) (Ping timeout: 268 seconds) |
| 2022-09-17 15:38:45 +0000 | thyriaen | (~thyriaen@80.122.59.30) (Quit: Leaving) |
| 2022-09-17 15:39:22 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-17 15:40:13 +0000 | razetime_ | (~quassel@117.254.34.20) (Ping timeout: 250 seconds) |
| 2022-09-17 15:40:17 +0000 | razetime | (~quassel@117.193.0.3) |
| 2022-09-17 15:42:15 +0000 | img | (~img@user/img) |
| 2022-09-17 15:44:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 15:44:55 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-17 15:47:11 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-17 15:48:12 +0000 | econo | (uid147250@user/econo) |
| 2022-09-17 15:48:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 15:51:37 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-17 15:52:08 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-09-17 15:54:12 +0000 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-17 15:54:36 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-17 15:55:14 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-17 15:55:16 +0000 | johnw_ | (~johnw@2600:1700:cf00:db0:edb4:1119:188a:648c) (Quit: ZNC - http://znc.in) |
| 2022-09-17 15:59:09 +0000 | razetime | (~quassel@117.193.0.3) (Read error: Connection reset by peer) |
| 2022-09-17 16:02:56 +0000 | razetime | (~quassel@117.193.4.195) |
| 2022-09-17 16:04:47 +0000 | zava | (~zava@95.91.223.151) |
| 2022-09-17 16:06:35 +0000 | statusfailed | (~statusfai@statusfailed.com) (Quit: leaving) |
| 2022-09-17 16:06:59 +0000 | mikoto-chan | (~mikoto-ch@2001:999:404:2c43:49fc:1a63:b48c:64db) |
| 2022-09-17 16:08:47 +0000 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-09-17 16:13:12 +0000 | xacktm | (xacktm@user/xacktm) |
| 2022-09-17 16:13:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 16:14:22 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-09-17 16:15:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-17 16:18:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 16:21:30 +0000 | Andrew | WaxCPU |
| 2022-09-17 16:26:12 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 16:26:13 +0000 | jinsun | Guest7935 |
| 2022-09-17 16:26:13 +0000 | Guest7935 | (~jinsun@user/jinsun) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2022-09-17 16:26:13 +0000 | jinsun__ | jinsun |
| 2022-09-17 16:33:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 16:35:58 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2022-09-17 16:41:28 +0000 | kenran | (~kenran@200116b82b002700d26f949d56f5eea7.dip.versatel-1u1.de) |
| 2022-09-17 16:43:45 +0000 | kenran | (~kenran@200116b82b002700d26f949d56f5eea7.dip.versatel-1u1.de) (Client Quit) |
| 2022-09-17 16:48:46 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-17 16:52:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-17 16:54:45 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 2022-09-17 16:55:24 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-17 16:55:59 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-17 16:58:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 16:59:00 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-17 16:59:02 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-09-17 16:59:16 +0000 | mikoto-chan | (~mikoto-ch@2001:999:404:2c43:49fc:1a63:b48c:64db) (Ping timeout: 260 seconds) |
| 2022-09-17 17:03:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 17:07:02 +0000 | razetime | (~quassel@117.193.4.195) (Remote host closed the connection) |
| 2022-09-17 17:14:27 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Read error: Connection reset by peer) |
| 2022-09-17 17:14:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-17 17:19:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 17:21:42 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-17 17:23:05 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.234) |
| 2022-09-17 17:23:38 +0000 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) |
| 2022-09-17 17:27:59 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-17 17:30:18 +0000 | <kuribas> | I am trying vscode/hls again, does it force me now to use ghcup? |
| 2022-09-17 17:30:46 +0000 | ddellacosta | (~ddellacos@86.106.143.26) |
| 2022-09-17 17:31:25 +0000 | <geekosaur> | it uses ghcup no matter what, I think |
| 2022-09-17 17:31:27 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-17 17:31:49 +0000 | <geekosaur> | there may be a variable setting somewhere to override that but out of the box it does ghcup |
| 2022-09-17 17:31:51 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-17 17:32:00 +0000 | <geekosaur> | s/variable/configuration/ |
| 2022-09-17 17:33:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 17:34:02 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-17 17:37:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 17:39:10 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 17:39:33 +0000 | thyriaen | (~thyriaen@80.122.59.30) |
| 2022-09-17 17:48:21 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 17:48:21 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2022-09-17 17:48:21 +0000 | jinsun__ | jinsun |
| 2022-09-17 17:52:00 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-17 17:52:41 +0000 | fjMSX | (~hypni2p@128-68-144-58.broadband.corbina.ru) (Ping timeout: 252 seconds) |
| 2022-09-17 17:59:34 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-09-17 18:00:07 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-17 18:00:08 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-17 18:00:20 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-17 18:01:59 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-17 18:04:03 +0000 | ddellacosta | (~ddellacos@86.106.143.26) (Ping timeout: 252 seconds) |
| 2022-09-17 18:06:06 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2022-09-17 18:07:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 18:10:02 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-17 18:11:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 18:12:29 +0000 | vglfr | (~vglfr@145.224.94.16) (Ping timeout: 252 seconds) |
| 2022-09-17 18:17:56 +0000 | cpli | (~cpli@77.47.62.180) (Ping timeout: 268 seconds) |
| 2022-09-17 18:20:22 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-09-17 18:23:59 +0000 | AlexNoo_ | (~AlexNoo@94.233.240.222) |
| 2022-09-17 18:25:45 +0000 | AlexZenon | (~alzenon@178.34.161.3) (Ping timeout: 250 seconds) |
| 2022-09-17 18:26:15 +0000 | Alex_test | (~al_test@178.34.161.3) (Ping timeout: 265 seconds) |
| 2022-09-17 18:27:56 +0000 | AlexNoo | (~AlexNoo@178.34.161.3) (Ping timeout: 260 seconds) |
| 2022-09-17 18:29:27 +0000 | AlexNoo_ | AlexNoo |
| 2022-09-17 18:29:41 +0000 | Alex_test | (~al_test@94.233.240.222) |
| 2022-09-17 18:29:42 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-09-17 18:39:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 18:42:16 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 18:44:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 18:46:58 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-09-17 18:49:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2022-09-17 18:50:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-17 18:51:28 +0000 | alp | (~alp@user/alp) |
| 2022-09-17 18:52:26 +0000 | geranim0 | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) |
| 2022-09-17 18:52:28 +0000 | bob | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) |
| 2022-09-17 18:53:05 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-17 18:53:34 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-17 18:59:03 +0000 | <kuribas> | geekosaur: you mean for ghc and everything? |
| 2022-09-17 18:59:19 +0000 | <kuribas> | so now I need to have cabal/stack/ghcup |
| 2022-09-17 18:59:23 +0000 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2022-09-17 18:59:23 +0000 | <kuribas> | ? |
| 2022-09-17 18:59:30 +0000 | <kuribas> | three times of everything |
| 2022-09-17 19:00:46 +0000 | <geekosaur> | yeh, and it auto-installs stack too (until vscode got involved I had never had stack installed. at least it's not forcing me to *use* it…) |
| 2022-09-17 19:00:52 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-17 19:01:08 +0000 | <kuribas> | But I already have stack... |
| 2022-09-17 19:01:19 +0000 | <kuribas> | Will ghcup detect that I have it already, or install a second stack. |
| 2022-09-17 19:01:34 +0000 | <geekosaur> | dunno |
| 2022-09-17 19:01:36 +0000 | <kuribas> | an extra stack, so 4 times everything is even worse... |
| 2022-09-17 19:01:40 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-17 19:01:43 +0000 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-17 19:01:46 +0000 | <geekosaur> | but I suspect it installs ghcup's managed stack |
| 2022-09-17 19:01:56 +0000 | <geekosaur> | unless you can go into settings and disable that |
| 2022-09-17 19:03:00 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-17 19:05:15 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-17 19:05:17 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-17 19:09:46 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-17 19:10:04 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-17 19:11:37 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-17 19:11:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 19:12:21 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-17 19:16:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 19:20:04 +0000 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-17 19:24:57 +0000 | mestre | (~mestre@191.177.181.194) |
| 2022-09-17 19:26:41 +0000 | <mjrosenb> | Is there an example of using Control.Lens.Zipper on a custom datatype? |
| 2022-09-17 19:30:49 +0000 | user8342 | (~user8342@cpe-75-80-181-36.san.res.rr.com) |
| 2022-09-17 19:32:16 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-17 19:33:14 +0000 | <user8342> | does anyone use Haskell on Windows? the new installation seems more complicated, am I the only one that misses Haskell Platform? |
| 2022-09-17 19:34:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-09-17 19:35:50 +0000 | <mjrosenb> | wait, does Control.Lens.Zipper not exist anymore? |
| 2022-09-17 19:36:07 +0000 | <mjrosenb> | user8342: I use the linux haskell inside of wsl. |
| 2022-09-17 19:36:49 +0000 | <user8342> | I considered that too, mjrosenb. I might have to go that way |
| 2022-09-17 19:36:56 +0000 | <geekosaur> | I thought ghcup was supported on windows these days? granting it's got an ugly powershell incantation instead of the simple shell one |
| 2022-09-17 19:37:49 +0000 | <user8342> | it's probably just my lack of skills, but Haskell Platform allowed me to get started with minimal pain |
| 2022-09-17 19:38:27 +0000 | <geekosaur> | it's minimal until you need conflicting packages, then you're screwed |
| 2022-09-17 19:38:51 +0000 | <geekosaur> | so "get started" was about all it was good for; using it got you into trouble quickly |
| 2022-09-17 19:39:10 +0000 | <user8342> | that's good to know |
| 2022-09-17 19:39:19 +0000 | <user8342> | thank you, geekosaur |
| 2022-09-17 19:40:28 +0000 | <user8342> | I need to learn more about package management, I'd appreciate any pointers to the basic concepts |
| 2022-09-17 19:41:39 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-17 19:41:47 +0000 | <geekosaur> | I think most beginners use stack because it's easier to start up; it starts out with a package set not unlike the Haskell Platform but larger (the "resolver") |
| 2022-09-17 19:42:44 +0000 | <geekosaur> | the difference being every stack project can have its own resolver and set of dependencies, without them all conflicting with each other like would happen with HP |
| 2022-09-17 19:42:52 +0000 | <mjrosenb> | was lens' Control.Lens.Zipper split out into zipper? https://github.com/ekmett/zippers/blob/master/src/Control/Zipper.hs |
| 2022-09-17 19:43:02 +0000 | <user8342> | where do the downloaded packages end up? are they in the current directory or elsewhere? |
| 2022-09-17 19:43:41 +0000 | <geekosaur> | I don't know what the equivalent of ~/.stack is on Windows; possibly the manual says |
| 2022-09-17 19:44:59 +0000 | <user8342> | I'll look it up, just mentioning ~/.stack helps, thank you |
| 2022-09-17 19:45:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 19:45:42 +0000 | <mjrosenb> | blah, zipper is from 2013, and depends on libraries that I can't install :-( |
| 2022-09-17 19:45:54 +0000 | <mjrosenb> | wait, no. |
| 2022-09-17 19:46:10 +0000 | <mjrosenb> | last commit was in 2021, just the copyright hasn't been updated. |
| 2022-09-17 19:47:15 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-17 19:50:05 +0000 | <user8342> | thank you for the help, mjrosenb and geekosaur. much appreciated |
| 2022-09-17 19:50:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 19:50:38 +0000 | user8342 | (~user8342@cpe-75-80-181-36.san.res.rr.com) () |
| 2022-09-17 19:51:57 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-17 19:52:28 +0000 | <geekosaur> | I feel kinda dirty pointing someone to stack 🙂 |
| 2022-09-17 19:52:47 +0000 | <geekosaur> | but I figure it probably is a bit easier for them to get started, especially on Windows |
| 2022-09-17 19:55:19 +0000 | <mjrosenb> | ahh, looks like nix's configuration for this just doesn't work. It has multirec-0.7.9, which wants template-haskell < 2.15, and template-haskell... probably 2.18? |
| 2022-09-17 19:57:40 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-17 19:58:06 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-17 19:59:43 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-09-17 20:01:06 +0000 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-17 20:01:59 +0000 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) |
| 2022-09-17 20:04:47 +0000 | <mjrosenb> | well now, that's odd. |
| 2022-09-17 20:05:05 +0000 | <mjrosenb> | nix-build says it is going to build template-haskell-2.14.0.0 |
| 2022-09-17 20:05:38 +0000 | <mjrosenb> | but before that happens, multirec complains that it can't find `template-haskell >=2.4 && <2.15` |
| 2022-09-17 20:05:57 +0000 | <mjrosenb> | nix is usually better about building the dependencies in order |
| 2022-09-17 20:06:30 +0000 | thyriaen | (~thyriaen@80.122.59.30) (Remote host closed the connection) |
| 2022-09-17 20:06:43 +0000 | thyriaen | (~thyriaen@80.122.59.30) |
| 2022-09-17 20:08:54 +0000 | <geekosaur> | hm, doesn't template-haskell have to come with the compiler? |
| 2022-09-17 20:09:56 +0000 | <mjrosenb> | oh, that would do it |
| 2022-09-17 20:10:05 +0000 | <mjrosenb> | oh, and multirec has broken=true |
| 2022-09-17 20:10:22 +0000 | <mjrosenb> | but I'm ignoring that because miso also has broken=true, and it is... less broken |
| 2022-09-17 20:10:42 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:f859:5754:b4a5:4d11) |
| 2022-09-17 20:11:12 +0000 | <mjrosenb> | ok, so I guess I can't use zipper |
| 2022-09-17 20:11:28 +0000 | <mjrosenb> | and there's no longer a zipper in lens :-( |
| 2022-09-17 20:11:31 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 20:11:32 +0000 | jinsun | Guest4440 |
| 2022-09-17 20:11:32 +0000 | Guest4440 | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2022-09-17 20:11:32 +0000 | jinsun__ | jinsun |
| 2022-09-17 20:11:56 +0000 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-17 20:14:33 +0000 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-09-17 20:14:34 +0000 | jinsun | Guest2172 |
| 2022-09-17 20:14:34 +0000 | jinsun__ | jinsun |
| 2022-09-17 20:14:52 +0000 | <mjrosenb> | oh... oh... OHHH. |
| 2022-09-17 20:16:15 +0000 | <mjrosenb> | https://hackage.haskell.org/package/zippers /= https://hackage.haskell.org/package/zipper |
| 2022-09-17 20:17:42 +0000 | Guest2172 | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-09-17 20:19:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 20:22:34 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Ping timeout: 268 seconds) |
| 2022-09-17 20:23:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 20:26:37 +0000 | sammelweis | (~quassel@mobile-166-176-250-46.mycingular.net) |
| 2022-09-17 20:29:01 +0000 | <kuribas> | GHC sucks so much... |
| 2022-09-17 20:29:19 +0000 | <kuribas> | Either I found another GHC bug, or I got a weird TH quirk... |
| 2022-09-17 20:29:37 +0000 | <kuribas> | • No instance for (FieldNames (RelationshipAttributes 'ReplacementRel)) |
| 2022-09-17 20:29:47 +0000 | <kuribas> | For sure I have one, generated before by TH... |
| 2022-09-17 20:31:27 +0000 | <geekosaur> | what ghc version? the rules tightened recently |
| 2022-09-17 20:32:07 +0000 | <kuribas> | 8.10.7 |
| 2022-09-17 20:32:30 +0000 | <geekosaur> | that should be fine |
| 2022-09-17 20:36:28 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-09-17 20:37:22 +0000 | <kuribas> | I'll try with ghc-9.0.2 and cross my fingers... |
| 2022-09-17 20:37:34 +0000 | <kuribas> | If it fails I would have to rewrite all this code. |
| 2022-09-17 20:37:46 +0000 | <kuribas> | I think I'll embrace clojure then... |
| 2022-09-17 20:39:57 +0000 | jargon | (~jargon@184.101.186.15) |
| 2022-09-17 20:40:25 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-17 20:41:21 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.234) (Ping timeout: 252 seconds) |
| 2022-09-17 20:44:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 20:49:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 20:49:54 +0000 | natto | (~natto@140.238.225.67) |
| 2022-09-17 20:49:56 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-17 20:49:56 +0000 | <int-e> | Have you tried to look at the output of ghc -ddump-splices ? |
| 2022-09-17 20:51:17 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-17 20:51:37 +0000 | <int-e> | which I've only ever done interactively but apparently you can do stuff like {-# OPTIONS_GHC -ddump-splices -ddump-to-file #-} and then look for the generated .dump-simpl file (via https://stackoverflow.com/questions/15851060/ghc-ddump-splices-option-template-haskell ) |
| 2022-09-17 20:52:36 +0000 | natto17 | (~natto@140.238.225.67) (Ping timeout: 260 seconds) |
| 2022-09-17 20:56:56 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-09-17 20:58:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-17 21:00:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-17 21:00:26 +0000 | sammelweis | (~quassel@mobile-166-176-250-46.mycingular.net) (Ping timeout: 265 seconds) |
| 2022-09-17 21:01:08 +0000 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-09-17 21:01:14 +0000 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-09-17 21:01:39 +0000 | <kuribas> | int-e: why would I do that? |
| 2022-09-17 21:02:39 +0000 | <int-e> | to see what the generated instances actually are |
| 2022-09-17 21:02:50 +0000 | <kuribas> | but I know what they are? |
| 2022-09-17 21:03:02 +0000 | <int-e> | how? |
| 2022-09-17 21:03:34 +0000 | <kuribas> | because they are in the code |
| 2022-09-17 21:04:10 +0000 | <kuribas> | I have: deriveHkd1 [t|RelationshipAttributes 'ReplacementRel|] |
| 2022-09-17 21:04:12 +0000 | lechner | (lechner@debian/lechner) |
| 2022-09-17 21:04:13 +0000 | <EvanR> | :matrix_rain: |
| 2022-09-17 21:04:14 +0000 | <int-e> | "<kuribas> For sure I have one, generated before by TH..." -- I wouldn't have that level of confidence in TH doing the right thing. |
| 2022-09-17 21:04:45 +0000 | <kuribas> | int-e: [d| [...] instance FieldNames $(ty) |] |
| 2022-09-17 21:05:51 +0000 | <int-e> | (And rather than digging into whatever deriveHkd1 is, it seems easier to look at the actual splice. Though it's hard to say, depends on how much code it is and a ton of other things.) |
| 2022-09-17 21:06:20 +0000 | <int-e> | What I would do though, is give the compiler some credence for the error that it reports. |
| 2022-09-17 21:06:40 +0000 | <int-e> | Rather than calling it a bug without even looking at what it has to work with. |
| 2022-09-17 21:07:04 +0000 | <kuribas> | int-e: you think the bug is in deriveHkd1? |
| 2022-09-17 21:07:21 +0000 | <int-e> | I would have that option on the table. |
| 2022-09-17 21:07:24 +0000 | <kuribas> | hmm, it might be... |
| 2022-09-17 21:07:27 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-17 21:09:22 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-17 21:09:30 +0000 | <kuribas> | right, it doesn't look correct, I am discarding some code. |
| 2022-09-17 21:09:45 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-17 21:12:28 +0000 | <kuribas> | looks like I am to blame here. |
| 2022-09-17 21:13:07 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Client Quit) |
| 2022-09-17 21:13:24 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-17 21:14:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-17 21:15:08 +0000 | <kuribas> | I can see the appeal of not trying to get stuff right, just letting it crash at runtime. |
| 2022-09-17 21:15:41 +0000 | <kuribas> | If I look at all the work for deriving all the type classes... |
| 2022-09-17 21:15:52 +0000 | <int-e> | But for TH code, the compiler is the runtime... you kind of got your wish there. |
| 2022-09-17 21:16:07 +0000 | <kuribas> | hehe, that's right :) |
| 2022-09-17 21:17:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 21:17:09 +0000 | <kuribas> | I mean, passing around constraints to prove generic code correct is quite cumbersome... |
| 2022-09-17 21:17:55 +0000 | <kuribas> | compared to lisp style, not doing that, and fixing it at runtime. |
| 2022-09-17 21:18:04 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Ping timeout: 268 seconds) |
| 2022-09-17 21:18:43 +0000 | <kuribas> | Still, I prefer this way, but i can understand the appeal for just not going all the way.. |
| 2022-09-17 21:20:41 +0000 | <kuribas> | The question is, is the effort required to make sure your code is correct and consistent smaller than the effort to just fix code after the fact? |
| 2022-09-17 21:22:58 +0000 | <geekosaur> | that's not the whole question, though. how about detecting when something is wrong, as opposed to passing on undetected garbage? |
| 2022-09-17 21:23:15 +0000 | <int-e> | TH is in a weird spot that even makes type safety hard, though typed template haskell is a thing now. But types won't even capture things like which instances are being defined. |
| 2022-09-17 21:23:23 +0000 | <int-e> | Never mind actual functionality. |
| 2022-09-17 21:23:31 +0000 | vglfr | (~vglfr@145.224.94.16) (Ping timeout: 252 seconds) |
| 2022-09-17 21:23:36 +0000 | geranim0 | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) (Remote host closed the connection) |
| 2022-09-17 21:23:37 +0000 | bob | (~geranim0@modemcable062.79-202-24.mc.videotron.ca) (Remote host closed the connection) |
| 2022-09-17 21:24:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-17 21:25:07 +0000 | <kuribas> | geekosaur: that's nearly impossible in dynamic languages |
| 2022-09-17 21:25:10 +0000 | <int-e> | (Ultimately types are a compromise between catching more errors at compile time, and not overburdening programmers and compiler writers with work to prove correctness of the code before it even gets a chance to run.) |
| 2022-09-17 21:25:17 +0000 | <geekosaur> | kuribas, exactly |
| 2022-09-17 21:26:05 +0000 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-17 21:27:16 +0000 | <kuribas> | write meta code which is type safe is still pretty hard. |
| 2022-09-17 21:27:53 +0000 | <kuribas> | meta in the sense of code which works over different types (like Generics). |
| 2022-09-17 21:27:58 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:79b5:cc82:9ac6:d041) (Ping timeout: 268 seconds) |
| 2022-09-17 21:28:25 +0000 | <EvanR> | I've encountered code that is really hard to fix after the fact xD |
| 2022-09-17 21:28:58 +0000 | <int-e> | EvanR: Did the rocket explode on launch? :) |
| 2022-09-17 21:29:00 +0000 | <EvanR> | making me something was seriously wrong with the process that created that code |
| 2022-09-17 21:29:06 +0000 | <EvanR> | think* |
| 2022-09-17 21:29:20 +0000 | <darkling> | EvanR: It's a technique better known from Perl. ;) |
| 2022-09-17 21:29:32 +0000 | <int-e> | write-only code? |
| 2022-09-17 21:29:44 +0000 | <int-e> | I didn't know that was a technique. |
| 2022-09-17 21:29:55 +0000 | <EvanR> | if it's write only code and it doesn't work, that's also known as basically no code start over |
| 2022-09-17 21:30:09 +0000 | <ski> | kuribas : "polytypic" |
| 2022-09-17 21:30:37 +0000 | <int-e> | EvanR: TBF, scrapping the first version of code is a valid strategy for writing better code, if you have the time. |
| 2022-09-17 21:31:06 +0000 | <kuribas> | ski: right |
| 2022-09-17 21:31:30 +0000 | <kuribas> | the fact is that records are pretty rigid in haskell. |
| 2022-09-17 21:32:19 +0000 | <ski> | kuribas : "Polytypic programming at Chalmers" <http://www.cse.chalmers.se/~patrikj/poly/> |
| 2022-09-17 21:33:17 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-17 21:34:41 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 250 seconds) |
| 2022-09-17 21:37:29 +0000 | <kuribas> | extensible records in a dependtly typed language solve this better... |
| 2022-09-17 21:41:01 +0000 | <kuribas> | I just mean, the clojurist have a good point that doing this meta programming in clojure is much easier. |
| 2022-09-17 21:41:31 +0000 | <kuribas> | At least, doing it in untyped hashmaps, which you can also do easily in haskell. |
| 2022-09-17 21:45:25 +0000 | <EvanR> | dependent types might be a bit extreme if you just want records |
| 2022-09-17 21:46:00 +0000 | <dolio> | What is even an example of a language with dependent types and extensible records? |
| 2022-09-17 21:46:18 +0000 | <dolio> | Ur? |
| 2022-09-17 21:46:35 +0000 | <kuribas> | dolio: extensible records can be written easily in a DT language like idris. |
| 2022-09-17 21:46:46 +0000 | <EvanR> | written easily, used easily? xD |
| 2022-09-17 21:47:17 +0000 | <EvanR> | it typechecks so it works:tm: |
| 2022-09-17 21:47:31 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2022-09-17 21:48:34 +0000 | <kuribas> | easy is maybe not the right word. More flexibly than in haskell at least. |
| 2022-09-17 21:48:42 +0000 | <EvanR> | would it be cool if the language let you program new type checking algorithms, with a focus on usability and feedback |
| 2022-09-17 21:48:55 +0000 | <dolio> | I don't think I believe that. Unless you're throwing out features of extensible records. |
| 2022-09-17 21:49:10 +0000 | <kuribas> | dolio: which features? |
| 2022-09-17 21:49:23 +0000 | <dolio> | Field names automatically reorder themselves as needed. |
| 2022-09-17 21:49:43 +0000 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) |
| 2022-09-17 21:49:54 +0000 | thyriaen_ | (~thyriaen@80.122.59.30) |
| 2022-09-17 21:49:55 +0000 | <dolio> | So, {foo : A, bar : B} is the same as {bar : B, foo : A}. |
| 2022-09-17 21:50:17 +0000 | thyriaen | (~thyriaen@80.122.59.30) (Ping timeout: 252 seconds) |
| 2022-09-17 21:51:15 +0000 | <dolio> | I wouldn't even necessarily expect it to be 'easy' to model field names. |
| 2022-09-17 21:51:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-17 21:51:50 +0000 | <EvanR> | i wrote some code in clojure which modeled it, and checked programs using it |
| 2022-09-17 21:52:03 +0000 | <kuribas> | dolio: you index the record type by a list (String, Type) |
| 2022-09-17 21:52:12 +0000 | <EvanR> | not dependently typed though |
| 2022-09-17 21:52:35 +0000 | <kuribas> | dolio: so, a type checker for clojure? |
| 2022-09-17 21:52:36 +0000 | <EvanR> | the type used a set of fields, rather than a list |
| 2022-09-17 21:52:47 +0000 | <kuribas> | erm EvanR |
| 2022-09-17 21:53:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 21:53:16 +0000 | <EvanR> | the inferencer came up with facts like, such and such record type at least has these fields |
| 2022-09-17 21:53:24 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-09-17 21:53:35 +0000 | <EvanR> | and would error if two records were incompatible |
| 2022-09-17 21:54:39 +0000 | <EvanR> | it didn't type check clojure but a sub language |
| 2022-09-17 21:56:11 +0000 | <EvanR> | kind of like STLC with records |
| 2022-09-17 21:57:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-17 21:57:53 +0000 | <kuribas> | dolio: here is my experiment in idris: https://gist.github.com/kuribas/d5dc0d6a4022bb3f188f8ece8eb12511 |
| 2022-09-17 21:58:27 +0000 | <kuribas> | EvanR: yeah, it's where typed clojure failed IMO. Adding types on top of clojure is just not ergonomic. |
| 2022-09-17 21:58:46 +0000 | <kuribas> | Easier to create a subset or clojure-like language, which is designed with types. |
| 2022-09-17 21:59:05 +0000 | <EvanR> | +types -turingcompleteness xD |
| 2022-09-17 21:59:07 +0000 | Guest|64 | (~Guest|64@158.144.107.41) |
| 2022-09-17 22:01:05 +0000 | Guest|64 | (~Guest|64@158.144.107.41) (Client Quit) |
| 2022-09-17 22:02:59 +0000 | ente` | (~daemon@inferno.barfooze.de) (Remote host closed the connection) |
| 2022-09-17 22:03:10 +0000 | michalz | (~michalz@185.246.207.215) |
| 2022-09-17 22:06:06 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 2022-09-17 22:06:44 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-17 22:08:11 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-17 22:09:28 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-09-17 22:12:09 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:f859:5754:b4a5:4d11) (Quit: caryhartline) |
| 2022-09-17 22:15:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 22:17:27 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) |
| 2022-09-17 22:19:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 22:24:15 +0000 | kuribas | (~user@ptr-17d51emgvn9xyloogcr.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-17 22:24:56 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-17 22:25:48 +0000 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-09-17 22:26:01 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 22:29:37 +0000 | stvc | (~stvc@192.241.166.39) (Quit: WeeChat 1.9.1) |
| 2022-09-17 22:30:27 +0000 | drvitek | (~drvitek@2601:85:c300:7940:739a:12be:cd90:548) |
| 2022-09-17 22:30:46 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-09-17 22:31:09 +0000 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-17 22:32:01 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.249) |
| 2022-09-17 22:33:56 +0000 | zava | (~zava@95.91.223.151) (Quit: WeeChat 3.5) |
| 2022-09-17 22:48:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-17 22:50:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-17 22:51:24 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-17 22:51:50 +0000 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-09-17 22:51:58 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-09-17 22:56:22 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-17 23:02:56 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-17 23:05:00 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) (Quit: caryhartline) |
| 2022-09-17 23:08:58 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-09-17 23:09:21 +0000 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2022-09-17 23:11:31 +0000 | checkum | (~checkum@172.58.30.183) |
| 2022-09-17 23:13:13 +0000 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-17 23:14:10 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-09-17 23:15:26 +0000 | <EvanR> | I'm using megaparsec, and I see the parser-combinators package which has some combinators. But what happened to chainl1 chainr1 from parsec, which could get you out of a nasty left recursion in the BNF |
| 2022-09-17 23:17:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-17 23:17:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 23:18:06 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-17 23:21:45 +0000 | <EvanR> | ok maybe they can't |
| 2022-09-17 23:22:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-17 23:22:26 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-17 23:23:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-17 23:31:55 +0000 | <monochrom> | I think parser-combinators would have them? |
| 2022-09-17 23:34:08 +0000 | <geekosaur> | the index says not |
| 2022-09-17 23:34:19 +0000 | <monochrom> | Hrm, it goes straight to Control.Monad.Combinators.Expr so you don't even bother using chainl1 and chainr1 yourself. |
| 2022-09-17 23:38:51 +0000 | thyriaen_ | (~thyriaen@80.122.59.30) (Remote host closed the connection) |
| 2022-09-17 23:44:25 +0000 | <EvanR> | Expr it is |
| 2022-09-17 23:45:46 +0000 | <Jeanne-Kamikaze> | Why would cabal-install complain about a missing/bad header that I have listed in 'includes:' while the package builds (cabal build) just fine? |
| 2022-09-17 23:46:02 +0000 | <Jeanne-Kamikaze> | Trying to install a local package. |
| 2022-09-17 23:49:37 +0000 | <Jeanne-Kamikaze> | Looks like a cabal.project file with the 'packages' directive does the trick. Seems like quite a bit has changed in the past decade. |
| 2022-09-17 23:50:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-17 23:51:34 +0000 | <geekosaur> | yes, it has |
| 2022-09-17 23:51:42 +0000 | <EvanR> | asleep for a decade? Hopefully you missed stack then xD |
| 2022-09-17 23:51:59 +0000 | <geekosaur> | also cabal build can work while cabal install doesn'tr if a file is not properly accounted for in the sdist |
| 2022-09-17 23:52:43 +0000 | <geekosaur> | since cabal install starts out by making an sdist in order to perform a clean install, and if the file isn't declared in the right places it might not be written to the sdist tarball |
| 2022-09-17 23:55:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |