| 2022-02-25 00:00:33 +0100 | cynomys_ | (~cynomys@user/cynomys) |
| 2022-02-25 00:00:35 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-02-25 00:00:49 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-25 00:01:14 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-02-25 00:04:18 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 00:06:11 +0100 | cynomys__ | (~cynomys@user/cynomys) |
| 2022-02-25 00:06:37 +0100 | cynomys_ | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-25 00:07:22 +0100 | cynomys__ | (~cynomys@user/cynomys) (Client Quit) |
| 2022-02-25 00:08:36 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 00:08:59 +0100 | <romesrf> | could something like newtype X = X (Writer W (ExceptT Err (ReaderT R m) a)) ever be a Monad? |
| 2022-02-25 00:09:13 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-02-25 00:09:20 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: leaving) |
| 2022-02-25 00:09:32 +0100 | OscarZ | (~oscarz@95.175.104.52) |
| 2022-02-25 00:09:48 +0100 | <romesrf> | I've been trying to implement one for quite some time |
| 2022-02-25 00:09:57 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 00:10:16 +0100 | <geekosaur> | the `a` has to be on the outside |
| 2022-02-25 00:10:30 +0100 | <monochrom> | Aren't you missing m and a, and should start with "newtype X m a"? |
| 2022-02-25 00:10:39 +0100 | <romesrf> | monochrom: yes it starts like that |
| 2022-02-25 00:10:46 +0100 | <geekosaur> | hm |
| 2022-02-25 00:10:53 +0100 | <romesrf> | I've tried quite hard, but I don't think it's possible |
| 2022-02-25 00:10:56 +0100 | <monochrom> | Writer? WriterT? |
| 2022-02-25 00:10:58 +0100 | <romesrf> | X m a = X ... |
| 2022-02-25 00:11:01 +0100 | <romesrf> | monochrom: yes hahah |
| 2022-02-25 00:11:22 +0100 | <romesrf> | I was thinking about just doing WriterT and propagating the W with the Error |
| 2022-02-25 00:11:22 +0100 | <geekosaur> | I think I see what they're doing, and I don't think it will work (but I am far from expert at this_ |
| 2022-02-25 00:11:52 +0100 | <romesrf> | geekosaur: yes, the idea was that if Except is "Left" I don't lose what was accumulated |
| 2022-02-25 00:12:11 +0100 | <romesrf> | (bc runWriterT :: WriterT w m a -> m (a, w) |
| 2022-02-25 00:12:31 +0100 | michalz | (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2022-02-25 00:12:33 +0100 | <romesrf> | that's why I was trying to have it on the outside, and oh i've been trying to write >>= for close to an hour now |
| 2022-02-25 00:12:50 +0100 | <romesrf> | at least it was fun :P |
| 2022-02-25 00:14:39 +0100 | <ski> | @unmtl Writer W (ExceptT Err (ReaderT R m) a) |
| 2022-02-25 00:14:39 +0100 | <lambdabot> | (R -> m (Either Err a), W) |
| 2022-02-25 00:14:42 +0100 | <ski> | @unmtl WriterT W (ExceptT Err (ReaderT R m)) a |
| 2022-02-25 00:14:42 +0100 | <lambdabot> | R -> m (Either Err (a, W)) |
| 2022-02-25 00:16:42 +0100 | <ski> | how would you do `(R -> m (Either Err a),W) -> (a -> (R -> m (Either Err b),W)) -> (R -> m (Either Err b),W)' ? |
| 2022-02-25 00:17:34 +0100 | <Zemyla> | So how, in github, do I say that a pull request closes an issue? |
| 2022-02-25 00:18:19 +0100 | <ski> | the second `W' is under the `a ->'. so, you'd need to throw that `a -> (...,W)' inside the `(R -> ..a..,W)'. but then that second `W' would be inside an `m' still, and you couldn't get it out, to merge with the other `W' |
| 2022-02-25 00:18:37 +0100 | <romesrf> | ski: ahahah that's insightful : ) |
| 2022-02-25 00:18:58 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-25 00:20:06 +0100 | <romesrf> | ski: I hit the wall when I got to (ExceptT E (ReaderT R m) a, ExceptT E (ReaderT R m) W) to pass to `write` |
| 2022-02-25 00:20:20 +0100 | <romesrf> | (when `write` required (ExceptT E (ReaderT R m) a, W) |
| 2022-02-25 00:20:25 +0100 | <ski> | (it'd be inside `Either Err' too, of course. so, even ignoring `m' (say it's `Identity)', the `W' might not be there. i suppose you'd just pass on the only `W' you have, in that case ..) |
| 2022-02-25 00:21:33 +0100 | <ski> | yea, that sounds like it |
| 2022-02-25 00:21:45 +0100 | <romesrf> | ski: in the end it's impossible for it to be a monad right? |
| 2022-02-25 00:22:09 +0100 | <ski> | at least for every monad `m', i'd say |
| 2022-02-25 00:22:20 +0100 | <geekosaur> | Zemyla, from what I've seen, just have a line that says "Fixes: #issue" or "Closes: #issue" |
| 2022-02-25 00:22:30 +0100 | <geekosaur> | in the description of the commit or PR |
| 2022-02-25 00:22:33 +0100 | <romesrf> | thank you for looking into it heh :) |
| 2022-02-25 00:23:17 +0100 | mvk | (~mvk@2607:fea8:5cdc:bf00::99e7) (Ping timeout: 252 seconds) |
| 2022-02-25 00:23:24 +0100 | shailangsa | (~shailangs@host109-152-9-189.range109-152.btcentralplus.com) |
| 2022-02-25 00:23:37 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 256 seconds) |
| 2022-02-25 00:25:41 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 00:28:20 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 00:28:57 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-02-25 00:30:08 +0100 | acidjnk | (~acidjnk@p200300d0c723f84535459519c3275cf0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-02-25 00:30:17 +0100 | niko | (~niko@libera/staff/niko) (Ping timeout: 600 seconds) |
| 2022-02-25 00:35:31 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-02-25 00:35:50 +0100 | AlexZenon_2 | (~alzenon@178.34.160.252) |
| 2022-02-25 00:36:23 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2022-02-25 00:37:27 +0100 | AlexZenon | (~alzenon@178.34.160.252) (Ping timeout: 256 seconds) |
| 2022-02-25 00:38:45 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-25 00:40:37 +0100 | emf | (~emf@2620:10d:c090:400::5:3ef2) (Ping timeout: 240 seconds) |
| 2022-02-25 00:41:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-25 00:41:31 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-25 00:41:48 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2022-02-25 00:43:05 +0100 | x_kuru | (xkuru@user/xkuru) |
| 2022-02-25 00:44:50 +0100 | x_kuru_ | (~xkuru@user/xkuru) |
| 2022-02-25 00:45:01 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 00:45:05 +0100 | irishman | (~vshev4enk@178.151.117.243) (Ping timeout: 272 seconds) |
| 2022-02-25 00:46:32 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 2022-02-25 00:47:13 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-25 00:47:24 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-02-25 00:48:51 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 00:49:04 +0100 | x_kuru | (xkuru@user/xkuru) (Ping timeout: 256 seconds) |
| 2022-02-25 00:49:21 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-25 00:49:31 +0100 | x_kuru_ | (~xkuru@user/xkuru) (Ping timeout: 272 seconds) |
| 2022-02-25 00:49:31 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-25 00:49:32 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.4) |
| 2022-02-25 00:49:40 +0100 | jao | (~jao@68.235.43.94) |
| 2022-02-25 00:50:24 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:7dcd:73c3:ce07:9a72) (Read error: Connection reset by peer) |
| 2022-02-25 00:51:19 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-02-25 00:53:56 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-25 00:56:09 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2022-02-25 00:58:37 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-02-25 00:59:30 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 00:59:51 +0100 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2022-02-25 01:00:30 +0100 | auri | (~quassel@fsf/member/auri) |
| 2022-02-25 01:01:56 +0100 | <sshine> | Zemyla, "fixes #xyz" or "closes #xyz" anywhere in a PR message, or in a git commit message. |
| 2022-02-25 01:02:35 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-25 01:02:52 +0100 | <sshine> | Zemyla, I think the full list of words is: close, closes, closed, fixes, fixed |
| 2022-02-25 01:02:55 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-02-25 01:03:20 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 01:04:11 +0100 | <janus> | who in here was talking about warp adding the x509 dependency? I just filed a PR to gate it behind a flag |
| 2022-02-25 01:04:59 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-25 01:05:50 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-25 01:06:09 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-02-25 01:06:38 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 01:09:40 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 01:09:54 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 01:10:26 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-25 01:12:58 +0100 | thyriaen | (~thyriaen@dynamic-089-014-003-224.89.14.pool.telefonica.de) (Remote host closed the connection) |
| 2022-02-25 01:13:44 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2022-02-25 01:14:07 +0100 | OscarZ | (~oscarz@95.175.104.52) (Quit: Leaving) |
| 2022-02-25 01:20:12 +0100 | max22- | (~maxime@2a01cb0883359800b5877b22b166e521.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-02-25 01:21:25 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-02-25 01:21:40 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-02-25 01:22:26 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-02-25 01:27:39 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-25 01:28:03 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 2022-02-25 01:28:15 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 01:30:12 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 2022-02-25 01:30:17 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 2022-02-25 01:30:36 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2022-02-25 01:32:37 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 01:34:12 +0100 | analognoise | (~analognoi@212.102.45.103) (Quit: Leaving) |
| 2022-02-25 01:37:15 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2022-02-25 01:37:37 +0100 | alp | (~alp@user/alp) |
| 2022-02-25 01:44:12 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-02-25 01:44:54 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 01:49:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-25 01:49:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-25 01:49:00 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-25 01:49:39 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 01:52:13 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-02-25 01:56:20 +0100 | slack1256 | (~slack1256@45.4.2.52) |
| 2022-02-25 01:56:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 02:01:36 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-02-25 02:03:10 +0100 | gdown | (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-02-25 02:03:34 +0100 | gdown | (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) |
| 2022-02-25 02:04:36 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 02:10:49 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-02-25 02:14:13 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 02:16:55 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-02-25 02:19:08 +0100 | emf | (~emf@2620:10d:c090:400::5:7777) |
| 2022-02-25 02:19:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-25 02:21:07 +0100 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-02-25 02:22:52 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 02:23:41 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-25 02:28:23 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-02-25 02:30:12 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-25 02:30:34 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-02-25 02:34:12 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-02-25 02:36:53 +0100 | emf | (~emf@2620:10d:c090:400::5:7777) (Quit: emf) |
| 2022-02-25 02:39:10 +0100 | Guest68 | (~Guest68@134.101.5.46) (Quit: Client closed) |
| 2022-02-25 02:40:51 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 02:41:11 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-02-25 02:44:07 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2022-02-25 02:45:21 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 02:45:22 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 02:47:52 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-25 02:51:55 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 02:53:38 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-25 02:54:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-02-25 02:59:12 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 2022-02-25 02:59:51 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-25 03:00:06 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-02-25 03:02:14 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 03:04:02 +0100 | xff0x | (~xff0x@2001:1a81:53fb:2b00:8d8b:288f:2428:63ae) (Ping timeout: 240 seconds) |
| 2022-02-25 03:06:08 +0100 | xff0x | (~xff0x@2001:1a81:521b:8000:f875:79b0:5103:a9f3) |
| 2022-02-25 03:07:28 +0100 | Ariakenom_ | (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-02-25 03:08:51 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 03:09:50 +0100 | slack1256 | (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 2022-02-25 03:12:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-25 03:14:16 +0100 | img | (~img@user/img) |
| 2022-02-25 03:25:27 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 03:28:36 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 03:31:38 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 03:33:28 +0100 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2022-02-25 03:38:04 +0100 | justAstache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2022-02-25 03:38:16 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) |
| 2022-02-25 03:39:01 +0100 | justAstache | (~justache@user/justache) |
| 2022-02-25 03:39:10 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-02-25 03:42:45 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) (Ping timeout: 256 seconds) |
| 2022-02-25 03:43:57 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds) |
| 2022-02-25 03:44:28 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-25 03:45:42 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 03:46:04 +0100 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-02-25 03:50:20 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 03:53:58 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-25 03:56:26 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-02-25 03:59:18 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 03:59:20 +0100 | haskellnoob | (~haskellno@181.122.131.227) |
| 2022-02-25 04:00:23 +0100 | <haskellnoob> | I have a very simple question: putStrLen $ show key |
| 2022-02-25 04:00:36 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2022-02-25 04:01:06 +0100 | <haskellnoob> | where key is a newtype wrapped around bytestring |
| 2022-02-25 04:01:23 +0100 | <haskellnoob> | instance Show KeyPair where |
| 2022-02-25 04:01:35 +0100 | <haskellnoob> | showsPrec _ = shows . B16.encodeBase16 . getKeyPair |
| 2022-02-25 04:01:41 +0100 | <haskellnoob> | so far all good |
| 2022-02-25 04:01:57 +0100 | <haskellnoob> | but what I see on my screen has this output: "cc5162823eb1b3c1e6f30e7e7a0409b6eeffa39696bc3fb4c673ab4f3e833b9d6f506178d9f5f6fa958ad7ec5698c3c8ffc23ceb599bb5813eb63fe832de1df5a225299eba75c56fbf3aa67c82316123af7291c69a1f43530abf44344c62b5d2" |
| 2022-02-25 04:02:09 +0100 | <haskellnoob> | why are there quotes around? How do I get rid of them? |
| 2022-02-25 04:02:26 +0100 | xff0x | (~xff0x@2001:1a81:521b:8000:f875:79b0:5103:a9f3) (Ping timeout: 245 seconds) |
| 2022-02-25 04:03:12 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-25 04:03:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 04:04:20 +0100 | xff0x | (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 2022-02-25 04:06:30 +0100 | <geekosaur> | haskellnoob, probably because you are generating a String with B16.encodeBase16 and then `show`ing that (shows) |
| 2022-02-25 04:06:41 +0100 | <pavonia> | You seem to be using Show for pretty-printing, which is not recommended |
| 2022-02-25 04:06:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 04:07:36 +0100 | <haskellnoob> | got you |
| 2022-02-25 04:07:50 +0100 | <int-e> | > (shows "abc" "", showString "abc" "") -- hmm. |
| 2022-02-25 04:07:51 +0100 | <lambdabot> | ("\"abc\"","abc") |
| 2022-02-25 04:08:16 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-25 04:08:17 +0100 | <geekosaur> | Show by default produces valid Haskell source code, which means among other things that strings are quoted |
| 2022-02-25 04:08:31 +0100 | <int-e> | (but yeah, I wouldn't do that in production code) |
| 2022-02-25 04:09:02 +0100 | <int-e> | @src print |
| 2022-02-25 04:09:02 +0100 | <lambdabot> | print x = putStrLn (show x) |
| 2022-02-25 04:09:23 +0100 | <int-e> | But for throwaway code abusing Show is often too tempting :P |
| 2022-02-25 04:09:23 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 04:09:26 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-02-25 04:11:03 +0100 | <ski> | haskellnoob : yea, please don't abuse `Show' for custom pretty-printing |
| 2022-02-25 04:11:04 +0100 | <int-e> | tangent... the "Ln" in "putStrLn" is for "Line", not "Len". |
| 2022-02-25 04:11:43 +0100 | <monochrom> | My http://www.vex.net/~trebla/haskell/string-print-show-read.xhtml explain why show and print are better off with the quotes (and other escape codes). It is for String, but the same reasoning extends to ByteString. |
| 2022-02-25 04:11:44 +0100 | <haskellnoob> | I have a dedicated exportKey function, I use it like this: putStrLn $ "test " <> exportKeyPair keypair |
| 2022-02-25 04:11:56 +0100 | <haskellnoob> | which apparently gives me "hallo Text [49,97,57,100,56,99,99,49,57,100,57,53,99,54,101,54,49,97,98,49,101,97,53,99,50,102,100,53,50,53,50,102,55,100,48,56,49,102,52,98,102,51,51,101,48,56,48,57,101,56,52,56,55,57,55,55,50,50,53,101,48,99,97,52,57,49,55,100,53,57,53,48,51,52,97,57,48,49,100,97,56,97,55,100,56,100,56,100,52,97,57,49,49,56,51,50,99,54,52,55,51,51,56,100,48,52,53,53,56,102,56,97,53,56,50,98,56,53,55,98,57,50,99,98,53,54,53,49] 0 128" |
| 2022-02-25 04:12:10 +0100 | <haskellnoob> | because Text /= String, I'm lost again, sorry |
| 2022-02-25 04:12:24 +0100 | <int-e> | > map chr [49,97,57,100,56,99,99,49,57,100,57,53,99,54,101,54,49,97,98,49,101,97,53,99,50,102,100,53,50,53,50,102,55,100,48,56,49,102,52,98,102,51,51,101,48,56,48,57,101,56,52,56,55,57,55,55,50,50,53,101,48,99,97,52,57,49,55,100,53,57,53,48,51,52,97,57,48,49,100,97,56,97,55,100,56,100,56,100,52,97,57,49,49,56,51,50,99,54,52,55,51,51,56,100,48,52,53,53,56,102,56,97,53,56,50,98,56,53,55,98,57,50,99... |
| 2022-02-25 04:12:26 +0100 | <lambdabot> | <hint>:1:401: error: |
| 2022-02-25 04:12:26 +0100 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 2022-02-25 04:12:31 +0100 | <int-e> | ...,98,53,54,53,49] |
| 2022-02-25 04:12:33 +0100 | <int-e> | hmpf. |
| 2022-02-25 04:12:34 +0100 | <int-e> | > map chr [49,97,57,100,56,99,99,49,57,100,57,53,99,54,101,54,49,97,98,49,101,97,53,99,50,102,100,53,50,53,50,102,55,100,48,56,49,102,52,98,102,51,51,101,48,56,48,57,101,56,52,56,55,57,55,55,50,50,53,101,48,99,97,52,57,49,55,100,53,57,53,48,51,52,97,57,48,49,100,97,56,97,55,100,56,100,56,100,52,97,57,49,49,56,51,50,99,54,52,55,51,51,56,100,48,52,53,53,56,102,56,97,53,56,50,98,56] |
| 2022-02-25 04:12:36 +0100 | <lambdabot> | "1a9d8cc19d95c6e61ab1ea5c2fd5252f7d081f4bf33e0809e8487977225e0ca4917d595034a... |
| 2022-02-25 04:12:42 +0100 | <int-e> | beautiful |
| 2022-02-25 04:12:52 +0100 | <geekosaur> | looks like a ByteString rather than a Text to me |
| 2022-02-25 04:13:59 +0100 | <int-e> | :t Data.ByteString.unpack |
| 2022-02-25 04:14:01 +0100 | <lambdabot> | BSC.ByteString -> [Word8] |
| 2022-02-25 04:14:03 +0100 | <haskellnoob> | I want to hex-encode a bytestring and put on screen |
| 2022-02-25 04:14:42 +0100 | <haskellnoob> | what is this chr function? |
| 2022-02-25 04:14:59 +0100 | <haskellnoob> | for me it gives: error: Variable not in scope: chr :: a0 -> b0 |
| 2022-02-25 04:15:07 +0100 | <int-e> | It's from Data.Char |
| 2022-02-25 04:15:12 +0100 | <int-e> | :t chr |
| 2022-02-25 04:15:13 +0100 | <lambdabot> | Int -> Char |
| 2022-02-25 04:15:27 +0100 | <int-e> | @src chr |
| 2022-02-25 04:15:27 +0100 | <lambdabot> | Source not found. I am sorry. |
| 2022-02-25 04:15:40 +0100 | <int-e> | chr = toEnum with a specialized type, really |
| 2022-02-25 04:16:37 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-25 04:16:59 +0100 | <haskellnoob> | let me try... |
| 2022-02-25 04:17:18 +0100 | <ski> | showsPrec p kp = showParen (p > 10) $ showString "MkKeyPair " . showParen True (showString "decodeBase16 " . showsPrec 11 (B16.encodeBase16 (getKeyPair kp))) -- this would be an acceptable implementation, i think, haskellnoob |
| 2022-02-25 04:17:28 +0100 | <int-e> | :t Data.ByteString.Char8.unpack |
| 2022-02-25 04:17:30 +0100 | <lambdabot> | BSC.ByteString -> [Char] |
| 2022-02-25 04:18:02 +0100 | <ski> | hm. actually, i guess `decodeBase16' gives an `Either', so that doesn't work |
| 2022-02-25 04:19:02 +0100 | <int-e> | anyway, it seems like you successfully hex-encoded something; did you encode it into a bytestring and then used the wrong unpack function (from Data.ByteString instead of Data.ByteString.Char8) and then fixed the resulting type error with another `show`? |
| 2022-02-25 04:19:35 +0100 | <int-e> | Pasting the actual code (exportKeyPair seems most relevant) might help |
| 2022-02-25 04:19:37 +0100 | <int-e> | @where paste |
| 2022-02-25 04:19:37 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-02-25 04:22:18 +0100 | <haskellnoob> | one-liner: exportKeyPair k = showText . B16.encodeBase16 $ getKeyPair k |
| 2022-02-25 04:23:07 +0100 | <haskellnoob> | problem is this B16.encodeBase16 gives me Text instead of String |
| 2022-02-25 04:23:53 +0100 | <haskellnoob> | alternative was this: shows . B16.encodeBase16 $ getKeyPair k |
| 2022-02-25 04:23:53 +0100 | td_ | (~td@94.134.91.148) (Ping timeout: 250 seconds) |
| 2022-02-25 04:24:26 +0100 | <int-e> | Ah. Don't use showText. `Data.Text.unpack` is what you want |
| 2022-02-25 04:25:35 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) |
| 2022-02-25 04:25:46 +0100 | <haskellnoob> | NICE !!! |
| 2022-02-25 04:25:48 +0100 | <haskellnoob> | that was it |
| 2022-02-25 04:25:59 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 04:26:00 +0100 | <haskellnoob> | thanks a lot, you saved me at least another 3 hours |
| 2022-02-25 04:26:13 +0100 | <haskellnoob> | I owe you a cookie or something :) |
| 2022-02-25 04:26:44 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-25 04:26:50 +0100 | <int-e> | Usually when you end up with a function from a *.Internal module, especially one marked as "Debugging", something has gone wrong. |
| 2022-02-25 04:27:09 +0100 | <int-e> | (cf. https://hackage.haskell.org/package/text-2.0/docs/Data-Text-Internal.html#v:showText ) |
| 2022-02-25 04:27:09 +0100 | <haskellnoob> | lol thought so |
| 2022-02-25 04:27:33 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 04:27:37 +0100 | <haskellnoob> | thanks my friend |
| 2022-02-25 04:30:36 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 04:31:21 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-02-25 04:31:53 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2022-02-25 04:32:35 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-25 04:32:37 +0100 | haskellnoob | (~haskellno@181.122.131.227) (Ping timeout: 256 seconds) |
| 2022-02-25 04:34:23 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 2022-02-25 04:37:05 +0100 | niko | (~niko@libera/staff/niko) |
| 2022-02-25 04:37:23 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2022-02-25 04:38:54 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-25 04:40:48 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-02-25 04:44:45 +0100 | <Zemyla> | Data.List.sort and Data.List.sortBy should take Traversables instead of []s. That way, you can tell that it'll be the same length. |
| 2022-02-25 04:44:52 +0100 | <Zemyla> | :t \cmp ls -> case traverse (\a -> Compose (Endo ((:) a), state $ \(b:bs) -> (b, bs))) ls of Compose (Endo as, st) -> evalState st $ sortBy cmp (as []) |
| 2022-02-25 04:44:53 +0100 | <lambdabot> | Traversable t => (b -> b -> Ordering) -> t b -> t b |
| 2022-02-25 04:47:23 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 04:52:11 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 04:52:52 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 04:53:31 +0100 | mbuf | (~Shakthi@223.178.103.82) |
| 2022-02-25 04:53:44 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Quit: leaving) |
| 2022-02-25 04:55:43 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 04:56:19 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 04:56:59 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-25 05:02:24 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 05:04:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-25 05:08:59 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-25 05:09:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-25 05:14:02 +0100 | <int-e> | Zemyla: yuck |
| 2022-02-25 05:19:42 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 05:23:05 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 05:28:18 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 05:33:00 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 05:37:07 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-25 05:39:57 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 05:43:01 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 05:44:36 +0100 | Megant | (megant@user/megant) (Ping timeout: 240 seconds) |
| 2022-02-25 05:46:42 +0100 | Megant | (megant@user/megant) |
| 2022-02-25 06:00:24 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 06:00:31 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-02-25 06:00:32 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-25 06:00:54 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) |
| 2022-02-25 06:01:17 +0100 | jao | (~jao@68.235.43.94) (Ping timeout: 240 seconds) |
| 2022-02-25 06:05:02 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 06:13:32 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 240 seconds) |
| 2022-02-25 06:15:41 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-02-25 06:18:21 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 256 seconds) |
| 2022-02-25 06:20:00 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 06:22:56 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 06:23:50 +0100 | irishman | (~vshev4enk@178.151.117.243) |
| 2022-02-25 06:24:21 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-25 06:26:36 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 06:28:58 +0100 | irishman | (~vshev4enk@178.151.117.243) (Ping timeout: 272 seconds) |
| 2022-02-25 06:31:20 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-02-25 06:31:46 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-02-25 06:31:56 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-02-25 06:43:12 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 06:43:21 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-02-25 06:46:05 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 2022-02-25 06:51:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 06:52:42 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 06:53:47 +0100 | k8yun_ | (~k8yun@user/k8yun) |
| 2022-02-25 06:57:01 +0100 | k8yun | (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 2022-02-25 06:58:02 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 07:02:36 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) (Ping timeout: 240 seconds) |
| 2022-02-25 07:06:29 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2022-02-25 07:07:04 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-02-25 07:08:10 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 07:15:31 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-25 07:17:01 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-02-25 07:18:36 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-02-25 07:19:37 +0100 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-02-25 07:25:19 +0100 | <typetetris> | Good Morning from Germany. |
| 2022-02-25 07:25:46 +0100 | <typetetris> | Can I use non moving gc with ghc 8.10.7 or do I need (because of bugs or so) ghc 9.0.2 or ghc 9.2.1 ? |
| 2022-02-25 07:26:15 +0100 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-25 07:26:26 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 07:27:27 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-25 07:28:33 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2022-02-25 07:28:40 +0100 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-02-25 07:34:56 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 07:35:49 +0100 | abrar_ | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-02-25 07:42:49 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-25 07:44:43 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 2022-02-25 07:45:21 +0100 | abrar_ | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2022-02-25 07:45:43 +0100 | vglfr | (~vglfr@coupling.penchant.volia.net) |
| 2022-02-25 07:47:42 +0100 | <typetetris> | The generations mentioned in `+RTS --help` how are they numbered? is `0` the youngest or oldest? If I disable parallel gc for a programm with a threaded runtime for generation 0 using `-qg0`does thet mean, there isn' garbage collected at all? |
| 2022-02-25 07:49:10 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-25 07:50:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-25 07:51:41 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 07:58:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-02-25 07:59:03 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 08:00:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 08:12:01 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-25 08:12:09 +0100 | modnar | (~modnar@shell.sonic.net) (Quit: No Ping reply in 180 seconds.) |
| 2022-02-25 08:14:23 +0100 | <c_wraith> | typetetris: 0 is the first generation, but that only means you've disabled *parallel* gc, not all gc. |
| 2022-02-25 08:14:23 +0100 | modnar | (~modnar@shell.sonic.net) |
| 2022-02-25 08:15:11 +0100 | <c_wraith> | (parallel gc used to have some bugs that resulted in disabling it being pretty common) |
| 2022-02-25 08:16:02 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 08:16:52 +0100 | komikat_ | (~komikat@8.34.69.150) |
| 2022-02-25 08:17:28 +0100 | <typetetris> | c_wraith: Thank you! |
| 2022-02-25 08:19:17 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-02-25 08:20:09 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 2022-02-25 08:20:47 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-02-25 08:21:21 +0100 | Sgeo | (~Sgeo@user/sgeo) (Quit: Leaving) |
| 2022-02-25 08:23:52 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 08:24:31 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 08:31:51 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-25 08:32:10 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-25 08:33:43 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 08:36:22 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2022-02-25 08:43:26 +0100 | kaph | (~kaph@net-109-116-117-37.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2022-02-25 08:43:48 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-25 08:44:03 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-25 08:45:56 +0100 | kmein | (~weechat@user/kmein) (Client Quit) |
| 2022-02-25 08:46:15 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-25 08:46:16 +0100 | modnar | (~modnar@shell.sonic.net) (Remote host closed the connection) |
| 2022-02-25 08:47:35 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-02-25 08:51:00 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-02-25 08:51:59 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 08:55:39 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d082:885a:e953:48fe) |
| 2022-02-25 08:55:40 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 08:56:12 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-02-25 08:58:59 +0100 | komikat_ | (~komikat@8.34.69.150) (Remote host closed the connection) |
| 2022-02-25 09:04:04 +0100 | alp | (~alp@user/alp) |
| 2022-02-25 09:04:33 +0100 | <dminuoso> | Oh wow. I just read mpickering's announcement that GHC will receive an official JS backend. |
| 2022-02-25 09:05:34 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-02-25 09:10:03 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 2022-02-25 09:10:13 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-25 09:11:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-25 09:11:49 +0100 | komikat | (~komikat@8.34.69.150) |
| 2022-02-25 09:12:58 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 09:13:23 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 09:13:39 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-02-25 09:14:31 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-25 09:14:50 +0100 | zeenk | (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 2022-02-25 09:16:12 +0100 | <Cheery> | I have bunch of unicode glyphs that are typed in as python unicode syntax \u2203 |
| 2022-02-25 09:16:23 +0100 | <Cheery> | how to get haskell strings out of these? |
| 2022-02-25 09:17:02 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-02-25 09:20:10 +0100 | acidjnk | (~acidjnk@p200300d0c723f84535459519c3275cf0.dip0.t-ipconnect.de) |
| 2022-02-25 09:20:45 +0100 | fendor | (~fendor@178.115.50.171.wireless.dyn.drei.com) |
| 2022-02-25 09:20:45 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 09:21:11 +0100 | <dminuoso> | Use attoparsec? |
| 2022-02-25 09:21:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 2022-02-25 09:21:31 +0100 | <dminuoso> | There's also `readMaybe` perhaps, but I think attoparsec is a better bet |
| 2022-02-25 09:22:04 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) |
| 2022-02-25 09:23:23 +0100 | <turlando> | Isn't \u2203 in Python just \x2203 in Haskell? |
| 2022-02-25 09:25:19 +0100 | dextaa_ | (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 2022-02-25 09:27:25 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-25 09:29:01 +0100 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-25 09:29:29 +0100 | <ski> | > "\x2203\x2204\x2205" |
| 2022-02-25 09:29:31 +0100 | <lambdabot> | "\8707\8708\8709" |
| 2022-02-25 09:29:31 +0100 | <ski> | > case [cs | (cs,s) <- many (do "\\" <- StateT lex; 'u' <- StateT (Text.Read.readPrec_to_S Text.Read.get 0); chr <$> StateT readHex) `runStateT` "\\u2203\\u2204\\u2205",("","") <- lex s] of [s] -> s |
| 2022-02-25 09:29:33 +0100 | <lambdabot> | "\8707\8708\8709" |
| 2022-02-25 09:29:36 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-02-25 09:30:30 +0100 | haskl | (~haskl@user/haskl) (Ping timeout: 250 seconds) |
| 2022-02-25 09:30:41 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 2022-02-25 09:32:14 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2022-02-25 09:32:20 +0100 | haskl | (~haskl@user/haskl) |
| 2022-02-25 09:32:54 +0100 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-02-25 09:34:04 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-02-25 09:34:56 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 2022-02-25 09:34:59 +0100 | chele | (~chele@user/chele) |
| 2022-02-25 09:36:47 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-02-25 09:38:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 09:39:24 +0100 | Null_A | (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 2022-02-25 09:41:19 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-25 09:42:35 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 09:44:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-02-25 09:46:11 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-25 09:51:25 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-02-25 09:51:25 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2022-02-25 09:52:29 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 2022-02-25 09:56:12 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) |
| 2022-02-25 09:56:24 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) (Client Quit) |
| 2022-02-25 09:56:38 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-25 09:56:42 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) |
| 2022-02-25 09:58:12 +0100 | lottaquestions_ | (~nick@2607:fa49:5041:a200:77ff:49ec:2b9c:10c4) (Ping timeout: 240 seconds) |
| 2022-02-25 09:58:18 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 2022-02-25 09:59:21 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 09:59:55 +0100 | cheater | (~Username@user/cheater) |
| 2022-02-25 10:01:56 +0100 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-02-25 10:02:57 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 10:04:28 +0100 | k8yun_ | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-25 10:09:32 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 10:09:56 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-02-25 10:10:35 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-02-25 10:11:13 +0100 | cynomys | (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 2022-02-25 10:11:57 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-25 10:12:23 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-02-25 10:12:41 +0100 | kmein | (~weechat@user/kmein) |
| 2022-02-25 10:12:59 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-25 10:13:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 10:14:50 +0100 | agumonkey | (~user@88.163.231.79) |
| 2022-02-25 10:15:09 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 10:15:11 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-02-25 10:15:40 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2022-02-25 10:15:59 +0100 | michalz | (~michalz@185.246.204.55) |
| 2022-02-25 10:17:56 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-02-25 10:18:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-02-25 10:19:33 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-25 10:19:51 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 10:20:05 +0100 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2022-02-25 10:21:27 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-25 10:23:06 +0100 | gdown | (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-02-25 10:23:21 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-25 10:25:25 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 2022-02-25 10:27:30 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 10:31:40 +0100 | Guest|72 | (~Guest|72@41.223.139.41) |
| 2022-02-25 10:40:07 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-25 10:44:11 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 10:44:55 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-25 10:45:08 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-25 10:46:16 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-02-25 10:46:35 +0100 | <Guest|72> | hello |
| 2022-02-25 10:47:52 +0100 | Guest|72 | (~Guest|72@41.223.139.41) (Quit: Connection closed) |
| 2022-02-25 10:47:52 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 10:48:49 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-02-25 10:49:14 +0100 | ubert | (~Thunderbi@p548c8d84.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-02-25 10:49:31 +0100 | ubert | (~Thunderbi@p200300ecdf3be902a51b7820ee398bf2.dip0.t-ipconnect.de) |
| 2022-02-25 10:49:56 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-25 10:54:58 +0100 | ubert | (~Thunderbi@p200300ecdf3be902a51b7820ee398bf2.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-02-25 10:56:01 +0100 | backes | (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) |
| 2022-02-25 10:58:21 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 10:59:17 +0100 | <backes> | hey, is it possible to install or compile ghc 8.6 on macos M1 ? A project uses haskell for its build scripts but I get some errors with 8.10 which might be due to the different versions. Here are the current errors: https://paste.tomsmeding.com/ch34zuwz |
| 2022-02-25 11:00:03 +0100 | <backes> | it is not an option to port the code to 8.10 |
| 2022-02-25 11:00:10 +0100 | xff0x | (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) (Ping timeout: 260 seconds) |
| 2022-02-25 11:00:44 +0100 | <maerwald> | I think the answer is no |
| 2022-02-25 11:00:47 +0100 | jz99 | (~jz99@pa49-195-20-236.pa.nsw.optusnet.com.au) |
| 2022-02-25 11:00:49 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-02-25 11:01:17 +0100 | <merijn> | I mean, with Rosetta (or whatever the M1 version is called) you might get away with 8.6? |
| 2022-02-25 11:01:23 +0100 | <maerwald> | M1 has support since 8.10.5 |
| 2022-02-25 11:01:24 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 11:01:25 +0100 | jz99 | (~jz99@pa49-195-20-236.pa.nsw.optusnet.com.au) (Remote host closed the connection) |
| 2022-02-25 11:02:24 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 2022-02-25 11:02:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 11:04:14 +0100 | xff0x | (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 2022-02-25 11:04:39 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 11:05:26 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-25 11:06:55 +0100 | <backes> | merijn: that might work, i'll give this a try |
| 2022-02-25 11:07:42 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 11:07:58 +0100 | <backes> | is it not possible to compile it from source? Or is there architecture specific code in earier versions? |
| 2022-02-25 11:08:50 +0100 | <maerwald> | there's no native code generation support prior to 8.10.5 |
| 2022-02-25 11:09:51 +0100 | <merijn> | maerwald: Yeah, but you can generate intel code and run it |
| 2022-02-25 11:09:59 +0100 | <maerwald> | sure |
| 2022-02-25 11:10:11 +0100 | <maerwald> | that's not M1 specific though :) |
| 2022-02-25 11:10:22 +0100 | <merijn> | backes: It's a compiler, it's all architecture specific :) |
| 2022-02-25 11:10:40 +0100 | <maerwald> | you can just install 8.6 via a bindist then |
| 2022-02-25 11:10:43 +0100 | <maerwald> | no point in compiling it |
| 2022-02-25 11:15:24 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-25 11:24:53 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-02-25 11:24:55 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 11:26:44 +0100 | ubert | (~Thunderbi@p200300ecdf3be90283507d0ce7309bb3.dip0.t-ipconnect.de) |
| 2022-02-25 11:28:17 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 11:38:01 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-02-25 11:38:03 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-02-25 11:38:20 +0100 | EvanR | (~EvanR@user/evanr) |
| 2022-02-25 11:42:37 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:fb47:dab4:b775:330) |
| 2022-02-25 11:43:57 +0100 | jespada | (~jespada@85.255.233.175) |
| 2022-02-25 11:44:00 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2022-02-25 11:45:11 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 11:46:14 +0100 | backes | (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) (Read error: Connection reset by peer) |
| 2022-02-25 11:47:26 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 2022-02-25 11:48:16 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 11:50:13 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2022-02-25 11:50:39 +0100 | backes | (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) |
| 2022-02-25 11:52:21 +0100 | wonko | (~wjc@user/wonko) |
| 2022-02-25 11:53:13 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-02-25 11:53:33 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-02-25 11:55:17 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-02-25 11:55:27 +0100 | backes | (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) (Client Quit) |
| 2022-02-25 11:56:17 +0100 | acidjnk | (~acidjnk@p200300d0c723f84535459519c3275cf0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-02-25 11:56:21 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-02-25 11:57:19 +0100 | rembo10 | (~rembo10@remulis.com) |
| 2022-02-25 12:01:08 +0100 | alfonsox | (~quassel@103.87.57.4) |
| 2022-02-25 12:02:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-02-25 12:02:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-02-25 12:03:20 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-02-25 12:05:26 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 12:09:01 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 12:12:29 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 12:16:36 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 240 seconds) |
| 2022-02-25 12:17:55 +0100 | fendor_ | (~fendor@91.141.48.142.wireless.dyn.drei.com) |
| 2022-02-25 12:21:07 +0100 | fendor | (~fendor@178.115.50.171.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 2022-02-25 12:23:29 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-02-25 12:24:47 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-02-25 12:25:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-02-25 12:25:41 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 12:26:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-02-25 12:28:57 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 12:29:51 +0100 | phma | (phma@2001:5b0:2172:8c78:5f9d:f266:1ca1:f0c) (Read error: Connection reset by peer) |
| 2022-02-25 12:30:32 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 12:31:19 +0100 | phma | (phma@2001:5b0:215a:e178:614c:eec1:3e13:9455) |
| 2022-02-25 12:31:37 +0100 | komikat | (~komikat@8.34.69.150) (Read error: Connection reset by peer) |
| 2022-02-25 12:31:55 +0100 | komikat | (~komikat@8.34.69.150) |
| 2022-02-25 12:33:14 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 12:34:22 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-02-25 12:34:37 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-02-25 12:37:44 +0100 | errst | (~errst@user/errst) |
| 2022-02-25 12:41:30 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-25 12:41:36 +0100 | irishman | (~vshev4enk@178.151.117.243) |
| 2022-02-25 12:41:54 +0100 | wonko | (~wjc@user/wonko) (Ping timeout: 260 seconds) |
| 2022-02-25 12:45:55 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 12:46:11 +0100 | irishman | (~vshev4enk@178.151.117.243) (Ping timeout: 256 seconds) |
| 2022-02-25 12:48:38 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 12:49:38 +0100 | zer0bitz | (~zer0bitz@2001:2003:f74d:b800:fc98:bb5f:7d17:fcbd) |
| 2022-02-25 12:56:21 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-25 12:56:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 13:05:02 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 13:06:06 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 13:08:43 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 13:11:35 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 2022-02-25 13:19:36 +0100 | AlexZenon_2 | AlexZenon |
| 2022-02-25 13:23:11 +0100 | mbuf | (~Shakthi@223.178.103.82) (Ping timeout: 272 seconds) |
| 2022-02-25 13:23:48 +0100 | mbuf | (~Shakthi@110.225.228.90) |
| 2022-02-25 13:25:04 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 13:29:02 +0100 | cosimone` | (~user@93-34-132-33.ip49.fastwebnet.it) |
| 2022-02-25 13:29:48 +0100 | mbuf | (~Shakthi@110.225.228.90) (Ping timeout: 240 seconds) |
| 2022-02-25 13:30:12 +0100 | mbuf | (~Shakthi@110.225.192.80) |
| 2022-02-25 13:30:34 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 250 seconds) |
| 2022-02-25 13:31:51 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 13:33:17 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-02-25 13:34:08 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-25 13:34:13 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2022-02-25 13:35:08 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-02-25 13:35:49 +0100 | cynomys | (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 2022-02-25 13:44:02 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 13:44:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 13:48:16 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 13:48:44 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 13:51:01 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 272 seconds) |
| 2022-02-25 13:51:29 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 13:53:07 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-02-25 13:58:12 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-02-25 14:01:13 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-02-25 14:02:31 +0100 | frosch03 | (~user@2a02:c98:1003:8000:856a:7a2a:398b:8842) |
| 2022-02-25 14:02:31 +0100 | jespada | (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 2022-02-25 14:03:59 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-02-25 14:05:39 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-02-25 14:05:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 14:05:50 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 2022-02-25 14:06:38 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-25 14:08:23 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-25 14:09:53 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 14:10:03 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-25 14:10:36 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-02-25 14:11:04 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 14:12:44 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 14:14:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 14:18:40 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 250 seconds) |
| 2022-02-25 14:23:15 +0100 | simeon | (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) |
| 2022-02-25 14:28:30 +0100 | jkaye | (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) |
| 2022-02-25 14:29:47 +0100 | simeon | (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2022-02-25 14:30:13 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-02-25 14:30:36 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 14:32:30 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-25 14:33:01 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 14:35:33 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 14:37:03 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-25 14:37:36 +0100 | <Zemyla> | int-e: Why yuck? Sorting arbitrary traversals sounds like a great time. |
| 2022-02-25 14:37:37 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 14:37:50 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-25 14:38:40 +0100 | <romesrf> | @unmtl StateT [Int] (ExceptT (String, [Int]) (ReaderT R m)) a |
| 2022-02-25 14:38:40 +0100 | <lambdabot> | [Int] -> R -> m (Either (String, [Int]) (a, [Int])) |
| 2022-02-25 14:41:46 +0100 | <romesrf> | \o |
| 2022-02-25 14:45:27 +0100 | fendor_ | fendor |
| 2022-02-25 14:47:23 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 14:47:44 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 14:49:56 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 14:50:16 +0100 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 2022-02-25 14:51:20 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-25 14:52:14 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 14:58:37 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 15:02:11 +0100 | <romesrf> | has anyone thoughts on algebraic effects / fused-effects? |
| 2022-02-25 15:06:18 +0100 | <maerwald> | slow |
| 2022-02-25 15:07:49 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-02-25 15:08:14 +0100 | jao | (~jao@87.249.134.10) |
| 2022-02-25 15:09:04 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 15:11:33 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 15:14:04 +0100 | komikat_ | (~komikat@183.82.154.239) |
| 2022-02-25 15:17:11 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-02-25 15:17:49 +0100 | komikat | (~komikat@8.34.69.150) (Ping timeout: 272 seconds) |
| 2022-02-25 15:18:59 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.108) |
| 2022-02-25 15:20:59 +0100 | AlexZenon | (~alzenon@178.34.160.252) (Ping timeout: 272 seconds) |
| 2022-02-25 15:21:37 +0100 | Alex_test | (~al_test@178.34.160.252) (Ping timeout: 272 seconds) |
| 2022-02-25 15:22:03 +0100 | <romesrf> | @unmtl (ReaderT R (ExceptT E (WriterT W m)) a) |
| 2022-02-25 15:22:03 +0100 | <lambdabot> | R -> m (Either E a, W) |
| 2022-02-25 15:22:12 +0100 | AlexNoo | (~AlexNoo@178.34.160.252) (Ping timeout: 240 seconds) |
| 2022-02-25 15:22:45 +0100 | jespada | (~jespada@85.255.233.175) |
| 2022-02-25 15:22:56 +0100 | <romesrf> | nice |
| 2022-02-25 15:24:26 +0100 | <romesrf> | is it worth it implementing my own monad instance for something like that? would it be faster than using mtl+transformers? |
| 2022-02-25 15:25:24 +0100 | <Zemyla> | Yeah, probably. |
| 2022-02-25 15:25:25 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-25 15:26:04 +0100 | Alex_test | (~al_test@94.233.240.108) |
| 2022-02-25 15:26:17 +0100 | <romesrf> | :-) |
| 2022-02-25 15:26:21 +0100 | AlexZenon | (~alzenon@94.233.240.108) |
| 2022-02-25 15:28:23 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 15:30:29 +0100 | russruss | (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-25 15:30:30 +0100 | Vajb | (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 2022-02-25 15:31:16 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 15:31:36 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-02-25 15:34:22 +0100 | AlexNoo_ | AlexNoo |
| 2022-02-25 15:36:17 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-25 15:36:18 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-25 15:36:18 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-25 15:45:10 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-02-25 15:45:25 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 2022-02-25 15:48:14 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-02-25 15:48:52 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 15:49:48 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-02-25 15:49:57 +0100 | Null_A | (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 2022-02-25 15:51:36 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 15:52:02 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 15:56:11 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-02-25 15:56:11 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-02-25 15:56:11 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-02-25 15:56:53 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 2022-02-25 15:57:46 +0100 | ystael | (~ystael@user/ystael) |
| 2022-02-25 16:00:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 16:00:41 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-02-25 16:02:22 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-25 16:04:30 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-25 16:05:05 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-25 16:05:23 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-02-25 16:05:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 16:09:07 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 16:11:30 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 16:12:41 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 16:14:53 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 2022-02-25 16:15:58 +0100 | dextaa_ | (~dextaa@user/dextaa) (Quit: The Lounge - https://thelounge.chat) |
| 2022-02-25 16:17:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 16:19:15 +0100 | yauhsien | (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-02-25 16:26:18 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-02-25 16:27:40 +0100 | zaquest | (~notzaques@5.130.79.72) (Read error: Connection reset by peer) |
| 2022-02-25 16:28:28 +0100 | zaquest | (~notzaques@5.130.79.72) |
| 2022-02-25 16:28:29 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 16:28:46 +0100 | mbuf | (~Shakthi@110.225.192.80) (Quit: Leaving) |
| 2022-02-25 16:30:56 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-02-25 16:31:39 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 16:31:56 +0100 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-02-25 16:33:54 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-25 16:33:55 +0100 | FragByte | (~christian@user/fragbyte) |
| 2022-02-25 16:34:55 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 250 seconds) |
| 2022-02-25 16:39:48 +0100 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2022-02-25 16:39:50 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-02-25 16:40:25 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-02-25 16:40:35 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 16:42:07 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-02-25 16:43:55 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 2022-02-25 16:44:03 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-02-25 16:44:10 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2022-02-25 16:44:26 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-02-25 16:45:37 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-25 16:46:18 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:5bf7:7723:bd1c:6732) |
| 2022-02-25 16:48:30 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 16:50:45 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 16:52:36 +0100 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Quit: Leaving) |
| 2022-02-25 16:54:02 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Quit: rcirc on GNU Emacs 27.2) |
| 2022-02-25 16:56:46 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-02-25 17:00:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-02-25 17:02:04 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2022-02-25 17:02:57 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-02-25 17:07:08 +0100 | abhixec | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-02-25 17:07:57 +0100 | michalz | (~michalz@185.246.204.55) (Read error: Connection reset by peer) |
| 2022-02-25 17:08:29 +0100 | michalz | (~michalz@185.246.204.75) |
| 2022-02-25 17:09:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-02-25 17:09:25 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 17:12:09 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 17:13:56 +0100 | <int-e> | Zemyla: yuck because the code you showed goes via lists and uses a partial function... better be honest and stick to lists |
| 2022-02-25 17:16:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 17:16:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 17:16:27 +0100 | <int-e> | (The abstraction may fit the purpose, but the implementation(s) really don't.) |
| 2022-02-25 17:17:49 +0100 | jao | (~jao@87.249.134.10) (Ping timeout: 240 seconds) |
| 2022-02-25 17:19:42 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-02-25 17:19:57 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-02-25 17:20:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 17:20:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 256 seconds) |
| 2022-02-25 17:21:57 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-02-25 17:22:04 +0100 | jgeerds | (~jgeerds@d53600c5.access.ecotel.net) |
| 2022-02-25 17:26:46 +0100 | Alex_test_ | (~al_test@94.233.240.108) |
| 2022-02-25 17:28:23 +0100 | Alex_test | (~al_test@94.233.240.108) (Ping timeout: 256 seconds) |
| 2022-02-25 17:28:44 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-25 17:28:46 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 17:29:26 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-02-25 17:31:14 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 17:33:45 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-02-25 17:34:04 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 17:34:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d082:885a:e953:48fe) (Quit: WeeChat 2.8) |
| 2022-02-25 17:39:20 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-02-25 17:46:40 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2022-02-25 17:46:51 +0100 | russruss | (~russruss@my.russellmcc.com) (Client Quit) |
| 2022-02-25 17:47:43 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2022-02-25 17:47:48 +0100 | emf | (~emf@2620:10d:c090:400::5:7b2f) |
| 2022-02-25 17:49:15 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 17:50:45 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-25 17:52:13 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 17:54:13 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-02-25 17:55:39 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-02-25 17:56:35 +0100 | jespada | (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 2022-02-25 17:57:16 +0100 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2022-02-25 17:58:28 +0100 | coot | (~coot@213.134.190.95) () |
| 2022-02-25 17:58:37 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-02-25 18:00:15 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-02-25 18:02:31 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-02-25 18:03:28 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 18:03:57 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-02-25 18:05:01 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-02-25 18:06:18 +0100 | analognoise | (~analognoi@45.83.89.205) |
| 2022-02-25 18:07:38 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 260 seconds) |
| 2022-02-25 18:08:03 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-02-25 18:08:13 +0100 | mncheck | (~mncheck@193.224.205.254) |
| 2022-02-25 18:08:36 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-02-25 18:09:30 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 18:09:51 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-02-25 18:11:45 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 18:12:19 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-25 18:12:20 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) |
| 2022-02-25 18:14:47 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-25 18:17:48 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-02-25 18:17:57 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 2022-02-25 18:19:56 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds) |
| 2022-02-25 18:20:32 +0100 | ubert | (~Thunderbi@p200300ecdf3be90283507d0ce7309bb3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-02-25 18:20:36 +0100 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:fb47:dab4:b775:330) (Remote host closed the connection) |
| 2022-02-25 18:21:48 +0100 | LiaoTao | (~LiaoTao@gateway/tor-sasl/liaotao) |
| 2022-02-25 18:21:56 +0100 | x_kuru | (~xkuru@user/xkuru) |
| 2022-02-25 18:24:35 +0100 | MoC | (~moc@user/moc) |
| 2022-02-25 18:25:01 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 2022-02-25 18:25:33 +0100 | frosch03 | (~user@2a02:c98:1003:8000:856a:7a2a:398b:8842) (Ping timeout: 268 seconds) |
| 2022-02-25 18:25:48 +0100 | raym | (~raym@user/raym) (Quit: laptop battery died :() |
| 2022-02-25 18:28:17 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 18:28:37 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 18:28:41 +0100 | nehsou^ | (~nehsou@50-202-219-146-static.hfc.comcastbusiness.net) |
| 2022-02-25 18:31:01 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 2022-02-25 18:31:21 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 18:32:11 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-02-25 18:32:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2022-02-25 18:34:21 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) |
| 2022-02-25 18:34:34 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-02-25 18:37:29 +0100 | jespada | (~jespada@85.255.233.175) |
| 2022-02-25 18:38:47 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-25 18:41:21 +0100 | wingsorc | (~wingsorc@user/wingsorc) |
| 2022-02-25 18:41:29 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 18:41:48 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-02-25 18:44:10 +0100 | Alex_test_ | Alex_test |
| 2022-02-25 18:44:39 +0100 | <Henson> | I'm trying to make a function that can take data that is tagged with a side, either Left or Right and returns data tagged with the opposite side. If it takes in Left data it will return Right data, and vice-versa. Is there a way I can make a type-level constraint for a generic function that can take both Left and Right data, but ensure that the opposite side is returned. If I make a.... |
| 2022-02-25 18:44:42 +0100 | <wingsorc> | when I try to do cabal install ghc-mtl (ghc 9.0.2) I get an error that 'MonadUtils' cannot be found. I grepped through ghc's git repository and apparently MonadUtils.hs was removed or moved at some point |
| 2022-02-25 18:45:22 +0100 | vicfred | (~vicfred@user/vicfred) |
| 2022-02-25 18:45:38 +0100 | <Henson> | type like "data Side a = Left a | Right a" then I can use pattern matching to determine if the wrong thing is happening a run time, but not a compile time. If I make two separate types "newtype Left a = { getLeft :: a}" and a Right equivalent, then I would have to make two separate functions to handle the two separate type possibilities. |
| 2022-02-25 18:45:43 +0100 | <Henson> | is there a way to do it with a single function? |
| 2022-02-25 18:45:55 +0100 | <Henson> | I think it would be possible using classes, but are they necessary in this case? |
| 2022-02-25 18:46:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-02-25 18:47:00 +0100 | <geekosaur> | wingsorc, hasn't been updated since2014, whereas ghc source changes a lot. it's probably a lost cause |
| 2022-02-25 18:48:10 +0100 | <geekosaur> | Henson, sounds related to https://www.reddit.com/r/haskell/comments/1num0o/statically_checked_redblack_tree_possible/ to me? |
| 2022-02-25 18:48:24 +0100 | <janus> | wingsorc: is your nick a reference to the Winsock library? |
| 2022-02-25 18:48:31 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-02-25 18:49:06 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 18:49:18 +0100 | <wingsorc> | janus: no not really |
| 2022-02-25 18:50:23 +0100 | <janus> | wingsorc: how did you become interested in ghc-mtl? what is your overarching goal? |
| 2022-02-25 18:50:59 +0100 | <Henson> | geekosaur: thanks for the pointer, I'll look into that |
| 2022-02-25 18:51:00 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-02-25 18:51:27 +0100 | <wingsorc> | janus: well there is a codebase I need to get to compile and somehow people use haskell for some parts. |
| 2022-02-25 18:51:28 +0100 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-02-25 18:53:15 +0100 | <fockerized> | is the ghc wiki on gitlab a git repo? |
| 2022-02-25 18:54:27 +0100 | <fockerized> | sorry just saw that it is |
| 2022-02-25 18:55:25 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 18:56:46 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-02-25 18:56:57 +0100 | MajorBiscuit | (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 272 seconds) |
| 2022-02-25 18:59:11 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 2022-02-25 19:01:12 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-02-25 19:01:51 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-02-25 19:03:32 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Ping timeout: 240 seconds) |
| 2022-02-25 19:05:11 +0100 | k8yun | (~k8yun@user/k8yun) |
| 2022-02-25 19:07:32 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-02-25 19:12:17 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 19:13:04 +0100 | raym | (~raym@user/raym) |
| 2022-02-25 19:14:51 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 19:15:14 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-25 19:17:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 2022-02-25 19:21:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 19:21:07 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 2022-02-25 19:22:12 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 2022-02-25 19:22:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 19:26:38 +0100 | komikat_ | (~komikat@183.82.154.239) (Read error: Connection reset by peer) |
| 2022-02-25 19:27:50 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-25 19:29:36 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-02-25 19:29:41 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 19:32:47 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 19:33:32 +0100 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 240 seconds) |
| 2022-02-25 19:34:34 +0100 | komikat | (~komikat@183.82.154.239) (Remote host closed the connection) |
| 2022-02-25 19:34:58 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 19:35:34 +0100 | econo | (uid147250@user/econo) |
| 2022-02-25 19:37:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 19:37:18 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-25 19:43:23 +0100 | yauhsienhuangtw | (~Yau-Hsien@61-231-21-135.dynamic-ip.hinet.net) (Quit: Leaving) |
| 2022-02-25 19:44:01 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-02-25 19:44:17 +0100 | yauhsien | (~Yau-Hsien@61-231-21-135.dynamic-ip.hinet.net) |
| 2022-02-25 19:50:53 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 19:51:54 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 19:53:24 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 2022-02-25 19:53:40 +0100 | <Zemyla> | int-e: There are ways to make that total, but they introduce some pretty gnarly overhead. |
| 2022-02-25 19:54:09 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-02-25 19:54:19 +0100 | alfonsox | (~quassel@103.87.57.4) (Read error: Connection reset by peer) |
| 2022-02-25 19:55:06 +0100 | EvanR | (~EvanR@user/evanr) |
| 2022-02-25 19:55:15 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 19:59:17 +0100 | agumonkey | (~user@88.163.231.79) (Remote host closed the connection) |
| 2022-02-25 19:59:32 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-25 20:03:23 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 2022-02-25 20:03:49 +0100 | alp | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-02-25 20:04:23 +0100 | bahamas | (~lucian@84.232.140.52) |
| 2022-02-25 20:04:58 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-02-25 20:05:59 +0100 | deadmarshal | (~deadmarsh@95.38.116.175) (Ping timeout: 272 seconds) |
| 2022-02-25 20:05:59 +0100 | deadmarshal_ | (~deadmarsh@95.38.116.254) |
| 2022-02-25 20:11:57 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
| 2022-02-25 20:12:02 +0100 | briandaed | (~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 240 seconds) |
| 2022-02-25 20:12:11 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-02-25 20:13:45 +0100 | alx741 | (~alx741@157.100.197.240) |
| 2022-02-25 20:16:27 +0100 | alx741 | (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 2022-02-25 20:17:07 +0100 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-02-25 20:19:49 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-02-25 20:21:31 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 20:22:34 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 2022-02-25 20:23:23 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-25 20:25:16 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-02-25 20:25:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 240 seconds) |
| 2022-02-25 20:31:18 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 2022-02-25 20:31:39 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 2022-02-25 20:31:40 +0100 | alp | (~alp@user/alp) |
| 2022-02-25 20:31:48 +0100 | jeffz | (~user@lambda.xen.prgmr.com) (Remote host closed the connection) |
| 2022-02-25 20:31:56 +0100 | jeffz | (~user@lambda.xen.prgmr.com) |
| 2022-02-25 20:31:57 +0100 | polezaivsani` | (~polezaivs@orangeshoelaces.net) |
| 2022-02-25 20:32:01 +0100 | Simacore | (~Simacore@2a01cb0583e8cd00701abf51557d62ad.ipv6.abo.wanadoo.fr) |
| 2022-02-25 20:33:05 +0100 | alx741 | (~alx741@181.199.42.143) |
| 2022-02-25 20:33:38 +0100 | agumonkey | (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Read error: Connection reset by peer) |
| 2022-02-25 20:33:47 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 20:33:59 +0100 | polezaivsani | (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds) |
| 2022-02-25 20:35:13 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 20:36:01 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-02-25 20:36:17 +0100 | alx741 | (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 2022-02-25 20:38:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 20:38:46 +0100 | coot | (~coot@213.134.190.95) |
| 2022-02-25 20:41:06 +0100 | kevinsjoberg | (sid499516@id-499516.lymington.irccloud.com) |
| 2022-02-25 20:42:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 20:42:20 +0100 | <kevinsjoberg> | I'm currently reading Effective Haskell, but I can't really follow the following example: https://paste.tomsmeding.com/KvLJ2ESD. |
| 2022-02-25 20:42:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 20:42:31 +0100 | <kevinsjoberg> | Specifically, foldl (+) 0 . map snd . filter (isAttending . fst). |
| 2022-02-25 20:42:52 +0100 | <kevinsjoberg> | Why are we doing "0 . map" specifically? |
| 2022-02-25 20:42:56 +0100 | <kevinsjoberg> | It doesn't compute in my head. |
| 2022-02-25 20:43:21 +0100 | <int-e> | that's (foldl (+) 0) . (map snd) . (filter (isAttending . fst)) |
| 2022-02-25 20:43:22 +0100 | <davean> | kevinsjoberg: who said you were doing 0 . map? |
| 2022-02-25 20:43:24 +0100 | <kevinsjoberg> | foldl takes a function, (+) in this case, and a starting value, 0, in this case, but what does composing have to do with it. |
| 2022-02-25 20:43:33 +0100 | <kevinsjoberg> | Oh.... |
| 2022-02-25 20:43:41 +0100 | <kevinsjoberg> | int-e: |
| 2022-02-25 20:43:47 +0100 | <kevinsjoberg> | int-e: now it makes sense. :) |
| 2022-02-25 20:43:53 +0100 | <kevinsjoberg> | Didn't think about precedence. |
| 2022-02-25 20:44:10 +0100 | <davean> | I hate having to parse precedence by hand mind you |
| 2022-02-25 20:44:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 20:44:31 +0100 | <kevinsjoberg> | Yeah, I guess that makes us two. Thanks for pointing it out though. :) |
| 2022-02-25 20:44:41 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 2022-02-25 20:45:36 +0100 | <int-e> | it's something to get used to... probably won't take long |
| 2022-02-25 20:46:47 +0100 | <exarkun> | What do people use instead of https://hackage.haskell.org/package/wai-middleware-catch-0.3.6 (which doesn't seem to be compatible with recent ... lifted-base, maybe?) |
| 2022-02-25 20:47:18 +0100 | <exarkun> | did I pick the wrong web server, that I even need to look for middleware to handle exceptions? or maybe I made a poor choice in using exceptions in my web application |
| 2022-02-25 20:47:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-02-25 20:48:11 +0100 | <kevinsjoberg> | int-e: I guess :info could have helped me here as it states . is infixr and of high precedence. |
| 2022-02-25 20:48:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-02-25 20:48:38 +0100 | <geekosaur> | kevinsjoberg, evenmore important is thefixity you can't see: function application is "highest precedence" |
| 2022-02-25 20:48:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-02-25 20:49:04 +0100 | <geekosaur> | which is why the expression breaks down the way it-esaid |
| 2022-02-25 20:49:10 +0100 | <kevinsjoberg> | geekosaur: that's good to know. That's why foldr (+) 0 wraps. |
| 2022-02-25 20:49:13 +0100 | <geekosaur> | *int-e said |
| 2022-02-25 20:49:19 +0100 | <kevinsjoberg> | Yeah. Makes total sense. |
| 2022-02-25 20:49:21 +0100 | <kevinsjoberg> | Thanks! |
| 2022-02-25 20:49:48 +0100 | jespada | (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 2022-02-25 20:49:56 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-02-25 20:50:30 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-02-25 20:51:06 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-02-25 20:51:27 +0100 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-02-25 20:51:54 +0100 | jespada | (~jespada@85.255.233.175) |
| 2022-02-25 20:52:14 +0100 | jao | (~jao@87.249.134.38) |
| 2022-02-25 20:52:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 20:59:22 +0100 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-02-25 21:01:05 +0100 | jespada | (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 2022-02-25 21:02:58 +0100 | bahamas | (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 2022-02-25 21:03:55 +0100 | jespada | (~jespada@85.255.233.175) |
| 2022-02-25 21:06:36 +0100 | xff0x | (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) (Ping timeout: 245 seconds) |
| 2022-02-25 21:06:36 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 2022-02-25 21:09:24 +0100 | joo-_ | (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 2022-02-25 21:09:24 +0100 | joo-_ | (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-02-25 21:09:24 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-02-25 21:11:31 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 21:12:16 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 21:12:24 +0100 | xff0x | (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 2022-02-25 21:13:26 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:d5ee:1d14:9bcb:60b5) |
| 2022-02-25 21:14:05 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-02-25 21:14:30 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 2022-02-25 21:16:27 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 21:18:03 +0100 | <pareto-optimal-d> | Anyone know of resources/comparisons about writing polymorphic functions by default versus monomorphic by default? |
| 2022-02-25 21:18:03 +0100 | <pareto-optimal-d> | Or arguments/discussions about which should be done default? I searched "parametricity" and "monomorphic" on r/haskell and got a few, but looking for more or even a paper that is related. |
| 2022-02-25 21:18:24 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-02-25 21:19:22 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 21:21:43 +0100 | <geekosaur> | tbh you write the functions that do what you need, not specifically polymorphic vs. monomorphic |
| 2022-02-25 21:21:57 +0100 | perro_ | (~perro@072-191-245-069.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 2022-02-25 21:22:12 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2022-02-25 21:23:25 +0100 | <geekosaur> | if you find yourself repeating a particular "pattern" across multiple programs, possibly including polymorphism, you can consider abstracting that into a personal library |
| 2022-02-25 21:24:45 +0100 | <geekosaur> | doubt there are many papers on it, although there are probably some on automatically specializing polymorphic functions to particular types for performance (ghc does this if you tell it to, see the SPECIALISE pragma) |
| 2022-02-25 21:25:55 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 21:27:48 +0100 | tito | (tito@tilde.team) |
| 2022-02-25 21:30:35 +0100 | jao | (~jao@87.249.134.38) (Remote host closed the connection) |
| 2022-02-25 21:32:24 +0100 | <geekosaur> | the price of generalizing when you don't need to, whether by polymorphism or some other degree of generalization, is performance and often error messages |
| 2022-02-25 21:33:01 +0100 | Techcable | (~Techcable@168.235.93.147) (Ping timeout: 240 seconds) |
| 2022-02-25 21:33:12 +0100 | <geekosaur> | the price of not doing so is possibly finding yourself writing the same function multiple times for different types, which is when you refactor it to a polymorphic function |
| 2022-02-25 21:33:37 +0100 | <justsomeguy> | pareto-optimal-d: What are some points of discussion that you would want to find in a paper like that? |
| 2022-02-25 21:36:10 +0100 | nf | (~n@monade.li) (Quit: Fairfarren.) |
| 2022-02-25 21:36:53 +0100 | errst | (~errst@user/errst) (Quit: Lost terminal) |
| 2022-02-25 21:38:16 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 2022-02-25 21:41:48 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 21:42:05 +0100 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 2022-02-25 21:42:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 21:42:49 +0100 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-02-25 21:44:32 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 21:44:40 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-02-25 21:47:21 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 256 seconds) |
| 2022-02-25 21:49:59 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) |
| 2022-02-25 21:50:03 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-02-25 21:51:57 +0100 | komikat | (~komikat@183.82.154.239) (Remote host closed the connection) |
| 2022-02-25 21:52:12 +0100 | <catern> | I was thinking about how to batch memory allocations of big heterogeneous box-and-pointer data structures (e.g. big ADTs, syntax trees), rather than doing lots of tiny variously-sized allocations one at a time; it occurs to me that maybe lazy evaluation could support this, where you scan a computation-to-be-performed and do all the allocation required for it up-front instead of as-you-go... has there been any work like that? |
| 2022-02-25 21:52:15 +0100 | pavonia | (~user@user/siracusa) |
| 2022-02-25 21:52:47 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-25 21:53:11 +0100 | <geekosaur> | actually laziness pulls in the opposite direction since you may never need to allocate some of it |
| 2022-02-25 21:54:56 +0100 | <geekosaur> | and your memory allocation strategy plays into this as well, because for example the bump-pointer allocator used by ghc's nursery gives you most of this "for free" without having to analyze the structure you'reallocating |
| 2022-02-25 21:54:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 21:55:11 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 21:56:00 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-02-25 21:56:12 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 240 seconds) |
| 2022-02-25 21:57:09 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 2022-02-25 21:57:27 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 2022-02-25 21:57:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 2022-02-25 21:58:14 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) |
| 2022-02-25 21:58:56 +0100 | jespada | (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 2022-02-25 22:06:17 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 2022-02-25 22:06:41 +0100 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2022-02-25 22:09:05 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-25 22:09:15 +0100 | nf | (~n@monade.li) |
| 2022-02-25 22:13:05 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 2022-02-25 22:16:38 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-25 22:22:58 +0100 | Simacore | (~Simacore@2a01cb0583e8cd00701abf51557d62ad.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 2022-02-25 22:23:06 +0100 | cynomys | (~cynomys@user/cynomys) |
| 2022-02-25 22:26:30 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 2022-02-25 22:28:14 +0100 | tomku | (~tomku@user/tomku) |
| 2022-02-25 22:28:20 +0100 | jkaye | (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) (Remote host closed the connection) |
| 2022-02-25 22:28:42 +0100 | jkaye | (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) |
| 2022-02-25 22:30:37 +0100 | tomku | (~tomku@user/tomku) (Client Quit) |
| 2022-02-25 22:31:01 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 272 seconds) |
| 2022-02-25 22:32:14 +0100 | td_ | (~td@muedsl-82-207-238-084.citykom.de) |
| 2022-02-25 22:33:38 +0100 | tomku | (~tomku@user/tomku) |
| 2022-02-25 22:35:56 +0100 | <geekosaur> | in fact allocating it all up front might end up larger than a nursery block, which means invoking the large block allocator which is more expensive. and requires that the whole structure be strict, as I suggested above |
| 2022-02-25 22:37:06 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2022-02-25 22:37:13 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-02-25 22:38:16 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-25 22:41:29 +0100 | Null_A | (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2022-02-25 22:42:02 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 2022-02-25 22:44:34 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-02-25 22:46:35 +0100 | deadmarshal_ | (~deadmarsh@95.38.116.254) (Ping timeout: 256 seconds) |
| 2022-02-25 22:49:32 +0100 | soulomoon | (~soulomoon@103.156.242.29) |
| 2022-02-25 22:55:05 +0100 | wombat875 | (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-02-25 22:55:55 +0100 | merijn | (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-02-25 22:56:26 +0100 | <pareto-optimal-d> | justsomeguy: Basically the costs of not being polymorphic enough in real-world code I guess. |
| 2022-02-25 22:56:46 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-02-25 22:57:35 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-02-25 22:58:05 +0100 | <pareto-optimal-d> | <geekosaur> "the price of not doing so is..." <- I was more interested in how often implementation errors arise and starting out polymorphically would have prevented them. The trivial example being "swap :: (a,b) -> (b,a)" versus "swapInt :: (Int,Int) -> (Int,Int)". |
| 2022-02-25 22:58:05 +0100 | <pareto-optimal-d> | So I'm looking for more complicated versions of that and whether that type of parametricity being neglected can "cascade" I guess. |
| 2022-02-25 22:58:22 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2022-02-25 22:58:25 +0100 | <geekosaur> | you end up duplicating some effort. but you may want to do that for performance reasons, even if you do make it polymorphic (again see SPECIALISE) |
| 2022-02-25 22:59:35 +0100 | <geekosaur> | I think those kinds of situations are relatively rare. there might be some research into it, but it's far more common that excessive polymorphism costs performance |
| 2022-02-25 23:00:36 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-02-25 23:02:19 +0100 | <pareto-optimal-d> | My motivation is that in a large and pretty monomorphic codebase I keep seeing patterns where being monomorphic pushes you into a very suboptimal direction and increases complexity quite a bit. In many of those cases being more polymorphic would have helped or specifying properties about groups of codes with a typeclass perhaps. |
| 2022-02-25 23:02:19 +0100 | <pareto-optimal-d> | I thought/might still think those cases are relatively rare, but it's annoying me enough I want some more concrete proof :) |
| 2022-02-25 23:02:37 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-25 23:02:42 +0100 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2022-02-25 23:02:59 +0100 | <geekosaur> | typeclass polymorphism is a different thing from parametric polymorphism |
| 2022-02-25 23:03:49 +0100 | michalz | (~michalz@185.246.204.93) |
| 2022-02-25 23:04:06 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-02-25 23:04:14 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-02-25 23:04:27 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-02-25 23:07:18 +0100 | <pareto-optimal-d> | Yes, for sure. Quite difference reasons for them potentially lowering complexity. But... and I don't even know if this makes sense... it made me wonder about typeclass polymorphism of all monomorphic functions versus typeclass polymorphism of polymorphic functions too and if there's any difference. |
| 2022-02-25 23:07:18 +0100 | <pareto-optimal-d> | Of course it's EOD friday and my brain is kinda done so that might be nonsense :) |
| 2022-02-25 23:07:22 +0100 | <geekosaur> | and notably, any time you think you have grounds to make a new typeclass, you should consider whether a record of functions would be a better solution |
| 2022-02-25 23:11:23 +0100 | <pareto-optimal-d> | Ah, I've been writing in my Zettlekasten all day about that one too. |
| 2022-02-25 23:11:23 +0100 | <pareto-optimal-d> | I don't have enough evidence to support that one position or the other on type-classes yet. |
| 2022-02-25 23:11:23 +0100 | <pareto-optimal-d> | The best counter-argument I found is "usually doing natural transformation type things that record of functions would allow is an anti-pattern" or something along those lines. |
| 2022-02-25 23:11:23 +0100 | <pareto-optimal-d> | I need to personally tryout records of functions more to get a feel for them though since that's a consideration as well. |
| 2022-02-25 23:13:11 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 2022-02-25 23:14:46 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-02-25 23:17:48 +0100 | Null_A | (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 2022-02-25 23:22:47 +0100 | Pickchea | (~private@user/pickchea) (Remote host closed the connection) |
| 2022-02-25 23:23:30 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-02-25 23:25:15 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-02-25 23:26:33 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-02-25 23:30:18 +0100 | Hash | (~Hash@hashsecurity.org) (K-Lined) |
| 2022-02-25 23:30:41 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-02-25 23:32:02 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-02-25 23:32:11 +0100 | zebrag | (~chris@user/zebrag) (Ping timeout: 256 seconds) |
| 2022-02-25 23:35:26 +0100 | <monochrom> | catern: In GHC-generated code, each tiny allocation is a fairly cheap "if heap_top+n < limit then heap_top += n else call GC" so there is already a batch allocation behind these micro allocations. |
| 2022-02-25 23:36:17 +0100 | <monochrom> | To be sure, I forgot whether it's "+ and <" or "- and >" but you get the point either way. :) |
| 2022-02-25 23:36:41 +0100 | <catern> | geekosaur: hm I see, fair, fair |
| 2022-02-25 23:36:50 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-02-25 23:37:04 +0100 | <monochrom> | And yeah laziness means that premature allocation is unwise. |
| 2022-02-25 23:37:27 +0100 | <monochrom> | Well, premature micro allocation. |
| 2022-02-25 23:40:18 +0100 | emad | (~emad@102.45.236.212) |
| 2022-02-25 23:41:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-02-25 23:46:46 +0100 | acidjnk | (~acidjnk@p200300d0c723f8082c8a6c2f22489a41.dip0.t-ipconnect.de) |
| 2022-02-25 23:47:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-02-25 23:48:44 +0100 | komikat | (~komikat@183.82.154.239) |
| 2022-02-25 23:53:09 +0100 | komikat | (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 2022-02-25 23:53:31 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-02-25 23:55:37 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2022-02-25 23:56:46 +0100 | `2jt | (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |