| 2022-10-02 00:00:03 +0200 | edrx | (~Eduardo@2804:18:580b:d1fe:c1d0:9f8d:e583:678c) (Ping timeout: 248 seconds) |
| 2022-10-02 00:00:15 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-10-02 00:00:21 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 00:02:00 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 00:02:28 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a32a8f89e31b171299c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-10-02 00:05:03 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-10-02 00:07:36 +0200 | <ski> | @tell edrx hm, i think i would either look into one of the `ListT' alternatives (including `LogicT') (possibly also using `MonadComprehensions'), see if i could insert `IO' or `StateT' or `WriterT' into that for the plotting; or try to go for `ContT' directly .. or else separate the plot stuff, doing it to the result of this comprehension |
| 2022-10-02 00:07:36 +0200 | <lambdabot> | Consider it noted. |
| 2022-10-02 00:08:43 +0200 | <ski> | @tell edrx well, the various streaming packages could possibly also be worthwhile to take a look at |
| 2022-10-02 00:08:43 +0200 | <lambdabot> | Consider it noted. |
| 2022-10-02 00:08:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 00:11:49 +0200 | <ski> | @tell edrx unrelated. you asked about `={...}=' notation for justifying equality reasoning steps earlier. i got that particular notation from (short paper, six pages) "Equality proofs in Cayenne" by augustss in 1999 at <https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.9415> |
| 2022-10-02 00:11:49 +0200 | <lambdabot> | Consider it noted. |
| 2022-10-02 00:20:27 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-10-02 00:20:39 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-10-02 00:20:56 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 00:22:37 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-10-02 00:22:44 +0200 | <qrpnxz> | lexi-lambda: hey lexi, i saw that delim prim ops got merged. Congrats! Has there been research into using these for coroutines? I'm very excited to play around with them for that kind of thing. Do you know what GHC release will have them? |
| 2022-10-02 00:24:48 +0200 | anthezium | (~anthezium@75.164.54.59) |
| 2022-10-02 00:25:41 +0200 | jpds1 | jpds |
| 2022-10-02 00:26:21 +0200 | anthezium | (~anthezium@75.164.54.59) (Client Quit) |
| 2022-10-02 00:27:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 00:32:53 +0200 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) (Ping timeout: 244 seconds) |
| 2022-10-02 00:34:03 +0200 | anthezium | (~ted@75.164.54.59) |
| 2022-10-02 00:35:05 +0200 | anthezium | (~ted@75.164.54.59) (Client Quit) |
| 2022-10-02 00:40:21 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 00:41:01 +0200 | anthezium | (~ted@75.164.54.59) |
| 2022-10-02 00:42:51 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-10-02 00:44:57 +0200 | <anthezium> | hey folks, is there a preferred way to do list operations on type-level lists lifted with DataKinds? Map a closed type family over a list of types, for instance? |
| 2022-10-02 00:45:35 +0200 | <anthezium> | I see there is a deprecated library on hackage for this (type-lists), but I am assuming it was deprecated in favor of something better |
| 2022-10-02 00:46:21 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 260 seconds) |
| 2022-10-02 00:47:13 +0200 | <geekosaur> | I, uh, suspect there won't truly be anything better until Dependent Haskell happens |
| 2022-10-02 00:47:26 +0200 | <geekosaur> | also I don't find type-lists, did you mean something else? |
| 2022-10-02 00:51:27 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-10-02 00:53:47 +0200 | kdaishi | (~Thunderbi@mobile-access-6df0e5-30.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-10-02 00:54:09 +0200 | <anthezium> | thanks geekosaur! oops, it is type-list: https://hackage.haskell.org/package/type-list-0.5.0.0 |
| 2022-10-02 00:55:59 +0200 | <geekosaur> | I nnote it has a dependency on an older version of singletons; have you checked to see if newer versions supersede it? |
| 2022-10-02 00:58:14 +0200 | <anthezium> | geekosaur: Ah, Data.List.Singletons is what I want |
| 2022-10-02 00:58:21 +0200 | <anthezium> | geekosaur: thank you! |
| 2022-10-02 00:58:31 +0200 | <anthezium> | geekosaur: in singletons-base |
| 2022-10-02 01:04:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-02 01:05:45 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-10-02 01:06:01 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-10-02 01:07:50 +0200 | ddellacosta | (~ddellacos@143.244.47.90) (Ping timeout: 268 seconds) |
| 2022-10-02 01:10:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-02 01:13:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 01:19:01 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-10-02 01:36:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 01:37:31 +0200 | <maralorn> | Aaargh, note the difference between cabal run <prog> +RTS -s and cabal run -- <prog> +RTS -s … |
| 2022-10-02 01:37:34 +0200 | <maralorn> | I have been staring at the memory consumption of cabal for days. |
| 2022-10-02 01:37:53 +0200 | <maralorn> | without knowing that it wasn‘t about my programm at all … |
| 2022-10-02 01:38:13 +0200 | <maralorn> | Thinking I would be seeing some patterns and changes x |
| 2022-10-02 01:38:26 +0200 | <geekosaur> | alias R='cabal run --' |
| 2022-10-02 01:38:39 +0200 | <maralorn> | But I was actually reading tealeaves there … |
| 2022-10-02 01:38:50 +0200 | <geekosaur> | (I actually have that alias) |
| 2022-10-02 01:39:12 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 01:39:32 +0200 | <maralorn> | The other day when we were talking about the weird memory profile of my program in #ghc, that was also just cabal /o\ |
| 2022-10-02 01:40:00 +0200 | <maralorn> | And it was so weird because cabal basically doesn‘t do anything other than waiting for <prog> to finish. |
| 2022-10-02 01:40:27 +0200 | <maralorn> | Mistery solved.^^ |
| 2022-10-02 01:42:15 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:f9de:fbcb:2100:7597) |
| 2022-10-02 01:46:39 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 01:46:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-02 01:47:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 01:51:56 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 244 seconds) |
| 2022-10-02 01:52:43 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2022-10-02 02:02:30 +0200 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2022-10-02 02:02:46 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 260 seconds) |
| 2022-10-02 02:03:32 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 02:04:25 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 02:05:55 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-02 02:06:41 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 02:07:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-02 02:07:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-02 02:08:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 02:08:48 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-02 02:09:01 +0200 | califax | (~califax@user/califx) |
| 2022-10-02 02:10:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 02:10:10 +0200 | Guest10 | (~Guest10@ip68-98-67-32.ph.ph.cox.net) |
| 2022-10-02 02:10:54 +0200 | Guest10 | (~Guest10@ip68-98-67-32.ph.ph.cox.net) (Client Quit) |
| 2022-10-02 02:11:47 +0200 | bilegeek | (~bilegeek@2600:1008:b002:b2ec:358b:cb9d:394e:5d0b) |
| 2022-10-02 02:12:59 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 02:13:07 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 02:15:42 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 244 seconds) |
| 2022-10-02 02:20:09 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 02:20:10 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 02:20:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 02:21:26 +0200 | danso | (danso@danso.ca) (Quit: ZNC - https://znc.in) |
| 2022-10-02 02:22:31 +0200 | danso | (~danso@danso.ca) |
| 2022-10-02 02:31:13 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-10-02 02:33:24 +0200 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 264 seconds) |
| 2022-10-02 02:33:39 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 02:35:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-02 02:46:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 02:48:16 +0200 | <sm> | maralorn: ha.. bad luck |
| 2022-10-02 02:48:28 +0200 | <sm> | very easy to do |
| 2022-10-02 02:49:32 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 02:51:54 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-02 02:52:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 02:54:12 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 03:00:31 +0200 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 260 seconds) |
| 2022-10-02 03:01:59 +0200 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
| 2022-10-02 03:03:31 +0200 | causal | (~user@50.35.83.177) |
| 2022-10-02 03:04:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-02 03:04:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 03:08:12 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 264 seconds) |
| 2022-10-02 03:10:46 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-02 03:16:53 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-02 03:19:27 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-10-02 03:19:37 +0200 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) |
| 2022-10-02 03:19:45 +0200 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) (Remote host closed the connection) |
| 2022-10-02 03:23:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-02 03:26:21 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 03:26:48 +0200 | Furor | Haematophage |
| 2022-10-02 03:28:58 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 03:30:56 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 03:31:08 +0200 | Topsi | (~Topsi@dyndsl-095-033-018-041.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-10-02 03:35:04 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-10-02 03:36:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 03:42:06 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:f9de:fbcb:2100:7597) (Remote host closed the connection) |
| 2022-10-02 03:43:59 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 03:44:31 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 03:47:11 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 03:51:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-10-02 03:51:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 260 seconds) |
| 2022-10-02 03:53:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 03:57:51 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 04:02:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 04:06:23 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 04:08:07 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 04:11:32 +0200 | td_ | (~td@94.134.91.190) (Ping timeout: 265 seconds) |
| 2022-10-02 04:11:47 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2022-10-02 04:13:04 +0200 | td_ | (~td@94.134.91.231) |
| 2022-10-02 04:14:38 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-10-02 04:17:19 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-02 04:17:19 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-02 04:17:19 +0200 | finn_elija | FinnElija |
| 2022-10-02 04:20:24 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-10-02 04:20:40 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 04:25:41 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-02 04:26:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 2022-10-02 04:27:52 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 04:30:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-02 04:31:20 +0200 | jargon | (~jargon@184.101.88.60) (Remote host closed the connection) |
| 2022-10-02 04:32:34 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 04:35:37 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 04:35:43 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-10-02 04:37:27 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-02 04:42:59 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 04:45:18 +0200 | jargon | (~jargon@184.101.88.60) |
| 2022-10-02 04:47:31 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 2022-10-02 04:48:24 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2022-10-02 04:50:11 +0200 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 04:53:33 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-10-02 04:54:34 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 04:54:56 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-10-02 04:57:53 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 05:02:12 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 05:11:48 +0200 | rburkholder | (~blurb@96.45.2.121) |
| 2022-10-02 05:15:20 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 05:15:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-10-02 05:20:10 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 05:27:00 +0200 | Inst | (~Liam@172.109.205.98) |
| 2022-10-02 05:27:41 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 05:28:06 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-02 05:29:36 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-02 05:33:30 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-10-02 05:35:19 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-02 05:35:59 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-10-02 05:38:47 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 05:40:38 +0200 | nate3 | (~nate@98.45.169.16) |
| 2022-10-02 05:41:55 +0200 | razetime | (~quassel@117.193.1.240) (Ping timeout: 265 seconds) |
| 2022-10-02 05:45:09 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-10-02 05:45:58 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-10-02 05:46:33 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-10-02 05:53:05 +0200 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-02 05:55:56 +0200 | phma | (~phma@2001:5b0:211b:e328:5893:8a41:b371:1ef) (Read error: Connection reset by peer) |
| 2022-10-02 05:57:13 +0200 | phma | (~phma@host-67-44-208-215.hnremote.net) |
| 2022-10-02 06:03:52 +0200 | lambdap23 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap23) |
| 2022-10-02 06:03:58 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 06:04:26 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-10-02 06:06:53 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 06:08:06 +0200 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Remote host closed the connection) |
| 2022-10-02 06:08:27 +0200 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-02 06:09:36 +0200 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-10-02 06:12:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-10-02 06:12:51 +0200 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 265 seconds) |
| 2022-10-02 06:15:28 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-10-02 06:15:34 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 06:15:59 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 06:17:01 +0200 | coot | (~coot@213.134.165.79) |
| 2022-10-02 06:19:37 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2022-10-02 06:20:35 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 06:21:43 +0200 | jargon | (~jargon@184.101.88.60) (Remote host closed the connection) |
| 2022-10-02 06:22:16 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 06:28:34 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 06:30:34 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 06:31:04 +0200 | coot | (~coot@213.134.165.79) (Quit: coot) |
| 2022-10-02 06:31:06 +0200 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 260 seconds) |
| 2022-10-02 06:37:51 +0200 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Ping timeout: 268 seconds) |
| 2022-10-02 06:39:48 +0200 | Guest1698 | (~Guest1698@20.83.116.49) (Remote host closed the connection) |
| 2022-10-02 06:46:12 +0200 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 06:47:18 +0200 | nate4 | (~nate@2600:1010:b02d:e8f9:5c7f:11d0:c4c5:46df) |
| 2022-10-02 06:50:04 +0200 | nate3 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-02 06:56:57 +0200 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 06:59:35 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:7264:29d6:8e89:14af) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 06:59:55 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:43e9:ccab:b409:cf4f) |
| 2022-10-02 07:04:07 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 07:04:44 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 07:08:51 +0200 | nate4 | (~nate@2600:1010:b02d:e8f9:5c7f:11d0:c4c5:46df) (Ping timeout: 248 seconds) |
| 2022-10-02 07:09:02 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 07:13:18 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 07:24:06 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-10-02 07:26:08 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 07:28:44 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 265 seconds) |
| 2022-10-02 07:31:38 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 07:34:05 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 07:36:07 +0200 | jargon | (~jargon@184.101.88.60) |
| 2022-10-02 07:39:29 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 07:39:42 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 07:42:52 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 07:45:24 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-02 07:46:56 +0200 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-02 07:46:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2022-10-02 07:51:10 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 07:54:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 07:54:44 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 07:54:44 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 08:06:59 +0200 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-10-02 08:13:03 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 08:14:09 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-02 08:14:58 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 08:15:26 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-10-02 08:23:04 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 08:24:35 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 08:39:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 08:39:40 +0200 | shapr | (~user@68.54.166.125) |
| 2022-10-02 08:43:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 08:45:05 +0200 | mbuf | (~Shakthi@49.204.116.212) |
| 2022-10-02 08:51:54 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 08:54:46 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 08:57:44 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 09:00:44 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 09:04:14 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 09:06:22 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 09:11:06 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 09:18:19 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 09:20:55 +0200 | bilegeek | (~bilegeek@2600:1008:b002:b2ec:358b:cb9d:394e:5d0b) (Ping timeout: 244 seconds) |
| 2022-10-02 09:30:58 +0200 | bilegeek | (~bilegeek@23.sub-174-209-37.myvzw.com) |
| 2022-10-02 09:31:21 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-02 09:32:21 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 09:35:12 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 264 seconds) |
| 2022-10-02 09:40:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 09:41:20 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a32a8f89e31b171299c.dip0.t-ipconnect.de) |
| 2022-10-02 09:42:58 +0200 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-02 09:43:37 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 09:44:00 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: rebooting) |
| 2022-10-02 09:44:42 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 09:45:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 246 seconds) |
| 2022-10-02 09:46:29 +0200 | bilegeek | (~bilegeek@23.sub-174-209-37.myvzw.com) (Ping timeout: 265 seconds) |
| 2022-10-02 09:47:57 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 09:48:22 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 09:48:44 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-02 09:48:56 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2022-10-02 09:50:12 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 09:50:26 +0200 | bilegeek | (~bilegeek@135.sub-174-209-38.myvzw.com) |
| 2022-10-02 09:50:30 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 09:54:25 +0200 | bilegeek | (~bilegeek@135.sub-174-209-38.myvzw.com) (Client Quit) |
| 2022-10-02 09:55:11 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) (Quit: quite.) |
| 2022-10-02 09:55:58 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-10-02 09:58:18 +0200 | waldo | (~waldo@user/waldo) |
| 2022-10-02 10:01:30 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-02 10:02:31 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2022-10-02 10:03:19 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 10:09:39 +0200 | razetime | (~quassel@117.193.1.240) (Ping timeout: 252 seconds) |
| 2022-10-02 10:15:23 +0200 | phma | (~phma@host-67-44-208-215.hnremote.net) (Read error: Connection reset by peer) |
| 2022-10-02 10:15:39 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-10-02 10:16:46 +0200 | phma | (phma@2001:5b0:212a:9038:ee27:41c9:caf6:d84c) |
| 2022-10-02 10:23:57 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
| 2022-10-02 10:25:03 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 10:29:58 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-02 10:31:03 +0200 | razetime | (~quassel@117.193.1.240) |
| 2022-10-02 10:37:13 +0200 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 250 seconds) |
| 2022-10-02 10:38:41 +0200 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-10-02 10:40:47 +0200 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) (Ping timeout: 268 seconds) |
| 2022-10-02 10:42:28 +0200 | jespada | (~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net) |
| 2022-10-02 10:44:29 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:a32a:b352:8166:ebb2) |
| 2022-10-02 10:55:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-10-02 10:57:02 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-02 10:57:20 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 11:00:05 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: You have been kicked for being idle) |
| 2022-10-02 11:01:02 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-02 11:01:20 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 11:02:53 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) (Quit: quite.) |
| 2022-10-02 11:03:38 +0200 | DigitalKiwi | (~kiwi@137.184.156.191) |
| 2022-10-02 11:11:52 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 11:11:56 +0200 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) |
| 2022-10-02 11:12:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-10-02 11:13:38 +0200 | frost | (~frost@user/frost) |
| 2022-10-02 11:16:36 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-10-02 11:25:56 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 11:32:28 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2022-10-02 11:36:19 +0200 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) (Ping timeout: 268 seconds) |
| 2022-10-02 11:38:57 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 11:39:24 +0200 | kenran | (~user@user/kenran) |
| 2022-10-02 11:39:26 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-02 11:47:33 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 11:48:10 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 11:48:51 +0200 | chomwitt | (~chomwitt@2a02:587:dc14:f500:baf8:17de:5af6:42e4) |
| 2022-10-02 11:57:46 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-02 12:01:33 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 12:04:22 +0200 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) (Quit: ZNC - https://znc.in) |
| 2022-10-02 12:04:53 +0200 | kaskal | (~kaskal@2001:4bb8:2dc:7b0e:55ee:692c:e44d:a4b0) |
| 2022-10-02 12:05:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-02 12:07:02 +0200 | waldo | (~waldo@user/waldo) |
| 2022-10-02 12:10:31 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 265 seconds) |
| 2022-10-02 12:14:09 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 12:20:04 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-02 12:21:17 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 12:21:30 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-02 12:26:21 +0200 | simendsjo | (~user@84.211.91.241) |
| 2022-10-02 12:49:09 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 12:50:09 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-10-02 12:50:55 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-10-02 12:53:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 12:53:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-10-02 12:54:29 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 13:00:33 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-02 13:12:10 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-10-02 13:12:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: WeeChat 3.5) |
| 2022-10-02 13:13:25 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 13:13:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 13:18:16 +0200 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-02 13:21:08 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-02 13:22:00 +0200 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) |
| 2022-10-02 13:22:28 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-10-02 13:23:09 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-02 13:24:20 +0200 | <Guest73> | Is something like "... -> Constraint" considered to be a type? |
| 2022-10-02 13:25:49 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 13:27:40 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: brb) |
| 2022-10-02 13:28:15 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 13:28:38 +0200 | <Guest73> | Example: Is (Type -> Type) -> Constraint (e.g. Functor, Monad type class) a type? And a higher kinded one because it takes a (Type -> Type)? |
| 2022-10-02 13:29:13 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 13:30:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 13:30:59 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-02 13:31:36 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 264 seconds) |
| 2022-10-02 13:34:27 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-10-02 13:35:18 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 13:37:02 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 13:37:33 +0200 | <ncf> | it's a kind |
| 2022-10-02 13:38:25 +0200 | <chreekat> | ... and kinds are types |
| 2022-10-02 13:38:43 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: gathering Alsa logs...) |
| 2022-10-02 13:38:56 +0200 | <probie> | kinds are types, but not `Type`s |
| 2022-10-02 13:39:39 +0200 | <Guest73> | So it's correct to say that the kind (which is a type) of the Functor type class is a higher-kinded type because it takes a (Type -> Type)? |
| 2022-10-02 13:39:55 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 13:41:06 +0200 | <ncf> | i think the higher-kinded type would be Functor, because its kind is higher-order |
| 2022-10-02 13:41:57 +0200 | <chreekat> | I thought GHC had unified everything at some point, but I could be thinking of something else, and I could also be confusing language details with implementation details |
| 2022-10-02 13:42:27 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2022-10-02 13:42:48 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-10-02 13:43:59 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 13:44:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 13:48:02 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-10-02 13:48:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 244 seconds) |
| 2022-10-02 13:48:59 +0200 | <jackdk> | The kind of types-that-may-have-values is `Type`, and I think the kind of `Type` is `Type`, which you sometimes see written `Type :: Type` (enabled by the now-default `TypeInType` extension) |
| 2022-10-02 13:49:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-02 13:54:12 +0200 | <ski> | Guest73 : `(Type -> Type) -> Constraint' is a kind, but `Functor' is not a kind. `Functor' is a higher-order type class, yes |
| 2022-10-02 13:54:25 +0200 | <ski> | ncf : its kind is not higher-order |
| 2022-10-02 13:55:18 +0200 | <ski> | (just like `(String -> String) -> IO ()' is not higher-order (its kind is `Type'). `interact' (having the former as its type) is higher-order) |
| 2022-10-02 13:56:41 +0200 | ski | . o O ( "inhabitable/concrete types" ) |
| 2022-10-02 13:57:41 +0200 | mmhat | (~mmh@p200300f1c706232fee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-02 14:00:04 +0200 | <ncf> | the terminology is a bit confusing, i guess, because a "higher-order thing" is a thing whose *type* has a certain property |
| 2022-10-02 14:00:45 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 14:00:47 +0200 | <ncf> | IMO it would make more sense to call that property "higher-order" and to call the elements "higher-typed" (just like we have "higher-kinded"), but that's maybe not the convention |
| 2022-10-02 14:02:08 +0200 | <ski> | `interact' is higher-order because it accepts a function as parameter |
| 2022-10-02 14:02:37 +0200 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-10-02 14:02:38 +0200 | <ski> | we can describe this as its type being a function type where the argument type is also a function type |
| 2022-10-02 14:03:06 +0200 | ski | thinks "higher-kinded" is an abomination |
| 2022-10-02 14:03:41 +0200 | coot | (~coot@213.134.165.79) |
| 2022-10-02 14:05:20 +0200 | waldo | (~waldo@user/waldo) |
| 2022-10-02 14:05:36 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 14:08:02 +0200 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-02 14:08:55 +0200 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) |
| 2022-10-02 14:09:54 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 265 seconds) |
| 2022-10-02 14:11:23 +0200 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-02 14:14:17 +0200 | gera | (~gera@user/gera) |
| 2022-10-02 14:16:42 +0200 | gera | (~gera@user/gera) (Client Quit) |
| 2022-10-02 14:24:04 +0200 | coot | (~coot@213.134.165.79) (Quit: coot) |
| 2022-10-02 14:26:32 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 14:31:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-02 14:33:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 14:34:59 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-02 14:38:28 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 14:45:40 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-02 14:46:25 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 14:52:36 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 14:53:32 +0200 | Midjak2 | (~Midjak@82.66.147.146) |
| 2022-10-02 14:53:39 +0200 | Midjak | (~Midjak@82.66.147.146) (Read error: Connection reset by peer) |
| 2022-10-02 14:55:16 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 14:58:18 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Quit: Leaving.) |
| 2022-10-02 14:58:41 +0200 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 14:59:44 +0200 | Alex_test | (~al_test@94.233.240.222) (Quit: ;-) |
| 2022-10-02 14:59:59 +0200 | AlexZenon | (~alzenon@94.233.240.222) (Quit: ;-) |
| 2022-10-02 15:00:48 +0200 | AlexNoo | (~AlexNoo@94.233.240.222) (Quit: Leaving) |
| 2022-10-02 15:00:50 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-02 15:03:43 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-02 15:06:52 +0200 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 15:06:58 +0200 | AlexZenon | (~alzenon@94.233.240.222) (Remote host closed the connection) |
| 2022-10-02 15:09:03 +0200 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 15:10:22 +0200 | Guest73 | (~Guest73@p200300ef971835d82be951927fa6facb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-10-02 15:11:27 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 15:12:44 +0200 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 265 seconds) |
| 2022-10-02 15:14:22 +0200 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 15:16:08 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 15:21:01 +0200 | AlexNoo | (~AlexNoo@94.233.240.222) |
| 2022-10-02 15:22:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-10-02 15:23:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-02 15:23:46 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:147f:3b81:19e2:2a18) |
| 2022-10-02 15:26:01 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2022-10-02 15:27:51 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:480c:865f:f737:f9a4) |
| 2022-10-02 15:34:17 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-10-02 15:35:06 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 15:41:12 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2022-10-02 15:42:27 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2022-10-02 15:43:30 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 15:44:20 +0200 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-02 15:45:05 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 15:46:31 +0200 | k8yun | (~k8yun@user/k8yun) (Remote host closed the connection) |
| 2022-10-02 15:49:36 +0200 | Guest73 | (~Guest73@p200300ef971835496116330cf30d712d.dip0.t-ipconnect.de) |
| 2022-10-02 15:53:13 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-10-02 15:53:16 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 15:54:16 +0200 | k8yun | (~k8yun@user/k8yun) (Remote host closed the connection) |
| 2022-10-02 15:54:18 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-10-02 15:54:41 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 15:55:33 +0200 | Guest73 | (~Guest73@p200300ef971835496116330cf30d712d.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2022-10-02 15:57:24 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 15:58:05 +0200 | AlexNoo | (~AlexNoo@94.233.240.222) (Remote host closed the connection) |
| 2022-10-02 15:58:07 +0200 | AlexZenon | (~alzenon@94.233.240.222) (Quit: ;-) |
| 2022-10-02 15:58:12 +0200 | Alex_test | (~al_test@94.233.240.222) (Quit: ;-) |
| 2022-10-02 15:59:05 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) |
| 2022-10-02 15:59:50 +0200 | Midjak2 | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-10-02 16:00:09 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-02 16:00:28 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 16:00:32 +0200 | Midjak2 | (~Midjak@82.66.147.146) |
| 2022-10-02 16:00:37 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-02 16:01:06 +0200 | Midjak2 | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 16:01:06 +0200 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 16:01:41 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 16:02:10 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 16:03:31 +0200 | Midjak | (~Midjak@82.66.147.146) (Remote host closed the connection) |
| 2022-10-02 16:04:10 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-02 16:05:11 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-10-02 16:05:48 +0200 | acidjnk_new | (~acidjnk@p200300d6e7137a32a8f89e31b171299c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-02 16:09:41 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:480c:865f:f737:f9a4) (Quit: WeeChat 3.5) |
| 2022-10-02 16:11:14 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 16:16:46 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:147f:3b81:19e2:2a18) (Remote host closed the connection) |
| 2022-10-02 16:16:55 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 16:22:32 +0200 | waldo | (~waldo@user/waldo) |
| 2022-10-02 16:23:14 +0200 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 16:27:47 +0200 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 248 seconds) |
| 2022-10-02 16:29:23 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 16:35:30 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 16:38:50 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 16:39:20 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-02 16:39:47 +0200 | acidjnk_new | (~acidjnk@p54ad5adb.dip0.t-ipconnect.de) |
| 2022-10-02 16:42:16 +0200 | img | (~img@user/img) |
| 2022-10-02 16:43:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2022-10-02 16:45:53 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 16:50:06 +0200 | cheater | (~Username@user/cheater) |
| 2022-10-02 16:50:15 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Quit: Leaving.) |
| 2022-10-02 16:50:26 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 16:52:52 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 16:58:06 +0200 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-02 16:58:09 +0200 | rekahsoft | (~rekahsoft@142.189.68.220) (Remote host closed the connection) |
| 2022-10-02 16:59:12 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-02 16:59:33 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2022-10-02 16:59:37 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-10-02 16:59:41 +0200 | cheater1__ | cheater |
| 2022-10-02 17:01:41 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 17:03:18 +0200 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-02 17:07:08 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-10-02 17:10:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-02 17:24:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 17:31:55 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2022-10-02 17:32:08 +0200 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 17:36:15 +0200 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 252 seconds) |
| 2022-10-02 17:36:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-10-02 17:36:47 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:493c:f2cd:d7ed:ecef) (Read error: Connection reset by peer) |
| 2022-10-02 17:38:33 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-10-02 17:40:34 +0200 | raehik | (~raehik@2a00:23c6:4c83:a901:95bf:f7ec:7b7d:c21e) |
| 2022-10-02 17:46:36 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 17:48:19 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 17:50:19 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-10-02 17:54:42 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-10-02 17:55:47 +0200 | raehik | (~raehik@2a00:23c6:4c83:a901:95bf:f7ec:7b7d:c21e) (Ping timeout: 248 seconds) |
| 2022-10-02 17:56:33 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 244 seconds) |
| 2022-10-02 17:58:52 +0200 | k8yun | (~k8yun@user/k8yun) (Read error: Connection reset by peer) |
| 2022-10-02 18:00:10 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Quit: You have been kicked for being idle) |
| 2022-10-02 18:00:14 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-10-02 18:02:31 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 18:03:28 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2022-10-02 18:03:55 +0200 | <monochrom> | Follow McQueen and say "higher-order types" plus it has an exciting acronym HOT >:) |
| 2022-10-02 18:04:29 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-02 18:05:12 +0200 | <ski> | that one's fine :) |
| 2022-10-02 18:06:15 +0200 | <geekosaur> | seems to me "higher kinded type" should mean the result of DataKinds promotion |
| 2022-10-02 18:07:10 +0200 | <EvanR> | if a basic function has order zero, and a higher order function has order 1. Well, it's obviously higher order. What exactly is high about higher kinded .. things xD |
| 2022-10-02 18:07:28 +0200 | <EvanR> | kindedness? |
| 2022-10-02 18:08:08 +0200 | <EvanR> | I'm with sky |
| 2022-10-02 18:08:11 +0200 | <EvanR> | ski |
| 2022-10-02 18:08:21 +0200 | <geekosaur> | "data Bool = False | True", when promoted via DataKinds, makes 'Bool a higher kinded type, is my thinking |
| 2022-10-02 18:08:25 +0200 | <ski> | usually you'd say basic functions has order one, and non-functions order zero. `interact' having order two |
| 2022-10-02 18:08:36 +0200 | <EvanR> | oof, off by 1 |
| 2022-10-02 18:09:14 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-10-02 18:09:28 +0200 | <EvanR> | meanwhile the kindedness of Bool and Maybe are both "yes" |
| 2022-10-02 18:10:15 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-10-02 18:10:45 +0200 | <EvanR> | datakinds don't seem particularly ordered vs * |
| 2022-10-02 18:11:34 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 18:11:49 +0200 | vglfr | (~vglfr@145.224.100.164) (Ping timeout: 252 seconds) |
| 2022-10-02 18:12:41 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 18:14:55 +0200 | <ski> | sorry, no idea what "kindedness" here is supposed to mean |
| 2022-10-02 18:15:05 +0200 | <ski> | (and i second that about "higher") |
| 2022-10-02 18:16:05 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 18:19:43 +0200 | <EvanR> | that it has a kind at all, yes |
| 2022-10-02 18:20:48 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-02 18:22:14 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) |
| 2022-10-02 18:22:15 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 18:25:22 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-02 18:26:54 +0200 | <ski> | @quote OlinShivers |
| 2022-10-02 18:26:54 +0200 | <lambdabot> | OlinShivers says: Just as C has no string type, Lisp has no list type. |
| 2022-10-02 18:27:01 +0200 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-10-02 18:27:52 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-02 18:27:52 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-02 18:27:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 18:29:13 +0200 | ellensol | (~ellen@178-78-210-152.customers.ownit.se) |
| 2022-10-02 18:31:43 +0200 | _73 | (~user@pool-173-76-236-42.bstnma.fios.verizon.net) |
| 2022-10-02 18:33:00 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 18:33:48 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 18:34:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 18:35:48 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 18:36:12 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 18:41:03 +0200 | king_gs | (~Thunderbi@187.201.126.32) |
| 2022-10-02 18:41:32 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-02 18:45:24 +0200 | king_gs | (~Thunderbi@187.201.126.32) (Ping timeout: 265 seconds) |
| 2022-10-02 18:48:41 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 18:49:57 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 252 seconds) |
| 2022-10-02 18:52:58 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-10-02 18:57:49 +0200 | rekahsoft | (~rekahsoft@142.189.68.220) (Ping timeout: 268 seconds) |
| 2022-10-02 18:58:13 +0200 | mbuf | (~Shakthi@49.204.116.212) (Quit: Leaving) |
| 2022-10-02 19:00:23 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-02 19:06:02 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-10-02 19:07:44 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-02 19:08:39 +0200 | AlexNoo | (~AlexNoo@94.233.240.222) |
| 2022-10-02 19:10:00 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-02 19:10:26 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 244 seconds) |
| 2022-10-02 19:10:39 +0200 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 19:10:43 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 250 seconds) |
| 2022-10-02 19:10:55 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-10-02 19:11:01 +0200 | Haematophage | (~colere@about/linux/staff/sauvin) (Ping timeout: 265 seconds) |
| 2022-10-02 19:13:08 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-10-02 19:14:35 +0200 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 19:15:55 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 250 seconds) |
| 2022-10-02 19:20:05 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Ping timeout (120 seconds)) |
| 2022-10-02 19:23:23 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 19:24:55 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 19:28:54 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 19:29:48 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-10-02 19:31:39 +0200 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 19:32:14 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 19:32:23 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 19:32:31 +0200 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 19:34:18 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 19:34:33 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 19:36:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2022-10-02 19:37:12 +0200 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 19:38:02 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 19:40:19 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:5b22:9f10:a150:9c02) |
| 2022-10-02 19:42:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-10-02 19:43:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-02 19:45:24 +0200 | raym | (~aritra@user/raym) (Ping timeout: 264 seconds) |
| 2022-10-02 19:45:55 +0200 | razetime | (~quassel@117.193.1.240) (Ping timeout: 268 seconds) |
| 2022-10-02 19:46:35 +0200 | kdaishi | (~Thunderbi@mobile-access-2e8403-164.dhcp.inet.fi) |
| 2022-10-02 19:51:21 +0200 | raym | (~aritra@user/raym) |
| 2022-10-02 19:54:09 +0200 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) |
| 2022-10-02 19:55:18 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-02 19:57:23 +0200 | waldo | (~waldo@user/waldo) |
| 2022-10-02 19:57:25 +0200 | raym | (~aritra@user/raym) (Ping timeout: 265 seconds) |
| 2022-10-02 19:59:17 +0200 | raym | (~aritra@user/raym) |
| 2022-10-02 20:03:55 +0200 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) |
| 2022-10-02 20:05:23 +0200 | kdaishi | (~Thunderbi@mobile-access-2e8403-164.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2022-10-02 20:08:25 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) |
| 2022-10-02 20:10:54 +0200 | vglfr | (~vglfr@145.224.100.164) (Remote host closed the connection) |
| 2022-10-02 20:11:28 +0200 | vglfr | (~vglfr@145.224.100.164) |
| 2022-10-02 20:17:13 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-10-02 20:18:36 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-10-02 20:24:23 +0200 | DavidBinder | (~DavidBind@2a02:8070:8a83:3740:64de:c2ea:8f9f:d460) (Quit: Client closed) |
| 2022-10-02 20:26:09 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 20:27:07 +0200 | Alex_test | (~al_test@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-10-02 20:27:16 +0200 | AlexZenon | (~alzenon@94.233.240.222) (Ping timeout: 268 seconds) |
| 2022-10-02 20:31:54 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:5b22:9f10:a150:9c02) (Quit: WeeChat 3.5) |
| 2022-10-02 20:32:19 +0200 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-02 20:32:38 +0200 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-02 20:33:48 +0200 | edrx | (~Eduardo@2804:56c:d2d3:4800:cf7d:b421:4c3a:392e) |
| 2022-10-02 20:35:17 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) (Ping timeout: 268 seconds) |
| 2022-10-02 20:39:06 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 20:42:28 +0200 | son0p | (~ff@2800:e2:f80:867:cac2:6501:5166:e177) |
| 2022-10-02 20:42:48 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 20:47:26 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:92c5:beda:2221:b83f) |
| 2022-10-02 20:58:04 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-02 20:59:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-10-02 21:00:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-10-02 21:00:57 +0200 | pavonia | (~user@user/siracusa) |
| 2022-10-02 21:23:59 +0200 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-02 21:24:41 +0200 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) (Ping timeout: 252 seconds) |
| 2022-10-02 21:26:48 +0200 | Oiyqlk | (~rscastilh@191-214-26-24.user.veloxzone.com.br) |
| 2022-10-02 21:28:50 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-10-02 21:29:18 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 21:34:11 +0200 | mud | (~mud@user/kadoban) |
| 2022-10-02 21:35:27 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 250 seconds) |
| 2022-10-02 21:39:24 +0200 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) (Ping timeout: 265 seconds) |
| 2022-10-02 21:40:53 +0200 | Furor | Colere |
| 2022-10-02 21:43:24 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-10-02 21:43:57 +0200 | sagax | (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 2022-10-02 21:44:24 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 21:46:49 +0200 | ddellacosta | (~ddellacos@89.45.224.248) |
| 2022-10-02 21:51:58 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2022-10-02 21:54:41 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-02 21:56:33 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-10-02 21:58:03 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-02 22:00:54 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-02 22:03:16 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Ping timeout: 260 seconds) |
| 2022-10-02 22:04:32 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2022-10-02 22:04:51 +0200 | <hololeap> | EvanR: you might be interested in this: https://hackage.haskell.org/package/generic-data-1.0.0.0/docs/Generic-Data.html#t:GShow1 |
| 2022-10-02 22:05:19 +0200 | <EvanR> | probably |
| 2022-10-02 22:05:35 +0200 | <EvanR> | though I completed the Show1 instance last night, it works great |
| 2022-10-02 22:06:08 +0200 | <EvanR> | I need to step up my generics fu at some point |
| 2022-10-02 22:06:17 +0200 | <geekosaur> | that was what I originally suggested, in fact |
| 2022-10-02 22:06:30 +0200 | <geekosaur> | wel, "go via generics" |
| 2022-10-02 22:06:48 +0200 | <geekosaur> | "GShow1" follows from that if you know the naming style |
| 2022-10-02 22:08:29 +0200 | <hololeap> | I think the Generically newtype is a really neat addition, or maybe I just never noticed it before. |
| 2022-10-02 22:08:49 +0200 | <hololeap> | (or maybe I didn't understand DerivingVia at the time) |
| 2022-10-02 22:10:14 +0200 | <hololeap> | I'm curious how well generically deriving Applicative and Alternative would work |
| 2022-10-02 22:11:15 +0200 | <hololeap> | seems a bit odd to try it at all, considering something as simple as a list has (at least) two possible valid Applicative instances |
| 2022-10-02 22:12:16 +0200 | ddellacosta | (~ddellacos@89.45.224.248) (Ping timeout: 265 seconds) |
| 2022-10-02 22:13:45 +0200 | Guest1698 | (~Guest1698@20.83.116.49) (Remote host closed the connection) |
| 2022-10-02 22:14:04 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-10-02 22:14:10 +0200 | ddellacosta | (~ddellacos@89.45.224.27) |
| 2022-10-02 22:15:03 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-10-02 22:15:23 +0200 | michalz | (~michalz@185.246.207.201) |
| 2022-10-02 22:15:48 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-10-02 22:16:08 +0200 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 22:18:00 +0200 | kilolympus | (~kilolympu@213.144.144.24) |
| 2022-10-02 22:18:06 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2022-10-02 22:18:06 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-10-02 22:18:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 22:18:08 +0200 | <EvanR> | deriving (Semigroup, Monoid) via Generically MyType, what is this alien tech |
| 2022-10-02 22:19:22 +0200 | <kilolympus> | Hi! The behaviour of "cabal configure" seems to have changed when upgrading cabal from 3.6 to 3.8, but I have found no changelog regarding this -- does anyone know more about it? |
| 2022-10-02 22:19:42 +0200 | <kilolympus> | It is specifically 1. no longer printing anything to stdout, and 2. no longer generating a plan.json |
| 2022-10-02 22:21:20 +0200 | Guest1698 | (~Guest1698@20.83.116.49) (Read error: Connection reset by peer) |
| 2022-10-02 22:22:33 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:92c5:beda:2221:b83f) (Quit: WeeChat 3.5) |
| 2022-10-02 22:23:31 +0200 | <geekosaur> | the latter is a known issue, `cabal build --dry-run` |
| 2022-10-02 22:24:02 +0200 | <geekosaur> | beyond that, try asking in #hackage |
| 2022-10-02 22:24:13 +0200 | <kilolympus> | Ah that's brilliant, the dry-run generated the plan. |
| 2022-10-02 22:24:21 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-02 22:24:22 +0200 | <kilolympus> | I'll do so, thanks geekosaur ! |
| 2022-10-02 22:24:52 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 22:32:21 +0200 | <hololeap> | yeah deriving Semigroup/Monoid doesn't make sense to me either, unless I'm missing something |
| 2022-10-02 22:32:54 +0200 | <hololeap> | might try it with Int and see what it does |
| 2022-10-02 22:34:21 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-02 22:35:46 +0200 | Guest1698 | (~Guest1698@20.83.116.49) |
| 2022-10-02 22:35:47 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-10-02 22:36:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Remote host closed the connection) |
| 2022-10-02 22:40:11 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 22:40:16 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-02 22:40:52 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 22:40:53 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 22:41:16 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-02 22:42:01 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-10-02 22:43:35 +0200 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-10-02 22:45:15 +0200 | <probie> | hololeap: I assume it'll complain about not having a Monoid instance on Int. I assume to be able to derive monoid, the type needs to have a single constructor and all fields must be monoids |
| 2022-10-02 22:45:34 +0200 | <hololeap> | yeah that's what I realized |
| 2022-10-02 22:46:28 +0200 | <hololeap> | still very cool considering sometimes you want to use records instead of newtype A = (X,Y,Z) haha |
| 2022-10-02 22:46:57 +0200 | <ski> | could conceivably work with multiple constructors of a GADT, in case they've disjoint indices |
| 2022-10-02 22:47:46 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-10-02 22:47:49 +0200 | <probie> | Can you derive generic on a GADT with disjoint indices? |
| 2022-10-02 22:49:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-02 22:49:05 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2022-10-02 22:49:05 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2022-10-02 22:49:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-02 22:51:29 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-02 22:59:01 +0200 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-10-02 23:00:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-02 23:00:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-02 23:01:27 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-02 23:01:57 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-02 23:01:58 +0200 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 246 seconds) |
| 2022-10-02 23:03:10 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-10-02 23:05:39 +0200 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-02 23:08:28 +0200 | <EvanR> | hololeap, Int is a Generic? |
| 2022-10-02 23:12:09 +0200 | beteigeuze1 | (~Thunderbi@89.187.168.55) |
| 2022-10-02 23:13:31 +0200 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 246 seconds) |
| 2022-10-02 23:13:32 +0200 | beteigeuze1 | beteigeuze |
| 2022-10-02 23:13:52 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-02 23:14:51 +0200 | kdaishi | (~Thunderbi@mobile-access-bceec1-62.dhcp.inet.fi) |
| 2022-10-02 23:15:21 +0200 | <hololeap> | well, I was trying it on a newtype wrapper around Int |
| 2022-10-02 23:19:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-02 23:26:11 +0200 | takuan_dozo | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-02 23:26:11 +0200 | mmhat | (~mmh@p200300f1c706232fee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-10-02 23:29:36 +0200 | ddellacosta | (~ddellacos@89.45.224.27) (Ping timeout: 265 seconds) |
| 2022-10-02 23:31:28 +0200 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-02 23:31:32 +0200 | ddellacosta | (~ddellacos@143.244.47.77) |
| 2022-10-02 23:34:46 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2022-10-02 23:36:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |
| 2022-10-02 23:39:29 +0200 | titibandit | (~titibandi@xdsl-212-8-150-57.nc.de) (Remote host closed the connection) |
| 2022-10-02 23:39:29 +0200 | mmhat | (~mmh@p200300f1c70623b9ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-10-02 23:41:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) (Ping timeout: 250 seconds) |
| 2022-10-02 23:46:47 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-02 23:56:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:509f:aac5:1bc5:5910) |