2022/04/28

2022-04-28 00:02:34 +0200 <geekosaur> text is variable length, so fits well with streaming
2022-04-28 00:03:05 +0200 <geekosaur> whereas you need to either pad or break up into segments (or use a length delimited protocol) with message based
2022-04-28 00:03:37 +0200 <mrianbloom> Let's say I have a GADT based expression type that includes a unary operation Op1 :: Unary a b -> Expr a -> Expr b. Where Unary is another GADT with several different operations. I want to write a mapping function that parses the expression tree and replaces any Unary with certain type with another Unary of the same type. Is this possible?
2022-04-28 00:05:04 +0200Topsi(~Tobias@dyndsl-095-033-094-053.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-04-28 00:10:59 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds)
2022-04-28 00:13:01 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-04-28 00:13:24 +0200Guest2725(~Guest27@2601:281:d47f:1590::bc8f) (Quit: Client closed)
2022-04-28 00:13:36 +0200Guest2764(~Guest27@2601:281:d47f:1590::bc8f)
2022-04-28 00:13:42 +0200werneta(~werneta@137.79.197.49)
2022-04-28 00:15:58 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp)
2022-04-28 00:18:01 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-28 00:21:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 00:22:40 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-04-28 00:22:54 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-04-28 00:23:26 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2022-04-28 00:24:42 +0200liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-04-28 00:24:42 +0200xaotuk(~sasha@net16-38-245-109.mbb.telenor.rs) (Read error: Connection reset by peer)
2022-04-28 00:25:36 +0200CiaoSen(~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-04-28 00:27:00 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 00:28:42 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-04-28 00:28:50 +0200king_gs(~Thunderbi@187.201.77.157) (Read error: Connection reset by peer)
2022-04-28 00:29:16 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 00:30:18 +0200king_gs(~Thunderbi@187.201.77.157)
2022-04-28 00:31:43 +0200matijja(~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-28 00:31:59 +0200kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 240 seconds)
2022-04-28 00:31:59 +0200matijja(~matijja@193.77.181.201)
2022-04-28 00:34:25 +0200 <abastro[m]> You mean you want to write such function concisely?
2022-04-28 00:36:05 +0200matijja(~matijja@193.77.181.201) (Client Quit)
2022-04-28 00:39:08 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-04-28 00:39:21 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 00:39:52 +0200matijja(~matijja@193.77.181.201)
2022-04-28 00:40:44 +0200 <mrianbloom> Yes, or somewhat polymorphically.
2022-04-28 00:42:09 +0200 <mrianbloom> Let me put it this way if I have a function f :: Unary Int Bool -> Unary Int Bool, I'd like to just map over every Unary Int Bool in the expression.
2022-04-28 00:42:47 +0200 <geekosaur> isn't that something like Generics or Uniplate?
2022-04-28 00:43:02 +0200 <mrianbloom> But the expression might also include Unary Float Char and I'd want to ignore those depending on the type of f.
2022-04-28 00:44:31 +0200 <mrianbloom> Really I'm looking for an example of this type of mapping in some existing code that uses GADTs.
2022-04-28 00:44:50 +0200 <EvanR> what does "might include" mean xD
2022-04-28 00:44:55 +0200 <mrianbloom> I
2022-04-28 00:44:59 +0200 <EvanR> is there a dynamic wrapper
2022-04-28 00:45:19 +0200Guest2764(~Guest27@2601:281:d47f:1590::bc8f) (Quit: Client closed)
2022-04-28 00:45:27 +0200acidjnk(~acidjnk@p200300d0c73b452571655f3915a3d16e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-04-28 00:45:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-28 00:45:58 +0200 <EvanR> since types don't exist at runtime you can't depend directly on it
2022-04-28 00:46:03 +0200 <mrianbloom> Well I have multiple constructors in my Unary data type and they have different inputs and outputs.
2022-04-28 00:46:13 +0200 <EvanR> oh ok dynamic wrapper
2022-04-28 00:48:43 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2022-04-28 00:49:42 +0200 <mrianbloom> Sure, maybe the problem is that in a given Expression tree you have Unary wrappers, so to define a function like mapExprOp1 :: (Unary a b -> Unary a b) -> Expr t -> Expr t doesn't work since there is no way to marshall when the mapping actually happens.
2022-04-28 00:51:06 +0200 <mrianbloom> i.e. when I case over an Expr node, I still can't match Unary a b to whatever Unary it's encountering in the tree.
2022-04-28 00:52:15 +0200 <mrianbloom> I might just be using GADTs very wrong :)
2022-04-28 00:53:43 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-04-28 00:54:21 +0200 <EvanR> if you case over an Expr t GADT, the t becomes revealed within that case to the type checker, so there's that
2022-04-28 00:57:29 +0200 <mrianbloom> I actually was able to do that sucessfully in another function. Writing a generalized mapping though is complicated it seems.
2022-04-28 00:58:41 +0200 <EvanR> two possibilities when trying to write code but can't figure out the types: what you're doing doesn't make sense, or else it makes sense but the type system isn't good enough to express it,
2022-04-28 00:58:45 +0200 <EvanR> ok at least two possibilities
2022-04-28 00:59:35 +0200 <EvanR> but if you could determine those two cases ahead of time, saves a lot of work xD
2022-04-28 00:59:36 +0200akurilin_(uid322841@id-322841.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-28 01:00:48 +0200king_gs(~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds)
2022-04-28 01:03:42 +0200werneta(~werneta@137.79.197.49) (Ping timeout: 246 seconds)
2022-04-28 01:05:49 +0200lbseale_(~quassel@ip72-205-127-212.sb.sd.cox.net)
2022-04-28 01:06:32 +0200lbseale_(~quassel@ip72-205-127-212.sb.sd.cox.net) (Changing host)
2022-04-28 01:06:32 +0200lbseale_(~quassel@user/ep1ctetus)
2022-04-28 01:06:55 +0200lbseale(~ep1ctetus@user/ep1ctetus) (Quit: Leaving)
2022-04-28 01:08:47 +0200anomal(~anomal@87.227.196.109) (Remote host closed the connection)
2022-04-28 01:08:56 +0200lbseale_lbseale
2022-04-28 01:09:06 +0200anomal(~anomal@87.227.196.109)
2022-04-28 01:10:44 +0200ec(~ec@gateway/tor-sasl/ec) (Quit: ec)
2022-04-28 01:12:36 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-04-28 01:13:01 +0200raehik(~raehik@82.21.176.157)
2022-04-28 01:13:06 +0200nattiestnate(~nate@202.138.250.17) (Quit: WeeChat 3.5)
2022-04-28 01:14:12 +0200lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-04-28 01:14:52 +0200lbseale(~quassel@user/ep1ctetus)
2022-04-28 01:18:22 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:21:56 +0200Brandon_IX(brandon@user/Brandon-IX/x-0442192) (Quit: WeeChat 3.0)
2022-04-28 01:23:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 01:24:18 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:24:33 +0200 <mrianbloom> Hmmm...
2022-04-28 01:25:13 +0200srk(~sorki@user/srk) (Ping timeout: 260 seconds)
2022-04-28 01:25:33 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 01:25:48 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 01:29:26 +0200 <mrianbloom> I think I got it, f :: (forall a b . Unary a b -> Unary a b). That just compiled.
2022-04-28 01:30:03 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 01:30:34 +0200 <mrianbloom> So my map function has type: mapExprOp1 :: (forall a b . Unary a b -> Unary a b) -> Expr t -> Expr t
2022-04-28 01:31:13 +0200 <mrianbloom> You nede Rank2Types enabled for that to work.
2022-04-28 01:31:19 +0200 <EvanR> makes sense
2022-04-28 01:31:23 +0200 <mrianbloom> *need
2022-04-28 01:31:55 +0200 <mrianbloom> Thank you for the emotional support during my time of type-crisis.
2022-04-28 01:32:20 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:32:23 +0200king_gs(~Thunderbi@187.201.77.157)
2022-04-28 01:33:08 +0200 <EvanR> if i understood the situation correctly, you could even change the type from a to a' in the process?
2022-04-28 01:34:09 +0200 <mrianbloom> I'm not sure. I think basically my f function needs to case over every type of Unary constructor in order to type check now.
2022-04-28 01:34:21 +0200 <EvanR> nope never mind I see where a is also used
2022-04-28 01:35:53 +0200 <EvanR> sometimes when editing subexpressions you can get away with (potentially) changing the type
2022-04-28 01:36:08 +0200 <EvanR> if so, you get the non-changing version as a bonus anyway
2022-04-28 01:37:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 01:38:23 +0200redb(~nmh@136.49.49.211)
2022-04-28 01:38:34 +0200srk(~sorki@user/srk)
2022-04-28 01:40:18 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:41:48 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-04-28 01:43:15 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-28 01:43:34 +0200anomal(~anomal@87.227.196.109) (Remote host closed the connection)
2022-04-28 01:43:53 +0200anomal(~anomal@87.227.196.109)
2022-04-28 01:45:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 01:46:56 +0200slack1256(~slack1256@191.125.99.87)
2022-04-28 01:47:25 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 240 seconds)
2022-04-28 01:47:25 +0200yosef36(~yosefweis@2001:470:69fc:105::1:e501) (Ping timeout: 240 seconds)
2022-04-28 01:47:25 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 240 seconds)
2022-04-28 01:47:49 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds)
2022-04-28 01:47:49 +0200Inst[m](~instrmatr@2001:470:69fc:105::1:903e) (Ping timeout: 240 seconds)
2022-04-28 01:47:49 +0200juhp[m](~juhpmatri@2001:470:69fc:105::6e9) (Ping timeout: 240 seconds)
2022-04-28 01:48:16 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:48:46 +0200juhp[m](~juhpmatri@2001:470:69fc:105::6e9)
2022-04-28 01:48:57 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2022-04-28 01:49:04 +0200Inst[m](~instrmatr@2001:470:69fc:105::1:903e)
2022-04-28 01:49:28 +0200abrantesasf(~abrantesa@177.137.232.91) (Remote host closed the connection)
2022-04-28 01:50:33 +0200yosef36(~yosefweis@2001:470:69fc:105::1:e501)
2022-04-28 01:50:43 +0200fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2022-04-28 01:50:45 +0200boxscape(~boxscape@user/boxscape)
2022-04-28 01:51:46 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-28 01:52:02 +0200redb(~nmh@136.49.49.211)
2022-04-28 01:52:27 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d)
2022-04-28 01:53:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 01:56:13 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 01:56:42 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-28 01:58:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-28 01:58:27 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-28 01:58:27 +0200wroathe(~wroathe@user/wroathe)
2022-04-28 02:02:08 +0200Codaraxis(~Codaraxis@user/codaraxis)
2022-04-28 02:06:03 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2022-04-28 02:06:50 +0200lisq(~quassel@lis.moe) (Quit: lisq)
2022-04-28 02:07:23 +0200mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds)
2022-04-28 02:09:03 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 02:11:02 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 02:13:37 +0200redb(~nmh@136.49.49.211)
2022-04-28 02:15:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 02:15:19 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2022-04-28 02:16:07 +0200Hiring(~Hiring@31.222.238.38) (Quit: Client closed)
2022-04-28 02:16:53 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp) (Read error: Connection reset by peer)
2022-04-28 02:19:33 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 02:22:06 +0200orcus(~orcus@user/brprice) (Ping timeout: 246 seconds)
2022-04-28 02:22:06 +0200dispater(~dispater@user/brprice) (Ping timeout: 246 seconds)
2022-04-28 02:22:11 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-04-28 02:22:48 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 02:23:26 +0200[Leary](~Leary]@122-58-90-96-vdsl.sparkbb.co.nz) (Ping timeout: 272 seconds)
2022-04-28 02:24:12 +0200orcus(~orcus@user/brprice)
2022-04-28 02:25:08 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 02:25:31 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2022-04-28 02:26:00 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-04-28 02:26:08 +0200Guest5(~Guest5@166.88.172.166)
2022-04-28 02:27:14 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds)
2022-04-28 02:29:19 +0200srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2022-04-28 02:29:44 +0200dispater(~dispater@user/brprice)
2022-04-28 02:30:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 02:33:04 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 02:33:31 +0200lainon(lainon@gateway/vpn/protonvpn/lainon)
2022-04-28 02:38:38 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 02:39:09 +0200anomal(~anomal@87.227.196.109) (Remote host closed the connection)
2022-04-28 02:39:42 +0200slack1256(~slack1256@191.125.99.87) (Read error: Connection reset by peer)
2022-04-28 02:41:15 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 02:44:44 +0200srk(~sorki@user/srk)
2022-04-28 02:47:23 +0200eggplantade(~Eggplanta@108.201.191.115)
2022-04-28 02:48:08 +0200lis(~quassel@lis.moe)
2022-04-28 02:48:45 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-28 02:49:18 +0200lislisq
2022-04-28 02:51:03 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 02:51:35 +0200eggplantade(~Eggplanta@108.201.191.115) (Ping timeout: 256 seconds)
2022-04-28 02:56:41 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-28 02:59:33 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-04-28 03:01:00 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 03:01:39 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 246 seconds)
2022-04-28 03:02:54 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 03:03:36 +0200shailangsa(~shailangs@host86-186-127-233.range86-186.btcentralplus.com) (Remote host closed the connection)
2022-04-28 03:04:57 +0200raehik(~raehik@82.21.176.157) (Ping timeout: 276 seconds)
2022-04-28 03:05:46 +0200slack1256(~slack1256@191.125.99.87)
2022-04-28 03:06:15 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 276 seconds)
2022-04-28 03:08:12 +0200king_gs(~Thunderbi@187.201.77.157) (Read error: Connection reset by peer)
2022-04-28 03:09:02 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 03:09:33 +0200stackdroid18(~stackdroi@user/stackdroid)
2022-04-28 03:09:35 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6)
2022-04-28 03:14:44 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 03:20:09 +0200xff0x_(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp)
2022-04-28 03:24:10 +0200oxide(~lambda@user/oxide)
2022-04-28 03:27:04 +0200stackdroid18(~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-04-28 03:27:41 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 03:28:04 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
2022-04-28 03:33:34 +0200 <liz> is there a good way to write post-subtraction by a fixed number in a pointless-esque fashion? since (-1) has type (Num a) => a rather than (Num a) => a -> a, i've resorted to (\x -> x-1), but is there a nicer way to write that?
2022-04-28 03:33:44 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 03:34:27 +0200 <shachaf> subtract 1
2022-04-28 03:34:45 +0200 <shachaf> You can also ask lambdabot:
2022-04-28 03:34:48 +0200 <shachaf> @pl \x -> x - 1
2022-04-28 03:34:48 +0200 <lambdabot> subtract 1
2022-04-28 03:34:58 +0200 <liz> oh wow, i didn't know lambdabot could do that
2022-04-28 03:35:00 +0200 <liz> thanks
2022-04-28 03:35:26 +0200 <maerwald[m]> Yeah, shove all your code through @pl :p
2022-04-28 03:35:47 +0200 <exarkun> what is pl mnemonic for
2022-04-28 03:35:53 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 03:38:38 +0200 <maerwald[m]> Pointless
2022-04-28 03:39:01 +0200 <exarkun> aha
2022-04-28 03:39:32 +0200 <exarkun> ty
2022-04-28 03:40:07 +0200 <EvanR> @src subtract
2022-04-28 03:40:07 +0200 <lambdabot> subtract x y = y - x
2022-04-28 03:40:50 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-28 03:41:02 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2022-04-28 03:41:54 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds)
2022-04-28 03:43:57 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 03:44:02 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-28 03:44:03 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-28 03:44:03 +0200wroathe(~wroathe@user/wroathe)
2022-04-28 03:44:32 +0200andrey_(~andrey@p200300dbcf11ae00e8dd79092b2d901b.dip0.t-ipconnect.de)
2022-04-28 03:45:07 +0200shailangsa(~shailangs@host86-186-127-233.range86-186.btcentralplus.com)
2022-04-28 03:45:15 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-04-28 03:45:47 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-28 03:45:54 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 03:47:01 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-28 03:47:04 +0200andrey(~andrey@p200300dbcf1ab3003d09e35965a7a51b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-04-28 03:48:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 03:49:21 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-28 03:49:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 03:51:28 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 03:52:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-28 03:54:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-28 03:54:06 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 03:55:15 +0200slack1256(~slack1256@191.125.99.87) (Remote host closed the connection)
2022-04-28 03:55:22 +0200Codaraxis(~Codaraxis@user/codaraxis) (Quit: Leaving)
2022-04-28 03:59:24 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
2022-04-28 04:01:02 +0200kaph_(~kaph@net-2-42-128-49.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-04-28 04:01:36 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 04:02:15 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving)
2022-04-28 04:04:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-04-28 04:05:53 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-28 04:06:39 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 04:10:55 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-28 04:11:19 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-04-28 04:12:04 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-04-28 04:13:19 +0200 <energizer> is there a tool that takes an expression and makes it point free?
2022-04-28 04:14:12 +0200 <maerwald[m]> https://hackage.haskell.org/package/pointfree
2022-04-28 04:16:56 +0200 <energizer> cool
2022-04-28 04:25:20 +0200 <abastro[m]> @pointfree \x -> x
2022-04-28 04:25:20 +0200 <lambdabot> Unknown command, try @list
2022-04-28 04:25:30 +0200 <abastro[m]> Hm maybe not that
2022-04-28 04:25:38 +0200 <abastro[m]> Ah right, pointless
2022-04-28 04:28:37 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Remote host closed the connection)
2022-04-28 04:29:55 +0200king_gs(~Thunderbi@187.201.77.157)
2022-04-28 04:30:33 +0200lainon(lainon@gateway/vpn/protonvpn/lainon) (Ping timeout: 246 seconds)
2022-04-28 04:34:35 +0200 <dsal> @pl \x -> x + 1 * x + 2
2022-04-28 04:34:36 +0200 <lambdabot> (2 +) . join (+)
2022-04-28 04:35:19 +0200td_(~td@muedsl-82-207-238-136.citykom.de) (Ping timeout: 240 seconds)
2022-04-28 04:37:22 +0200td_(~td@muedsl-82-207-238-120.citykom.de)
2022-04-28 04:40:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-04-28 04:40:47 +0200renzhi(~xp@2607:fa49:6500:b100::19a0) (Ping timeout: 260 seconds)
2022-04-28 04:44:33 +0200gpncarl_(~gpncarl@222.249.231.3) (Ping timeout: 246 seconds)
2022-04-28 04:44:58 +0200gpncarl_(~gpncarl@210.12.195.5)
2022-04-28 04:46:27 +0200phma(~phma@2001:5b0:212a:9cb8:c177:4ec8:e751:fbba) (Read error: Connection reset by peer)
2022-04-28 04:46:57 +0200phma(phma@2001:5b0:212a:9cb8:7117:122:dd12:889b)
2022-04-28 04:50:43 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-04-28 04:50:45 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 04:52:17 +0200renzhi(~xp@2607:fa49:6500:b100::1d4a)
2022-04-28 04:56:42 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 04:56:57 +0200mbuf(~Shakthi@122.174.179.128)
2022-04-28 04:58:57 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 04:58:58 +0200king_gs(~Thunderbi@187.201.77.157) (Read error: Connection reset by peer)
2022-04-28 04:58:59 +0200notzmv(~zmv@user/notzmv)
2022-04-28 04:59:42 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6)
2022-04-28 05:04:33 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 05:06:55 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 05:08:06 +0200AlexZenon(~alzenon@94.233.241.106) (Ping timeout: 272 seconds)
2022-04-28 05:08:06 +0200Alex_test(~al_test@94.233.241.106) (Ping timeout: 272 seconds)
2022-04-28 05:09:45 +0200AlexNoo(~AlexNoo@94.233.241.106) (Ping timeout: 276 seconds)
2022-04-28 05:13:00 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 05:13:28 +0200hexfive(~eric@50.35.83.177)
2022-04-28 05:13:30 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 05:14:51 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 05:14:59 +0200d34df00d(~d34df00d@2600:1700:8c60:3a10::46)
2022-04-28 05:16:40 +0200Guest|50(~Guest|50@123.119.77.244)
2022-04-28 05:17:37 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-04-28 05:18:51 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-04-28 05:19:21 +0200Guest|50(~Guest|50@123.119.77.244) (Client Quit)
2022-04-28 05:20:27 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2022-04-28 05:20:48 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 05:20:57 +0200zaquest(~notzaques@5.130.79.72)
2022-04-28 05:21:18 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds)
2022-04-28 05:24:25 +0200notzmv(~zmv@user/notzmv)
2022-04-28 05:50:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-28 05:52:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-28 05:53:13 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-04-28 05:58:00 +0200k8yun(~k8yun@user/k8yun)
2022-04-28 05:59:52 +0200mvk(~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 248 seconds)
2022-04-28 06:02:36 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 246 seconds)
2022-04-28 06:11:11 +0200cyphase(~cyphase@user/cyphase)
2022-04-28 06:16:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 06:16:09 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2022-04-28 06:20:42 +0200anomal(~anomal@87.227.196.109)
2022-04-28 06:23:16 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 06:32:31 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 06:38:02 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-04-28 06:44:37 +0200HaskellNoob42(~HaskellNo@cpe-98-149-65-78.natmtn.res.rr.com)
2022-04-28 06:45:53 +0200 <HaskellNoob42> Hello. Although Noob, I've dabbled a little bit... I'm using vscode and today it said ...
2022-04-28 06:47:17 +0200 <HaskellNoob42> How do you want the extension to manage/discover HLS and the relevant toolchain?
2022-04-28 06:47:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-04-28 06:48:06 +0200gentauro(~gentauro@user/gentauro) (Ping timeout: 246 seconds)
2022-04-28 06:48:41 +0200 <HaskellNoob42> I can use ghci 8.8.4 just fine
2022-04-28 06:48:47 +0200 <HaskellNoob42> I have stack 2.7.4 installed.
2022-04-28 06:49:02 +0200 <HaskellNoob42> sorry, stack is at version 2.7.3
2022-04-28 06:49:36 +0200 <HaskellNoob42> do I need GHCup?
2022-04-28 06:54:59 +0200gentauro(~gentauro@user/gentauro)
2022-04-28 06:55:38 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-04-28 07:00:23 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 07:05:14 +0200 <int-e> HaskellNoob42: ghcup manages ghc installations, but stack also manages ghc installations... I don't see why you'd need both
2022-04-28 07:05:44 +0200 <HaskellNoob42> ah-ha! tyvm!
2022-04-28 07:05:46 +0200 <int-e> (but I use neither)
2022-04-28 07:05:53 +0200 <HaskellNoob42> but I'm a noob so I don't know what to do.
2022-04-28 07:06:46 +0200 <HaskellNoob42> started "pair coding" and we are using stack and it's OK, but prior to this I just used ghci
2022-04-28 07:07:43 +0200 <HaskellNoob42> ... it appears that the Haskell extension doesn't know to call the stack assigned version of ghc and hlint and possibly other "real-time" features aren't working like they did before switching to using stack on this project.
2022-04-28 07:08:20 +0200 <HaskellNoob42> any hints? links? buzzwords to search for?
2022-04-28 07:12:34 +0200 <HaskellNoob42> I'm cross posting to discord #haskell-beginners
2022-04-28 07:14:40 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 250 seconds)
2022-04-28 07:18:16 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 07:18:22 +0200jargon(~jargon@174-22-223-120.phnx.qwest.net)
2022-04-28 07:19:56 +0200cyphase(~cyphase@user/cyphase)
2022-04-28 07:28:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 07:31:47 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2022-04-28 07:40:56 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2022-04-28 07:53:32 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 07:58:37 +0200fernand(uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-28 08:01:19 +0200michalz(~michalz@185.246.204.107)
2022-04-28 08:03:21 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 246 seconds)
2022-04-28 08:08:54 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 08:10:08 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-28 08:12:02 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-04-28 08:15:00 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 276 seconds)
2022-04-28 08:15:11 +0200HaskellNoob42(~HaskellNo@cpe-98-149-65-78.natmtn.res.rr.com) (Quit: Connection closed)
2022-04-28 08:17:41 +0200pwug(~pwug@user/pwug)
2022-04-28 08:18:54 +0200michalz(~michalz@185.246.204.107) (Ping timeout: 276 seconds)
2022-04-28 08:19:22 +0200jargon(~jargon@174-22-223-120.phnx.qwest.net) (Remote host closed the connection)
2022-04-28 08:19:43 +0200 <tomsmeding> Hash: are you on linux?
2022-04-28 08:19:46 +0200 <tomsmeding> oops
2022-04-28 08:19:58 +0200 <tomsmeding> sorry for the ping, HaskellNoob42 is gone
2022-04-28 08:20:11 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Remote host closed the connection)
2022-04-28 08:20:28 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6)
2022-04-28 08:20:49 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 08:24:33 +0200michalz(~michalz@185.246.204.125)
2022-04-28 08:25:54 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 08:26:03 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-04-28 08:27:02 +0200king_gs(~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Ping timeout: 250 seconds)
2022-04-28 08:27:16 +0200searemind(~searemind@122.161.51.205)
2022-04-28 08:27:34 +0200searemind(~searemind@122.161.51.205) (Remote host closed the connection)
2022-04-28 08:28:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 08:30:35 +0200k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-04-28 08:31:45 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 08:37:09 +0200mikoto-chan(~mikoto-ch@84.199.144.234)
2022-04-28 08:38:33 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:1533:4fc9:63cf:5710)
2022-04-28 08:41:46 +0200chele(~chele@user/chele)
2022-04-28 08:42:15 +0200oxide(~lambda@user/oxide)
2022-04-28 08:43:26 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 272 seconds)
2022-04-28 08:44:30 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-04-28 08:49:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 08:54:39 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-04-28 08:55:36 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-04-28 08:57:37 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-04-28 08:58:22 +0200prasad(~user@c-73-170-49-136.hsd1.ca.comcast.net)
2022-04-28 08:59:04 +0200 <prasad> Hi Can someone help me write https://paste.debian.net/1239277 with do notation
2022-04-28 09:01:43 +0200 <int-e> Hmm, that wouldn't be an improvement? I guess a <* b would become do result <- a; b; return result.
2022-04-28 09:02:34 +0200notzmv(~zmv@user/notzmv)
2022-04-28 09:02:45 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 09:03:09 +0200 <int-e> @undo do foo
2022-04-28 09:03:09 +0200 <lambdabot> foo
2022-04-28 09:03:16 +0200 <int-e> @redo foo
2022-04-28 09:03:16 +0200 <lambdabot> Maybe you meant: undo todo do
2022-04-28 09:03:23 +0200 <int-e> aww :P
2022-04-28 09:04:17 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 09:04:24 +0200 <prasad> So it would assign everything to result till eof and return result
2022-04-28 09:04:24 +0200acidjnk(~acidjnk@p200300d0c73b4546285ee8556b304883.dip0.t-ipconnect.de)
2022-04-28 09:08:14 +0200 <int-e> I'd prefer to leave that as is, and learn how to read `<*` and `*>` instead: they point to which action the result comes from (the other result is ignored).
2022-04-28 09:09:37 +0200 <prasad> Thank you
2022-04-28 09:09:44 +0200prasad(~user@c-73-170-49-136.hsd1.ca.comcast.net) (Quit: ERC (IRC client for Emacs 27.1))
2022-04-28 09:10:58 +0200 <tomsmeding> @do foo
2022-04-28 09:10:58 +0200 <lambdabot> foo
2022-04-28 09:11:11 +0200 <tomsmeding> @do a >>= b
2022-04-28 09:11:11 +0200 <lambdabot> do { c <- a; b c}
2022-04-28 09:11:16 +0200 <tomsmeding> @do a <* b
2022-04-28 09:11:16 +0200 <lambdabot> a <* b
2022-04-28 09:11:18 +0200 <tomsmeding> heh
2022-04-28 09:12:14 +0200 <tomsmeding> that missing space before the } though
2022-04-28 09:12:33 +0200 <tomsmeding> int-e: minorest feature request ever, ^
2022-04-28 09:13:00 +0200 <int-e> yeah I need to give lambdabot some love
2022-04-28 09:13:27 +0200 <tomsmeding> not sure this particular thing is actually worth spending time on though :p
2022-04-28 09:13:42 +0200forell(~forell@user/forell)
2022-04-28 09:13:55 +0200 <int-e> Though this particular thing may be rooted in haskell-src-exts...
2022-04-28 09:15:39 +0200 <int-e> (yeah, it is based on that; it uses prettyPrintWithMode (defaultMode { layout = PPInLine }) to transform an expression back to a string)
2022-04-28 09:16:42 +0200 <int-e> Of course it may have been fixed there by now...
2022-04-28 09:17:14 +0200 <int-e> (someone (tm) should test this)
2022-04-28 09:17:34 +0200 <tomsmeding> `> prettyPrintWithMode (defaultMode { layout = PPInLine }) (Do () [Qualifier () (Var () (UnQual () (Ident () "a")))])` -> `"do { a}"`
2022-04-28 09:17:50 +0200 <int-e> oh, thanks!
2022-04-28 09:18:28 +0200 <tomsmeding> seems it chose haskell-src-exts-1.23.1, which is also the latest on hackage
2022-04-28 09:18:51 +0200 <tomsmeding> int-e: thanks for giving that prettyPrintWithMode syntax, that saved some time :p
2022-04-28 09:20:57 +0200int-eplays the not-my-bug card then.
2022-04-28 09:21:08 +0200 <tomsmeding> int-e: looks like this is the culprit? https://hackage.haskell.org/package/haskell-src-exts-1.23.1/docs/src/Language.Haskell.Exts.Pretty.…
2022-04-28 09:21:20 +0200 <tomsmeding> that space on one side only definitely looks familiar
2022-04-28 09:21:40 +0200 <tomsmeding> came there through 'instance Pretty (Exp l)' -> 'ppBody' -> 'flatBlock'
2022-04-28 09:21:49 +0200 <int-e> so it prepends a space, but doesn't append one... yeah, plausible.
2022-04-28 09:22:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-28 09:22:08 +0200 <tomsmeding> lol see also the comment above
2022-04-28 09:22:56 +0200 <tomsmeding> seems the haskell-src-exts author is of the opinion that there should be spaces on neither side, but because of dumb reasons the initial space is sometimes needed anyway
2022-04-28 09:24:14 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 09:24:26 +0200 <int-e> @do -1 >> -2
2022-04-28 09:24:26 +0200 <lambdabot> do { -1; -2}
2022-04-28 09:24:31 +0200 <int-e> (lol)
2022-04-28 09:24:44 +0200 <tomsmeding> yes
2022-04-28 09:24:50 +0200alp_(~alp@user/alp)
2022-04-28 09:24:51 +0200cfricke(~cfricke@user/cfricke)
2022-04-28 09:25:04 +0200 <tomsmeding> I wonder whether the author foresaw that or they got a bug report at some point
2022-04-28 09:25:10 +0200 <int-e> but I guess we can have both a Monad and a Num instance for the same thing.
2022-04-28 09:25:33 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-28 09:25:40 +0200 <tomsmeding> definitely not invalid enough to not support it
2022-04-28 09:26:07 +0200 <int-e> (ala instance (Num a, Monad m) => Num (m a) where negate = fmap negate... though not precisely like that, hopefully)
2022-04-28 09:26:55 +0200 <tomsmeding> aren't polynomials a monad where binding is substitution for the variable
2022-04-28 09:27:51 +0200 <tomsmeding> (or, easier to see, 'join' just observes that a polynomial over polynomials in x is just, well, a polynomial in x)
2022-04-28 09:27:54 +0200 <int-e> with implicit variables (like de Bruijn indices)? I suppse they are...
2022-04-28 09:28:02 +0200 <tomsmeding> no over 1 variable
2022-04-28 09:28:48 +0200 <int-e> I think we have two different views on the same thing
2022-04-28 09:29:02 +0200pwug(~pwug@user/pwug) (Remote host closed the connection)
2022-04-28 09:29:11 +0200Midjak(~Midjak@82.66.147.146)
2022-04-28 09:29:23 +0200 <int-e> Anyway, yes, it's not totally absurd that a monad action would start with `-`.
2022-04-28 09:29:36 +0200 <tomsmeding> data Poly c = Poly [c] ; eval :: Num c => c -> Poly c -> c ; eval x (Poly coefs) = sum (zipWith (*) coefs (iterate (*x) 1))
2022-04-28 09:30:01 +0200 <tomsmeding> or is this just the list monad lol
2022-04-28 09:30:17 +0200 <int-e> nope, it isn't.
2022-04-28 09:30:40 +0200 <tomsmeding> in any case, yes, what you said
2022-04-28 09:31:19 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 09:32:18 +0200 <int-e> I guess you don't have a monad in Hask at all... because `join` needs to do arithmetic under both possible interpretations (one interpretation does substitution; the other interpretation equates two variables; actually there may be more...)
2022-04-28 09:32:21 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-28 09:32:35 +0200 <tomsmeding> oh, that's true
2022-04-28 09:33:00 +0200xkuru(~xkuru@user/xkuru)
2022-04-28 09:34:34 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-04-28 09:35:03 +0200mjacob(~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer)
2022-04-28 09:36:00 +0200gpncarl_(~gpncarl@210.12.195.5) (Ping timeout: 272 seconds)
2022-04-28 09:36:12 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-04-28 09:37:47 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2022-04-28 09:37:55 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-28 09:38:03 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds)
2022-04-28 09:40:21 +0200mjacob(~mjacob@adrastea.uberspace.de)
2022-04-28 09:41:15 +0200 <int-e> tomsmeding: I could blindly replace "} by
2022-04-28 09:41:43 +0200 <int-e> "}" by " }" in the output. Surely noone would ever use silly things like '}' or "}" in do notation ;-)
2022-04-28 09:42:40 +0200 <int-e> The realistic outcome is that I won't bother.
2022-04-28 09:43:19 +0200 <dminuoso> Who is responsible for yahb? I miss it.
2022-04-28 09:44:39 +0200 <tomsmeding> I have heard say that it was mniip
2022-04-28 09:45:02 +0200 <tomsmeding> int-e: yeah not sure if text replacement will make the situation really better overall :p
2022-04-28 09:47:50 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-28 09:51:34 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-28 09:51:53 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 09:53:48 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 10:01:29 +0200Pickchea(~private@user/pickchea)
2022-04-28 10:03:10 +0200gpncarl_(~gpncarl@222.249.231.3)
2022-04-28 10:05:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 10:10:47 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2)
2022-04-28 10:12:11 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2022-04-28 10:13:07 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-04-28 10:13:41 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:b84f:4169:17c8:af5)
2022-04-28 10:15:01 +0200_xor(~xor@74.215.232.169) (Quit: WeeChat 3.4.1)
2022-04-28 10:16:39 +0200sprout(~quassel@2a02-a467-ccd6-1-c2b-6618-4046-f43a.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-04-28 10:19:03 +0200anomal(~anomal@87.227.196.109) (Remote host closed the connection)
2022-04-28 10:19:05 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-28 10:20:33 +0200gehmehgeh(~user@user/gehmehgeh)
2022-04-28 10:20:43 +0200 <int-e> wow, yahb is almost 5 years old (its first time was 2017-08-02 13:31:34 (UTC? Not sure, whatever the tunes.org logs used...)
2022-04-28 10:21:59 +0200dextaa4(~dextaa@user/dextaa)
2022-04-28 10:21:59 +0200 <int-e> Anyway, mniip was the owner then and I don't think that ever changed. :)
2022-04-28 10:22:58 +0200 <Andrew> https://termbin.com/cvs3 - Faking Haskell typing and currying in Python
2022-04-28 10:23:58 +0200 <int-e> Andrew: that's terrible... so in that spirit, can't you name all the functions the same?
2022-04-28 10:24:37 +0200 <Andrew> int-e: That'd cause some infinite recursion
2022-04-28 10:25:17 +0200f-a(f2a@f2a.jujube.ircnow.org) ()
2022-04-28 10:25:27 +0200 <Andrew> At least I assume so
2022-04-28 10:25:46 +0200 <Andrew> Python lambda expressions would have worked, but then I don't get static typing with mypy
2022-04-28 10:26:27 +0200 <int-e> Andrew: it wouldn't (I tested it)
2022-04-28 10:26:46 +0200 <int-e> the scoping works out just the way you need
2022-04-28 10:26:59 +0200 <abastro[m]> Whag happened with mniip hmm
2022-04-28 10:27:11 +0200 <Andrew> int-e: That's nice
2022-04-28 10:27:21 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-04-28 10:28:34 +0200 <abastro[m]> % 3 + 2
2022-04-28 10:28:48 +0200 <abastro[m]> Oh yahb is ded :<
2022-04-28 10:32:29 +0200 <int-e> Oh, the cloak it used was user/mniip/bot/yahb, that's pretty conclusive.
2022-04-28 10:32:48 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 276 seconds)
2022-04-28 10:33:06 +0200 <int-e> @seen mniip
2022-04-28 10:33:06 +0200 <lambdabot> I saw mniip leaving #haskell-offtopic, #haskell-blah, #ghc and #haskell 13d 14h 59m 9s ago.
2022-04-28 10:33:12 +0200 <int-e> @seen mniip_
2022-04-28 10:33:13 +0200 <lambdabot> I saw mniip_ leaving #haskell-offtopic, #ghc, #haskell and #haskell-blah 6d 50m 56s ago.
2022-04-28 10:33:26 +0200 <int-e> @seen yahb
2022-04-28 10:33:26 +0200 <lambdabot> I saw yahb leaving #haskell-beginners and #haskell 6d 58m 55s ago.
2022-04-28 10:33:47 +0200 <int-e> (I almost forgot that I reactivated that a while ago)
2022-04-28 10:34:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 10:38:00 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 276 seconds)
2022-04-28 10:38:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 10:38:38 +0200dextaa4(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-28 10:39:40 +0200Guest45(~Guest45@2001:718:1e03:802:0:340:c371:1588)
2022-04-28 10:39:41 +0200mmhat(~mmh@55d4d51f.access.ecotel.net)
2022-04-28 10:40:14 +0200Guest45(~Guest45@2001:718:1e03:802:0:340:c371:1588) (Client Quit)
2022-04-28 10:43:03 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-28 10:44:35 +0200frost(~frost@user/frost)
2022-04-28 10:45:00 +0200 <abastro[m]> int-e: Oh, mniip lost hope on haskell I guess? :<
2022-04-28 10:46:33 +0200dextaa4(~dextaa@user/dextaa)
2022-04-28 10:46:53 +0200 <Andrew> I'm surprised that there aren't many libraries and packages that handle async TCP sockets
2022-04-28 10:48:04 +0200 <Andrew> There is `async', but it seems undocumented for the most part
2022-04-28 10:48:27 +0200 <dminuoso> That's sort of by design.
2022-04-28 10:48:52 +0200 <dminuoso> Just set up multiple threads and use STM to facilitate communication between them
2022-04-28 10:49:11 +0200 <Andrew> damn
2022-04-28 10:49:25 +0200 <dminuoso> The way the GHC RTS is set up with its I/O manager, is that you get a blocking interface but async implementation behind it.
2022-04-28 10:49:44 +0200 <dminuoso> It's way more comfortable than the alternatives.
2022-04-28 10:52:13 +0200 <abastro[m]> By design?
2022-04-28 10:52:29 +0200 <abastro[m]> Why
2022-04-28 10:52:33 +0200 <Andrew> I also, in Python, define functions inside functions that return the child function to "fake" IO etches
2022-04-28 10:52:53 +0200 <abastro[m]> Is having no convenience library is by design, hmm
2022-04-28 10:53:30 +0200 <int-e> abastro[m]: no clue. But the last time mniip "spoke" was https://ircbrowse.tomsmeding.com/day/lchaskell/2021/12/23?id=338036#trid338036 (as far as covered by those logs)... that's 4 months ago...
2022-04-28 10:54:39 +0200 <Andrew> Having no convenience library by design, bruh
2022-04-28 10:54:46 +0200Andrewimagines Haskell not having pragmatics
2022-04-28 10:58:23 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 10:59:31 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-04-28 11:00:08 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Quit: You have been kicked for being idle)
2022-04-28 11:00:41 +0200 <int-e> abastro[m]: He's russian, so there's all sorts of imaginable complications right now. :-/
2022-04-28 11:00:55 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2022-04-28 11:01:01 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) ()
2022-04-28 11:01:40 +0200 <int-e> (Looking at https://github.com/mniip ...mainly I was checking whether the xsBot repo has any of the yahb-specific stuff... apparently not.)
2022-04-28 11:03:56 +0200 <int-e> On the positive side, there's /some/ recent activity on github.
2022-04-28 11:07:33 +0200coot(~coot@213.134.190.95)
2022-04-28 11:11:07 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2022-04-28 11:11:26 +0200EvanR(~EvanR@user/evanr)
2022-04-28 11:11:38 +0200ubert1(~Thunderbi@2a02:8109:9880:303c:3b7c:41ca:88aa:9f7f)
2022-04-28 11:22:14 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-28 11:22:50 +0200coot(~coot@213.134.190.95)
2022-04-28 11:24:25 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-28 11:26:11 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-04-28 11:33:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-04-28 11:37:43 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-28 11:37:50 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d98c:fe22:c3d0:13a8) (Read error: Connection reset by peer)
2022-04-28 11:38:59 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2022-04-28 11:39:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 11:40:07 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d943:6b0c:877f:9a16)
2022-04-28 11:41:36 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2022-04-28 11:44:34 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2022-04-28 11:45:37 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 11:45:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-28 11:48:38 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-28 11:52:19 +0200xff0x_(~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds)
2022-04-28 11:57:30 +0200gpncarl_(~gpncarl@222.249.231.3) (Ping timeout: 246 seconds)
2022-04-28 11:59:41 +0200hiredman(~hiredman@frontier1.downey.family)
2022-04-28 12:03:05 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-04-28 12:07:36 +0200cfricke(~cfricke@user/cfricke)
2022-04-28 12:08:58 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection)
2022-04-28 12:14:29 +0200 <abastro[m]> int-e: Yea perhaps just lost faith in haskell being alive
2022-04-28 12:14:57 +0200 <int-e> abastro[m]: Well, I don't know where you got that idea.
2022-04-28 12:15:02 +0200int-eshrugs.
2022-04-28 12:16:15 +0200acidjnk(~acidjnk@p200300d0c73b4546285ee8556b304883.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-28 12:17:00 +0200 <abastro[m]> <del>Perhaps I am projecting</del>
2022-04-28 12:17:14 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-28 12:17:17 +0200 <abastro[m]> I myself did not yet lose faith, at least.
2022-04-28 12:19:17 +0200Vajb(~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b)
2022-04-28 12:19:21 +0200 <jackdk> It's never been a better year to write Haskell
2022-04-28 12:19:40 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-28 12:19:46 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1)
2022-04-28 12:19:54 +0200 <abastro[m]> Oh, I did not mean that
2022-04-28 12:20:29 +0200 <abastro[m]> I meant more like, they perhaps moved on. It's not like haskell is becoming mainstream (I say that as alive)
2022-04-28 12:21:39 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
2022-04-28 12:21:48 +0200hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.5)
2022-04-28 12:23:00 +0200pja(~pja@217.155.153.14)
2022-04-28 12:23:00 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Read error: Connection reset by peer)
2022-04-28 12:23:12 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 272 seconds)
2022-04-28 12:23:19 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-04-28 12:23:21 +0200 <tomsmeding> that's a fairly uncommon definition of 'alive' :p
2022-04-28 12:24:24 +0200hexfive(~eric@50.35.83.177)
2022-04-28 12:25:11 +0200 <abastro[m]> Yep, I wanted to classify fortran as dead
2022-04-28 12:29:24 +0200sprout(~quassel@2a02-a45f-f170-1-d8e9-1b51-75ba-a76b.fixed6.kpn.net)
2022-04-28 12:33:15 +0200Guest24(~Guest24@guests-out.ms.mff.cuni.cz)
2022-04-28 12:34:28 +0200Guest24(~Guest24@guests-out.ms.mff.cuni.cz) (Client Quit)
2022-04-28 12:36:15 +0200coot(~coot@213.134.190.95)
2022-04-28 12:37:53 +0200 <maralorn> Honestly my main shift in thinking about this whole topic was that I don't think anymore that Haskell has to be mainstream.
2022-04-28 12:42:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2022-04-28 12:42:09 +0200robosexual-(~spaceoyst@77.223.90.202)
2022-04-28 12:42:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-04-28 12:45:17 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-04-28 12:45:51 +0200robosexual-(~spaceoyst@77.223.90.202) (Client Quit)
2022-04-28 12:46:13 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 12:46:32 +0200liz(~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal)
2022-04-28 12:50:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-28 12:51:30 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-04-28 12:57:22 +0200gpncarl_(~gpncarl@210.12.195.5)
2022-04-28 12:57:30 +0200kraftwerk28(~kraftwerk@178.62.210.83) (Read error: Connection reset by peer)
2022-04-28 13:00:14 +0200 <Sqaure> What would you say is the least hassle-free method of installing cabal+ghc for beginners?
2022-04-28 13:00:43 +0200 <Sqaure> eh "most hassle-free"*
2022-04-28 13:00:45 +0200 <abastro[m]> ghcup
2022-04-28 13:00:57 +0200 <Sqaure> (...for windows and linux)
2022-04-28 13:00:57 +0200 <abastro[m]> What
2022-04-28 13:01:10 +0200tcard(~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2022-04-28 13:01:29 +0200 <Sqaure> abastro[m], what?
2022-04-28 13:01:38 +0200 <abastro[m]> Oh, you dislike typing a bit powershell?
2022-04-28 13:02:02 +0200 <abastro[m]> - bit in powershell*
2022-04-28 13:02:54 +0200 <Sqaure> abastro[m], oh, i was just completing the question. I've never done haskell on windows so i have no clue about it =D
2022-04-28 13:03:05 +0200 <Sqaure> sounds good enough for me.
2022-04-28 13:03:23 +0200 <Sqaure> "WSL2" or whatever its called
2022-04-28 13:03:27 +0200 <abastro[m]> Oh, sorry about it
2022-04-28 13:03:41 +0200 <abastro[m]> I just found out you were correcting your question.
2022-04-28 13:03:52 +0200 <Sqaure> np
2022-04-28 13:03:55 +0200 <abastro[m]> I'd say, first try on native windows
2022-04-28 13:04:00 +0200 <Sqaure> thanks for the info. Sounds good.
2022-04-28 13:04:06 +0200 <abastro[m]> WSL is not worth it until you actually get into problems I think
2022-04-28 13:04:54 +0200 <Sqaure> the ghcup page has the title "To install on Linux, macOS, FreeBSD or WSL2"
2022-04-28 13:05:04 +0200 <Sqaure> is it possible to use it on native windows?
2022-04-28 13:05:40 +0200 <Sqaure> maybe it detects i use linux?
2022-04-28 13:05:52 +0200kraftwerk28(~kraftwerk@178.62.210.83)
2022-04-28 13:06:11 +0200tcard(~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp)
2022-04-28 13:06:11 +0200Vajb(~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer)
2022-04-28 13:06:13 +0200 <abastro[m]> I guess it could detect that
2022-04-28 13:06:43 +0200 <abastro[m]> There is small "show all platforms" button
2022-04-28 13:07:21 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-28 13:07:49 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-28 13:08:55 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 13:09:23 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp)
2022-04-28 13:15:19 +0200apache2(apache2@anubis.0x90.dk)
2022-04-28 13:18:34 +0200 <apache2> hi! I'm a haskell beginner and I'm trying to write some patches for an existing project. It's using the packages Tasty, Hspec, Hedgehog for the test suite. While developing I'd like to inspect values at various points in the execution of the tests I'm writing. I've tried "Debug.Trace", but nothing appears on my terminal. I don't know if it's because one of those libraries slurp up stderr, or if I'm doing
2022-04-28 13:18:34 +0200 <apache2> something wrong. Is there a debugger that people use, or what's generally the best strategy to achieve what I want?
2022-04-28 13:19:00 +0200 <apache2> I've been trying really hard to avoid wrapping things in the IO monad since the functions I'm modifying are otherwise pure.
2022-04-28 13:19:32 +0200 <opqdonut> you probably need to put hedgehog in verbose mode to get output for testst that pass
2022-04-28 13:20:13 +0200 <opqdonut> not sure how that's done, haven't used hedgehog
2022-04-28 13:20:37 +0200kilolympus(~kilolympu@31.205.200.235)
2022-04-28 13:21:13 +0200 <apache2> oh, I had not considered that was an option. I'll check that out.
2022-04-28 13:21:13 +0200 <opqdonut> tasty also has some flags like HideSuccesses
2022-04-28 13:21:15 +0200 <opqdonut> and Quiet
2022-04-28 13:21:27 +0200dhil(~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net)
2022-04-28 13:21:41 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-04-28 13:22:26 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-28 13:23:26 +0200 <opqdonut> as a last resort you could write your own trace function that appends to a file :)
2022-04-28 13:24:05 +0200 <opqdonut> the source of `trace` is pretty simple: https://hackage.haskell.org/package/base-4.16.1.0/docs/src/Debug-Trace.html#trace
2022-04-28 13:24:16 +0200 <opqdonut> the key parts are NOINLINE and unsafePerformIO
2022-04-28 13:25:07 +0200 <apache2> good point
2022-04-28 13:27:44 +0200zeenk(~zeenk@81.196.164.53)
2022-04-28 13:30:12 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 240 seconds)
2022-04-28 13:34:25 +0200 <jackdk> apache2: if you are running tests via `cabal test`, you may need `--test-show-details=streaming`
2022-04-28 13:35:20 +0200 <jackdk> Sqaure: I was very impressed with the native windows version of GHCup last time I needed a haskell compiler on windows
2022-04-28 13:35:22 +0200alex``(~user@37.red-88-1-75.dynamicip.rima-tde.net)
2022-04-28 13:36:28 +0200 <Sqaure> jackdk, glad to hear!
2022-04-28 13:36:38 +0200 <tomsmeding> (perhaps then haskell.org/ghcup needs to be updated that it supports native windows instead of only WSL2?)
2022-04-28 13:37:17 +0200 <jackdk> tomsmeding: if you click "show all platforms" it gives you a powershell command to paste which installs a native windows version
2022-04-28 13:37:22 +0200 <tomsmeding> oh wait it does lol yes
2022-04-28 13:37:26 +0200tomsmedingis blind
2022-04-28 13:38:25 +0200 <abastro[m]> Oh, it doesn't automatically adapt based on your OS?
2022-04-28 13:38:26 +0200 <apache2> jackdk: I'm using "stack test" but I'll try cabal test
2022-04-28 13:38:30 +0200 <abastro[m]> THAT needs to be fixed then
2022-04-28 13:38:38 +0200 <tomsmeding> abastro[m]: probably, but I'm not on windows currently :p
2022-04-28 13:38:54 +0200 <jackdk> abastro[m]: probably, but I'm not on windows currently :p
2022-04-28 13:39:11 +0200tomsmedinghears an echo
2022-04-28 13:39:22 +0200jackdkhears an echo
2022-04-28 13:39:24 +0200 <jackdk> apache2: there may be a similar argument for `stack test`; I don't use stack so I don't know
2022-04-28 13:39:58 +0200 <apache2> thanks for thesuggestions everyone, I'll report back when I get it working.
2022-04-28 13:40:19 +0200 <apache2> I'm also trying to make an executable to use the library
2022-04-28 13:40:30 +0200 <tomsmeding> fairly sure `stack test` shows all output
2022-04-28 13:40:38 +0200 <apache2> so far I've been unable to find an incantation that 'stack' doesn't immediately delete from my .cabal file
2022-04-28 13:40:58 +0200 <apache2> tomsmeding: it could be hedgehog or whatever hiding it
2022-04-28 13:41:11 +0200 <tomsmeding> apache2: stack will overwrite your cabal file whatever you do if you have a package.yaml
2022-04-28 13:41:22 +0200 <tomsmeding> so if there is a package.yaml and you're using stack, edit package.yaml instead
2022-04-28 13:41:30 +0200 <apache2> OH, thanks tomsmeding
2022-04-28 13:41:40 +0200 <apache2> indeed I do, and it looks similar
2022-04-28 13:42:15 +0200 <tomsmeding> similar content (to an extent...), different syntax
2022-04-28 13:43:00 +0200 <abastro[m]> tomsmeding: jackdk : I see. Btw the echo functionality is interesting
2022-04-28 13:45:24 +0200 <apache2> tomsmeding: do you know if I can get stack/cabal/whichever to include the git commit as a Text binding at build time so I can have it appended to the version number?
2022-04-28 13:46:25 +0200 <jackdk> apache2: I wouldn't be surprised if there is something on Hackage to do this as a TH splice
2022-04-28 13:47:15 +0200 <jackdk> apache2: https://hackage.haskell.org/package/githash-0.1.6.2/docs/GitHash.html , for example
2022-04-28 13:49:04 +0200mc47(~mc47@xmonad/TheMC47)
2022-04-28 13:49:46 +0200 <apache2> neat!
2022-04-28 13:53:58 +0200cfricke(~cfricke@user/cfricke)
2022-04-28 13:54:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2022-04-28 13:56:59 +0200 <abastro[m]> Why is it so hard to implement dijkstra in haskell
2022-04-28 13:59:16 +0200 <apache2> I think it's available in fgl ?
2022-04-28 14:00:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-28 14:01:46 +0200 <jackdk> https://hackage.haskell.org/package/search-algorithms-0.3.1/docs/Algorithm-Search.html#v:dijkstra I adore this interface
2022-04-28 14:05:03 +0200 <abastro[m]> Hm, is it dijkstra or shortest_path_faster_algorithm
2022-04-28 14:05:30 +0200pwug(~pwug@user/pwug)
2022-04-28 14:09:35 +0200zeenk2(~zeenk@86.121.152.57)
2022-04-28 14:10:19 +0200 <apache2> I'm trying to pull this in: https://hackage.haskell.org/package/diagnose-1.8.1/docs/Error-Diagnose.html it says "This needs the flag diagnose:megaparsec-compat to be enabled." <-- what does that mean?
2022-04-28 14:12:09 +0200zeenk(~zeenk@81.196.164.53) (Ping timeout: 256 seconds)
2022-04-28 14:12:31 +0200 <geekosaur> you need to build the diagnose package with `--flags megaparsec-compat`
2022-04-28 14:12:50 +0200 <geekosaur> they're actually using stack syntax there, cabal specifies flags for (sub)projects differently
2022-04-28 14:13:02 +0200kappakappahappa(~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f)
2022-04-28 14:13:31 +0200 <kappakappahappa> hi, for STM there is TQueue which is a first in first out queue. what should i do for a first in last out STM structure?
2022-04-28 14:16:48 +0200 <apache2> geekosaur: this is a flag I'd add to .. stack.yaml ?
2022-04-28 14:17:47 +0200 <geekosaur> not generally, you'd do it on the command line
2022-04-28 14:18:28 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-04-28 14:18:38 +0200 <geekosaur> that package is actually breaking the rules, so there is no convenient way to do it
2022-04-28 14:19:27 +0200 <geekosaur> so in the package that depends on diagnose you do `stack build --flags diagnose:megaparsec-compat`
2022-04-28 14:21:22 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-28 14:22:35 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp) (Read error: Connection reset by peer)
2022-04-28 14:22:38 +0200 <apache2> so the general way to that would be to use a Makefile ?
2022-04-28 14:23:00 +0200 <abastro[m]> Hm actually I might be mistaken about dijkstra by one SO answer/comment
2022-04-28 14:23:30 +0200 <abastro[m]> https://stackoverflow.com/questions/14012603/how-to-implement-dijkstra-algorithm-in-haskell
2022-04-28 14:23:31 +0200 <abastro[m]> See the second answer
2022-04-28 14:24:02 +0200 <abastro[m]> So, how is that one a SPFA, not dijkstra?
2022-04-28 14:27:39 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp)
2022-04-28 14:28:03 +0200 <apache2> geekosaur: I can't somehow specify in my import that I want that to happen?
2022-04-28 14:28:57 +0200zeenk2(~zeenk@86.121.152.57) (Quit: Konversation terminated!)
2022-04-28 14:30:49 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6)
2022-04-28 14:31:46 +0200 <geekosaur> no
2022-04-28 14:32:10 +0200 <geekosaur> that's arguably how it *should* work but then they wouldn't be using flags, it'd be a separate package
2022-04-28 14:32:36 +0200 <geekosaur> doing it with flags complicates a lot of things, which is why it's breaking the rules
2022-04-28 14:34:07 +0200 <geekosaur> (in particular stack has to classify packages by what flags they were built with and use that in its solver plan, which makes it much slower when flags come into play like this)
2022-04-28 14:36:09 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!)
2022-04-28 14:38:06 +0200mikoto-chan(~mikoto-ch@84.199.144.234) (Ping timeout: 272 seconds)
2022-04-28 14:38:44 +0200 <apache2> I see, so it's like the optional dependencies in ocaml/opam. :-/
2022-04-28 14:39:09 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 276 seconds)
2022-04-28 14:39:48 +0200 <apache2> well I wish someone would have that argument with the author ; the screenshots do look really nice
2022-04-28 14:41:06 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 276 seconds)
2022-04-28 14:41:36 +0200abastro(~abab9579@220.75.216.63)
2022-04-28 14:42:32 +0200Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-04-28 14:45:24 +0200 <abastro> Does anyone know about SPFA vs dijkstra to answer my question above?
2022-04-28 14:46:45 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 14:48:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-28 14:48:46 +0200lechner(~lechner@debian/lechner) (Quit: WeeChat 3.0)
2022-04-28 14:50:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-28 14:51:02 +0200acidjnk(~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de)
2022-04-28 14:52:42 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 14:55:39 +0200gaff(~gaff@49.207.209.38)
2022-04-28 14:55:46 +0200gaff(~gaff@49.207.209.38) (Client Quit)
2022-04-28 14:55:49 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-28 14:57:30 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-04-28 15:00:47 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds)
2022-04-28 15:03:35 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 15:05:08 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-04-28 15:06:51 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 246 seconds)
2022-04-28 15:13:02 +0200AlexNoo(~AlexNoo@94.233.241.106)
2022-04-28 15:13:21 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-28 15:14:36 +0200Hiring(~Hiring@31.222.238.38)
2022-04-28 15:15:39 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-04-28 15:17:19 +0200acidjnk(~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-28 15:17:27 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6)
2022-04-28 15:19:02 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-04-28 15:19:29 +0200irfan(~irfan@user/irfan)
2022-04-28 15:20:27 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-28 15:21:36 +0200AlexZenon(~alzenon@94.233.241.106)
2022-04-28 15:22:33 +0200kappakappahappa(~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f) (Quit: Leaving)
2022-04-28 15:22:54 +0200skrio(~skrio@52.137.2.93)
2022-04-28 15:23:23 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-04-28 15:23:40 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-04-28 15:25:02 +0200dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1)
2022-04-28 15:26:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-28 15:26:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-28 15:26:56 +0200wroathe(~wroathe@user/wroathe)
2022-04-28 15:28:12 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net) (Ping timeout: 246 seconds)
2022-04-28 15:28:50 +0200[_][itchyjunk]
2022-04-28 15:28:54 +0200xaotuk(~sasha@2a06:5b00:15fe:9b00::2)
2022-04-28 15:30:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 15:30:47 +0200Alex_test(~al_test@94.233.241.106)
2022-04-28 15:31:34 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2022-04-28 15:31:51 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-04-28 15:35:23 +0200Sgeo(~Sgeo@user/sgeo)
2022-04-28 15:35:37 +0200zebrag(~chris@user/zebrag)
2022-04-28 15:36:12 +0200__monty__(~toonn@user/toonn)
2022-04-28 15:36:21 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 276 seconds)
2022-04-28 15:38:31 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-04-28 15:39:09 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-04-28 15:39:30 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 250 seconds)
2022-04-28 15:40:21 +0200skrio(~skrio@52.137.2.93) (Quit: Connection closed)
2022-04-28 15:42:06 +0200tdammers(~tdammers@77.109.72.118.res.static.edpnet.net)
2022-04-28 15:42:43 +0200benin(~benin@183.82.204.110)
2022-04-28 15:50:00 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 276 seconds)
2022-04-28 15:52:32 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 15:54:19 +0200jespada(~jespada@194.37.96.158) (Ping timeout: 240 seconds)
2022-04-28 15:55:50 +0200jespada(~jespada@89.238.130.78)
2022-04-28 15:56:25 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-04-28 15:58:07 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds)
2022-04-28 15:59:29 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-04-28 16:02:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:02:33 +0200AWizzArd(~code@gehrels.uberspace.de) (Ping timeout: 248 seconds)
2022-04-28 16:04:10 +0200AWizzArd(~code@gehrels.uberspace.de)
2022-04-28 16:04:39 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 16:07:39 +0200zyklotomic(~ethan@r4-128-61-95-41.res.gatech.edu) (Ping timeout: 240 seconds)
2022-04-28 16:08:02 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 16:08:31 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-04-28 16:09:18 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 272 seconds)
2022-04-28 16:09:58 +0200zyklotomic(~ethan@res380d-128-61-87-30.res.gatech.edu)
2022-04-28 16:10:31 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:11:42 +0200pwug(~pwug@user/pwug) (Quit: Leaving)
2022-04-28 16:15:21 +0200lechner(lechner@debian/lechner)
2022-04-28 16:16:00 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds)
2022-04-28 16:16:15 +0200Guest5(~Guest5@166.88.172.166) (Quit: Client closed)
2022-04-28 16:17:03 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 16:17:07 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 16:17:24 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-04-28 16:17:34 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:19:51 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2022-04-28 16:23:14 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 16:25:39 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:26:49 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:1533:4fc9:63cf:5710) (Quit: WeeChat 2.8)
2022-04-28 16:31:24 +0200sprout(~quassel@2a02-a45f-f170-1-d8e9-1b51-75ba-a76b.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-04-28 16:33:18 +0200 <shapr> GOOD MORNING!
2022-04-28 16:34:07 +0200Pickchea(~private@user/pickchea)
2022-04-28 16:34:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds)
2022-04-28 16:34:46 +0200 <geekosaur> o/
2022-04-28 16:34:46 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 16:35:07 +0200steerio(~steerio@aviv.kinneret.de)
2022-04-28 16:36:00 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:39:06 +0200pwug(~pwug@user/pwug)
2022-04-28 16:41:19 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds)
2022-04-28 16:43:17 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:47:00 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-04-28 16:48:39 +0200slaydr(~slaydr@173.239.197.101)
2022-04-28 16:49:12 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds)
2022-04-28 16:49:13 +0200 <steerio> hi everyone! I have a question about haskell-language-server. It seems that it builds my entire project under ~/.local/hie-bios, basically duplicating what I already have at ./dist-newstyle.
2022-04-28 16:49:22 +0200 <steerio> Can I tell it to just use that?
2022-04-28 16:49:50 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 272 seconds)
2022-04-28 16:49:52 +0200 <steerio> not .local but .cache, sry
2022-04-28 16:50:13 +0200 <shapr> steerio: I think that happens once unless the files change
2022-04-28 16:50:22 +0200 <shapr> steerio: which it would you want to use the cache?
2022-04-28 16:50:32 +0200 <shapr> gutentag steerio
2022-04-28 16:50:34 +0200slaydr(~slaydr@173.239.197.101) (Quit: Leaving)
2022-04-28 16:50:39 +0200 <shapr> there's also #haskell-language-server if you have more specific questions
2022-04-28 16:50:50 +0200 <steerio> hello :)
2022-04-28 16:50:57 +0200 <steerio> oh, didn't know about that
2022-04-28 16:51:25 +0200 <steerio> thanks
2022-04-28 16:51:28 +0200alx741(~alx741@host-181-198-243-150.netlife.ec)
2022-04-28 16:52:25 +0200 <steerio> shapr: I guess I'm averse to storing everything twice and leaving behind stuff that nothing will clean up, but otherwise that long first startup is my only concern, that's right.
2022-04-28 16:53:08 +0200 <steerio> I've written a script that takes a list of paths to all your projects, and removes everything from ~/.cabal that's not needed by any :)
2022-04-28 16:53:41 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2022-04-28 16:53:42 +0200 <geekosaur> my understanding is that what it builds under there is not quite your project
2022-04-28 16:54:11 +0200 <geekosaur> it's building .hie files (extended version of .hi files) with the information it needs to work
2022-04-28 16:55:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 16:55:56 +0200 <steerio> looks the same to me: https://imgur.com/a/nmok0xR
2022-04-28 16:56:42 +0200sprout(~quassel@2a02-a467-ccd6-1-1c23-6375-d28e-79ab.fixed6.kpn.net)
2022-04-28 16:58:30 +0200alx741(~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds)
2022-04-28 17:00:53 +0200 <geekosaur> hm. I wonder if the .hi files have the same content
2022-04-28 17:01:00 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:b84f:4169:17c8:af5) (Ping timeout: 240 seconds)
2022-04-28 17:01:13 +0200 <geekosaur> sadly that requires extra work to check because they're binary
2022-04-28 17:01:18 +0200ccntrq(~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net)
2022-04-28 17:02:00 +0200 <steerio> the md5sums are different
2022-04-28 17:02:26 +0200 <steerio> but that doesn't necessarily tell much
2022-04-28 17:03:04 +0200 <geekosaur> ghc --show-iface
2022-04-28 17:03:19 +0200 <steerio> there are full paths in the binaries, so obviously hashes will differ :)
2022-04-28 17:04:52 +0200 <steerio> geekosaur: ran that on .hi files from both paths and diffed the outputs; only paths and hashes differ
2022-04-28 17:05:06 +0200 <geekosaur> hm
2022-04-28 17:05:30 +0200 <dminuoso> I have some recursive code that generate lists in chunks, so I end up recursively ++'ing this list together.
2022-04-28 17:05:49 +0200 <geekosaur> then I guess you have to ask the HLS folks why they need a separate build. I thought it was to generate extended interface files
2022-04-28 17:06:06 +0200 <steerio> will do, thx
2022-04-28 17:06:07 +0200 <dminuoso> Is there something more effective to construct a list from chunks?
2022-04-28 17:06:15 +0200 <tomsmeding> dminuoso: difference lists?
2022-04-28 17:06:17 +0200 <geekosaur> (and they're talking about fat interface files that combine that, information used by hoogle and haddock, etc. in a later ghc version)
2022-04-28 17:06:21 +0200 <steerio> geekosaur: worst case I gain some knowledge
2022-04-28 17:06:33 +0200 <dminuoso> tomsmeding: ahh yes.
2022-04-28 17:06:34 +0200 <geekosaur> dminuoso, that sounds like a difflist to me, yeh
2022-04-28 17:06:43 +0200 <tomsmeding> like, representing l by `\l' -> l ++ l'`
2022-04-28 17:07:05 +0200pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 17:07:17 +0200pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2022-04-28 17:08:20 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 250 seconds)
2022-04-28 17:11:10 +0200king_gs(~Thunderbi@187.201.77.157)
2022-04-28 17:12:46 +0200raym(~raym@user/raym) (Quit: kernel update, rebooting...)
2022-04-28 17:14:02 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 17:17:23 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-28 17:20:24 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-04-28 17:20:57 +0200notzmv(~zmv@user/notzmv)
2022-04-28 17:24:17 +0200zer0bitz_(~zer0bitz@2001:2003:f444:8f00:d574:e21:693b:1578)
2022-04-28 17:25:40 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 250 seconds)
2022-04-28 17:25:44 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d943:6b0c:877f:9a16) (Ping timeout: 248 seconds)
2022-04-28 17:27:31 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 17:31:44 +0200king_gs(~Thunderbi@187.201.77.157) (Read error: Connection reset by peer)
2022-04-28 17:32:06 +0200raym(~raym@user/raym)
2022-04-28 17:32:08 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-28 17:33:42 +0200king_gs(~Thunderbi@187.201.77.157)
2022-04-28 17:37:58 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-28 17:38:19 +0200efertone_(~efertone@user/efertone) (Ping timeout: 240 seconds)
2022-04-28 17:41:37 +0200Vajb(~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b)
2022-04-28 17:42:28 +0200efertone(~efertone@user/efertone)
2022-04-28 17:46:27 +0200alex``(~user@37.red-88-1-75.dynamicip.rima-tde.net) (Ping timeout: 246 seconds)
2022-04-28 17:49:11 +0200dextaa4(~dextaa@user/dextaa) (Ping timeout: 256 seconds)
2022-04-28 17:53:41 +0200king_gs(~Thunderbi@187.201.77.157) (Quit: king_gs)
2022-04-28 17:59:03 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-28 18:00:11 +0200nathansquan[m](~nathansqu@2001:470:69fc:105::1:e84c) (Quit: You have been kicked for being idle)
2022-04-28 18:02:20 +0200ubert1(~Thunderbi@2a02:8109:9880:303c:3b7c:41ca:88aa:9f7f) (Remote host closed the connection)
2022-04-28 18:02:21 +0200Vajb(~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer)
2022-04-28 18:02:54 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-28 18:03:44 +0200deadmarshal_(~deadmarsh@95.38.230.38)
2022-04-28 18:04:19 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds)
2022-04-28 18:06:42 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2022-04-28 18:08:09 +0200deadmarshal_(~deadmarsh@95.38.230.38) (Ping timeout: 246 seconds)
2022-04-28 18:08:09 +0200Hiring(~Hiring@31.222.238.38) (Quit: Client closed)
2022-04-28 18:09:27 +0200coot(~coot@213.134.190.95)
2022-04-28 18:10:10 +0200vorpuni(~pvorp@2001:861:3881:c690:400d:aba7:3f62:30f2)
2022-04-28 18:11:02 +0200stackdroid18(14094@user/stackdroid)
2022-04-28 18:12:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-28 18:14:53 +0200EvanR(~EvanR@user/evanr)
2022-04-28 18:16:13 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 18:23:10 +0200lechner(lechner@debian/lechner) (Quit: WeeChat 3.5)
2022-04-28 18:24:04 +0200vicfred(~vicfred@user/vicfred)
2022-04-28 18:24:08 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-28 18:25:35 +0200vorpuni(~pvorp@2001:861:3881:c690:400d:aba7:3f62:30f2) (Remote host closed the connection)
2022-04-28 18:28:14 +0200vorpuni(~pvorp@2001:861:3881:c690:ad1e:ef8b:f571:dc28)
2022-04-28 18:31:05 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2022-04-28 18:31:47 +0200lechner(lechner@debian/lechner)
2022-04-28 18:31:48 +0200xff0x_(~xff0x@om126167099166.29.openmobile.ne.jp) (Ping timeout: 240 seconds)
2022-04-28 18:35:08 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-28 18:35:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 18:36:57 +0200riatre(~quassel@2001:310:6000:f::5198:1) (Quit: http://quassel-irc.org)
2022-04-28 18:37:12 +0200riatre(~quassel@2001:310:6000:f::5198:1)
2022-04-28 18:38:31 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-04-28 18:40:19 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 18:42:48 +0200kappakappahappa(~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f)
2022-04-28 18:42:54 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-28 18:43:48 +0200 <kappakappahappa> hi, is there a function with this signature f :: (m a -> n a) -> ExceptT e m a -> ExceptT e n a ? I'm using MTL.
2022-04-28 18:45:16 +0200 <kappakappahappa> I'm currently using this f g (ExceptT inner) = ExceptT (g inner) using the explicit constructor. This kind of seems awful.
2022-04-28 18:45:22 +0200 <kappakappahappa> Is this an example of a natural transformation?
2022-04-28 18:45:27 +0200 <tomsmeding> kappakappahappa: can that 'm a -> n a' function also be 'forall a. m a -> n a'
2022-04-28 18:45:34 +0200 <tomsmeding> if no, then no; if yes, then what you wrote
2022-04-28 18:45:54 +0200 <kappakappahappa> oh yes
2022-04-28 18:46:10 +0200 <tomsmeding> kappakappahappa: in general, a natural transformation in haskell is anything of the form 'forall a. f a -> g a'; that's then a natural transformation from f to g
2022-04-28 18:46:22 +0200 <tomsmeding> (bit hand-wavy)
2022-04-28 18:46:47 +0200 <tomsmeding> (like, those things are natural transformations in a suitable sense, but there might be other things that can also be called natural transformations)
2022-04-28 18:46:48 +0200benin(~benin@183.82.204.110) (Remote host closed the connection)
2022-04-28 18:47:10 +0200 <kappakappahappa> though this pattern seems to apply to all the other monad transformers e.g. ReaderT r m a
2022-04-28 18:47:19 +0200 <kappakappahappa> is there a function I can use in MTL that generalises?
2022-04-28 18:47:27 +0200 <kappakappahappa> or related library*
2022-04-28 18:47:45 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-04-28 18:48:05 +0200 <tomsmeding> kappakappahappa: not possible for all monad transformers
2022-04-28 18:48:08 +0200 <tomsmeding> e.g. https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Cont.html#t:ContT
2022-04-28 18:48:15 +0200 <tomsmeding> (standard counterexample)
2022-04-28 18:48:40 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-28 18:48:40 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-28 18:48:40 +0200wroathe(~wroathe@user/wroathe)
2022-04-28 18:48:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-04-28 18:48:57 +0200 <tomsmeding> to transform 'ContT r m a' to 'ContT r n a' you need to write something of type: ((a -> m r) -> m r) -> (a -> n r) -> n r
2022-04-28 18:49:48 +0200 <tomsmeding> you can do so if you have 'forall a. m a -> n a' _and_ 'forall a. n a -> m a', but not if you only have the former
2022-04-28 18:50:39 +0200 <tomsmeding> (if you have both: make a 'a -> m r' by post-composing the 'a -> n r' with the 'forall a. m a -> n a', put it in the '(a -> m r) -> m r' to get an 'm r', then convert that to an 'n r' again)
2022-04-28 18:51:29 +0200 <tomsmeding> "ContT is not a functor on the category of monads" -- this seems super relevant
2022-04-28 18:51:52 +0200 <tomsmeding> right, that makes sense, you're kind of fmapping under the monad transformer
2022-04-28 18:52:45 +0200 <shapr> @seen Heffalump
2022-04-28 18:52:45 +0200 <lambdabot> I haven't seen Heffalump.
2022-04-28 18:52:46 +0200 <shapr> aw
2022-04-28 18:52:57 +0200shaprshrugs
2022-04-28 18:53:02 +0200 <tomsmeding> so I guess one could define a class 'FunctorialMonadTrans t' with 'fmapMT :: (forall a. m a -> n a) -> t m a -> t n a' (names are probably really badly chosen)
2022-04-28 18:53:32 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 18:54:45 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Max SendQ exceeded)
2022-04-28 18:55:04 +0200 <geekosaur> looks like they were last on via matrix in early February
2022-04-28 18:55:27 +0200 <geekosaur> @seen Heffalump[m]
2022-04-28 18:55:27 +0200 <lambdabot> I haven't seen Heffalump[m].
2022-04-28 18:55:58 +0200 <kappakappahappa> Ahh thank you tomsmeding. I tried writing a natural transformation for ContT and had trouble.
2022-04-28 18:56:19 +0200 <kappakappahappa> well when you mentioned it to see
2022-04-28 18:56:22 +0200 <kappakappahappa> not that i actually needed that
2022-04-28 18:56:33 +0200kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 276 seconds)
2022-04-28 18:56:40 +0200 <kappakappahappa> i'm just using ExceptT, ReaderT and STM for now
2022-04-28 18:57:21 +0200 <tomsmeding> (STM is not a monad transformer?)
2022-04-28 18:57:27 +0200 <kappakappahappa> yeah
2022-04-28 18:57:27 +0200 <kappakappahappa> i know
2022-04-28 18:57:34 +0200 <tomsmeding> but yeah, should work perfectly for ExceptT and ReaderT :p
2022-04-28 18:57:53 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-04-28 18:57:59 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-04-28 18:58:06 +0200 <kappakappahappa> it does :), ironically i've only used polysemy before but not MTL
2022-04-28 18:58:07 +0200 <c_wraith> ST, on the other hand, clearly should be the S transformer!
2022-04-28 18:58:14 +0200 <kappakappahappa> just a case of which libraries are there
2022-04-28 18:58:33 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 18:58:33 +0200 <kappakappahappa> haha ST the sae transformer
2022-04-28 19:01:19 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-04-28 19:02:53 +0200kaph(~kaph@net-2-42-128-49.cust.vodafonedsl.it)
2022-04-28 19:07:39 +0200econo(uid147250@user/econo)
2022-04-28 19:16:58 +0200 <monochrom> Hrm no Haskell Weekly News today?
2022-04-28 19:19:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 19:19:56 +0200redb(~nmh@136.49.49.211)
2022-04-28 19:22:28 +0200ec(~ec@gateway/tor-sasl/ec)
2022-04-28 19:23:59 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 19:31:08 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2022-04-28 19:31:27 +0200kappakappahappa(~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f) (Read error: Connection reset by peer)
2022-04-28 19:32:06 +0200redb(~nmh@136.49.49.211)
2022-04-28 19:34:57 +0200mbuf(~Shakthi@122.174.179.128) (Quit: Leaving)
2022-04-28 19:37:02 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 19:38:50 +0200redb(~nmh@136.49.49.211)
2022-04-28 19:39:39 +0200anomal(~anomal@87.227.196.109)
2022-04-28 19:44:21 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 19:44:47 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-28 19:45:34 +0200 <EvanR> they'll have to turn in their weapon and license to use Weekly in their name
2022-04-28 19:46:05 +0200redb(~nmh@136.49.49.211)
2022-04-28 19:49:09 +0200noctux(~noctux@user/noctux)
2022-04-28 19:50:48 +0200cfricke(~cfricke@user/cfricke)
2022-04-28 19:51:36 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 19:51:36 +0200Pickchea(~private@user/pickchea) (Ping timeout: 272 seconds)
2022-04-28 19:52:34 +0200redb(~nmh@136.49.49.211)
2022-04-28 19:56:40 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-28 20:00:50 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 20:02:19 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 20:02:49 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-04-28 20:02:51 +0200redb(~nmh@136.49.49.211) (Ping timeout: 276 seconds)
2022-04-28 20:07:21 +0200ccntrq(~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Remote host closed the connection)
2022-04-28 20:07:24 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 276 seconds)
2022-04-28 20:08:05 +0200 <tomsmeding> the week is not yet over :)
2022-04-28 20:08:43 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 20:12:15 +0200acidjnk(~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de)
2022-04-28 20:23:46 +0200redb(~nmh@136.49.49.211)
2022-04-28 20:25:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 20:26:55 +0200jgeerds(~jgeerds@d53604b0.access.ecotel.net)
2022-04-28 20:28:20 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 20:28:23 +0200grantmaki(~grantmaki@50.238.175.134)
2022-04-28 20:31:51 +0200grantmaki(~grantmaki@50.238.175.134) (Quit: Lost terminal)
2022-04-28 20:33:17 +0200redb(~nmh@136.49.49.211)
2022-04-28 20:34:02 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-04-28 20:37:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 20:37:24 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 240 seconds)
2022-04-28 20:39:49 +0200Entertainment(~entertain@104.246.145.85)
2022-04-28 20:44:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 20:45:39 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 246 seconds)
2022-04-28 20:45:48 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!)
2022-04-28 20:46:55 +0200lain9(~lain9@150.129.181.18)
2022-04-28 20:48:31 +0200redb(~nmh@136.49.49.211)
2022-04-28 20:52:12 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-28 20:52:36 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 20:52:50 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 20:57:01 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2022-04-28 20:57:16 +0200lain9(~lain9@150.129.181.18) (Quit: Client closed)
2022-04-28 21:00:02 +0200EvanR(~EvanR@user/evanr) (Read error: Connection reset by peer)
2022-04-28 21:00:05 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-28 21:00:14 +0200EvanR(~EvanR@user/evanr)
2022-04-28 21:03:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 21:05:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-28 21:05:32 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-28 21:06:19 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-04-28 21:06:44 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 21:15:10 +0200bcmiller(~bm3719@66.42.95.185)
2022-04-28 21:20:59 +0200redb(~nmh@136.49.49.211)
2022-04-28 21:24:51 +0200alp_(~alp@user/alp)
2022-04-28 21:25:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 21:30:07 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2022-04-28 21:30:47 +0200finsternis(~X@23.226.237.192)
2022-04-28 21:35:51 +0200pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds)
2022-04-28 21:36:04 +0200pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-04-28 21:37:11 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 21:42:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 21:45:09 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 21:53:14 +0200redb(~nmh@136.49.49.211)
2022-04-28 21:53:21 +0200juri_(~juri@178.63.35.222) (Ping timeout: 276 seconds)
2022-04-28 21:59:20 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6)
2022-04-28 22:00:08 +0200liz(~liz@host109-151-125-217.range109-151.btcentralplus.com)
2022-04-28 22:03:58 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 22:04:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-28 22:05:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 22:10:14 +0200juri_(~juri@178.63.35.222)
2022-04-28 22:12:47 +0200redb(~nmh@136.49.49.211)
2022-04-28 22:14:33 +0200juri_(~juri@178.63.35.222) (Ping timeout: 246 seconds)
2022-04-28 22:19:28 +0200mikoto-chan(~mikoto-ch@213.177.151.239)
2022-04-28 22:19:45 +0200zeenk(~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!)
2022-04-28 22:20:09 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-28 22:22:22 +0200redb(~nmh@136.49.49.211)
2022-04-28 22:25:31 +0200Guest|8(~Guest|8@ip-095-223-074-115.um35.pools.vodafone-ip.de)
2022-04-28 22:25:33 +0200Guest|8(~Guest|8@ip-095-223-074-115.um35.pools.vodafone-ip.de) (Client Quit)
2022-04-28 22:25:52 +0200juri_(~juri@178.63.35.222)
2022-04-28 22:27:24 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 22:28:49 +0200redb(~nmh@136.49.49.211)
2022-04-28 22:29:44 +0200ojsaki(~ojsaki@84.64.137.140)
2022-04-28 22:31:20 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 22:33:06 +0200inversed(~inversed@94.13.111.159) (Ping timeout: 272 seconds)
2022-04-28 22:33:29 +0200Pickchea(~private@user/pickchea)
2022-04-28 22:34:08 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 22:36:54 +0200juri_(~juri@178.63.35.222) (Ping timeout: 276 seconds)
2022-04-28 22:37:38 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-04-28 22:38:20 +0200stackdroid18(14094@user/stackdroid) (Quit: hasta la vista... tchau!)
2022-04-28 22:38:22 +0200inversed(~inversed@94.13.111.159)
2022-04-28 22:38:41 +0200pavonia(~user@user/siracusa)
2022-04-28 22:39:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-28 22:41:57 +0200kilolympus(~kilolympu@31.205.200.235)
2022-04-28 22:42:28 +0200juri_(~juri@178.63.35.222)
2022-04-28 22:43:01 +0200redb(~nmh@136.49.49.211)
2022-04-28 22:45:28 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 250 seconds)
2022-04-28 22:46:02 +0200pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-28 22:47:02 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds)
2022-04-28 22:47:40 +0200juri_(~juri@178.63.35.222) (Ping timeout: 272 seconds)
2022-04-28 22:49:31 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2022-04-28 22:49:34 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-28 22:53:01 +0200juri_(~juri@178.63.35.222)
2022-04-28 22:53:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 22:54:18 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 22:55:38 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 22:56:31 +0200wolfshappen(~waff@irc.furworks.de) (Ping timeout: 260 seconds)
2022-04-28 22:57:08 +0200wolfshappen(~waff@irc.furworks.de)
2022-04-28 22:57:48 +0200juri_(~juri@178.63.35.222) (Ping timeout: 272 seconds)
2022-04-28 23:00:34 +0200ormaaj(~ormaaj@user/ormaaj) (Quit: Reconnecting)
2022-04-28 23:00:41 +0200wolfshappen(~waff@irc.furworks.de) (Read error: Connection reset by peer)
2022-04-28 23:01:12 +0200ormaaj(~ormaaj@user/ormaaj)
2022-04-28 23:02:48 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 250 seconds)
2022-04-28 23:05:04 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 23:05:11 +0200 <koz> Does anyone know how I can inform 'pretty' that I want a [String] to be formatted as 'one item per line'?
2022-04-28 23:05:30 +0200anomal(~anomal@87.227.196.109) (Ping timeout: 252 seconds)
2022-04-28 23:06:55 +0200anomal(~anomal@87.227.196.109)
2022-04-28 23:11:06 +0200kilolympus(~kilolympu@31.205.200.235) (Ping timeout: 272 seconds)
2022-04-28 23:12:08 +0200redb(~nmh@136.49.49.211)
2022-04-28 23:13:37 +0200juri_(~juri@178.63.35.222)
2022-04-28 23:13:53 +0200ystael(~ystael@user/ystael) (Quit: Lost terminal)
2022-04-28 23:14:40 +0200anomal(~anomal@87.227.196.109) (Ping timeout: 252 seconds)
2022-04-28 23:15:00 +0200ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-04-28 23:15:14 +0200ystael(~ystael@user/ystael)
2022-04-28 23:16:22 +0200michalz(~michalz@185.246.204.125) (Remote host closed the connection)
2022-04-28 23:16:43 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-28 23:17:34 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2022-04-28 23:17:39 +0200alp_(~alp@user/alp) (Ping timeout: 240 seconds)
2022-04-28 23:17:52 +0200hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.5)
2022-04-28 23:18:25 +0200juri_(~juri@178.63.35.222) (Ping timeout: 256 seconds)
2022-04-28 23:18:53 +0200juri_(~juri@178.63.35.222)
2022-04-28 23:19:57 +0200anomal(~anomal@87.227.196.109)
2022-04-28 23:21:31 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 23:21:55 +0200yauhsien(~yauhsien@61-231-19-191.dynamic-ip.hinet.net)
2022-04-28 23:26:36 +0200alp_(~alp@user/alp)
2022-04-28 23:28:34 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-04-28 23:30:13 +0200redb(~nmh@136.49.49.211)
2022-04-28 23:31:51 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-04-28 23:32:14 +0200kuribas(~user@ptr-17d51epi5gkbwp1e9as.18120a2.ip6.access.telenet.be)
2022-04-28 23:34:51 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-28 23:37:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-28 23:38:02 +0200vorpuni(~pvorp@2001:861:3881:c690:ad1e:ef8b:f571:dc28) (Remote host closed the connection)
2022-04-28 23:38:14 +0200littlebobeep(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-04-28 23:41:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-28 23:42:57 +0200 <Clint> koz: which 'pretty'
2022-04-28 23:50:29 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-04-28 23:50:41 +0200redb(~nmh@136.49.49.211)
2022-04-28 23:55:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 260 seconds)
2022-04-28 23:57:03 +0200kuribas(~user@ptr-17d51epi5gkbwp1e9as.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2022-04-28 23:57:20 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-04-28 23:58:50 +0200chele(~chele@user/chele) (Remote host closed the connection)