| 2022-05-01 00:00:49 +0000 | <Bulby[m]> | with tomland would some creative thinking be able to use hardcoded as an arbitrary extra field? https://hackage.haskell.org/package/tomland-1.3.3.1/docs/Toml-Codec-Combinator-Custom.html |
| 2022-05-01 00:02:35 +0000 | Bulby[m] | sent a code block: https://libera.ems.host/_matrix/media/r0/download/libera.chat/044744922a13e54e1d305aec61ab9f60ff48… |
| 2022-05-01 00:08:24 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-05-01 00:10:15 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 00:10:44 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 00:10:48 +0000 | Guest|18 | (~Guest|18@75-164-146-210.ptld.qwest.net) (Quit: Connection closed) |
| 2022-05-01 00:12:35 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:14:18 +0000 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) |
| 2022-05-01 00:17:39 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 00:18:24 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 00:23:22 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-05-01 00:30:41 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:32:36 +0000 | <abastro[m]> | What is toml? |
| 2022-05-01 00:32:47 +0000 | <Bulby[m]> | toml's obvious markup lang |
| 2022-05-01 00:33:03 +0000 | <Bulby[m]> | I think using `<*>` and friends won't work |
| 2022-05-01 00:33:26 +0000 | <Bulby[m]> | how would I combine the underlying read write functions in such a way that I can add an arbitrary field |
| 2022-05-01 00:35:21 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-05-01 00:35:24 +0000 | <abastro[m]> | Ah markup |
| 2022-05-01 00:35:51 +0000 | <Bulby[m]> | tom's obvious minimal language oopsies |
| 2022-05-01 00:36:08 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 248 seconds) |
| 2022-05-01 00:36:09 +0000 | <abastro[m]> | Obvious? |
| 2022-05-01 00:36:22 +0000 | <Bulby[m]> | that's it's name ok 👺 |
| 2022-05-01 00:36:23 +0000 | <Bulby[m]> | wait |
| 2022-05-01 00:36:25 +0000 | <Bulby[m]> | wrong emoji |
| 2022-05-01 00:37:31 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-01 00:40:49 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:41:34 +0000 | <abastro[m]> | So this: https://toml.io/en/ |
| 2022-05-01 00:41:37 +0000 | <abastro[m]> | Interesting |
| 2022-05-01 00:42:35 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 00:42:54 +0000 | <abastro[m]> | <del>Eww tables</del> |
| 2022-05-01 00:43:37 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 00:43:37 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 00:43:37 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 00:45:47 +0000 | mxs | (~mxs@user/mxs) (Remote host closed the connection) |
| 2022-05-01 00:45:59 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 00:46:14 +0000 | mxs | (~mxs@user/mxs) |
| 2022-05-01 00:46:39 +0000 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-01 00:46:43 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:48:39 +0000 | <abastro[m]> | `Codec` type seems unfit for applicative operation over writing. |
| 2022-05-01 00:52:27 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:c914:2e3d:9c4a:a429) (Ping timeout: 260 seconds) |
| 2022-05-01 00:52:32 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 00:54:55 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 00:56:05 +0000 | <abastro[m]> | Bidirectional one has |
| 2022-05-01 00:56:05 +0000 | <abastro[m]> | `f ()` |
| 2022-05-01 00:56:05 +0000 | <abastro[m]> | `f a -> f b -> f (a, b)` |
| 2022-05-01 00:56:05 +0000 | <abastro[m]> | But not viable applicative instance. Hmm |
| 2022-05-01 00:56:24 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 00:59:57 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 01:00:08 +0000 | abastro | (~abab9579@220.75.216.63) |
| 2022-05-01 01:02:13 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-05-01 01:02:24 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:05:29 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-05-01 01:05:30 +0000 | gurkenglas | (~gurkengla@84.57.85.111) (Ping timeout: 276 seconds) |
| 2022-05-01 01:05:54 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 2022-05-01 01:08:06 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 01:10:10 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 01:10:20 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 01:10:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-01 01:11:09 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 01:12:36 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Read error: Connection reset by peer) |
| 2022-05-01 01:12:52 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 01:13:27 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-05-01 01:15:58 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 01:16:40 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-01 01:16:41 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 01:18:41 +0000 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2022-05-01 01:20:07 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-05-01 01:20:18 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 01:22:01 +0000 | <cdsmith> | I think the Foldable instance for Data.Functor.Compose should define `length`. Currently it's left to the default impl, which walks through all elements and counts them one by one. It could be something like `length (Compose xs) = getSum (foldMap (Sum . length) xs)`, which would at least avoid traversing the inner containers. |
| 2022-05-01 01:23:09 +0000 | <cdsmith> | Did I miss something here? |
| 2022-05-01 01:32:48 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds) |
| 2022-05-01 01:33:13 +0000 | <cdsmith> | Okay, I found a better place to pontificate: https://github.com/haskell/core-libraries-committee/issues/57 |
| 2022-05-01 01:33:50 +0000 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-01 01:38:39 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2022-05-01 01:39:18 +0000 | cheater | (~Username@user/cheater) |
| 2022-05-01 01:41:44 +0000 | andrey_ | (~andrey@p200300dbcf3c2800a83cd0cefcf2e84d.dip0.t-ipconnect.de) |
| 2022-05-01 01:44:33 +0000 | andrey__ | (~andrey@p508d5741.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-05-01 01:47:21 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 01:50:05 +0000 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 01:50:19 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-05-01 01:51:45 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-01 01:52:18 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 01:56:07 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 01:59:34 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 02:06:57 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 02:12:29 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-05-01 02:13:36 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2022-05-01 02:18:34 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-01 02:18:34 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-01 02:18:34 +0000 | finn_elija | FinnElija |
| 2022-05-01 02:20:12 +0000 | razetime | (~quassel@117.254.35.47) |
| 2022-05-01 02:28:41 +0000 | notzmv | (~zmv@user/notzmv) (Remote host closed the connection) |
| 2022-05-01 02:29:08 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-01 02:29:43 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 02:30:36 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-05-01 02:30:42 +0000 | rekahsoft | (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds) |
| 2022-05-01 02:31:57 +0000 | td_ | (~td@muedsl-82-207-238-189.citykom.de) (Ping timeout: 276 seconds) |
| 2022-05-01 02:32:25 +0000 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-05-01 02:33:29 +0000 | td_ | (~td@94.134.91.80) |
| 2022-05-01 02:33:59 +0000 | brettgilio | (~brettgili@x-node.gq) |
| 2022-05-01 02:35:36 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-05-01 02:43:05 +0000 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-05-01 02:43:31 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-01 02:44:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 02:44:22 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 02:44:57 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-05-01 02:45:46 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 02:48:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 02:49:33 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 02:50:20 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2022-05-01 02:54:49 +0000 | <dmj`> | haskell doesn't really have any OCR bindings huh |
| 2022-05-01 02:57:19 +0000 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-05-01 02:58:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 03:00:19 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-01 03:00:56 +0000 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
| 2022-05-01 03:01:51 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 03:02:00 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 03:05:06 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 03:05:15 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-05-01 03:14:57 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 03:15:53 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-01 03:19:35 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 03:22:55 +0000 | dknite17 | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 03:23:32 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-01 03:24:06 +0000 | dknite17 | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Client Quit) |
| 2022-05-01 03:24:12 +0000 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 03:25:04 +0000 | <dknite> | Are there some live coding streams that use Haskell available? I have found them to be very effective for learning. |
| 2022-05-01 03:25:52 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 03:27:02 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-01 03:32:35 +0000 | sabry | (~sabry@197.37.67.113) |
| 2022-05-01 03:34:29 +0000 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-05-01 03:34:30 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 03:36:54 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 03:37:50 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 272 seconds) |
| 2022-05-01 03:38:18 +0000 | dashkal | (~dashkal@user/dashkal) |
| 2022-05-01 03:38:55 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-05-01 03:42:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-05-01 03:43:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 03:44:23 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-01 03:44:44 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 03:49:59 +0000 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2022-05-01 03:51:46 +0000 | sabry | (~sabry@197.37.67.113) (Quit: Client closed) |
| 2022-05-01 03:55:48 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 03:56:03 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 03:56:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 03:57:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 04:00:26 +0000 | deadmarshal_ | (~deadmarsh@95.38.118.198) |
| 2022-05-01 04:03:04 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-01 04:04:58 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 04:11:30 +0000 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-05-01 04:11:48 +0000 | ubert | (~Thunderbi@p200300ecdf158899c0f4d27fa8fbb23b.dip0.t-ipconnect.de) |
| 2022-05-01 04:15:12 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Ping timeout: 250 seconds) |
| 2022-05-01 04:17:42 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-01 04:23:20 +0000 | mbuf | (~Shakthi@223.178.72.113) |
| 2022-05-01 04:29:46 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-01 04:35:33 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 04:36:25 +0000 | sprout_ | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) |
| 2022-05-01 04:39:19 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-ed7e-2264-bed5-6948.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-01 04:39:39 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-05-01 04:51:31 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 04:52:01 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-05-01 04:56:19 +0000 | phma | (~phma@host-67-44-208-188.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-01 04:57:30 +0000 | phma | (~phma@2001:5b0:210d:d3b8:c7a1:c00e:a306:dd56) |
| 2022-05-01 05:01:21 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 05:01:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 05:02:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 05:03:20 +0000 | deadmarshal_ | (~deadmarsh@95.38.118.198) (Ping timeout: 272 seconds) |
| 2022-05-01 05:07:22 +0000 | Ether17 | (~Ether17@45.248.151.250) |
| 2022-05-01 05:13:56 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 05:18:03 +0000 | Ether17 | (~Ether17@45.248.151.250) (Quit: Client closed) |
| 2022-05-01 05:21:49 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 05:22:29 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 05:30:10 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 05:38:54 +0000 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) |
| 2022-05-01 05:39:01 +0000 | oxide | (~lambda@user/oxide) |
| 2022-05-01 05:41:00 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Ping timeout: 250 seconds) |
| 2022-05-01 05:43:06 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 05:47:19 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) |
| 2022-05-01 05:48:36 +0000 | sprout_ | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-01 05:54:04 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-01 05:54:09 +0000 | Ether17 | (~Ether17@45.248.151.250) |
| 2022-05-01 05:54:32 +0000 | Ether17 | (~Ether17@45.248.151.250) (Client Quit) |
| 2022-05-01 06:04:27 +0000 | img | (~img@user/img) |
| 2022-05-01 06:15:13 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 06:25:02 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2022-05-01 06:25:18 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-01 06:26:48 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 06:28:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-01 06:34:43 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-01 06:35:10 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2022-05-01 06:35:52 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-01 06:43:40 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-01 06:48:51 +0000 | razetime | (~quassel@117.254.35.47) (Ping timeout: 256 seconds) |
| 2022-05-01 06:49:11 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 06:54:56 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-01 06:58:12 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-01 06:59:10 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 07:00:28 +0000 | neceve | (~quassel@2.29.116.221) |
| 2022-05-01 07:04:22 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 07:08:35 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) |
| 2022-05-01 07:20:10 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-01 07:20:59 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 07:22:48 +0000 | razetime | (~quassel@117.254.34.249) |
| 2022-05-01 07:24:12 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-05-01 07:29:28 +0000 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) |
| 2022-05-01 07:34:31 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-01 07:42:49 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 07:45:47 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 07:49:34 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-01 07:51:03 +0000 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) |
| 2022-05-01 07:51:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-01 07:52:24 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 248 seconds) |
| 2022-05-01 07:59:21 +0000 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Quit: Client closed) |
| 2022-05-01 07:59:47 +0000 | dust_ | (~dust@2409:4071:2283:5117:f276:b047:4438:5a20) |
| 2022-05-01 08:00:31 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 08:01:32 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-01 08:04:47 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 256 seconds) |
| 2022-05-01 08:04:56 +0000 | deadmarshal_ | (~deadmarsh@95.38.230.97) |
| 2022-05-01 08:06:05 +0000 | dust_ | (~dust@2409:4071:2283:5117:f276:b047:4438:5a20) (Quit: Konversation terminated!) |
| 2022-05-01 08:09:24 +0000 | deadmarshal_ | (~deadmarsh@95.38.230.97) (Ping timeout: 246 seconds) |
| 2022-05-01 08:11:01 +0000 | Hiring | (~Hiring@31.222.238.38) () |
| 2022-05-01 08:12:05 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-01 08:15:38 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:c480:34a2:ac3:3d01) |
| 2022-05-01 08:15:39 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-01 08:15:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-01 08:15:56 +0000 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) (Quit: Restarting.) |
| 2022-05-01 08:17:54 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 08:19:55 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:c480:34a2:ac3:3d01) (Client Quit) |
| 2022-05-01 08:25:05 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-01 08:31:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 08:32:16 +0000 | steerio | (~steerio@aviv.kinneret.de) (Remote host closed the connection) |
| 2022-05-01 08:36:15 +0000 | deadmarshal_ | (~deadmarsh@95.38.230.97) |
| 2022-05-01 08:41:59 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-05-01 08:45:22 +0000 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:b5b8:3c41:5641:4dcb) |
| 2022-05-01 08:51:45 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2022-05-01 08:58:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 09:00:14 +0000 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Quit: You have been kicked for being idle) |
| 2022-05-01 09:01:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 09:01:01 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-05-01 09:06:16 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 09:16:03 +0000 | jargon | (~jargon@174-22-206-112.phnx.qwest.net) |
| 2022-05-01 09:17:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 09:20:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 09:23:46 +0000 | deadmars- | (~deadmarsh@95.38.113.16) |
| 2022-05-01 09:24:31 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-05-01 09:24:39 +0000 | deadmarshal_ | (~deadmarsh@95.38.230.97) (Ping timeout: 246 seconds) |
| 2022-05-01 09:27:01 +0000 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-05-01 09:27:49 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 09:29:00 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 09:30:32 +0000 | deadmars- | (~deadmarsh@95.38.113.16) (Ping timeout: 248 seconds) |
| 2022-05-01 09:31:26 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.50) |
| 2022-05-01 09:31:46 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 09:32:40 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 09:33:07 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 240 seconds) |
| 2022-05-01 09:36:24 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-05-01 09:36:47 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-01 09:38:43 +0000 | deadmars- | (~deadmarsh@95.38.115.128) |
| 2022-05-01 09:39:16 +0000 | ts3 | (~ts@46.101.20.9) (Quit: WeeChat 3.0.1) |
| 2022-05-01 09:40:07 +0000 | deadmarshal_ | (~deadmarsh@95.38.114.50) (Ping timeout: 240 seconds) |
| 2022-05-01 09:40:20 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-01 09:44:04 +0000 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-05-01 09:44:28 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2022-05-01 09:44:32 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-05-01 09:45:00 +0000 | schmolt | (~schmolt@2a02:8084:26e3:d000:8d32:a9f5:d8c3:b7c) |
| 2022-05-01 09:47:57 +0000 | schmolt | (~schmolt@2a02:8084:26e3:d000:8d32:a9f5:d8c3:b7c) (Client Quit) |
| 2022-05-01 09:49:19 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-01 09:51:30 +0000 | zyklotomic | (~ethan@res388d-128-61-94-44.res.gatech.edu) (Ping timeout: 272 seconds) |
| 2022-05-01 09:51:54 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2022-05-01 09:52:50 +0000 | zyklotomic | (~ethan@res380d-128-61-86-203.res.gatech.edu) |
| 2022-05-01 09:52:53 +0000 | romesrf | (~romes@185.5.8.134) |
| 2022-05-01 09:54:07 +0000 | abastro | (~abab9579@192.249.26.173) |
| 2022-05-01 09:55:13 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 09:57:15 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) |
| 2022-05-01 09:58:02 +0000 | ehamberg | (sid18208@id-18208.hampstead.irccloud.com) () |
| 2022-05-01 10:09:00 +0000 | renzhi | (~xp@2607:fa49:6500:b100::2dea) (Ping timeout: 240 seconds) |
| 2022-05-01 10:21:04 +0000 | renzhi | (~xp@2607:fa49:6500:b100::5c83) |
| 2022-05-01 10:26:34 +0000 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 2022-05-01 10:29:56 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 2022-05-01 10:34:26 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-05-01 10:42:20 +0000 | ubert | (~Thunderbi@p200300ecdf158899c0f4d27fa8fbb23b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-01 10:42:43 +0000 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-05-01 10:43:45 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-01 10:45:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-05-01 10:45:18 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-01 10:46:23 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 11:02:09 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-05-01 11:03:10 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 11:06:41 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 11:08:15 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-05-01 11:13:52 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-01 11:14:05 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 11:14:44 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-01 11:18:10 +0000 | abastro | (~abab9579@192.249.26.173) (Remote host closed the connection) |
| 2022-05-01 11:19:11 +0000 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-01 11:23:20 +0000 | razetime | (~quassel@117.254.34.249) (Ping timeout: 272 seconds) |
| 2022-05-01 11:28:44 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-05-01 11:30:16 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-ac31-dc0e-66e4-8439.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2022-05-01 11:32:09 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 11:35:01 +0000 | td_ | (~td@94.134.91.80) (Ping timeout: 256 seconds) |
| 2022-05-01 11:36:31 +0000 | td_ | (~td@94.134.91.69) |
| 2022-05-01 11:39:40 +0000 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-01 11:41:33 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-01 11:43:50 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-01 11:44:01 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 11:46:24 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 11:56:38 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 11:58:12 +0000 | worldhelloworld1 | (uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-01 11:59:28 +0000 | frost | (~frost@user/frost) |
| 2022-05-01 11:59:47 +0000 | sprout | (~quassel@2a02-a45f-f170-1-886e-9296-a164-800c.fixed6.kpn.net) |
| 2022-05-01 12:02:31 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 12:05:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-01 12:05:42 +0000 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2022-05-01 12:06:43 +0000 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-05-01 12:06:56 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 12:08:37 +0000 | razetime | (~quassel@117.254.34.249) |
| 2022-05-01 12:12:17 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-01 12:18:38 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-01 12:27:03 +0000 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
| 2022-05-01 12:32:22 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 12:33:46 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8cd:5e84:febb:646f) |
| 2022-05-01 12:35:09 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 12:43:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 12:45:19 +0000 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-01 12:45:24 +0000 | Andy[m]12 | (~anparrama@2001:470:69fc:105::1:6826) |
| 2022-05-01 12:52:10 +0000 | grgz | (~grgz@grgz.me) (Quit: WeeChat 2.8) |
| 2022-05-01 12:52:24 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: byeeeeeeee) |
| 2022-05-01 12:54:39 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 276 seconds) |
| 2022-05-01 12:56:04 +0000 | oxide | (~lambda@user/oxide) |
| 2022-05-01 13:00:37 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-05-01 13:02:50 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 13:05:07 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 13:05:43 +0000 | phma | (~phma@2001:5b0:210d:d3b8:c7a1:c00e:a306:dd56) (Read error: Connection reset by peer) |
| 2022-05-01 13:06:33 +0000 | phma | (~phma@host-67-44-208-94.hnremote.net) |
| 2022-05-01 13:08:56 +0000 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) (Remote host closed the connection) |
| 2022-05-01 13:12:24 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2022-05-01 13:22:41 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 2022-05-01 13:23:22 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 13:27:48 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-01 13:33:00 +0000 | barak | (~barak@2a02:14f:1f6:7d81:3f31:17df:d367:e26c) |
| 2022-05-01 13:33:27 +0000 | barak | (~barak@2a02:14f:1f6:7d81:3f31:17df:d367:e26c) (Client Quit) |
| 2022-05-01 13:39:19 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:9cf3:f2f4:30a1:60d0) |
| 2022-05-01 13:40:48 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 276 seconds) |
| 2022-05-01 13:41:23 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 13:41:24 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 13:41:25 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-05-01 13:43:38 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 13:43:50 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-05-01 13:43:51 +0000 | DNH | (~DNH@2a02:8109:b740:2c4:9cf3:f2f4:30a1:60d0) (Ping timeout: 260 seconds) |
| 2022-05-01 13:45:55 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 256 seconds) |
| 2022-05-01 13:48:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-05-01 13:51:01 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 13:51:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-01 13:53:25 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 13:59:00 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 14:01:22 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:02:30 +0000 | qwedfg_ | (~qwedfg@user/qwedfg) |
| 2022-05-01 14:02:57 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 272 seconds) |
| 2022-05-01 14:04:12 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 14:06:06 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2022-05-01 14:06:09 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 14:06:17 +0000 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-05-01 14:06:19 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 14:07:02 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 14:07:12 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:07:22 +0000 | jespada_ | (~jespada@89.238.143.238) |
| 2022-05-01 14:08:00 +0000 | jespada_ | (~jespada@89.238.143.238) (Client Quit) |
| 2022-05-01 14:10:35 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 14:11:10 +0000 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 14:11:25 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 14:12:19 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 14:12:24 +0000 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 14:13:07 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:15:15 +0000 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) |
| 2022-05-01 14:15:57 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-05-01 14:16:05 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 14:18:08 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 14:18:18 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-05-01 14:22:19 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-05-01 14:22:52 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 14:30:41 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2022-05-01 14:31:04 +0000 | jespada | (~jespada@194.37.96.110) |
| 2022-05-01 14:33:37 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-05-01 14:35:03 +0000 | <raehik> | is there a way for me to get the length of a type-level symbol, as a type-level nat? |
| 2022-05-01 14:35:17 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:35:37 +0000 | <hpc> | like (length String) = 6, (length Int) = 3? |
| 2022-05-01 14:35:56 +0000 | <raehik> | No, like `Length "bla" = 3` |
| 2022-05-01 14:37:29 +0000 | <raehik> | initial googling has pointed me to the generic-lens author's work -- but no Length function https://blog.csongor.co.uk/symbol-parsing-haskell/ |
| 2022-05-01 14:37:58 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-01 14:37:59 +0000 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) (Quit: WeeChat 3.5) |
| 2022-05-01 14:39:05 +0000 | <raehik> | I will gladly ignore any Unicode pitfalls etc because it's intended for ASCII only |
| 2022-05-01 14:39:20 +0000 | <raehik> | so Char = 1 |
| 2022-05-01 14:40:00 +0000 | <raehik> | there is UnconsSymbol but I don't understand how to "pattern match" on it |
| 2022-05-01 14:42:33 +0000 | sprout | (~quassel@2a02-a45f-f170-1-886e-9296-a164-800c.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 14:43:00 +0000 | <abastro[m]> | One could make type family for that I think |
| 2022-05-01 14:43:12 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-05-01 14:44:49 +0000 | <raehik> | abastro[m]: That's what I'm trying. Can't figure out how to write this on type level: https://paste.tomsmeding.com/TP9JdYKH |
| 2022-05-01 14:44:56 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 14:44:56 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 14:44:56 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 14:45:18 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:46:54 +0000 | <abastro[m]> | You need to make type family for each case statement |
| 2022-05-01 14:47:12 +0000 | <abastro[m]> | It's going to be ugly, yea |
| 2022-05-01 14:47:12 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 14:47:33 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 14:47:41 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 14:48:17 +0000 | <raehik> | oooh I think I get it |
| 2022-05-01 14:48:38 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-01 14:50:35 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 2022-05-01 14:52:06 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 14:52:34 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 14:53:04 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) |
| 2022-05-01 14:53:07 +0000 | <raehik> | this feels like it should work, but I'm getting "Type instead of (some kind)" errors https://paste.tomsmeding.com/t2SC6gQU |
| 2022-05-01 14:54:53 +0000 | <abastro[m]> | Typelevel plus might be different operator |
| 2022-05-01 14:55:08 +0000 | <abastro[m]> | Oh it is same operator |
| 2022-05-01 14:56:03 +0000 | <abastro[m]> | Hmm, could you post entire error |
| 2022-05-01 14:56:19 +0000 | <raehik> | Is Maybe not polykinded? |
| 2022-05-01 14:56:22 +0000 | <tomsmeding> | what's the definition of UnconsSymbol |
| 2022-05-01 14:56:30 +0000 | <raehik> | Yes to both, one sec |
| 2022-05-01 14:57:00 +0000 | <tomsmeding> | raehik: interesting, Maybe seems not polykinded |
| 2022-05-01 14:57:54 +0000 | <raehik> | https://paste.tomsmeding.com/lGwPqmPP |
| 2022-05-01 14:57:54 +0000 | <tomsmeding> | in any case, `:k Maybe` yields `* -> *` whereas e.g. `:k Proxy` yields `k -> *` |
| 2022-05-01 14:58:15 +0000 | <tomsmeding> | yeah Maybe is not kind-polymorphic here |
| 2022-05-01 14:58:31 +0000 | <raehik> | that's weird, how does UnconsSymbol work there? |
| 2022-05-01 14:58:42 +0000 | <tomsmeding> | what's the definition of UnconsSymbol |
| 2022-05-01 14:59:01 +0000 | <raehik> | type family UnconsSymbol (a :: Symbol) :: Maybe (Char, Symbol) |
| 2022-05-01 14:59:10 +0000 | <tomsmeding> | the _definition_, not its declaration :p |
| 2022-05-01 14:59:12 +0000 | <raehik> | :k UnconsSymbol |
| 2022-05-01 14:59:13 +0000 | <lambdabot> | error: |
| 2022-05-01 14:59:13 +0000 | <lambdabot> | Not in scope: type constructor or class ‘UnconsSymbol’ |
| 2022-05-01 14:59:27 +0000 | <tomsmeding> | put @let before the type family |
| 2022-05-01 15:00:03 +0000 | <raehik> | sorry, what do you mean? `@let UnconsSymbol` in ghci doesn't work |
| 2022-05-01 15:00:09 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 15:00:17 +0000 | <tomsmeding> | oh I thought you intended to do it here in lambdabot |
| 2022-05-01 15:00:33 +0000 | <raehik> | ah yes please, but I dunno how to import either xd |
| 2022-05-01 15:00:34 +0000 | <tomsmeding> | oh wait, UnconsSymbol is not a closed type family? |
| 2022-05-01 15:00:54 +0000 | <raehik> | uhhh I *think* it's internal, I can't see the def in GHC.TypeLits |
| 2022-05-01 15:01:07 +0000 | <tomsmeding> | OH ITS IN BASE |
| 2022-05-01 15:01:15 +0000 | <tomsmeding> | lol sorry |
| 2022-05-01 15:01:38 +0000 | <tomsmeding> | that's super dumb |
| 2022-05-01 15:02:09 +0000 | <raehik> | is it really polykind Maybe for that func, but the exported Maybe isn't polykind? |
| 2022-05-01 15:02:21 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:02:38 +0000 | <tomsmeding> | nah it imports Maybe from Data.Maybe |
| 2022-05-01 15:02:52 +0000 | <abastro[m]> | Ugh |
| 2022-05-01 15:03:14 +0000 | <raehik> | :k 'Just |
| 2022-05-01 15:03:15 +0000 | <abastro[m]> | Why is `(_, s) :: *` |
| 2022-05-01 15:03:15 +0000 | <lambdabot> | a -> Maybe a |
| 2022-05-01 15:03:24 +0000 | <raehik> | yeah, that's where I'm confused |
| 2022-05-01 15:03:34 +0000 | <tomsmeding> | it needs to be `'(_, s)` |
| 2022-05-01 15:03:48 +0000 | <tomsmeding> | try making it `type family SymbolLength' (a :: Maybe '( Char, Symbol)) :: Natural where` |
| 2022-05-01 15:03:55 +0000 | <tomsmeding> | still errors, but the error is somewhat more expected |
| 2022-05-01 15:04:01 +0000 | <raehik> | Oh my god |
| 2022-05-01 15:04:08 +0000 | <abastro[m]> | Oh wait. tuple lol |
| 2022-05-01 15:04:08 +0000 | <raehik> | Type-level tuple needs '() |
| 2022-05-01 15:04:10 +0000 | <raehik> | LOL |
| 2022-05-01 15:04:50 +0000 | <dknite> | Are there any Haskell programming live streams available? Like current or perhaps old archived ones? |
| 2022-05-01 15:04:59 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-05-01 15:05:03 +0000 | <abastro[m]> | Haskell messed up by having separate namespace for types and values |
| 2022-05-01 15:05:04 +0000 | <abastro[m]> | And now they are trying to merge |
| 2022-05-01 15:05:21 +0000 | <tomsmeding> | "messed up" is subjective |
| 2022-05-01 15:05:57 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-05-01 15:06:29 +0000 | <raehik> | thank you very much for the help abastro[m] tomsmeding ! |
| 2022-05-01 15:06:30 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-05-01 15:06:38 +0000 | <hpc> | as much as studying computer history makes it look like all the good ideas are old and constantly reinvented, dependent types are in fact very new |
| 2022-05-01 15:07:08 +0000 | <hpc> | so back when haskell itself was still new, nobody really knew this was going to be where language design was headed |
| 2022-05-01 15:07:49 +0000 | <tomsmeding> | here's an opinion about DH that disagrees with abastro[m] :p https://ircbrowse.tomsmeding.com/day/lchaskell/2022/04/30?id=534502#trid534502 |
| 2022-05-01 15:08:10 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 15:10:19 +0000 | razetime | (~quassel@117.254.34.249) (Ping timeout: 240 seconds) |
| 2022-05-01 15:10:33 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:11:09 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-01 15:12:57 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-01 15:15:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 15:16:02 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-05-01 15:16:53 +0000 | <abastro[m]> | tomsmeding: wdym? I do not mean DH would be great |
| 2022-05-01 15:16:56 +0000 | <abastro[m]> | I personally dislike DH |
| 2022-05-01 15:17:18 +0000 | <abastro[m]> | But having common namespace for both types and values is incredibly confusing for beginners |
| 2022-05-01 15:17:26 +0000 | <tomsmeding> | abastro[m]: ah I interpreted your dislike of the separate namespaces as dislike of the DH proposal |
| 2022-05-01 15:17:44 +0000 | <tomsmeding> | s/common/separate/? |
| 2022-05-01 15:17:49 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:19:23 +0000 | <abastro[m]> | Ohhhhhhhh |
| 2022-05-01 15:19:28 +0000 | <abastro[m]> | My brain lol |
| 2022-05-01 15:19:53 +0000 | <abastro[m]> | Yea, haskell having separate namespace for types and values |
| 2022-05-01 15:19:59 +0000 | <abastro[m]> | Which confuses beginners |
| 2022-05-01 15:20:15 +0000 | <tomsmeding> | the [Int] != [17] thing |
| 2022-05-01 15:20:15 +0000 | <tomsmeding> | yeah |
| 2022-05-01 15:21:28 +0000 | <abastro[m]> | [Int] and [17], indeed |
| 2022-05-01 15:22:02 +0000 | <abastro[m]> | But also extends to e.g. () :: () |
| 2022-05-01 15:22:18 +0000 | <abastro[m]> | Would look very cryptic to beginners |
| 2022-05-01 15:22:39 +0000 | <tomsmeding> | nah, just alien face |
| 2022-05-01 15:22:48 +0000 | <abastro[m]> | I guess `(1, 3) :: (Int, Double)` is quite common among languages so that one is more forgivable |
| 2022-05-01 15:22:57 +0000 | <abastro[m]> | Xd |
| 2022-05-01 15:22:58 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 250 seconds) |
| 2022-05-01 15:24:19 +0000 | <abastro[m]> | I have legit done `type List = []` couple of times |
| 2022-05-01 15:24:43 +0000 | <tomsmeding> | I guess it helps with DataKinds quoting messes |
| 2022-05-01 15:25:01 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:25:38 +0000 | razetime | (~quassel@117.254.35.47) |
| 2022-05-01 15:26:02 +0000 | <abastro[m]> | Indeed |
| 2022-05-01 15:28:02 +0000 | c209e6dc-4d76-47 | (~aditya@2601:249:4300:1296:195:dac6:592c:a55a) (Quit: Konversation terminated!) |
| 2022-05-01 15:29:17 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 15:29:49 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 15:32:19 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-01 15:33:00 +0000 | dextaa4 | (~dextaa@user/dextaa) |
| 2022-05-01 15:35:15 +0000 | hrdl | (~hrdl@mail.hrdl.eu) |
| 2022-05-01 15:38:07 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-05-01 15:40:35 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:42:51 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) (Ping timeout: 260 seconds) |
| 2022-05-01 15:43:01 +0000 | <raehik> | You can't define a Map type family without doing defunctionalization "stuff", right? |
| 2022-05-01 15:43:27 +0000 | <raehik> | you have to write lots of concrete type families instead |
| 2022-05-01 15:47:10 +0000 | <tomsmeding> | no type-level lambdas |
| 2022-05-01 15:47:43 +0000 | <abastro[m]> | No lifting to typelevel as well right |
| 2022-05-01 15:47:51 +0000 | <tomsmeding> | of lambdas? |
| 2022-05-01 15:47:58 +0000 | <tomsmeding> | DataKinds lifting is of data types, not expressions ;) |
| 2022-05-01 15:48:04 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-05-01 15:48:08 +0000 | <abastro[m]> | I wanted to lift arbitrary function to typelevel.. oh wait there is no way such thing would work |
| 2022-05-01 15:48:25 +0000 | <raehik> | that's fine thought so, singletons all the more impressive |
| 2022-05-01 15:48:38 +0000 | <abastro[m]> | Wish reification was easier, in that case I could go opposite |
| 2022-05-01 15:48:42 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:49:53 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-05-01 15:50:35 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 15:51:54 +0000 | mbuf | (~Shakthi@223.178.72.113) (Quit: Leaving) |
| 2022-05-01 15:53:51 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-05-01 15:53:57 +0000 | ubert | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-01 15:56:07 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-01 15:56:17 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-05-01 15:56:30 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-01 16:00:14 +0000 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-05-01 16:01:15 +0000 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Quit: Leaving) |
| 2022-05-01 16:06:00 +0000 | xff0x_ | (~xff0x@om126234061065.16.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-05-01 16:10:37 +0000 | econo | (uid147250@user/econo) |
| 2022-05-01 16:14:02 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-05-01 16:19:44 +0000 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) |
| 2022-05-01 16:20:07 +0000 | <segfaultfizzbuzz> | quick question: i have this: data Game = Game [Move] deriving (Show, Eq) |
| 2022-05-01 16:20:26 +0000 | <segfaultfizzbuzz> | and then play :: Move -> Game -> Game play m (Game g) = g ++ [m] |
| 2022-05-01 16:20:57 +0000 | <int-e> | segfaultfizzbuzz: that's missing a Game constructor |
| 2022-05-01 16:21:34 +0000 | <segfaultfizzbuzz> | ah thaks |
| 2022-05-01 16:21:44 +0000 | <int-e> | (and I'd consider reversing that list... m : g is constant time while g ++ [m] has to traverse all of g |
| 2022-05-01 16:21:47 +0000 | <int-e> | ) |
| 2022-05-01 16:22:19 +0000 | <segfaultfizzbuzz> | are : and ++ equivalent ? |
| 2022-05-01 16:22:33 +0000 | <int-e> | [m] ++ g = m : g |
| 2022-05-01 16:22:43 +0000 | <segfaultfizzbuzz> | and, as a rule of thumb, it's best to grow lists from the end to the beginning...? |
| 2022-05-01 16:22:48 +0000 | <int-e> | so as I said, the list would be reversed. |
| 2022-05-01 16:23:18 +0000 | <int-e> | it's usually better to prepend than to append to lists |
| 2022-05-01 16:23:28 +0000 | <segfaultfizzbuzz> | i see |
| 2022-05-01 16:23:34 +0000 | <segfaultfizzbuzz> | ok thanks |
| 2022-05-01 16:23:41 +0000 | <segfaultfizzbuzz> | bye |
| 2022-05-01 16:23:50 +0000 | segfaultfizzbuzz | (~segfaultf@192-184-223-90.static.sonic.net) (Client Quit) |
| 2022-05-01 16:25:42 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-05-01 16:27:05 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-01 16:27:16 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-01 16:27:19 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-01 16:27:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-01 16:27:58 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 272 seconds) |
| 2022-05-01 16:32:32 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 16:33:37 +0000 | mjs2600_ | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 16:33:46 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 16:34:11 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 16:35:46 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 16:43:52 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 16:45:36 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 16:49:30 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-01 16:49:44 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 16:50:01 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 16:50:10 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-01 16:52:30 +0000 | danso | (danso@danso.ca) |
| 2022-05-01 16:58:03 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 17:03:32 +0000 | <raehik> | I've got a void datatype I'm using for Stuff and a typeclass instance for it that takes a value of it (and only uses the type info). Is there any way I can be really explicit that there's no value to bind, other than writing _ ? |
| 2022-05-01 17:03:54 +0000 | <raehik> | I ask because I was kinda surprised I could bind it to a name in the first place |
| 2022-05-01 17:05:46 +0000 | <monochrom> | The Proxy type. |
| 2022-05-01 17:06:12 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds) |
| 2022-05-01 17:06:54 +0000 | razetime | (~quassel@117.254.35.47) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-01 17:07:25 +0000 | <monochrom> | For example Storable's "size :: a -> Int" is "a -> Int" for historical reason (back when people hadn't thought of Proxy). If redesigned today, it might be "size :: p a -> Int" such that the user can say "size ([] :: [Foo])" or "size (Proxy :: Proxy Foo)". |
| 2022-05-01 17:08:03 +0000 | <raehik> | yeah, I get that. this typeclass is for term-level stuff, but this special case sees no need to store a value |
| 2022-05-01 17:08:12 +0000 | <monochrom> | The Proxy type can be found in Data.Proxy |
| 2022-05-01 17:08:13 +0000 | <raehik> | I was thinking something along the lines of EmptyCase, or however Void works |
| 2022-05-01 17:08:41 +0000 | <raehik> | to be clear, the function needs to take an `a`. but I'm making an (safe) instance for a type which has no values |
| 2022-05-01 17:09:46 +0000 | <raehik> | I can do `classFunc _ = ...`. but I'm new to this part of Haskell and wasn't sure if there was some extra explicit syntax for empty datatypes |
| 2022-05-01 17:11:30 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) |
| 2022-05-01 17:16:09 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 248 seconds) |
| 2022-05-01 17:18:39 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-01 17:19:04 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-01 17:20:36 +0000 | lainon | (~lainon@2601:7c0:c500:4d20:6c54:36f3:d81b:1dd6) |
| 2022-05-01 17:21:16 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-01 17:21:19 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-01 17:21:19 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-01 17:21:19 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-01 17:24:13 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 17:25:04 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 17:31:04 +0000 | yaroot | (~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 248 seconds) |
| 2022-05-01 17:33:39 +0000 | lainon | (~lainon@2601:7c0:c500:4d20:6c54:36f3:d81b:1dd6) (Ping timeout: 240 seconds) |
| 2022-05-01 17:33:45 +0000 | Guest4981 | (~Guest49@cpe-74-71-248-39.nyc.res.rr.com) |
| 2022-05-01 17:33:56 +0000 | yaroot | (~yaroot@134.27.31.150.dy.iij4u.or.jp) |
| 2022-05-01 17:34:30 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 17:34:38 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 17:35:06 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 17:36:36 +0000 | dcoutts__ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) |
| 2022-05-01 17:39:09 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-01 17:39:28 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2022-05-01 17:40:10 +0000 | dcoutts_ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 272 seconds) |
| 2022-05-01 17:41:28 +0000 | dcoutts__ | (~duncan@host86-151-9-6.range86-151.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-05-01 17:41:29 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-01 17:42:48 +0000 | <Guest4981> | question - working through "haskell programming from first principles", I came across this in the currying chapter |
| 2022-05-01 17:42:49 +0000 | <Guest4981> | Prelude> let curry f a b = f (a, b) |
| 2022-05-01 17:42:49 +0000 | <Guest4981> | Prelude> :t curry |
| 2022-05-01 17:42:50 +0000 | <Guest4981> | curry :: ((t1, t2) -> t) -> t1 -> t2 -> t |
| 2022-05-01 17:42:50 +0000 | <Guest4981> | Prelude> :t fst |
| 2022-05-01 17:42:51 +0000 | <Guest4981> | fst :: (a, b) -> a |
| 2022-05-01 17:42:51 +0000 | <Guest4981> | Prelude> :t curry fst |
| 2022-05-01 17:42:52 +0000 | <Guest4981> | curry fst :: t -> b -> t |
| 2022-05-01 17:42:52 +0000 | <Guest4981> | Prelude> fst (1, 2) |
| 2022-05-01 17:42:53 +0000 | <Guest4981> | 1 |
| 2022-05-01 17:42:53 +0000 | <Guest4981> | Prelude> curry fst 1 2 |
| 2022-05-01 17:42:54 +0000 | <Guest4981> | 1 |
| 2022-05-01 17:42:54 +0000 | <Guest4981> | How does ghci know that the first argument of the curry function is of type ((t1,t2)->t)? Is it through pattern matching? |
| 2022-05-01 17:43:27 +0000 | deadmars- | (~deadmarsh@95.38.115.128) (Ping timeout: 240 seconds) |
| 2022-05-01 17:44:08 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 17:45:30 +0000 | <[exa]> | Guest4981: the types get "compared" and completely matched before any code is executed, so that it's clear that the types of everyting are okay |
| 2022-05-01 17:45:33 +0000 | <davean> | ts through inference, the type system has rules, theres one one way that those rules could be followed with that code |
| 2022-05-01 17:45:38 +0000 | <monochrom> | Type inference notices that "f (a,b)" means f has to be a function, and it must accept a tuple argument. |
| 2022-05-01 17:46:06 +0000 | <davean> | well thats 3 of us saying the same thing in different ways, can we get a fourth? |
| 2022-05-01 17:46:32 +0000 | <monochrom> | Yes. http://www.vex.net/~trebla/haskell/type-inference.html :) |
| 2022-05-01 17:46:46 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 17:46:51 +0000 | stomper_ | (~stomper_@186.188.140.232) |
| 2022-05-01 17:47:02 +0000 | <davean> | Thats just someone not getting to the point |
| 2022-05-01 17:47:08 +0000 | <Guest4981> | haha ok so it is pattern matching - very cool |
| 2022-05-01 17:47:19 +0000 | <davean> | pattern matching is a specific thing |
| 2022-05-01 17:47:22 +0000 | <Guest4981> | oh |
| 2022-05-01 17:47:27 +0000 | <Guest4981> | so this falls under type inference? |
| 2022-05-01 17:47:34 +0000 | <davean> | yes |
| 2022-05-01 17:47:43 +0000 | <Guest4981> | whats the difference between this and pattern matching |
| 2022-05-01 17:48:17 +0000 | <davean> | pattern matching deconstructs data at runtime and dispatches on the deconstruction. |
| 2022-05-01 17:48:39 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 17:48:42 +0000 | <Guest4981> | so it needs data constructors to be pattern matching? |
| 2022-05-01 17:48:55 +0000 | <Guest4981> | or rather concrete values |
| 2022-05-01 17:49:05 +0000 | <davean> | basicly. |
| 2022-05-01 17:49:18 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2022-05-01 17:49:23 +0000 | <Guest4981> | aha cool thanks |
| 2022-05-01 17:49:42 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 17:50:52 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-01 17:51:33 +0000 | jlamothe | (~jlamothe@198.251.61.229) (Remote host closed the connection) |
| 2022-05-01 17:51:40 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 17:51:50 +0000 | Guest4981 | (~Guest49@cpe-74-71-248-39.nyc.res.rr.com) (Quit: Client closed) |
| 2022-05-01 17:52:07 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-05-01 17:53:07 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-01 17:53:26 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 17:54:14 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 17:54:34 +0000 | mmhat | (~mmh@2001:4090:a242:802a:ee08:6bff:fe09:5315) |
| 2022-05-01 17:56:43 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.128) |
| 2022-05-01 17:58:17 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 18:00:50 +0000 | alp_ | (~alp@user/alp) (Remote host closed the connection) |
| 2022-05-01 18:01:14 +0000 | alp_ | (~alp@user/alp) |
| 2022-05-01 18:02:01 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-01 18:04:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 18:04:58 +0000 | anomal | (~anomal@87.227.196.109) |
| 2022-05-01 18:05:35 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-01 18:06:46 +0000 | deadmarshal_ | (~deadmarsh@95.38.115.128) (Ping timeout: 272 seconds) |
| 2022-05-01 18:06:48 +0000 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-05-01 18:07:57 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-05-01 18:07:57 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 18:09:06 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 18:11:12 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 276 seconds) |
| 2022-05-01 18:11:50 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-01 18:15:00 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-01 18:15:03 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 18:23:28 +0000 | stomper_ | (~stomper_@186.188.140.232) (Quit: Ping timeout (120 seconds)) |
| 2022-05-01 18:24:42 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-05-01 18:26:05 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-05-01 18:26:41 +0000 | turlando | (~turlando@user/turlando) (Quit: turlando) |
| 2022-05-01 18:27:28 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 18:27:54 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2022-05-01 18:27:54 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2022-05-01 18:27:54 +0000 | turlando | (~turlando@user/turlando) |
| 2022-05-01 18:28:59 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 18:30:33 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-05-01 18:31:30 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) |
| 2022-05-01 18:32:24 +0000 | dolio | (~dolio@130.44.130.54) (Ping timeout: 246 seconds) |
| 2022-05-01 18:34:36 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-01 18:43:44 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) |
| 2022-05-01 18:49:22 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 18:51:21 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 18:51:54 +0000 | benin | (~benin@183.82.204.110) |
| 2022-05-01 18:52:25 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 18:52:28 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 18:54:16 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 18:55:56 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-05-01 18:56:40 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 18:56:40 +0000 | cheater | (~Username@user/cheater) |
| 2022-05-01 18:57:53 +0000 | kimjetwav | (~user@2607:fea8:2362:b400:bc31:2c26:50a2:8acd) (Read error: Connection reset by peer) |
| 2022-05-01 19:00:19 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-01 19:00:36 +0000 | dolio | (~dolio@130.44.130.54) |
| 2022-05-01 19:01:18 +0000 | kimjetwav | (~user@2607:fea8:2362:b400:7fd7:cde8:d843:e695) |
| 2022-05-01 19:04:35 +0000 | dknite | (~dknite@2405:201:800b:481f:e27b:9687:63b0:8322) (Quit: Client closed) |
| 2022-05-01 19:06:25 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 19:12:07 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-01 19:15:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-01 19:18:10 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-01 19:22:12 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 19:24:51 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) |
| 2022-05-01 19:25:18 +0000 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-05-01 19:27:21 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2022-05-01 19:28:36 +0000 | thyriaen | (~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de) |
| 2022-05-01 19:29:45 +0000 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-01 19:29:48 +0000 | yauhsien | (~yauhsien@61-231-62-54.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-01 19:33:46 +0000 | kimjetwav | (~user@2607:fea8:2362:b400:7fd7:cde8:d843:e695) (Remote host closed the connection) |
| 2022-05-01 19:34:04 +0000 | kimjetwav | (~user@2607:fea8:2362:b400:32f6:ad39:28b3:1653) |
| 2022-05-01 19:38:40 +0000 | sprout | (~quassel@2a02-a467-ccd6-1-c813-76d4-6151-9389.fixed6.kpn.net) |
| 2022-05-01 19:41:46 +0000 | shapr | (~user@148.59.24.23) |
| 2022-05-01 19:41:46 +0000 | Vajb | (~Vajb@2001:999:40:1ac3:ad36:85eb:10b3:b81b) (Read error: Connection reset by peer) |
| 2022-05-01 19:42:18 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-01 19:44:15 +0000 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) |
| 2022-05-01 19:45:02 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 19:53:28 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-05-01 19:58:52 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-05-01 19:59:06 +0000 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:8cd:5e84:febb:646f) (Remote host closed the connection) |
| 2022-05-01 20:00:27 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Quit: king_gs) |
| 2022-05-01 20:01:52 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 20:04:27 +0000 | zyklotomic | (~ethan@res380d-128-61-86-203.res.gatech.edu) (Ping timeout: 256 seconds) |
| 2022-05-01 20:05:01 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-01 20:06:26 +0000 | zyklotomic | (~ethan@res380d-128-61-87-118.res.gatech.edu) |
| 2022-05-01 20:08:47 +0000 | EvanR | (~EvanR@user/evanr) |
| 2022-05-01 20:08:49 +0000 | thyriaen | (~thyriaen@ip5f5af2d7.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 2022-05-01 20:11:52 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-05-01 20:13:24 +0000 | dsrt^ | (~dsrt@50.227.69.228) (Ping timeout: 276 seconds) |
| 2022-05-01 20:14:26 +0000 | dsrt^ | (~dsrt@50.227.69.228) |
| 2022-05-01 20:14:35 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-05-01 20:15:38 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-05-01 20:23:09 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 2022-05-01 20:25:40 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 20:27:03 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 276 seconds) |
| 2022-05-01 20:28:37 +0000 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-01 20:36:36 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-01 20:36:43 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-01 20:38:37 +0000 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-01 20:38:54 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 20:40:34 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 2022-05-01 20:48:25 +0000 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-01 20:49:29 +0000 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-01 20:52:49 +0000 | coot | (~coot@213.134.190.95) |
| 2022-05-01 20:58:31 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-01 21:03:11 +0000 | <exarkun> | Which stdin-reading API will handle a BOM at the start? |
| 2022-05-01 21:05:11 +0000 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-01 21:05:27 +0000 | <hpc> | https://hackage.haskell.org/package/base-4.16.1.0/docs/System-IO.html#t:TextEncoding |
| 2022-05-01 21:06:39 +0000 | <hpc> | there's some encodings you can explicitly set on the handle, or it looks like the encodings that matter have bom-aware variants |
| 2022-05-01 21:06:59 +0000 | <hpc> | like utf16 will use what bom says, or you can set utf16le or utf16be explicitly |
| 2022-05-01 21:10:39 +0000 | <exarkun> | ah, so just hSetEncoding first, ok (yea seems to work) |
| 2022-05-01 21:10:41 +0000 | <exarkun> | thanks |
| 2022-05-01 21:11:22 +0000 | shapr | (~user@148.59.24.23) (Ping timeout: 250 seconds) |
| 2022-05-01 21:13:11 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Remote host closed the connection) |
| 2022-05-01 21:14:10 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.5) |
| 2022-05-01 21:14:30 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 21:14:57 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-01 21:15:23 +0000 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-05-01 21:18:02 +0000 | pavonia | (~user@user/siracusa) |
| 2022-05-01 21:20:04 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-01 21:21:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-01 21:21:53 +0000 | gpncarl | (~gpncarl@120.244.220.254) |
| 2022-05-01 21:23:56 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 250 seconds) |
| 2022-05-01 21:25:26 +0000 | eggplantade | (~Eggplanta@108.201.191.115) |
| 2022-05-01 21:26:37 +0000 | gpncarl | (~gpncarl@120.244.220.254) (Ping timeout: 256 seconds) |
| 2022-05-01 21:33:19 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2022-05-01 21:36:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-01 21:36:27 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-01 21:36:39 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-01 21:38:03 +0000 | <jackdk> | https://hackage.haskell.org/package/with-utf8 may be useful? |
| 2022-05-01 21:42:06 +0000 | koz | koz_ |
| 2022-05-01 21:42:08 +0000 | koz_ | koz |
| 2022-05-01 21:42:16 +0000 | <koz> | @unmtl WriterT w Maybe |
| 2022-05-01 21:42:17 +0000 | <lambdabot> | err: `WriterT w Maybe' is not applied to enough arguments, giving `/\A. Maybe (A, w)' |
| 2022-05-01 21:42:22 +0000 | <koz> | @unmtl WriterT w Maybe a |
| 2022-05-01 21:42:22 +0000 | <lambdabot> | Maybe (a, w) |
| 2022-05-01 21:42:31 +0000 | <koz> | @unmtl MaybeT (Writer w) a |
| 2022-05-01 21:42:32 +0000 | <lambdabot> | (Maybe a, w) |
| 2022-05-01 21:43:23 +0000 | <exarkun> | withHandle does look like a pretty nice bit of functionality |
| 2022-05-01 21:43:53 +0000 | <exarkun> | it doesn't explicitly say what it does with BOMs though |
| 2022-05-01 21:46:10 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-01 21:48:00 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Quit: king_gs) |
| 2022-05-01 21:48:16 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 21:51:37 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 21:53:35 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-05-01 21:59:56 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-01 22:00:13 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) |
| 2022-05-01 22:03:31 +0000 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-05-01 22:04:08 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 248 seconds) |
| 2022-05-01 22:07:02 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-01 22:08:00 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 22:09:56 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-01 22:10:21 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 22:12:59 +0000 | nicbk | (~nicbk@user/nicbk) |
| 2022-05-01 22:13:07 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-05-01 22:16:31 +0000 | jhagborg | (~jhagborg@068-187-237-099.res.spectrum.com) (Quit: Leaving) |
| 2022-05-01 22:17:07 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 22:17:55 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-05-01 22:21:47 +0000 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-01 22:24:19 +0000 | acidjnk | (~acidjnk@p200300d0c73b4550c5e3a1b7598c6b95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-01 22:30:40 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-01 22:34:25 +0000 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Remote host closed the connection) |
| 2022-05-01 22:34:32 +0000 | nut | (~haskellfi@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-05-01 22:34:42 +0000 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-05-01 22:41:22 +0000 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-05-01 22:41:27 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-01 22:42:40 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-01 22:45:48 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-01 22:49:00 +0000 | AkechiShiro | (~licht@user/akechishiro) (Ping timeout: 240 seconds) |
| 2022-05-01 22:49:02 +0000 | tswett | (~androirc@72.138.180.115) |
| 2022-05-01 22:50:08 +0000 | AkechiShiro | (~licht@user/akechishiro) |
| 2022-05-01 22:50:40 +0000 | <tswett> | Hey everyone. Are there any guidelines or documentation for how to implement showsPrec? |
| 2022-05-01 22:52:42 +0000 | <hpc> | mostly just "don't" |
| 2022-05-01 22:52:56 +0000 | <tswett> | That's one option :D |
| 2022-05-01 22:53:06 +0000 | <hpc> | use deriving if you can |
| 2022-05-01 22:53:21 +0000 | <hpc> | or some more suitable mechanism if you're going to be outputting json or whatever |
| 2022-05-01 22:54:03 +0000 | <hpc> | you can try looking at existing instances in base |
| 2022-05-01 22:54:13 +0000 | <hpc> | there might be something there |
| 2022-05-01 22:54:59 +0000 | Teacup | (~teacup@user/teacup) (Quit: Teacup) |
| 2022-05-01 22:55:22 +0000 | <tswett> | Aha, I |
| 2022-05-01 22:55:30 +0000 | <jackdk> | Show should be considered debugging information IMHO, so `deriving Show` is fine for almost everything. If you're showing something unshowable, you're gonna generate nonsense anyway so I don't worry about `showsPrec` in such instances |
| 2022-05-01 22:55:41 +0000 | Teacup | (~teacup@user/teacup) |
| 2022-05-01 22:55:55 +0000 | <tswett> | *I just noticed that the documentation for showsPrec does in fact contain an example that seems pretty informative. |
| 2022-05-01 22:56:23 +0000 | Teacup | (~teacup@user/teacup) (Client Quit) |
| 2022-05-01 22:56:48 +0000 | Teacup | (~teacup@user/teacup) |
| 2022-05-01 22:57:12 +0000 | <tswett> | That said, I'm implementing the SKI combinator calculus, and I'd like a function which produces output like "S (K S)" instead of "Apply (EAtom S) (Apply (EAtom K) (EAtom S))". |
| 2022-05-01 22:57:32 +0000 | <tswett> | Maybe using that function as my Show instance is not a good idea. |
| 2022-05-01 22:59:08 +0000 | <jackdk> | I generally call those functions `renderFoo :: Foo -> Text` |
| 2022-05-01 23:00:01 +0000 | <EvanR> | make a pretty printer |
| 2022-05-01 23:00:25 +0000 | <EvanR> | ghci may have a way to use your pretty printer instead of show? |
| 2022-05-01 23:01:03 +0000 | <geekosaur> | https://downloads.haskell.org/ghc/9.0.2/docs/html/users_guide/ghci.html#using-a-custom-interactive… |
| 2022-05-01 23:01:08 +0000 | <jackdk> | Though you may need to write something like showsPrec if you want minimal bracketing. Gonzales has a neat trick for making simple pretty printers that get parentheses right: https://www.haskellforall.com/2020/11/pretty-print-syntax-trees-with-this-one.html |
| 2022-05-01 23:02:19 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-01 23:02:24 +0000 | <tswett> | By the way, I haven't been in #haskell much since around 2004. Are emoji discouraged in this channel? |
| 2022-05-01 23:02:55 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Remote host closed the connection) |
| 2022-05-01 23:04:53 +0000 | <monochrom> | No, feel free to use emojis |
| 2022-05-01 23:05:15 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 23:06:04 +0000 | <EvanR> | emoji's a lot different now than in 2004, for instance we have :success_baby:, various animated rainbow memes, and that frog guy |
| 2022-05-01 23:06:21 +0000 | <EvanR> | oops that's discord |
| 2022-05-01 23:06:52 +0000 | <tswett> | 👍 |
| 2022-05-01 23:08:22 +0000 | <jackdk> | I don't particularly like 'em, but I'm in the minority and there's no official rule against them or anything. Besides, I'm just one guy. |
| 2022-05-01 23:15:25 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-05-01 23:16:22 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-01 23:21:56 +0000 | <tswett> | In any case, thanks for the help, talk to y'all later 👋 |
| 2022-05-01 23:24:58 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) |
| 2022-05-01 23:24:58 +0000 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-05-01 23:24:58 +0000 | king_gs1 | king_gs |
| 2022-05-01 23:25:05 +0000 | <exarkun> | is it still an emoji if you just type out :slightly_smiling_face: |
| 2022-05-01 23:26:43 +0000 | <jackdk> | Doesn't render that way for me, though other chat services seem to do taht |
| 2022-05-01 23:28:03 +0000 | zeenk | (~zeenk@2a02:2f04:a004:9b00:1efc:c1cf:378d:8b3d) (Quit: Konversation terminated!) |
| 2022-05-01 23:30:53 +0000 | <monochrom> | I guess I should have said "yes we discourage it". |
| 2022-05-01 23:32:35 +0000 | <monochrom> | People take "not discouraged" to mean "use as much as possible" as opposed to "when it makes sense". |
| 2022-05-01 23:36:06 +0000 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-05-01 23:36:57 +0000 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::3) (Ping timeout: 248 seconds) |
| 2022-05-01 23:39:27 +0000 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-05-01 23:41:52 +0000 | <dons> | morning all |
| 2022-05-01 23:42:00 +0000 | <EvanR> | is it still an emoji, ask wittgenstein |
| 2022-05-01 23:42:06 +0000 | <dons> | i note ghc 9.4.x is ready for testing. exciting |
| 2022-05-01 23:42:34 +0000 | <jackdk> | I look forward to taking my work repo beyond 8.10.7 one day |
| 2022-05-01 23:42:56 +0000 | <geekosaur> | exciting unless you're a little tired of getting whipsawed by new releases (then again 9.4 doesn't seem to have much new) |
| 2022-05-01 23:43:11 +0000 | <abastro[m]> | Will 9.4.x be more stable than 9.2.x |
| 2022-05-01 23:43:34 +0000 | <geekosaur> | it shoukld be on windows in particular |
| 2022-05-01 23:44:23 +0000 | <abastro[m]> | Ah, I wanted general stability :/ |
| 2022-05-01 23:44:38 +0000 | <abastro[m]> | Perhaps the bug I am experiencing might magically fix itself |
| 2022-05-01 23:46:53 +0000 | king_gs | (~Thunderbi@2806:103e:29:1f3f:8da7:e5:2a3:824d) (Remote host closed the connection) |
| 2022-05-01 23:48:12 +0000 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-05-01 23:52:07 +0000 | <EvanR> | is the opposite of general stability colonel panic |
| 2022-05-01 23:53:23 +0000 | <dons> | yeah i'm pondering using 9.4.x as the step off 8.10.7 |
| 2022-05-01 23:54:24 +0000 | <Axman6> | time to rip the bandaid off |
| 2022-05-01 23:54:36 +0000 | irfan | (~irfan@user/irfan) |
| 2022-05-01 23:57:34 +0000 | <abastro[m]> | Anyway high hopes for 9.4.x :D |
| 2022-05-01 23:59:32 +0000 | eggplantade | (~Eggplanta@108.201.191.115) (Remote host closed the connection) |
| 2022-05-01 23:59:40 +0000 | gpncarl | (~gpncarl@120.244.220.254) |