Logs on 2022-02-25 (liberachat/#haskell)
| 00:00:30 | → | auri joins (~quassel@fsf/member/auri) |
| 00:01:56 | <sshine> | Zemyla, "fixes #xyz" or "closes #xyz" anywhere in a PR message, or in a git commit message. |
| 00:02:35 | × | Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 00:02:52 | <sshine> | Zemyla, I think the full list of words is: close, closes, closed, fixes, fixed |
| 00:02:55 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 00:03:20 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 00:04:11 | <janus> | who in here was talking about warp adding the x509 dependency? I just filed a PR to gate it behind a flag |
| 00:04:59 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 00:05:50 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:06:09 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 00:06:38 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:09:40 | → | cynomys joins (~cynomys@user/cynomys) |
| 00:09:54 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 00:10:26 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 00:12:58 | × | thyriaen quits (~thyriaen@dynamic-089-014-003-224.89.14.pool.telefonica.de) (Remote host closed the connection) |
| 00:13:44 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 00:14:07 | × | OscarZ quits (~oscarz@95.175.104.52) (Quit: Leaving) |
| 00:20:12 | × | max22- quits (~maxime@2a01cb0883359800b5877b22b166e521.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:21:25 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 00:21:40 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 00:22:26 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 00:27:39 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 00:28:03 | → | yauhsien joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 00:28:15 | → | alx741 joins (~alx741@181.199.42.143) |
| 00:30:12 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 240 seconds) |
| 00:30:17 | × | zeenk quits (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) (Quit: Konversation terminated!) |
| 00:30:36 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 00:32:37 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 00:34:12 | × | analognoise quits (~analognoi@212.102.45.103) (Quit: Leaving) |
| 00:37:15 | × | alp quits (~alp@user/alp) (Remote host closed the connection) |
| 00:37:37 | → | alp joins (~alp@user/alp) |
| 00:44:12 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 00:44:54 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 00:49:00 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:49:00 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:49:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:49:39 | → | alx741 joins (~alx741@157.100.197.240) |
| 00:52:13 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 00:56:20 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 00:56:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:01:36 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:03:10 | × | gdown quits (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 01:03:34 | → | gdown joins (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) |
| 01:04:36 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 01:10:49 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:13 | → | alx741 joins (~alx741@157.100.197.240) |
| 01:16:55 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:08 | → | emf joins (~emf@2620:10d:c090:400::5:7777) |
| 01:19:24 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 01:21:07 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 01:22:52 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 01:23:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:28:23 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:30:12 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 01:30:34 | × | yauhsien quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 01:34:12 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 01:36:53 | × | emf quits (~emf@2620:10d:c090:400::5:7777) (Quit: emf) |
| 01:39:10 | × | Guest68 quits (~Guest68@134.101.5.46) (Quit: Client closed) |
| 01:40:51 | → | alx741 joins (~alx741@181.199.42.143) |
| 01:41:11 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 01:44:07 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 01:45:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:45:22 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 01:47:52 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 01:51:55 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 01:53:38 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 01:54:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 01:59:12 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 250 seconds) |
| 01:59:51 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:00:06 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 02:02:14 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:04:02 | × | xff0x quits (~xff0x@2001:1a81:53fb:2b00:8d8b:288f:2428:63ae) (Ping timeout: 240 seconds) |
| 02:06:08 | → | xff0x joins (~xff0x@2001:1a81:521b:8000:f875:79b0:5103:a9f3) |
| 02:07:28 | × | Ariakenom_ quits (~Ariakenom@h-82-196-111-63.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 02:08:51 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:09:50 | × | slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 02:12:37 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 02:14:16 | → | img joins (~img@user/img) |
| 02:25:27 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:28:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:31:38 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 02:33:28 | → | goepsilongo joins (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 02:38:04 | × | justAstache quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 02:38:16 | → | deadmarshal joins (~deadmarsh@95.38.116.175) |
| 02:39:01 | → | justAstache joins (~justache@user/justache) |
| 02:39:10 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 02:42:45 | × | deadmarshal quits (~deadmarsh@95.38.116.175) (Ping timeout: 256 seconds) |
| 02:43:57 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 240 seconds) |
| 02:44:28 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 02:45:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 02:46:04 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 02:50:20 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 02:53:58 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 02:56:26 | × | pretty_d1 quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 02:59:18 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 02:59:20 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 03:00:23 | <haskellnoob> | I have a very simple question: putStrLen $ show key |
| 03:00:36 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 03:01:06 | <haskellnoob> | where key is a newtype wrapped around bytestring |
| 03:01:23 | <haskellnoob> | instance Show KeyPair where |
| 03:01:35 | <haskellnoob> | showsPrec _ = shows . B16.encodeBase16 . getKeyPair |
| 03:01:41 | <haskellnoob> | so far all good |
| 03:01:57 | <haskellnoob> | but what I see on my screen has this output: "cc5162823eb1b3c1e6f30e7e7a0409b6eeffa39696bc3fb4c673ab4f3e833b9d6f506178d9f5f6fa958ad7ec5698c3c8ffc23ceb599bb5813eb63fe832de1df5a225299eba75c56fbf3aa67c82316123af7291c69a1f43530abf44344c62b5d2" |
| 03:02:09 | <haskellnoob> | why are there quotes around? How do I get rid of them? |
| 03:02:26 | × | xff0x quits (~xff0x@2001:1a81:521b:8000:f875:79b0:5103:a9f3) (Ping timeout: 245 seconds) |
| 03:03:12 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:03:48 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 03:04:20 | → | xff0x joins (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 03:06:30 | <geekosaur> | haskellnoob, probably because you are generating a String with B16.encodeBase16 and then `show`ing that (shows) |
| 03:06:41 | <pavonia> | You seem to be using Show for pretty-printing, which is not recommended |
| 03:06:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:07:36 | <haskellnoob> | got you |
| 03:07:50 | <int-e> | > (shows "abc" "", showString "abc" "") -- hmm. |
| 03:07:51 | <lambdabot> | ("\"abc\"","abc") |
| 03:08:16 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 03:08:17 | <geekosaur> | Show by default produces valid Haskell source code, which means among other things that strings are quoted |
| 03:08:31 | <int-e> | (but yeah, I wouldn't do that in production code) |
| 03:09:02 | <int-e> | @src print |
| 03:09:02 | <lambdabot> | print x = putStrLn (show x) |
| 03:09:23 | <int-e> | But for throwaway code abusing Show is often too tempting :P |
| 03:09:23 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:09:26 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 03:11:03 | <ski> | haskellnoob : yea, please don't abuse `Show' for custom pretty-printing |
| 03:11:04 | <int-e> | tangent... the "Ln" in "putStrLn" is for "Line", not "Len". |
| 03:11:43 | <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. |
| 03:11:44 | <haskellnoob> | I have a dedicated exportKey function, I use it like this: putStrLn $ "test " <> exportKeyPair keypair |
| 03:11:56 | <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" |
| 03:12:10 | <haskellnoob> | because Text /= String, I'm lost again, sorry |
| 03:12:24 | <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... |
| 03:12:26 | <lambdabot> | <hint>:1:401: error: |
| 03:12:26 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 03:12:31 | <int-e> | ...,98,53,54,53,49] |
| 03:12:33 | <int-e> | hmpf. |
| 03:12:34 | <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] |
| 03:12:36 | <lambdabot> | "1a9d8cc19d95c6e61ab1ea5c2fd5252f7d081f4bf33e0809e8487977225e0ca4917d595034a... |
| 03:12:42 | <int-e> | beautiful |
| 03:12:52 | <geekosaur> | looks like a ByteString rather than a Text to me |
| 03:13:59 | <int-e> | :t Data.ByteString.unpack |
| 03:14:01 | <lambdabot> | BSC.ByteString -> [Word8] |
| 03:14:03 | <haskellnoob> | I want to hex-encode a bytestring and put on screen |
| 03:14:42 | <haskellnoob> | what is this chr function? |
| 03:14:59 | <haskellnoob> | for me it gives: error: Variable not in scope: chr :: a0 -> b0 |
| 03:15:07 | <int-e> | It's from Data.Char |
| 03:15:12 | <int-e> | :t chr |
| 03:15:13 | <lambdabot> | Int -> Char |
| 03:15:27 | <int-e> | @src chr |
| 03:15:27 | <lambdabot> | Source not found. I am sorry. |
| 03:15:40 | <int-e> | chr = toEnum with a specialized type, really |
| 03:16:37 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 03:16:59 | <haskellnoob> | let me try... |
| 03:17:18 | <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 |
| 03:17:28 | <int-e> | :t Data.ByteString.Char8.unpack |
| 03:17:30 | <lambdabot> | BSC.ByteString -> [Char] |
| 03:18:02 | <ski> | hm. actually, i guess `decodeBase16' gives an `Either', so that doesn't work |
| 03:19:02 | <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`? |
| 03:19:35 | <int-e> | Pasting the actual code (exportKeyPair seems most relevant) might help |
| 03:19:37 | <int-e> | @where paste |
| 03:19:37 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 03:22:18 | <haskellnoob> | one-liner: exportKeyPair k = showText . B16.encodeBase16 $ getKeyPair k |
| 03:23:07 | <haskellnoob> | problem is this B16.encodeBase16 gives me Text instead of String |
| 03:23:53 | <haskellnoob> | alternative was this: shows . B16.encodeBase16 $ getKeyPair k |
| 03:23:53 | × | td_ quits (~td@94.134.91.148) (Ping timeout: 250 seconds) |
| 03:24:26 | <int-e> | Ah. Don't use showText. `Data.Text.unpack` is what you want |
| 03:25:35 | → | td_ joins (~td@muedsl-82-207-238-084.citykom.de) |
| 03:25:46 | <haskellnoob> | NICE !!! |
| 03:25:48 | <haskellnoob> | that was it |
| 03:25:59 | → | alx741 joins (~alx741@157.100.197.240) |
| 03:26:00 | <haskellnoob> | thanks a lot, you saved me at least another 3 hours |
| 03:26:13 | <haskellnoob> | I owe you a cookie or something :) |
| 03:26:44 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 03:26:50 | <int-e> | Usually when you end up with a function from a *.Internal module, especially one marked as "Debugging", something has gone wrong. |
| 03:27:09 | <int-e> | (cf. https://hackage.haskell.org/package/text-2.0/docs/Data-Text-Internal.html#v:showText ) |
| 03:27:09 | <haskellnoob> | lol thought so |
| 03:27:33 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 03:27:37 | <haskellnoob> | thanks my friend |
| 03:30:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 03:31:21 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 03:31:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 03:32:35 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 03:32:37 | × | haskellnoob quits (~haskellno@181.122.131.227) (Ping timeout: 256 seconds) |
| 03:34:23 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Quit: Leaving) |
| 03:37:05 | → | niko joins (~niko@libera/staff/niko) |
| 03:37:23 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 03:38:54 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 03:40:48 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 03:44:45 | <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. |
| 03:44:52 | <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 []) |
| 03:44:53 | <lambdabot> | Traversable t => (b -> b -> Ordering) -> t b -> t b |
| 03:47:23 | → | alx741 joins (~alx741@181.199.42.143) |
| 03:52:11 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 03:52:52 | → | alx741 joins (~alx741@181.199.42.143) |
| 03:53:31 | → | mbuf joins (~Shakthi@223.178.103.82) |
| 03:53:44 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Quit: leaving) |
| 03:55:43 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 03:56:19 | → | alx741 joins (~alx741@181.199.42.143) |
| 03:56:59 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 04:02:24 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 04:04:36 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 04:08:59 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 04:09:17 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 04:14:02 | <int-e> | Zemyla: yuck |
| 04:19:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 04:23:05 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 04:28:18 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 04:33:00 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 04:37:07 | → | k8yun joins (~k8yun@user/k8yun) |
| 04:39:57 | → | alx741 joins (~alx741@181.199.42.143) |
| 04:43:01 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 04:44:36 | × | Megant quits (megant@user/megant) (Ping timeout: 240 seconds) |
| 04:46:42 | → | Megant joins (megant@user/megant) |
| 05:00:24 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:00:31 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 05:00:32 | → | zebrag joins (~chris@user/zebrag) |
| 05:00:54 | → | deadmarshal joins (~deadmarsh@95.38.116.175) |
| 05:01:17 | × | jao quits (~jao@68.235.43.94) (Ping timeout: 240 seconds) |
| 05:05:02 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:13:32 | × | lechner quits (~lechner@debian/lechner) (Ping timeout: 240 seconds) |
| 05:15:41 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 05:18:21 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 256 seconds) |
| 05:20:00 | → | cynomys joins (~cynomys@user/cynomys) |
| 05:22:56 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:23:50 | → | irishman joins (~vshev4enk@178.151.117.243) |
| 05:24:21 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 05:26:36 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:28:58 | × | irishman quits (~vshev4enk@178.151.117.243) (Ping timeout: 272 seconds) |
| 05:31:20 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 05:31:46 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 05:31:56 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 05:43:12 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:43:21 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 05:46:05 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 05:51:58 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 05:52:42 | → | alx741 joins (~alx741@157.100.197.240) |
| 05:53:47 | → | k8yun_ joins (~k8yun@user/k8yun) |
| 05:57:01 | × | k8yun quits (~k8yun@user/k8yun) (Ping timeout: 240 seconds) |
| 05:58:02 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 06:02:36 | × | deadmarshal quits (~deadmarsh@95.38.116.175) (Ping timeout: 240 seconds) |
| 06:06:29 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 06:07:04 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 06:08:10 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 06:15:31 | → | komikat joins (~komikat@183.82.154.239) |
| 06:17:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:18:36 | × | elkcl quits (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 06:19:37 | → | elkcl joins (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 06:25:19 | <typetetris> | Good Morning from Germany. |
| 06:25:46 | <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 ? |
| 06:26:15 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 06:26:26 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:27:27 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 06:28:33 | → | russruss joins (~russruss@my.russellmcc.com) |
| 06:28:40 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 06:34:56 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 06:35:49 | × | abrar_ quits (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 06:42:49 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 06:44:43 | × | vglfr quits (~vglfr@coupling.penchant.volia.net) (Ping timeout: 256 seconds) |
| 06:45:21 | → | abrar_ joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 06:45:43 | → | vglfr joins (~vglfr@coupling.penchant.volia.net) |
| 06:47:42 | <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? |
| 06:49:10 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 06:50:21 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:51:41 | → | alx741 joins (~alx741@181.199.42.143) |
| 06:58:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 06:59:03 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:00:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:12:01 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 07:12:09 | × | modnar quits (~modnar@shell.sonic.net) (Quit: No Ping reply in 180 seconds.) |
| 07:14:23 | <c_wraith> | typetetris: 0 is the first generation, but that only means you've disabled *parallel* gc, not all gc. |
| 07:14:23 | → | modnar joins (~modnar@shell.sonic.net) |
| 07:15:11 | <c_wraith> | (parallel gc used to have some bugs that resulted in disabling it being pretty common) |
| 07:16:02 | → | alx741 joins (~alx741@181.199.42.143) |
| 07:16:52 | → | komikat_ joins (~komikat@8.34.69.150) |
| 07:17:28 | <typetetris> | c_wraith: Thank you! |
| 07:19:17 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:20:09 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 07:20:47 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 07:21:21 | × | Sgeo quits (~Sgeo@user/sgeo) (Quit: Leaving) |
| 07:23:52 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 07:24:31 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:31:51 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 07:32:10 | → | kmein joins (~weechat@user/kmein) |
| 07:33:43 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:36:22 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 07:43:26 | × | kaph quits (~kaph@net-109-116-117-37.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 07:43:48 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 07:44:03 | → | kmein joins (~weechat@user/kmein) |
| 07:45:56 | × | kmein quits (~weechat@user/kmein) (Client Quit) |
| 07:46:15 | → | kmein joins (~weechat@user/kmein) |
| 07:46:16 | × | modnar quits (~modnar@shell.sonic.net) (Remote host closed the connection) |
| 07:47:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 07:51:00 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 07:51:59 | → | alx741 joins (~alx741@157.100.197.240) |
| 07:55:39 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:d082:885a:e953:48fe) |
| 07:55:40 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 07:56:12 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 07:58:59 | × | komikat_ quits (~komikat@8.34.69.150) (Remote host closed the connection) |
| 08:04:04 | → | alp joins (~alp@user/alp) |
| 08:04:33 | <dminuoso> | Oh wow. I just read mpickering's announcement that GHC will receive an official JS backend. |
| 08:05:34 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 08:10:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 08:10:13 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 08:11:36 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 08:11:49 | → | komikat joins (~komikat@8.34.69.150) |
| 08:12:58 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 08:13:23 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:13:39 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 08:14:31 | → | coot joins (~coot@213.134.190.95) |
| 08:14:50 | → | zeenk joins (~zeenk@2a02:2f04:a30d:1300:51a3:bcfc:6cda:9fc5) |
| 08:16:12 | <Cheery> | I have bunch of unicode glyphs that are typed in as python unicode syntax \u2203 |
| 08:16:23 | <Cheery> | how to get haskell strings out of these? |
| 08:17:02 | × | abhixec quits (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 08:20:10 | → | acidjnk joins (~acidjnk@p200300d0c723f84535459519c3275cf0.dip0.t-ipconnect.de) |
| 08:20:45 | → | fendor joins (~fendor@178.115.50.171.wireless.dyn.drei.com) |
| 08:20:45 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:21:11 | <dminuoso> | Use attoparsec? |
| 08:21:16 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Remote host closed the connection) |
| 08:21:31 | <dminuoso> | There's also `readMaybe` perhaps, but I think attoparsec is a better bet |
| 08:22:04 | → | deadmarshal joins (~deadmarsh@95.38.116.175) |
| 08:23:23 | <turlando> | Isn't \u2203 in Python just \x2203 in Haskell? |
| 08:25:19 | × | dextaa_ quits (~dextaa@user/dextaa) (Read error: Connection reset by peer) |
| 08:27:25 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 08:29:01 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:29:29 | <ski> | > "\x2203\x2204\x2205" |
| 08:29:31 | <lambdabot> | "\8707\8708\8709" |
| 08:29:31 | <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 |
| 08:29:33 | <lambdabot> | "\8707\8708\8709" |
| 08:29:36 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 08:30:30 | × | haskl quits (~haskl@user/haskl) (Ping timeout: 250 seconds) |
| 08:30:41 | × | ByronJohnson quits (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 08:32:14 | → | ByronJohnson joins (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 08:32:20 | → | haskl joins (~haskl@user/haskl) |
| 08:32:54 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 08:34:04 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:34:56 | → | Null_A joins (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) |
| 08:34:59 | → | chele joins (~chele@user/chele) |
| 08:36:47 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 08:38:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:39:24 | × | Null_A quits (~null_a@2601:645:8700:2290:a4fb:481a:7fa9:b909) (Ping timeout: 240 seconds) |
| 08:41:19 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 08:42:35 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 08:44:58 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 08:46:11 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 08:51:25 | → | zmt00 joins (~zmt00@user/zmt00) |
| 08:51:25 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 08:52:29 | → | max22- joins (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 08:56:12 | → | lottaquestions joins (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) |
| 08:56:24 | × | lottaquestions quits (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) (Client Quit) |
| 08:56:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:56:42 | → | lottaquestions joins (~nick@2607:fa49:5041:a200:37ab:3c6c:a9ec:c971) |
| 08:58:12 | × | lottaquestions_ quits (~nick@2607:fa49:5041:a200:77ff:49ec:2b9c:10c4) (Ping timeout: 240 seconds) |
| 08:58:18 | → | cosimone joins (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
| 08:59:21 | → | alx741 joins (~alx741@157.100.197.240) |
| 08:59:55 | → | cheater joins (~Username@user/cheater) |
| 09:01:56 | × | hololeap_ quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 09:02:57 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 09:04:28 | × | k8yun_ quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 09:09:32 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 09:09:56 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 09:10:35 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:11:13 | × | cynomys quits (~cynomys@user/cynomys) (Quit: Lost terminal) |
| 09:11:57 | → | zaquest joins (~notzaques@5.130.79.72) |
| 09:12:23 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 09:12:41 | → | kmein joins (~weechat@user/kmein) |
| 09:12:59 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 09:13:57 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 09:14:50 | → | agumonkey joins (~user@88.163.231.79) |
| 09:15:09 | → | bahamas joins (~lucian@84.232.140.52) |
| 09:15:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:15:40 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 09:15:59 | → | michalz joins (~michalz@185.246.204.55) |
| 09:17:56 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 09:18:59 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 09:19:33 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:19:51 | → | alx741 joins (~alx741@181.199.42.143) |
| 09:20:05 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 09:21:27 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:23:06 | × | gdown quits (~gavin@h69-11-150-165.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 09:23:21 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:25:25 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 09:27:30 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 09:31:40 | → | Guest|72 joins (~Guest|72@41.223.139.41) |
| 09:40:07 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 09:44:11 | → | alx741 joins (~alx741@181.199.42.143) |
| 09:44:55 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 09:45:08 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:46:16 | → | polezaivsani joins (~polezaivs@orangeshoelaces.net) |
| 09:46:35 | <Guest|72> | hello |
| 09:47:52 | × | Guest|72 quits (~Guest|72@41.223.139.41) (Quit: Connection closed) |
| 09:47:52 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 09:48:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 09:49:14 | × | ubert quits (~Thunderbi@p548c8d84.dip0.t-ipconnect.de) (Quit: ubert) |
| 09:49:31 | → | ubert joins (~Thunderbi@p200300ecdf3be902a51b7820ee398bf2.dip0.t-ipconnect.de) |
| 09:49:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 09:54:58 | × | ubert quits (~Thunderbi@p200300ecdf3be902a51b7820ee398bf2.dip0.t-ipconnect.de) (Quit: ubert) |
| 09:56:01 | → | backes joins (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) |
| 09:58:21 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 09:59:17 | <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 |
| 10:00:03 | <backes> | it is not an option to port the code to 8.10 |
| 10:00:10 | × | xff0x quits (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) (Ping timeout: 260 seconds) |
| 10:00:44 | <maerwald> | I think the answer is no |
| 10:00:47 | → | jz99 joins (~jz99@pa49-195-20-236.pa.nsw.optusnet.com.au) |
| 10:00:49 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 10:01:17 | <merijn> | I mean, with Rosetta (or whatever the M1 version is called) you might get away with 8.6? |
| 10:01:23 | <maerwald> | M1 has support since 8.10.5 |
| 10:01:24 | → | bahamas joins (~lucian@84.232.140.52) |
| 10:01:25 | × | jz99 quits (~jz99@pa49-195-20-236.pa.nsw.optusnet.com.au) (Remote host closed the connection) |
| 10:02:24 | → | Vajb joins (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) |
| 10:02:36 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 10:04:14 | → | xff0x joins (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 10:04:39 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:05:26 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 10:06:55 | <backes> | merijn: that might work, i'll give this a try |
| 10:07:42 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:07:58 | <backes> | is it not possible to compile it from source? Or is there architecture specific code in earier versions? |
| 10:08:50 | <maerwald> | there's no native code generation support prior to 8.10.5 |
| 10:09:51 | <merijn> | maerwald: Yeah, but you can generate intel code and run it |
| 10:09:59 | <maerwald> | sure |
| 10:10:11 | <maerwald> | that's not M1 specific though :) |
| 10:10:22 | <merijn> | backes: It's a compiler, it's all architecture specific :) |
| 10:10:40 | <maerwald> | you can just install 8.6 via a bindist then |
| 10:10:43 | <maerwald> | no point in compiling it |
| 10:15:24 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 10:24:53 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:24:55 | → | alx741 joins (~alx741@181.199.42.143) |
| 10:26:44 | → | ubert joins (~Thunderbi@p200300ecdf3be90283507d0ce7309bb3.dip0.t-ipconnect.de) |
| 10:28:17 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 10:38:01 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 10:38:03 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 10:38:20 | → | EvanR joins (~EvanR@user/evanr) |
| 10:42:37 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:fb47:dab4:b775:330) |
| 10:43:57 | → | jespada joins (~jespada@85.255.233.175) |
| 10:44:00 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 10:45:11 | → | alx741 joins (~alx741@157.100.197.240) |
| 10:46:14 | × | backes quits (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) (Read error: Connection reset by peer) |
| 10:47:26 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 245 seconds) |
| 10:48:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 10:50:13 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 10:50:39 | → | backes joins (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) |
| 10:52:21 | → | wonko joins (~wjc@user/wonko) |
| 10:53:13 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 10:53:33 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:55:17 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 10:55:27 | × | backes quits (~backes@ict-networks-195-176-112-166.fwd-v4.ethz.ch) (Client Quit) |
| 10:56:17 | × | acidjnk quits (~acidjnk@p200300d0c723f84535459519c3275cf0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 10:56:21 | × | rembo10 quits (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:57:19 | → | rembo10 joins (~rembo10@remulis.com) |
| 11:01:08 | → | alfonsox joins (~quassel@103.87.57.4) |
| 11:02:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 11:02:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 11:03:20 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:05:26 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:09:01 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:12:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 11:16:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 240 seconds) |
| 11:17:55 | → | fendor_ joins (~fendor@91.141.48.142.wireless.dyn.drei.com) |
| 11:21:07 | × | fendor quits (~fendor@178.115.50.171.wireless.dyn.drei.com) (Ping timeout: 272 seconds) |
| 11:23:29 | → | mncheck joins (~mncheck@193.224.205.254) |
| 11:24:47 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 11:25:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 11:25:41 | → | alx741 joins (~alx741@181.199.42.143) |
| 11:26:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 11:28:57 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 11:29:51 | × | phma quits (phma@2001:5b0:2172:8c78:5f9d:f266:1ca1:f0c) (Read error: Connection reset by peer) |
| 11:30:32 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:31:19 | → | phma joins (phma@2001:5b0:215a:e178:614c:eec1:3e13:9455) |
| 11:31:37 | × | komikat quits (~komikat@8.34.69.150) (Read error: Connection reset by peer) |
| 11:31:55 | → | komikat joins (~komikat@8.34.69.150) |
| 11:33:14 | → | cynomys joins (~cynomys@user/cynomys) |
| 11:34:22 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 11:34:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 11:37:44 | → | errst joins (~errst@user/errst) |
| 11:41:30 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 11:41:36 | → | irishman joins (~vshev4enk@178.151.117.243) |
| 11:41:54 | × | wonko quits (~wjc@user/wonko) (Ping timeout: 260 seconds) |
| 11:45:55 | → | alx741 joins (~alx741@157.100.197.240) |
| 11:46:11 | × | irishman quits (~vshev4enk@178.151.117.243) (Ping timeout: 256 seconds) |
| 11:48:38 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 11:49:38 | → | zer0bitz joins (~zer0bitz@2001:2003:f74d:b800:fc98:bb5f:7d17:fcbd) |
| 11:56:21 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 11:56:50 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 12:05:02 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:06:06 | → | bahamas joins (~lucian@84.232.140.52) |
| 12:08:43 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:11:35 | → | yauhsien joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 12:19:36 | AlexZenon_2 | is now known as AlexZenon |
| 12:23:11 | × | mbuf quits (~Shakthi@223.178.103.82) (Ping timeout: 272 seconds) |
| 12:23:48 | → | mbuf joins (~Shakthi@110.225.228.90) |
| 12:25:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:29:02 | → | cosimone` joins (~user@93-34-132-33.ip49.fastwebnet.it) |
| 12:29:48 | × | mbuf quits (~Shakthi@110.225.228.90) (Ping timeout: 240 seconds) |
| 12:30:12 | → | mbuf joins (~Shakthi@110.225.192.80) |
| 12:30:34 | × | cosimone quits (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 250 seconds) |
| 12:31:51 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:33:17 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:34:08 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 12:34:13 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 12:35:08 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:35:49 | × | cynomys quits (~cynomys@user/cynomys) (Ping timeout: 256 seconds) |
| 12:44:02 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 12:44:15 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 12:48:16 | → | alx741 joins (~alx741@157.100.197.240) |
| 12:48:44 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 12:51:01 | × | polezaivsani quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 272 seconds) |
| 12:51:29 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 12:53:07 | → | polezaivsani joins (~polezaivs@orangeshoelaces.net) |
| 12:58:12 | → | lechner joins (~lechner@debian/lechner) |
| 13:01:13 | → | notzmv joins (~zmv@user/notzmv) |
| 13:02:31 | → | frosch03 joins (~user@2a02:c98:1003:8000:856a:7a2a:398b:8842) |
| 13:02:31 | × | jespada quits (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 13:03:59 | × | yauhsien quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:05:39 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:05:48 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 13:05:50 | → | yauhsien joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 13:06:38 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 13:08:23 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 13:09:53 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:10:03 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 13:10:36 | × | yauhsien quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 13:11:04 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 13:12:44 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:14:20 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 13:18:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 250 seconds) |
| 13:23:15 | → | simeon joins (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) |
| 13:28:30 | → | jkaye joins (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) |
| 13:29:47 | × | simeon quits (~pi@dslb-090-186-003-168.090.186.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 13:30:13 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 13:30:36 | → | alx741 joins (~alx741@181.199.42.143) |
| 13:32:30 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 13:33:01 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 13:35:33 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 13:37:03 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 13:37:36 | <Zemyla> | int-e: Why yuck? Sorting arbitrary traversals sounds like a great time. |
| 13:37:37 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 13:37:50 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 13:38:40 | <romesrf> | @unmtl StateT [Int] (ExceptT (String, [Int]) (ReaderT R m)) a |
| 13:38:40 | <lambdabot> | [Int] -> R -> m (Either (String, [Int]) (a, [Int])) |
| 13:41:46 | <romesrf> | \o |
| 13:45:27 | fendor_ | is now known as fendor |
| 13:47:23 | → | bahamas joins (~lucian@84.232.140.52) |
| 13:47:44 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 13:49:56 | → | alx741 joins (~alx741@157.100.197.240) |
| 13:50:16 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 240 seconds) |
| 13:51:20 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 13:52:14 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 13:58:37 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 14:02:11 | <romesrf> | has anyone thoughts on algebraic effects / fused-effects? |
| 14:06:18 | <maerwald> | slow |
| 14:07:49 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:08:14 | → | jao joins (~jao@87.249.134.10) |
| 14:09:04 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:11:33 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:14:04 | → | komikat_ joins (~komikat@183.82.154.239) |
| 14:17:11 | × | jgeerds quits (~jgeerds@d53600c5.access.ecotel.net) (Ping timeout: 272 seconds) |
| 14:17:49 | × | komikat quits (~komikat@8.34.69.150) (Ping timeout: 272 seconds) |
| 14:18:59 | → | AlexNoo_ joins (~AlexNoo@94.233.240.108) |
| 14:20:59 | × | AlexZenon quits (~alzenon@178.34.160.252) (Ping timeout: 272 seconds) |
| 14:21:37 | × | Alex_test quits (~al_test@178.34.160.252) (Ping timeout: 272 seconds) |
| 14:22:03 | <romesrf> | @unmtl (ReaderT R (ExceptT E (WriterT W m)) a) |
| 14:22:03 | <lambdabot> | R -> m (Either E a, W) |
| 14:22:12 | × | AlexNoo quits (~AlexNoo@178.34.160.252) (Ping timeout: 240 seconds) |
| 14:22:45 | → | jespada joins (~jespada@85.255.233.175) |
| 14:22:56 | <romesrf> | nice |
| 14:24:26 | <romesrf> | is it worth it implementing my own monad instance for something like that? would it be faster than using mtl+transformers? |
| 14:25:24 | <Zemyla> | Yeah, probably. |
| 14:25:25 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 14:26:04 | → | Alex_test joins (~al_test@94.233.240.108) |
| 14:26:17 | <romesrf> | :-) |
| 14:26:21 | → | AlexZenon joins (~alzenon@94.233.240.108) |
| 14:28:23 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:30:29 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 14:30:30 | × | Vajb quits (~Vajb@2001:999:600:5133:28cb:83bf:5ecf:4314) (Read error: Connection reset by peer) |
| 14:31:16 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:31:36 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 14:34:22 | AlexNoo_ | is now known as AlexNoo |
| 14:36:17 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:36:18 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:36:18 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:45:10 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 14:45:25 | → | Null_A joins (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) |
| 14:48:14 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 14:48:52 | → | alx741 joins (~alx741@157.100.197.240) |
| 14:49:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 14:49:57 | × | Null_A quits (~null_a@2601:645:8700:2290:44bc:7304:7645:6729) (Ping timeout: 240 seconds) |
| 14:51:36 | → | bahamas joins (~lucian@84.232.140.52) |
| 14:52:02 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 14:56:11 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 14:56:11 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 14:56:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:56:53 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds) |
| 14:57:46 | → | ystael joins (~ystael@user/ystael) |
| 15:00:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:00:41 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 15:02:22 | → | romesrf joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 15:04:30 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 15:05:05 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 15:05:23 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 15:05:58 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 15:09:07 | → | alx741 joins (~alx741@181.199.42.143) |
| 15:11:30 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 15:12:41 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 15:14:53 | → | yauhsien joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 15:15:58 | × | dextaa_ quits (~dextaa@user/dextaa) (Quit: The Lounge - https://thelounge.chat) |
| 15:17:58 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 15:19:15 | × | yauhsien quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 15:26:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:27:40 | × | zaquest quits (~notzaques@5.130.79.72) (Read error: Connection reset by peer) |
| 15:28:28 | → | zaquest joins (~notzaques@5.130.79.72) |
| 15:28:29 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:28:46 | × | mbuf quits (~Shakthi@110.225.192.80) (Quit: Leaving) |
| 15:30:56 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 15:31:39 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:31:56 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 15:33:54 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:33:55 | → | FragByte joins (~christian@user/fragbyte) |
| 15:34:55 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 250 seconds) |
| 15:39:48 | → | dsp joins (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 15:39:50 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 15:40:25 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 15:40:35 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 15:42:07 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 15:43:55 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Remote host closed the connection) |
| 15:44:03 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 15:44:10 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 15:44:26 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 15:45:37 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 15:46:18 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:5bf7:7723:bd1c:6732) |
| 15:48:30 | → | alx741 joins (~alx741@157.100.197.240) |
| 15:50:45 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 15:52:36 | × | dsp quits (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Quit: Leaving) |
| 15:54:02 | × | polezaivsani quits (~polezaivs@orangeshoelaces.net) (Quit: rcirc on GNU Emacs 27.2) |
| 15:56:46 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 16:00:22 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 16:02:04 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 16:02:57 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 16:07:08 | → | abhixec joins (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) |
| 16:07:57 | × | michalz quits (~michalz@185.246.204.55) (Read error: Connection reset by peer) |
| 16:08:29 | → | michalz joins (~michalz@185.246.204.75) |
| 16:09:24 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 16:09:25 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:12:09 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:13:56 | <int-e> | Zemyla: yuck because the code you showed goes via lists and uses a partial function... better be honest and stick to lists |
| 16:16:01 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 16:16:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 16:16:27 | <int-e> | (The abstraction may fit the purpose, but the implementation(s) really don't.) |
| 16:17:49 | × | jao quits (~jao@87.249.134.10) (Ping timeout: 240 seconds) |
| 16:19:42 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 16:19:57 | → | zincy_ joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 16:20:13 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 16:20:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 256 seconds) |
| 16:21:57 | × | zincy_ quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 16:22:04 | → | jgeerds joins (~jgeerds@d53600c5.access.ecotel.net) |
| 16:26:46 | → | Alex_test_ joins (~al_test@94.233.240.108) |
| 16:28:23 | × | Alex_test quits (~al_test@94.233.240.108) (Ping timeout: 256 seconds) |
| 16:28:44 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:28:46 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:29:26 | → | xkuru joins (~xkuru@user/xkuru) |
| 16:31:14 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:33:45 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 16:34:04 | → | bahamas joins (~lucian@84.232.140.52) |
| 16:34:36 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:d082:885a:e953:48fe) (Quit: WeeChat 2.8) |
| 16:39:20 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:46:40 | → | russruss joins (~russruss@my.russellmcc.com) |
| 16:46:51 | × | russruss quits (~russruss@my.russellmcc.com) (Client Quit) |
| 16:47:43 | → | russruss joins (~russruss@my.russellmcc.com) |
| 16:47:48 | → | emf joins (~emf@2620:10d:c090:400::5:7b2f) |
| 16:49:15 | → | alx741 joins (~alx741@157.100.197.240) |
| 16:50:45 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 16:52:13 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 16:54:13 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 16:55:39 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 16:56:35 | × | jespada quits (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 16:57:16 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 16:58:28 | ← | coot parts (~coot@213.134.190.95) () |
| 16:58:37 | × | max22- quits (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection) |
| 17:00:15 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 17:02:31 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:03:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 17:03:57 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:05:01 | → | alt-romes joins (~romes@44.190.189.46.rev.vodafone.pt) |
| 17:06:18 | → | analognoise joins (~analognoi@45.83.89.205) |
| 17:07:38 | × | romesrf quits (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 260 seconds) |
| 17:08:03 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 17:08:13 | → | mncheck joins (~mncheck@193.224.205.254) |
| 17:08:36 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 17:09:30 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:09:51 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 17:11:45 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:12:19 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 17:12:20 | → | polezaivsani joins (~polezaivs@orangeshoelaces.net) |
| 17:14:47 | → | zebrag joins (~chris@user/zebrag) |
| 17:17:48 | → | Akiva joins (~Akiva@user/Akiva) |
| 17:17:57 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 240 seconds) |
| 17:19:56 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds) |
| 17:20:32 | × | ubert quits (~Thunderbi@p200300ecdf3be90283507d0ce7309bb3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 17:20:36 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:fb47:dab4:b775:330) (Remote host closed the connection) |
| 17:21:48 | → | LiaoTao joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 17:21:56 | → | x_kuru joins (~xkuru@user/xkuru) |
| 17:24:35 | → | MoC joins (~moc@user/moc) |
| 17:25:01 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 17:25:33 | × | frosch03 quits (~user@2a02:c98:1003:8000:856a:7a2a:398b:8842) (Ping timeout: 268 seconds) |
| 17:25:48 | × | raym quits (~raym@user/raym) (Quit: laptop battery died :() |
| 17:28:17 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:28:37 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:28:41 | → | nehsou^ joins (~nehsou@50-202-219-146-static.hfc.comcastbusiness.net) |
| 17:31:01 | → | MajorBiscuit joins (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) |
| 17:31:21 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:32:11 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 17:32:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 17:34:21 | → | briandaed joins (~root@109.95.142.93.r.toneticgroup.pl) |
| 17:34:34 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:37:29 | → | jespada joins (~jespada@85.255.233.175) |
| 17:38:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 17:41:21 | → | wingsorc joins (~wingsorc@user/wingsorc) |
| 17:41:29 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 17:41:48 | → | Henson joins (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 17:44:10 | Alex_test_ | is now known as Alex_test |
| 17:44:39 | <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.... |
| 17:44:42 | <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 |
| 17:45:22 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:45:38 | <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. |
| 17:45:43 | <Henson> | is there a way to do it with a single function? |
| 17:45:55 | <Henson> | I think it would be possible using classes, but are they necessary in this case? |
| 17:46:37 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:47:00 | <geekosaur> | wingsorc, hasn't been updated since2014, whereas ghc source changes a lot. it's probably a lost cause |
| 17:48:10 | <geekosaur> | Henson, sounds related to https://www.reddit.com/r/haskell/comments/1num0o/statically_checked_redblack_tree_possible/ to me? |
| 17:48:24 | <janus> | wingsorc: is your nick a reference to the Winsock library? |
| 17:48:31 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 17:49:06 | → | alx741 joins (~alx741@157.100.197.240) |
| 17:49:18 | <wingsorc> | janus: no not really |
| 17:50:23 | <janus> | wingsorc: how did you become interested in ghc-mtl? what is your overarching goal? |
| 17:50:59 | <Henson> | geekosaur: thanks for the pointer, I'll look into that |
| 17:51:00 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 17:51:27 | <wingsorc> | janus: well there is a codebase I need to get to compile and somehow people use haskell for some parts. |
| 17:51:28 | → | fockerized joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:53:15 | <fockerized> | is the ghc wiki on gitlab a git repo? |
| 17:54:27 | <fockerized> | sorry just saw that it is |
| 17:55:25 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 17:56:46 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 17:56:57 | × | MajorBiscuit quits (~MajorBisc@wlan-145-94-218-48.wlan.tudelft.nl) (Ping timeout: 272 seconds) |
| 17:59:11 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 18:01:12 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:01:51 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 18:03:32 | × | Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Ping timeout: 240 seconds) |
| 18:05:11 | → | k8yun joins (~k8yun@user/k8yun) |
| 18:07:32 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 18:12:17 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:13:04 | → | raym joins (~raym@user/raym) |
| 18:14:51 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:15:14 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 18:17:48 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 18:21:01 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 18:21:07 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 18:22:12 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 18:22:19 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 18:26:38 | × | komikat_ quits (~komikat@183.82.154.239) (Read error: Connection reset by peer) |
| 18:27:50 | → | komikat joins (~komikat@183.82.154.239) |
| 18:29:36 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:29:41 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 18:32:47 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:33:32 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 240 seconds) |
| 18:34:34 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 18:34:58 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:35:34 | → | econo joins (uid147250@user/econo) |
| 18:37:11 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 18:37:18 | → | komikat joins (~komikat@183.82.154.239) |
| 18:43:23 | × | yauhsienhuangtw quits (~Yau-Hsien@61-231-21-135.dynamic-ip.hinet.net) (Quit: Leaving) |
| 18:44:01 | → | Henson joins (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 18:44:17 | → | yauhsien joins (~Yau-Hsien@61-231-21-135.dynamic-ip.hinet.net) |
| 18:50:53 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 18:51:54 | → | alx741 joins (~alx741@157.100.197.240) |
| 18:53:24 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 18:53:40 | <Zemyla> | int-e: There are ways to make that total, but they introduce some pretty gnarly overhead. |
| 18:54:09 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 18:54:19 | × | alfonsox quits (~quassel@103.87.57.4) (Read error: Connection reset by peer) |
| 18:55:06 | → | EvanR joins (~EvanR@user/evanr) |
| 18:55:15 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 18:59:17 | × | agumonkey quits (~user@88.163.231.79) (Remote host closed the connection) |
| 18:59:32 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 19:03:23 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 256 seconds) |
| 19:03:49 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 19:04:23 | → | bahamas joins (~lucian@84.232.140.52) |
| 19:04:58 | → | __monty__ joins (~toonn@user/toonn) |
| 19:05:59 | × | deadmarshal quits (~deadmarsh@95.38.116.175) (Ping timeout: 272 seconds) |
| 19:05:59 | → | deadmarshal_ joins (~deadmarsh@95.38.116.254) |
| 19:11:57 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Ping timeout: 240 seconds) |
| 19:12:02 | × | briandaed quits (~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 240 seconds) |
| 19:12:11 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 19:13:45 | → | alx741 joins (~alx741@157.100.197.240) |
| 19:16:27 | × | alx741 quits (~alx741@157.100.197.240) (Read error: Connection reset by peer) |
| 19:17:07 | × | Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 19:19:49 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 19:21:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 19:22:34 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 19:23:23 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 19:25:16 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 19:25:37 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Ping timeout: 240 seconds) |
| 19:31:18 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Remote host closed the connection) |
| 19:31:39 | → | agumonkey joins (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) |
| 19:31:40 | → | alp joins (~alp@user/alp) |
| 19:31:48 | × | jeffz quits (~user@lambda.xen.prgmr.com) (Remote host closed the connection) |
| 19:31:56 | → | jeffz joins (~user@lambda.xen.prgmr.com) |
| 19:31:57 | → | polezaivsani` joins (~polezaivs@orangeshoelaces.net) |
| 19:32:01 | → | Simacore joins (~Simacore@2a01cb0583e8cd00701abf51557d62ad.ipv6.abo.wanadoo.fr) |
| 19:33:05 | → | alx741 joins (~alx741@181.199.42.143) |
| 19:33:38 | × | agumonkey quits (~user@2a01:e0a:8f9:d3e0:b117:81a8:33f6:93e7) (Read error: Connection reset by peer) |
| 19:33:47 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 19:33:59 | × | polezaivsani quits (~polezaivs@orangeshoelaces.net) (Ping timeout: 256 seconds) |
| 19:35:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 19:36:01 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 19:36:17 | × | alx741 quits (~alx741@181.199.42.143) (Read error: Connection reset by peer) |
| 19:38:18 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 19:38:46 | → | coot joins (~coot@213.134.190.95) |
| 19:41:06 | → | kevinsjoberg joins (sid499516@id-499516.lymington.irccloud.com) |
| 19:42:09 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 19:42:20 | <kevinsjoberg> | I'm currently reading Effective Haskell, but I can't really follow the following example: https://paste.tomsmeding.com/KvLJ2ESD. |
| 19:42:24 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 19:42:31 | <kevinsjoberg> | Specifically, foldl (+) 0 . map snd . filter (isAttending . fst). |
| 19:42:52 | <kevinsjoberg> | Why are we doing "0 . map" specifically? |
| 19:42:56 | <kevinsjoberg> | It doesn't compute in my head. |
| 19:43:21 | <int-e> | that's (foldl (+) 0) . (map snd) . (filter (isAttending . fst)) |
| 19:43:22 | <davean> | kevinsjoberg: who said you were doing 0 . map? |
| 19:43:24 | <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. |
| 19:43:33 | <kevinsjoberg> | Oh.... |
| 19:43:41 | <kevinsjoberg> | int-e: |
| 19:43:47 | <kevinsjoberg> | int-e: now it makes sense. :) |
| 19:43:53 | <kevinsjoberg> | Didn't think about precedence. |
| 19:44:10 | <davean> | I hate having to parse precedence by hand mind you |
| 19:44:22 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 19:44:31 | <kevinsjoberg> | Yeah, I guess that makes us two. Thanks for pointing it out though. :) |
| 19:44:41 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 19:45:36 | <int-e> | it's something to get used to... probably won't take long |
| 19:46:47 | <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?) |
| 19:47:18 | <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 |
| 19:47:43 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:48:11 | <kevinsjoberg> | int-e: I guess :info could have helped me here as it states . is infixr and of high precedence. |
| 19:48:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:48:38 | <geekosaur> | kevinsjoberg, evenmore important is thefixity you can't see: function application is "highest precedence" |
| 19:48:43 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 19:49:04 | <geekosaur> | which is why the expression breaks down the way it-esaid |
| 19:49:10 | <kevinsjoberg> | geekosaur: that's good to know. That's why foldr (+) 0 wraps. |
| 19:49:13 | <geekosaur> | *int-e said |
| 19:49:19 | <kevinsjoberg> | Yeah. Makes total sense. |
| 19:49:21 | <kevinsjoberg> | Thanks! |
| 19:49:48 | × | jespada quits (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 19:49:56 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 19:50:30 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:51:06 | × | jonathanx__ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 19:51:27 | → | jonathanx__ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 19:51:54 | → | jespada joins (~jespada@85.255.233.175) |
| 19:52:14 | → | jao joins (~jao@87.249.134.38) |
| 19:52:27 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 19:59:22 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 20:01:05 | × | jespada quits (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 20:02:58 | × | bahamas quits (~lucian@84.232.140.52) (Ping timeout: 272 seconds) |
| 20:03:55 | → | jespada joins (~jespada@85.255.233.175) |
| 20:06:36 | × | xff0x quits (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) (Ping timeout: 245 seconds) |
| 20:06:36 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 20:09:24 | → | joo-_ joins (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) |
| 20:09:24 | × | joo-_ quits (~joo-_@80-62-116-157-mobile.dk.customer.tdc.net) (Changing host) |
| 20:09:24 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 20:11:31 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 20:12:16 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 20:12:24 | → | xff0x joins (~xff0x@2001:1a81:5223:6600:a3c2:39de:9e6e:87f3) |
| 20:13:26 | → | vorpuni joins (~pvorp@2001:861:3881:c690:d5ee:1d14:9bcb:60b5) |
| 20:14:05 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 20:14:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 20:16:27 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 20:18:03 | <pareto-optimal-d> | Anyone know of resources/comparisons about writing polymorphic functions by default versus monomorphic by default? |
| 20:18:03 | <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. |
| 20:18:24 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:19:22 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 20:21:43 | <geekosaur> | tbh you write the functions that do what you need, not specifically polymorphic vs. monomorphic |
| 20:21:57 | × | perro_ quits (~perro@072-191-245-069.res.spectrum.com) (Quit: WeeChat 3.0.1) |
| 20:22:12 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 20:23:25 | <geekosaur> | if you find yourself repeating a particular "pattern" across multiple programs, possibly including polymorphism, you can consider abstracting that into a personal library |
| 20:24:45 | <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) |
| 20:25:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 20:27:48 | → | tito joins (tito@tilde.team) |
| 20:30:35 | × | jao quits (~jao@87.249.134.38) (Remote host closed the connection) |
| 20:32:24 | <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 |
| 20:33:01 | × | Techcable quits (~Techcable@168.235.93.147) (Ping timeout: 240 seconds) |
| 20:33:12 | <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 |
| 20:33:37 | <justsomeguy> | pareto-optimal-d: What are some points of discussion that you would want to find in a paper like that? |
| 20:36:10 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 20:36:53 | × | errst quits (~errst@user/errst) (Quit: Lost terminal) |
| 20:38:16 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 20:41:48 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 20:42:05 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Quit: Leaving) |
| 20:42:32 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 20:42:49 | → | catern joins (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 20:44:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 20:44:40 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 20:47:21 | × | td_ quits (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 256 seconds) |
| 20:49:59 | → | td_ joins (~td@muedsl-82-207-238-084.citykom.de) |
| 20:50:03 | → | Midjak joins (~Midjak@82.66.147.146) |
| 20:51:57 | × | komikat quits (~komikat@183.82.154.239) (Remote host closed the connection) |
| 20:52:12 | <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? |
| 20:52:15 | → | pavonia joins (~user@user/siracusa) |
| 20:52:47 | → | komikat joins (~komikat@183.82.154.239) |
| 20:53:11 | <geekosaur> | actually laziness pulls in the opposite direction since you may never need to allocate some of it |
| 20:54:56 | <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 |
| 20:54:58 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 20:55:11 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 20:56:00 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 20:56:12 | × | td_ quits (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 240 seconds) |
| 20:57:09 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 20:57:27 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 272 seconds) |
| 20:57:32 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) |
| 20:58:14 | → | td_ joins (~td@muedsl-82-207-238-084.citykom.de) |
| 20:58:56 | × | jespada quits (~jespada@85.255.233.175) (Read error: Connection reset by peer) |
| 21:06:17 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 21:06:41 | × | tomku quits (~tomku@user/tomku) (Quit: Lost terminal) |
| 21:09:05 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 21:09:15 | → | nf joins (~n@monade.li) |
| 21:13:05 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) (Remote host closed the connection) |
| 21:16:38 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 21:22:58 | × | Simacore quits (~Simacore@2a01cb0583e8cd00701abf51557d62ad.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 21:23:06 | → | cynomys joins (~cynomys@user/cynomys) |
| 21:26:30 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 21:28:14 | → | tomku joins (~tomku@user/tomku) |
| 21:28:20 | × | jkaye quits (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) (Remote host closed the connection) |
| 21:28:42 | → | jkaye joins (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) |
| 21:30:37 | × | tomku quits (~tomku@user/tomku) (Client Quit) |
| 21:31:01 | × | td_ quits (~td@muedsl-82-207-238-084.citykom.de) (Ping timeout: 272 seconds) |
| 21:32:14 | → | td_ joins (~td@muedsl-82-207-238-084.citykom.de) |
| 21:33:38 | → | tomku joins (~tomku@user/tomku) |
| 21:35:56 | <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 |
| 21:37:06 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 21:37:13 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 21:38:16 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 21:41:29 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 21:42:02 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:18a5:3f32:4426:9917) |
| 21:44:34 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:46:35 | × | deadmarshal_ quits (~deadmarsh@95.38.116.254) (Ping timeout: 256 seconds) |
| 21:49:32 | → | soulomoon joins (~soulomoon@103.156.242.29) |
| 21:55:05 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 21:55:55 | × | merijn quits (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 21:56:26 | <pareto-optimal-d> | justsomeguy: Basically the costs of not being polymorphic enough in real-world code I guess. |
| 21:56:46 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:57:35 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 21:58:05 | <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)". |
| 21:58:05 | <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. |
| 21:58:22 | × | `2jt quits (~jtomas@210.red-88-24-179.staticip.rima-tde.net) (Ping timeout: 260 seconds) |
| 21:58:25 | <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) |
| 21:59:35 | <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 |
| 22:00:36 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 22:02:19 | <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. |
| 22:02:19 | <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 :) |
| 22:02:37 | → | Pickchea joins (~private@user/pickchea) |
| 22:02:42 | × | michalz quits (~michalz@185.246.204.75) (Remote host closed the connection) |
| 22:02:59 | <geekosaur> | typeclass polymorphism is a different thing from parametric polymorphism |
| 22:03:49 | → | michalz joins (~michalz@185.246.204.93) |
| 22:04:06 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:04:14 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 22:04:27 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 22:07:18 | <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. |
| 22:07:18 | <pareto-optimal-d> | Of course it's EOD friday and my brain is kinda done so that might be nonsense :) |
| 22:07:22 | <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 |
| 22:11:23 | <pareto-optimal-d> | Ah, I've been writing in my Zettlekasten all day about that one too. |
| 22:11:23 | <pareto-optimal-d> | I don't have enough evidence to support that one position or the other on type-classes yet. |
| 22:11:23 | <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. |
| 22:11:23 | <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. |
| 22:13:11 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 22:14:46 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 22:17:48 | × | Null_A quits (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) (Ping timeout: 240 seconds) |
| 22:22:47 | × | Pickchea quits (~private@user/pickchea) (Remote host closed the connection) |
| 22:23:30 | → | Pickchea joins (~private@user/pickchea) |
| 22:25:15 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 22:26:33 | × | alt-romes quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 22:30:18 | × | Hash quits (~Hash@hashsecurity.org) (K-Lined) |
| 22:30:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 22:32:02 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:32:11 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 256 seconds) |
| 22:35:26 | <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. |
| 22:36:17 | <monochrom> | To be sure, I forgot whether it's "+ and <" or "- and >" but you get the point either way. :) |
| 22:36:41 | <catern> | geekosaur: hm I see, fair, fair |
| 22:36:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:37:04 | <monochrom> | And yeah laziness means that premature allocation is unwise. |
| 22:37:27 | <monochrom> | Well, premature micro allocation. |
| 22:40:18 | → | emad joins (~emad@102.45.236.212) |
| 22:41:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 22:46:46 | → | acidjnk joins (~acidjnk@p200300d0c723f8082c8a6c2f22489a41.dip0.t-ipconnect.de) |
| 22:47:02 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 22:48:44 | → | komikat joins (~komikat@183.82.154.239) |
| 22:53:09 | × | komikat quits (~komikat@183.82.154.239) (Ping timeout: 256 seconds) |
| 22:53:31 | → | zebrag joins (~chris@user/zebrag) |
| 22:55:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 22:56:46 | → | `2jt joins (~jtomas@210.red-88-24-179.staticip.rima-tde.net) |
| 23:02:36 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 23:03:02 | → | alp joins (~alp@user/alp) |
| 23:03:06 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:e530:c2a8:6798:30a9) (Remote host closed the connection) |
| 23:04:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:06:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:15:10 | × | fendor quits (~fendor@91.141.48.142.wireless.dyn.drei.com) (Remote host closed the connection) |
| 23:15:59 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 23:16:33 | → | dvdrw joins (~dvdrw@user/dvdrw) |
| 23:17:15 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 256 seconds) |
| 23:20:05 | → | Null_A joins (~null_a@2601:645:8700:2290:d551:3b83:119f:82c5) |
| 23:20:16 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 23:21:49 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 23:23:43 | → | cheater joins (~Username@user/cheater) |
| 23:27:32 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 23:33:33 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 23:33:48 | → | thyriaen joins (~thyriaen@dynamic-078-054-025-201.78.54.pool.telefonica.de) |
| 23:34:13 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:34:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:34:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:34:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:34:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:35:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:35:19 | × | michalz quits (~michalz@185.246.204.93) (Remote host closed the connection) |
| 23:35:19 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 23:46:25 | → | yauhsien_ joins (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) |
| 23:47:25 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 23:48:50 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 23:51:15 | × | yauhsien_ quits (~yauhsien@61-231-21-135.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 23:51:24 | × | jkaye quits (~jkaye@2601:281:8300:7530:7f9b:646a:41fc:cd06) (Ping timeout: 240 seconds) |
| 23:52:03 | → | merijn joins (~merijn@c-001-001-027.client.esciencecenter.eduvpn.nl) |
| 23:53:15 | × | soulomoon quits (~soulomoon@103.156.242.29) (Quit: Client closed) |
| 23:54:55 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 23:55:13 | → | haskellnoob joins (~haskellno@181.122.131.227) |
| 23:56:54 | × | haskellnoob quits (~haskellno@181.122.131.227) (Remote host closed the connection) |
| 23:57:11 | → | haskellnoob joins (~haskellno@181.122.131.227) |
All times are in UTC on 2022-02-25.