| 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 +0200 | Topsi | (~Tobias@dyndsl-095-033-094-053.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-04-28 00:10:59 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-28 00:13:01 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-28 00:13:24 +0200 | Guest2725 | (~Guest27@2601:281:d47f:1590::bc8f) (Quit: Client closed) |
| 2022-04-28 00:13:36 +0200 | Guest2764 | (~Guest27@2601:281:d47f:1590::bc8f) |
| 2022-04-28 00:13:42 +0200 | werneta | (~werneta@137.79.197.49) |
| 2022-04-28 00:15:58 +0200 | xff0x_ | (~xff0x@om126167099166.29.openmobile.ne.jp) |
| 2022-04-28 00:18:01 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-28 00:21:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 00:22:40 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-04-28 00:22:54 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-28 00:23:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-04-28 00:24:42 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-28 00:24:42 +0200 | xaotuk | (~sasha@net16-38-245-109.mbb.telenor.rs) (Read error: Connection reset by peer) |
| 2022-04-28 00:25:36 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-04-28 00:27:00 +0200 | alx741 | (~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 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-04-28 00:29:16 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 00:30:18 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-04-28 00:31:43 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-28 00:31:59 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 240 seconds) |
| 2022-04-28 00:31:59 +0200 | matijja | (~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 +0200 | matijja | (~matijja@193.77.181.201) (Client Quit) |
| 2022-04-28 00:39:08 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-04-28 00:39:21 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 00:39:52 +0200 | matijja | (~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 +0200 | Guest2764 | (~Guest27@2601:281:d47f:1590::bc8f) (Quit: Client closed) |
| 2022-04-28 00:45:27 +0200 | acidjnk | (~acidjnk@p200300d0c73b452571655f3915a3d16e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-28 00:45:50 +0200 | bitdex | (~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 +0200 | bontaq | (~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 +0200 | machinedgod | (~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 +0200 | akurilin_ | (uid322841@id-322841.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-28 01:00:48 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Ping timeout: 276 seconds) |
| 2022-04-28 01:03:42 +0200 | werneta | (~werneta@137.79.197.49) (Ping timeout: 246 seconds) |
| 2022-04-28 01:05:49 +0200 | lbseale_ | (~quassel@ip72-205-127-212.sb.sd.cox.net) |
| 2022-04-28 01:06:32 +0200 | lbseale_ | (~quassel@ip72-205-127-212.sb.sd.cox.net) (Changing host) |
| 2022-04-28 01:06:32 +0200 | lbseale_ | (~quassel@user/ep1ctetus) |
| 2022-04-28 01:06:55 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 2022-04-28 01:08:47 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-28 01:08:56 +0200 | lbseale_ | lbseale |
| 2022-04-28 01:09:06 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 01:10:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-04-28 01:12:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-28 01:13:01 +0200 | raehik | (~raehik@82.21.176.157) |
| 2022-04-28 01:13:06 +0200 | nattiestnate | (~nate@202.138.250.17) (Quit: WeeChat 3.5) |
| 2022-04-28 01:14:12 +0200 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-28 01:14:52 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-04-28 01:18:22 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:21:56 +0200 | Brandon_IX | (brandon@user/Brandon-IX/x-0442192) (Quit: WeeChat 3.0) |
| 2022-04-28 01:23:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 01:24:18 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:24:33 +0200 | <mrianbloom> | Hmmm... |
| 2022-04-28 01:25:13 +0200 | srk | (~sorki@user/srk) (Ping timeout: 260 seconds) |
| 2022-04-28 01:25:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 01:25:48 +0200 | redb | (~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 +0200 | alx741 | (~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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:32:23 +0200 | king_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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 01:38:23 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 01:38:34 +0200 | srk | (~sorki@user/srk) |
| 2022-04-28 01:40:18 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:41:48 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-28 01:43:15 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-28 01:43:34 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-28 01:43:53 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 01:45:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 01:46:56 +0200 | slack1256 | (~slack1256@191.125.99.87) |
| 2022-04-28 01:47:25 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Ping timeout: 240 seconds) |
| 2022-04-28 01:47:25 +0200 | yosef36 | (~yosefweis@2001:470:69fc:105::1:e501) (Ping timeout: 240 seconds) |
| 2022-04-28 01:47:25 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 240 seconds) |
| 2022-04-28 01:47:49 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds) |
| 2022-04-28 01:47:49 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) (Ping timeout: 240 seconds) |
| 2022-04-28 01:47:49 +0200 | juhp[m] | (~juhpmatri@2001:470:69fc:105::6e9) (Ping timeout: 240 seconds) |
| 2022-04-28 01:48:16 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:48:46 +0200 | juhp[m] | (~juhpmatri@2001:470:69fc:105::6e9) |
| 2022-04-28 01:48:57 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2022-04-28 01:49:04 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) |
| 2022-04-28 01:49:28 +0200 | abrantesasf | (~abrantesa@177.137.232.91) (Remote host closed the connection) |
| 2022-04-28 01:50:33 +0200 | yosef36 | (~yosefweis@2001:470:69fc:105::1:e501) |
| 2022-04-28 01:50:43 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2022-04-28 01:50:45 +0200 | boxscape | (~boxscape@user/boxscape) |
| 2022-04-28 01:51:46 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-28 01:52:02 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 01:52:27 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) |
| 2022-04-28 01:53:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 01:56:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 01:56:42 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-28 01:58:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-28 01:58:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-28 01:58:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-28 02:02:08 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2022-04-28 02:06:03 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2022-04-28 02:06:50 +0200 | lisq | (~quassel@lis.moe) (Quit: lisq) |
| 2022-04-28 02:07:23 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-04-28 02:09:03 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 02:11:02 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 02:13:37 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 02:15:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 02:15:19 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-28 02:16:07 +0200 | Hiring | (~Hiring@31.222.238.38) (Quit: Client closed) |
| 2022-04-28 02:16:53 +0200 | xff0x_ | (~xff0x@om126167099166.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-28 02:19:33 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 02:22:06 +0200 | orcus | (~orcus@user/brprice) (Ping timeout: 246 seconds) |
| 2022-04-28 02:22:06 +0200 | dispater | (~dispater@user/brprice) (Ping timeout: 246 seconds) |
| 2022-04-28 02:22:11 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-28 02:22:48 +0200 | alx741 | (~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 +0200 | orcus | (~orcus@user/brprice) |
| 2022-04-28 02:25:08 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 02:25:31 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-04-28 02:26:00 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-28 02:26:08 +0200 | Guest5 | (~Guest5@166.88.172.166) |
| 2022-04-28 02:27:14 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-28 02:29:19 +0200 | srk | (~sorki@user/srk) (Ping timeout: 240 seconds) |
| 2022-04-28 02:29:44 +0200 | dispater | (~dispater@user/brprice) |
| 2022-04-28 02:30:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 02:33:04 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 02:33:31 +0200 | lainon | (lainon@gateway/vpn/protonvpn/lainon) |
| 2022-04-28 02:38:38 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 02:39:09 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-28 02:39:42 +0200 | slack1256 | (~slack1256@191.125.99.87) (Read error: Connection reset by peer) |
| 2022-04-28 02:41:15 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 02:44:44 +0200 | srk | (~sorki@user/srk) |
| 2022-04-28 02:47:23 +0200 | eggplantade | (~Eggplanta@108.201.191.115) |
| 2022-04-28 02:48:08 +0200 | lis | (~quassel@lis.moe) |
| 2022-04-28 02:48:45 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-28 02:49:18 +0200 | lis | lisq |
| 2022-04-28 02:51:03 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 02:51:35 +0200 | eggplantade | (~Eggplanta@108.201.191.115) (Ping timeout: 256 seconds) |
| 2022-04-28 02:56:41 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-28 02:59:33 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-28 03:01:00 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 03:01:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-28 03:02:54 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 03:03:36 +0200 | shailangsa | (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-28 03:04:57 +0200 | raehik | (~raehik@82.21.176.157) (Ping timeout: 276 seconds) |
| 2022-04-28 03:05:46 +0200 | slack1256 | (~slack1256@191.125.99.87) |
| 2022-04-28 03:06:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) (Ping timeout: 276 seconds) |
| 2022-04-28 03:08:12 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-04-28 03:09:02 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 03:09:33 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-04-28 03:09:35 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) |
| 2022-04-28 03:14:44 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 03:20:09 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-28 03:24:10 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-28 03:27:04 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-28 03:27:41 +0200 | alx741 | (~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 +0200 | alx741 | (~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 +0200 | alx741 | (~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 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-28 03:41:02 +0200 | notzmv | (~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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 03:44:02 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-28 03:44:03 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-28 03:44:03 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-28 03:44:32 +0200 | andrey_ | (~andrey@p200300dbcf11ae00e8dd79092b2d901b.dip0.t-ipconnect.de) |
| 2022-04-28 03:45:07 +0200 | shailangsa | (~shailangs@host86-186-127-233.range86-186.btcentralplus.com) |
| 2022-04-28 03:45:15 +0200 | waleee | (~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 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 03:47:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-28 03:47:04 +0200 | andrey | (~andrey@p200300dbcf1ab3003d09e35965a7a51b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-28 03:48:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 03:49:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-28 03:49:36 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 03:51:28 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 03:52:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-28 03:54:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-28 03:54:06 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 03:55:15 +0200 | slack1256 | (~slack1256@191.125.99.87) (Remote host closed the connection) |
| 2022-04-28 03:55:22 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-04-28 03:59:24 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 246 seconds) |
| 2022-04-28 04:01:02 +0200 | kaph_ | (~kaph@net-2-42-128-49.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-04-28 04:01:36 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 04:02:15 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-04-28 04:04:08 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-28 04:05:53 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-28 04:06:39 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 04:10:55 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-28 04:11:19 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-28 04:12:04 +0200 | werneta | (~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 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Remote host closed the connection) |
| 2022-04-28 04:29:55 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-04-28 04:30:33 +0200 | lainon | (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 +0200 | td_ | (~td@muedsl-82-207-238-136.citykom.de) (Ping timeout: 240 seconds) |
| 2022-04-28 04:37:22 +0200 | td_ | (~td@muedsl-82-207-238-120.citykom.de) |
| 2022-04-28 04:40:19 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-28 04:40:47 +0200 | renzhi | (~xp@2607:fa49:6500:b100::19a0) (Ping timeout: 260 seconds) |
| 2022-04-28 04:44:33 +0200 | gpncarl_ | (~gpncarl@222.249.231.3) (Ping timeout: 246 seconds) |
| 2022-04-28 04:44:58 +0200 | gpncarl_ | (~gpncarl@210.12.195.5) |
| 2022-04-28 04:46:27 +0200 | phma | (~phma@2001:5b0:212a:9cb8:c177:4ec8:e751:fbba) (Read error: Connection reset by peer) |
| 2022-04-28 04:46:57 +0200 | phma | (phma@2001:5b0:212a:9cb8:7117:122:dd12:889b) |
| 2022-04-28 04:50:43 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-04-28 04:50:45 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 04:52:17 +0200 | renzhi | (~xp@2607:fa49:6500:b100::1d4a) |
| 2022-04-28 04:56:42 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 04:56:57 +0200 | mbuf | (~Shakthi@122.174.179.128) |
| 2022-04-28 04:58:57 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 04:58:58 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-04-28 04:58:59 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-28 04:59:42 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) |
| 2022-04-28 05:04:33 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 05:06:55 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 05:08:06 +0200 | AlexZenon | (~alzenon@94.233.241.106) (Ping timeout: 272 seconds) |
| 2022-04-28 05:08:06 +0200 | Alex_test | (~al_test@94.233.241.106) (Ping timeout: 272 seconds) |
| 2022-04-28 05:09:45 +0200 | AlexNoo | (~AlexNoo@94.233.241.106) (Ping timeout: 276 seconds) |
| 2022-04-28 05:13:00 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 05:13:28 +0200 | hexfive | (~eric@50.35.83.177) |
| 2022-04-28 05:13:30 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 05:14:51 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 05:14:59 +0200 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) |
| 2022-04-28 05:16:40 +0200 | Guest|50 | (~Guest|50@123.119.77.244) |
| 2022-04-28 05:17:37 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-28 05:18:51 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-04-28 05:19:21 +0200 | Guest|50 | (~Guest|50@123.119.77.244) (Client Quit) |
| 2022-04-28 05:20:27 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2022-04-28 05:20:48 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 05:20:57 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-28 05:21:18 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds) |
| 2022-04-28 05:24:25 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-28 05:50:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-28 05:52:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-28 05:53:13 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-28 05:58:00 +0200 | k8yun | (~k8yun@user/k8yun) |
| 2022-04-28 05:59:52 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::aa1d) (Ping timeout: 248 seconds) |
| 2022-04-28 06:02:36 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2022-04-28 06:11:11 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-28 06:16:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 06:16:09 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2022-04-28 06:20:42 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 06:23:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 06:32:31 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 06:38:02 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-28 06:44:37 +0200 | HaskellNoob42 | (~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 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-28 06:48:06 +0200 | gentauro | (~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 +0200 | gentauro | (~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 +0200 | deadmarshal_ | (~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 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 250 seconds) |
| 2022-04-28 07:18:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 07:18:22 +0200 | jargon | (~jargon@174-22-223-120.phnx.qwest.net) |
| 2022-04-28 07:19:56 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-04-28 07:28:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 07:31:47 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-28 07:40:56 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-04-28 07:53:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 07:58:37 +0200 | fernand | (uid551405@id-551405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-28 08:01:19 +0200 | michalz | (~michalz@185.246.204.107) |
| 2022-04-28 08:03:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) (Ping timeout: 246 seconds) |
| 2022-04-28 08:08:54 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 08:10:08 +0200 | yauhsien | (~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 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 276 seconds) |
| 2022-04-28 08:15:11 +0200 | HaskellNoob42 | (~HaskellNo@cpe-98-149-65-78.natmtn.res.rr.com) (Quit: Connection closed) |
| 2022-04-28 08:17:41 +0200 | pwug | (~pwug@user/pwug) |
| 2022-04-28 08:18:54 +0200 | michalz | (~michalz@185.246.204.107) (Ping timeout: 276 seconds) |
| 2022-04-28 08:19:22 +0200 | jargon | (~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 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Remote host closed the connection) |
| 2022-04-28 08:20:28 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) |
| 2022-04-28 08:20:49 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 08:24:33 +0200 | michalz | (~michalz@185.246.204.125) |
| 2022-04-28 08:25:54 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 08:26:03 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-04-28 08:27:02 +0200 | king_gs | (~Thunderbi@2806:103e:29:1f3f:9059:7534:3810:b9c6) (Ping timeout: 250 seconds) |
| 2022-04-28 08:27:16 +0200 | searemind | (~searemind@122.161.51.205) |
| 2022-04-28 08:27:34 +0200 | searemind | (~searemind@122.161.51.205) (Remote host closed the connection) |
| 2022-04-28 08:28:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 08:30:35 +0200 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-04-28 08:31:45 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 08:37:09 +0200 | mikoto-chan | (~mikoto-ch@84.199.144.234) |
| 2022-04-28 08:38:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1533:4fc9:63cf:5710) |
| 2022-04-28 08:41:46 +0200 | chele | (~chele@user/chele) |
| 2022-04-28 08:42:15 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-28 08:43:26 +0200 | deadmarshal_ | (~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 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 08:54:39 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-04-28 08:55:36 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-28 08:57:37 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-04-28 08:58:22 +0200 | prasad | (~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 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-28 09:02:45 +0200 | littlebobeep | (~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 +0200 | Macbethwin | (~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 +0200 | acidjnk | (~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 +0200 | prasad | (~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 +0200 | forell | (~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 +0200 | int-e | plays 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 +0200 | bitdex | (~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 +0200 | yauhsien | (~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 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-28 09:24:51 +0200 | cfricke | (~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 +0200 | yauhsien | (~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 +0200 | pwug | (~pwug@user/pwug) (Remote host closed the connection) |
| 2022-04-28 09:29:11 +0200 | Midjak | (~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 +0200 | yauhsien | (~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 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-28 09:32:35 +0200 | <tomsmeding> | oh, that's true |
| 2022-04-28 09:33:00 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-28 09:34:34 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-04-28 09:35:03 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer) |
| 2022-04-28 09:36:00 +0200 | gpncarl_ | (~gpncarl@210.12.195.5) (Ping timeout: 272 seconds) |
| 2022-04-28 09:36:12 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-28 09:37:47 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-04-28 09:37:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-28 09:38:03 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 260 seconds) |
| 2022-04-28 09:40:21 +0200 | mjacob | (~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 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-28 09:51:34 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-28 09:51:53 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-28 09:53:48 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 10:01:29 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-28 10:03:10 +0200 | gpncarl_ | (~gpncarl@222.249.231.3) |
| 2022-04-28 10:05:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 10:10:47 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
| 2022-04-28 10:12:11 +0200 | cosimone | (~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 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2022-04-28 10:13:41 +0200 | ccntrq | (~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 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-c2b-6618-4046-f43a.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-28 10:19:03 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-28 10:19:05 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-28 10:20:33 +0200 | gehmehgeh | (~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 +0200 | dextaa4 | (~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 +0200 | f-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 +0200 | shriekingnoise | (~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 +0200 | jmdaemon | (~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 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 10:38:00 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-04-28 10:38:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 10:38:38 +0200 | dextaa4 | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-28 10:39:40 +0200 | Guest45 | (~Guest45@2001:718:1e03:802:0:340:c371:1588) |
| 2022-04-28 10:39:41 +0200 | mmhat | (~mmh@55d4d51f.access.ecotel.net) |
| 2022-04-28 10:40:14 +0200 | Guest45 | (~Guest45@2001:718:1e03:802:0:340:c371:1588) (Client Quit) |
| 2022-04-28 10:43:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-28 10:44:35 +0200 | frost | (~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 +0200 | dextaa4 | (~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 +0200 | Andrew | imagines Haskell not having pragmatics |
| 2022-04-28 10:58:23 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 10:59:31 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-28 11:00:08 +0200 | justosophy[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 +0200 | justosophy[m] | (~justosoph@2001:470:69fc:105::572f) |
| 2022-04-28 11:01:01 +0200 | justosophy[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 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-28 11:11:07 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-04-28 11:11:26 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-04-28 11:11:38 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:3b7c:41ca:88aa:9f7f) |
| 2022-04-28 11:22:14 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-28 11:22:50 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-28 11:24:25 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-28 11:26:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-04-28 11:33:47 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-28 11:37:43 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-28 11:37:50 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:d98c:fe22:c3d0:13a8) (Read error: Connection reset by peer) |
| 2022-04-28 11:38:59 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2022-04-28 11:39:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 11:40:07 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:d943:6b0c:877f:9a16) |
| 2022-04-28 11:41:36 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2022-04-28 11:44:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-04-28 11:45:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 11:45:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-28 11:48:38 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-28 11:52:19 +0200 | xff0x_ | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-04-28 11:57:30 +0200 | gpncarl_ | (~gpncarl@222.249.231.3) (Ping timeout: 246 seconds) |
| 2022-04-28 11:59:41 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-04-28 12:03:05 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-28 12:07:36 +0200 | cfricke | (~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 +0200 | int-e | shrugs. |
| 2022-04-28 12:16:15 +0200 | acidjnk | (~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 +0200 | Vajb | (~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 +0200 | Vajb | (~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 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-28 12:19:46 +0200 | dschrempf | (~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 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-04-28 12:23:00 +0200 | pja | (~pja@217.155.153.14) |
| 2022-04-28 12:23:00 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Read error: Connection reset by peer) |
| 2022-04-28 12:23:12 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2022-04-28 12:23:19 +0200 | kraftwerk28 | (~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 +0200 | hexfive | (~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 +0200 | sprout | (~quassel@2a02-a45f-f170-1-d8e9-1b51-75ba-a76b.fixed6.kpn.net) |
| 2022-04-28 12:33:15 +0200 | Guest24 | (~Guest24@guests-out.ms.mff.cuni.cz) |
| 2022-04-28 12:34:28 +0200 | Guest24 | (~Guest24@guests-out.ms.mff.cuni.cz) (Client Quit) |
| 2022-04-28 12:36:15 +0200 | coot | (~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 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2022-04-28 12:42:09 +0200 | robosexual- | (~spaceoyst@77.223.90.202) |
| 2022-04-28 12:42:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-28 12:45:17 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-28 12:45:51 +0200 | robosexual- | (~spaceoyst@77.223.90.202) (Client Quit) |
| 2022-04-28 12:46:13 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 12:46:32 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal) |
| 2022-04-28 12:50:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-28 12:51:30 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-28 12:57:22 +0200 | gpncarl_ | (~gpncarl@210.12.195.5) |
| 2022-04-28 12:57:30 +0200 | kraftwerk28 | (~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 +0200 | tcard | (~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 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-04-28 13:06:11 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-04-28 13:06:11 +0200 | Vajb | (~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 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-28 13:07:49 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-28 13:08:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 13:09:23 +0200 | xff0x_ | (~xff0x@om126167099166.29.openmobile.ne.jp) |
| 2022-04-28 13:15:19 +0200 | apache2 | (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 +0200 | kilolympus | (~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 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-04-28 13:21:41 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-28 13:22:26 +0200 | jakalx | (~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 +0200 | zeenk | (~zeenk@81.196.164.53) |
| 2022-04-28 13:30:12 +0200 | xaotuk | (~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 +0200 | alex`` | (~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 +0200 | tomsmeding | is 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 +0200 | tomsmeding | hears an echo |
| 2022-04-28 13:39:22 +0200 | jackdk | hears 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 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-28 13:49:46 +0200 | <apache2> | neat! |
| 2022-04-28 13:53:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-28 13:54:24 +0200 | raehik | (~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 +0200 | raehik | (~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 +0200 | pwug | (~pwug@user/pwug) |
| 2022-04-28 14:09:35 +0200 | zeenk2 | (~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 +0200 | zeenk | (~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 +0200 | kappakappahappa | (~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 +0200 | cosimone | (~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 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-28 14:22:35 +0200 | xff0x_ | (~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 +0200 | xff0x_ | (~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 +0200 | zeenk2 | (~zeenk@86.121.152.57) (Quit: Konversation terminated!) |
| 2022-04-28 14:30:49 +0200 | zeenk | (~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 +0200 | zeenk | (~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!) |
| 2022-04-28 14:38:06 +0200 | mikoto-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 +0200 | pretty_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 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 276 seconds) |
| 2022-04-28 14:41:36 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-28 14:42:32 +0200 | Pickchea | (~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 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 14:48:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-28 14:48:46 +0200 | lechner | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2022-04-28 14:50:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-28 14:51:02 +0200 | acidjnk | (~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de) |
| 2022-04-28 14:52:42 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 14:55:39 +0200 | gaff | (~gaff@49.207.209.38) |
| 2022-04-28 14:55:46 +0200 | gaff | (~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 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-04-28 15:00:47 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 240 seconds) |
| 2022-04-28 15:03:35 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 15:05:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-04-28 15:06:51 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-28 15:13:02 +0200 | AlexNoo | (~AlexNoo@94.233.241.106) |
| 2022-04-28 15:13:21 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-28 15:14:36 +0200 | Hiring | (~Hiring@31.222.238.38) |
| 2022-04-28 15:15:39 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-28 15:17:19 +0200 | acidjnk | (~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-28 15:17:27 +0200 | zeenk | (~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) |
| 2022-04-28 15:19:02 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-04-28 15:19:29 +0200 | irfan | (~irfan@user/irfan) |
| 2022-04-28 15:20:27 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-28 15:21:36 +0200 | AlexZenon | (~alzenon@94.233.241.106) |
| 2022-04-28 15:22:33 +0200 | kappakappahappa | (~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f) (Quit: Leaving) |
| 2022-04-28 15:22:54 +0200 | skrio | (~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 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-28 15:25:02 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 2022-04-28 15:26:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-28 15:26:56 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-28 15:26:56 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-28 15:28:12 +0200 | tdammers | (~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 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
| 2022-04-28 15:30:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 15:30:47 +0200 | Alex_test | (~al_test@94.233.241.106) |
| 2022-04-28 15:31:34 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 2022-04-28 15:31:51 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-28 15:35:23 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-28 15:35:37 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-28 15:36:12 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-04-28 15:36:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) (Ping timeout: 276 seconds) |
| 2022-04-28 15:38:31 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-28 15:39:09 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-04-28 15:39:30 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 250 seconds) |
| 2022-04-28 15:40:21 +0200 | skrio | (~skrio@52.137.2.93) (Quit: Connection closed) |
| 2022-04-28 15:42:06 +0200 | tdammers | (~tdammers@77.109.72.118.res.static.edpnet.net) |
| 2022-04-28 15:42:43 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-28 15:50:00 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 276 seconds) |
| 2022-04-28 15:52:32 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 15:54:19 +0200 | jespada | (~jespada@194.37.96.158) (Ping timeout: 240 seconds) |
| 2022-04-28 15:55:50 +0200 | jespada | (~jespada@89.238.130.78) |
| 2022-04-28 15:56:25 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-04-28 15:58:07 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-28 15:59:29 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-28 16:02:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:02:33 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (Ping timeout: 248 seconds) |
| 2022-04-28 16:04:10 +0200 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2022-04-28 16:04:39 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 16:07:39 +0200 | zyklotomic | (~ethan@r4-128-61-95-41.res.gatech.edu) (Ping timeout: 240 seconds) |
| 2022-04-28 16:08:02 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 16:08:31 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-04-28 16:09:18 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) (Ping timeout: 272 seconds) |
| 2022-04-28 16:09:58 +0200 | zyklotomic | (~ethan@res380d-128-61-87-30.res.gatech.edu) |
| 2022-04-28 16:10:31 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:11:42 +0200 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2022-04-28 16:15:21 +0200 | lechner | (lechner@debian/lechner) |
| 2022-04-28 16:16:00 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 276 seconds) |
| 2022-04-28 16:16:15 +0200 | Guest5 | (~Guest5@166.88.172.166) (Quit: Client closed) |
| 2022-04-28 16:17:03 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 16:17:07 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 16:17:24 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-04-28 16:17:34 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:19:51 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2022-04-28 16:23:14 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 272 seconds) |
| 2022-04-28 16:25:39 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:26:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1533:4fc9:63cf:5710) (Quit: WeeChat 2.8) |
| 2022-04-28 16:31:24 +0200 | sprout | (~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 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-28 16:34:19 +0200 | alx741 | (~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 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 16:35:07 +0200 | steerio | (~steerio@aviv.kinneret.de) |
| 2022-04-28 16:36:00 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:39:06 +0200 | pwug | (~pwug@user/pwug) |
| 2022-04-28 16:41:19 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 260 seconds) |
| 2022-04-28 16:43:17 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-28 16:47:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-28 16:48:39 +0200 | slaydr | (~slaydr@173.239.197.101) |
| 2022-04-28 16:49:12 +0200 | alx741 | (~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 +0200 | deadmarshal_ | (~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 +0200 | slaydr | (~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 +0200 | alx741 | (~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 +0200 | vicfred | (~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 +0200 | littlebobeep | (~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 +0200 | sprout | (~quassel@2a02-a467-ccd6-1-1c23-6375-d28e-79ab.fixed6.kpn.net) |
| 2022-04-28 16:58:30 +0200 | alx741 | (~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 +0200 | ccntrq | (~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 +0200 | ccntrq | (~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 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 17:07:17 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-04-28 17:08:20 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 250 seconds) |
| 2022-04-28 17:11:10 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-04-28 17:12:46 +0200 | raym | (~raym@user/raym) (Quit: kernel update, rebooting...) |
| 2022-04-28 17:14:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 17:17:23 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-28 17:20:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-28 17:20:57 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-28 17:24:17 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f444:8f00:d574:e21:693b:1578) |
| 2022-04-28 17:25:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 250 seconds) |
| 2022-04-28 17:25:44 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:d943:6b0c:877f:9a16) (Ping timeout: 248 seconds) |
| 2022-04-28 17:27:31 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 17:31:44 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Read error: Connection reset by peer) |
| 2022-04-28 17:32:06 +0200 | raym | (~raym@user/raym) |
| 2022-04-28 17:32:08 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-28 17:33:42 +0200 | king_gs | (~Thunderbi@187.201.77.157) |
| 2022-04-28 17:37:58 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-28 17:38:19 +0200 | efertone_ | (~efertone@user/efertone) (Ping timeout: 240 seconds) |
| 2022-04-28 17:41:37 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-28 17:42:28 +0200 | efertone | (~efertone@user/efertone) |
| 2022-04-28 17:46:27 +0200 | alex`` | (~user@37.red-88-1-75.dynamicip.rima-tde.net) (Ping timeout: 246 seconds) |
| 2022-04-28 17:49:11 +0200 | dextaa4 | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-28 17:53:41 +0200 | king_gs | (~Thunderbi@187.201.77.157) (Quit: king_gs) |
| 2022-04-28 17:59:03 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-28 18:00:11 +0200 | nathansquan[m] | (~nathansqu@2001:470:69fc:105::1:e84c) (Quit: You have been kicked for being idle) |
| 2022-04-28 18:02:20 +0200 | ubert1 | (~Thunderbi@2a02:8109:9880:303c:3b7c:41ca:88aa:9f7f) (Remote host closed the connection) |
| 2022-04-28 18:02:21 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-28 18:02:54 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-28 18:03:44 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) |
| 2022-04-28 18:04:19 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-04-28 18:06:42 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-04-28 18:08:09 +0200 | deadmarshal_ | (~deadmarsh@95.38.230.38) (Ping timeout: 246 seconds) |
| 2022-04-28 18:08:09 +0200 | Hiring | (~Hiring@31.222.238.38) (Quit: Client closed) |
| 2022-04-28 18:09:27 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-28 18:10:10 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:400d:aba7:3f62:30f2) |
| 2022-04-28 18:11:02 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-28 18:12:59 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-28 18:14:53 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-04-28 18:16:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 18:23:10 +0200 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-04-28 18:24:04 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-28 18:24:08 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-28 18:25:35 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:400d:aba7:3f62:30f2) (Remote host closed the connection) |
| 2022-04-28 18:28:14 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:ad1e:ef8b:f571:dc28) |
| 2022-04-28 18:31:05 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2022-04-28 18:31:47 +0200 | lechner | (lechner@debian/lechner) |
| 2022-04-28 18:31:48 +0200 | xff0x_ | (~xff0x@om126167099166.29.openmobile.ne.jp) (Ping timeout: 240 seconds) |
| 2022-04-28 18:35:08 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-28 18:35:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 18:36:57 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Quit: http://quassel-irc.org) |
| 2022-04-28 18:37:12 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2022-04-28 18:38:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-28 18:40:19 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-28 18:42:48 +0200 | kappakappahappa | (~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f) |
| 2022-04-28 18:42:54 +0200 | Macbethwin | (~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 +0200 | benin | (~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 +0200 | FinnElija | (~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 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-28 18:48:40 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-28 18:48:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-28 18:48:43 +0200 | FinnElija | (~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 +0200 | shapr | shrugs |
| 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 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-28 18:54:45 +0200 | Macbethwin | (~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 +0200 | kilolympus | (~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 +0200 | wroathe | (~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 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-28 18:58:33 +0200 | <kappakappahappa> | haha ST the sae transformer |
| 2022-04-28 19:01:19 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-28 19:02:53 +0200 | kaph | (~kaph@net-2-42-128-49.cust.vodafonedsl.it) |
| 2022-04-28 19:07:39 +0200 | econo | (uid147250@user/econo) |
| 2022-04-28 19:16:58 +0200 | <monochrom> | Hrm no Haskell Weekly News today? |
| 2022-04-28 19:19:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 19:19:56 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 19:22:28 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-28 19:23:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 19:31:08 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2022-04-28 19:31:27 +0200 | kappakappahappa | (~hklwethhu@2a02:c7f:f292:3e00:9993:31e5:ba31:4a5f) (Read error: Connection reset by peer) |
| 2022-04-28 19:32:06 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 19:34:57 +0200 | mbuf | (~Shakthi@122.174.179.128) (Quit: Leaving) |
| 2022-04-28 19:37:02 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 19:38:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 19:39:39 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 19:44:21 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 19:44:47 +0200 | redb | (~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 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 19:49:09 +0200 | noctux | (~noctux@user/noctux) |
| 2022-04-28 19:50:48 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-28 19:51:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 19:51:36 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-04-28 19:52:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 19:56:40 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-28 20:00:50 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 20:02:19 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 20:02:49 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-28 20:02:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 276 seconds) |
| 2022-04-28 20:07:21 +0200 | ccntrq | (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Remote host closed the connection) |
| 2022-04-28 20:07:24 +0200 | yauhsien | (~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 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 20:12:15 +0200 | acidjnk | (~acidjnk@p200300d0c73b4546e4253b429b24fbd0.dip0.t-ipconnect.de) |
| 2022-04-28 20:23:46 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 20:25:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 20:26:55 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-04-28 20:28:20 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 20:28:23 +0200 | grantmaki | (~grantmaki@50.238.175.134) |
| 2022-04-28 20:31:51 +0200 | grantmaki | (~grantmaki@50.238.175.134) (Quit: Lost terminal) |
| 2022-04-28 20:33:17 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 20:34:02 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-28 20:37:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 20:37:24 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 240 seconds) |
| 2022-04-28 20:39:49 +0200 | Entertainment | (~entertain@104.246.145.85) |
| 2022-04-28 20:44:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 20:45:39 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2022-04-28 20:45:48 +0200 | zeenk | (~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!) |
| 2022-04-28 20:46:55 +0200 | lain9 | (~lain9@150.129.181.18) |
| 2022-04-28 20:48:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 20:52:12 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-28 20:52:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 20:52:50 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 20:57:01 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-28 20:57:16 +0200 | lain9 | (~lain9@150.129.181.18) (Quit: Client closed) |
| 2022-04-28 21:00:02 +0200 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2022-04-28 21:00:05 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-28 21:00:14 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-04-28 21:03:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 21:05:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-28 21:05:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-28 21:06:19 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-28 21:06:44 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 21:15:10 +0200 | bcmiller | (~bm3719@66.42.95.185) |
| 2022-04-28 21:20:59 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 21:24:51 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-28 21:25:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 21:30:07 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-04-28 21:30:47 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-04-28 21:35:51 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 256 seconds) |
| 2022-04-28 21:36:04 +0200 | pooryorick | (~pooryoric@87-119-174-173.tll.elisa.ee) |
| 2022-04-28 21:37:11 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 21:42:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 21:45:09 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 21:53:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 21:53:21 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 276 seconds) |
| 2022-04-28 21:59:20 +0200 | zeenk | (~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) |
| 2022-04-28 22:00:08 +0200 | liz | (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 2022-04-28 22:03:58 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 22:04:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-28 22:05:33 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 22:10:14 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 22:12:47 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 22:14:33 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 246 seconds) |
| 2022-04-28 22:19:28 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-04-28 22:19:45 +0200 | zeenk | (~zeenk@2a02:2f0e:7506:c001:7ef1:d76c:496:86d6) (Quit: Konversation terminated!) |
| 2022-04-28 22:20:09 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-28 22:22:22 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 22:25:31 +0200 | Guest|8 | (~Guest|8@ip-095-223-074-115.um35.pools.vodafone-ip.de) |
| 2022-04-28 22:25:33 +0200 | Guest|8 | (~Guest|8@ip-095-223-074-115.um35.pools.vodafone-ip.de) (Client Quit) |
| 2022-04-28 22:25:52 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 22:27:24 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 22:28:49 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 22:29:44 +0200 | ojsaki | (~ojsaki@84.64.137.140) |
| 2022-04-28 22:31:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 22:33:06 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-28 22:33:29 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-28 22:34:08 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 22:36:54 +0200 | juri_ | (~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 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-28 22:38:22 +0200 | inversed | (~inversed@94.13.111.159) |
| 2022-04-28 22:38:41 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-28 22:39:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-28 22:41:57 +0200 | kilolympus | (~kilolympu@31.205.200.235) |
| 2022-04-28 22:42:28 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 22:43:01 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 22:45:28 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 250 seconds) |
| 2022-04-28 22:46:02 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-28 22:47:02 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2022-04-28 22:47:40 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 272 seconds) |
| 2022-04-28 22:49:31 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-04-28 22:49:34 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-28 22:53:01 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 22:53:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 22:54:18 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 22:55:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 22:56:31 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 260 seconds) |
| 2022-04-28 22:57:08 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-04-28 22:57:48 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 272 seconds) |
| 2022-04-28 23:00:34 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Quit: Reconnecting) |
| 2022-04-28 23:00:41 +0200 | wolfshappen | (~waff@irc.furworks.de) (Read error: Connection reset by peer) |
| 2022-04-28 23:01:12 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2022-04-28 23:02:48 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 250 seconds) |
| 2022-04-28 23:05:04 +0200 | littlebobeep | (~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 +0200 | anomal | (~anomal@87.227.196.109) (Ping timeout: 252 seconds) |
| 2022-04-28 23:06:55 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 23:11:06 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Ping timeout: 272 seconds) |
| 2022-04-28 23:12:08 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 23:13:37 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 23:13:53 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-04-28 23:14:40 +0200 | anomal | (~anomal@87.227.196.109) (Ping timeout: 252 seconds) |
| 2022-04-28 23:15:00 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-28 23:15:14 +0200 | ystael | (~ystael@user/ystael) |
| 2022-04-28 23:16:22 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2022-04-28 23:16:43 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-28 23:17:34 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-04-28 23:17:39 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-28 23:17:52 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-04-28 23:18:25 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 256 seconds) |
| 2022-04-28 23:18:53 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-04-28 23:19:57 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-28 23:21:31 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 23:21:55 +0200 | yauhsien | (~yauhsien@61-231-19-191.dynamic-ip.hinet.net) |
| 2022-04-28 23:26:36 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-28 23:28:34 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-28 23:30:13 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 23:31:51 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-04-28 23:32:14 +0200 | kuribas | (~user@ptr-17d51epi5gkbwp1e9as.18120a2.ip6.access.telenet.be) |
| 2022-04-28 23:34:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-28 23:37:07 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-28 23:38:02 +0200 | vorpuni | (~pvorp@2001:861:3881:c690:ad1e:ef8b:f571:dc28) (Remote host closed the connection) |
| 2022-04-28 23:38:14 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-28 23:41:44 +0200 | raehik | (~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 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-28 23:50:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-28 23:55:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-28 23:57:03 +0200 | kuribas | (~user@ptr-17d51epi5gkbwp1e9as.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-04-28 23:57:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-28 23:58:50 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |