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