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