| 2022-05-20 00:02:08 +0200 | Soanvig | (~Soanvig@83.22.15.24.ipv4.supernova.orange.pl) |
| 2022-05-20 00:02:24 +0200 | <jackdk> | `Value` has `FromJSON`/`ToJSON` instances, so `eitherDecode :: ByteString -> Either String Value` is a valid specialisation |
| 2022-05-20 00:02:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2022-05-20 00:03:24 +0200 | Soanvig | (~Soanvig@83.22.15.24.ipv4.supernova.orange.pl) (Client Quit) |
| 2022-05-20 00:03:38 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-20 00:03:48 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-05-20 00:08:12 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-20 00:10:43 +0200 | <sm> | a little discussion of cleaning up the @where db: https://discourse.haskell.org/t/ann-haskell-links-org-searchable-links-db/4542/8 (int-e, all) |
| 2022-05-20 00:11:30 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-20 00:17:38 +0200 | flo[m] | (~flosansps@2001:470:69fc:105::1:c22d) |
| 2022-05-20 00:31:02 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-05-20 00:34:11 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-20 00:40:19 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-20 00:47:58 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-20 00:48:21 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 00:50:05 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-05-20 00:53:51 +0200 | julian | (~julian@20.83.116.49) |
| 2022-05-20 00:54:00 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-20 00:57:39 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-20 00:59:32 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-20 01:01:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-20 01:04:36 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2022-05-20 01:10:53 +0200 | <hpc> | imo https://haskell.org/documentation hasn't succeeded just because it takes some time to get past social inertia, and we should just stick with it |
| 2022-05-20 01:11:14 +0200 | <hpc> | see also: all the people who are still using LYAH all these years later |
| 2022-05-20 01:12:16 +0200 | <hpc> | it's a really good page, and i wish other languages did it that way |
| 2022-05-20 01:13:10 +0200 | <hpc> | even on https://www.rust-lang.org/learn you have to power through the web2.0 design of changing layout on every pagedown and huge amounts of whitespace everywhere |
| 2022-05-20 01:13:30 +0200 | <maerwald[m]> | hpc: no, because it's a dump of links |
| 2022-05-20 01:14:05 +0200 | <maerwald[m]> | New users don't want to decide between 20 links |
| 2022-05-20 01:14:40 +0200 | <sclv> | the main problem isn't that we have a link dump, its that we have no definitive links to highlight!! |
| 2022-05-20 01:15:01 +0200 | <hpc> | i prefer full link dumps |
| 2022-05-20 01:15:09 +0200 | <sclv> | its a lack of the appropriate content, not that the form in which it is linked to requires fixing per se (though if we had definitive content, it _could_ be highlighted) |
| 2022-05-20 01:15:29 +0200 | <sclv> | but no amount of munging with links will magically create a high quality free haskell book |
| 2022-05-20 01:15:33 +0200 | <hpc> | i hate it when i am trying to figure something out and surprise, i have to go look at this totally different thing to understand anything |
| 2022-05-20 01:15:36 +0200 | <sclv> | we have high quality haskell books, and we have free haskell books |
| 2022-05-20 01:15:46 +0200 | <sclv> | but beginners simply lack the combination of the two |
| 2022-05-20 01:15:54 +0200 | <maerwald[m]> | It doesn't even describe the links |
| 2022-05-20 01:15:59 +0200 | <hpc> | like python packages that don't link to docs, but have just barely enough in the readme to trick you into thinking they're complete |
| 2022-05-20 01:16:09 +0200 | <hpc> | sure it does |
| 2022-05-20 01:16:17 +0200 | <hpc> | the link text is the description |
| 2022-05-20 01:16:34 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-20 01:16:39 +0200 | <maerwald[m]> | Not really useful. Doesn't tell me much |
| 2022-05-20 01:16:51 +0200 | ashln | (~ashln@98.38.236.123) |
| 2022-05-20 01:17:15 +0200 | <hpc> | the descriptions even have the decency of being correct, instead of froufy nonsense like "READ THE BOOK!" |
| 2022-05-20 01:17:19 +0200 | <maerwald[m]> | Either I want a pre-selection or I want good reason on why I click a link. It provides neither |
| 2022-05-20 01:18:37 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 01:19:10 +0200 | <hpc> | okay fine, correction on my third message: it's barely adequate by reasonable standards but still way better than the obfuscated crap that the web has become in the last decade or so |
| 2022-05-20 01:19:16 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 272 seconds) |
| 2022-05-20 01:19:21 +0200 | <hpc> | :P |
| 2022-05-20 01:19:52 +0200 | <hpc> | in any event, whatever changes are made belong on that url |
| 2022-05-20 01:20:10 +0200 | <hpc> | we don't need yet another domain to point people to |
| 2022-05-20 01:20:38 +0200 | <hpc> | (this is also the reason i never use the reverse dep page - i can never find it because it's not part of hackage) |
| 2022-05-20 01:23:08 +0200 | <hpc> | really, my only complaint about that page is the [$] links are mixed in with the free links |
| 2022-05-20 01:23:29 +0200 | <hpc> | and if i was learning haskell for the first time right now, i would want them all together so i can just middle-click every single link |
| 2022-05-20 01:23:48 +0200 | <hpc> | since i am going to be looking at all of them anyway |
| 2022-05-20 01:24:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-20 01:24:32 +0200 | <sm> | the link search ui currently at https://haskell-links.org doesn't replace https://haskell.org/documentation (though it could) |
| 2022-05-20 01:25:18 +0200 | <hpc> | it would have to present a good interface with javascript disabled |
| 2022-05-20 01:25:25 +0200 | <hpc> | and it would have to present anything at all with cookies disabled |
| 2022-05-20 01:25:32 +0200 | <hpc> | other than that, yeah |
| 2022-05-20 01:25:42 +0200 | <sm> | that page is pretty much the first thing it links to. But as mentioned in my original comment, something more scalable than a manually/slowly-created page is needed. It doesn't have to be either or |
| 2022-05-20 01:26:17 +0200 | <maerwald[m]> | Also, the reason people start new domains is because it's rather frustrating to contribute to haskell.org |
| 2022-05-20 01:26:18 +0200 | <sm> | I got a request for a no-js version, and of course that's desirable, just more work. It should come soon though |
| 2022-05-20 01:27:16 +0200 | <sm> | yeah, in my past experience (not with haskell) any friction from politics or sysadmin access hassles is a momentum and motivation killer so I just started the fast way. |
| 2022-05-20 01:27:48 +0200 | <maerwald[m]> | Yeah, that's reasonable |
| 2022-05-20 01:27:51 +0200 | <sm> | but in the discourse thread someone suggested links.haskell.org, which could be an option at some point if this thing succeeds |
| 2022-05-20 01:28:50 +0200 | <sm> | it might go no further than where it is now, just a web ui for @where. Hope it goes further though, I think it can become rather impactful |
| 2022-05-20 01:30:03 +0200 | <sm> | > I had in mind being able to also use the web UI for more efficient adding, editing and cleanup; but this raises a bunch of questions and a rather large design space of where and how data is stored and synced, which I’m very much still pondering… |
| 2022-05-20 01:30:06 +0200 | <lambdabot> | <hint>:1:7: error: parse error on input ‘in’ |
| 2022-05-20 01:30:35 +0200 | <maerwald[m]> | Popularity rating of links? |
| 2022-05-20 01:30:56 +0200 | <sm> | yes, that's definitely one of the original goals |
| 2022-05-20 01:31:08 +0200 | <sm> | that plus tagging makes this more impactful |
| 2022-05-20 01:32:08 +0200 | <sm> | any ideas welcome. I'm currently thinking the most likely way to handle voting is require a "login with github" |
| 2022-05-20 01:32:54 +0200 | <hpc> | for the url scheme, maybe something like https://haskell-links.org/go/docs and https://haskell-links.org/search/blahblah |
| 2022-05-20 01:32:56 +0200 | <EvanR> | what if that's how real voting worked xD |
| 2022-05-20 01:33:03 +0200 | <EvanR> | only people on github could vote |
| 2022-05-20 01:33:04 +0200 | <sm> | or was that for controlling edits.. I forget |
| 2022-05-20 01:33:05 +0200 | <hpc> | makes the urls easier to make sense of at a glance |
| 2022-05-20 01:33:10 +0200 | <hpc> | and leaves room for other sorts of pages |
| 2022-05-20 01:33:17 +0200 | <jackdk> | I maintain http://jackkelly.name/wiki/haskell.html as a list of "good things on particular topics", but it's opinionated personal curation |
| 2022-05-20 01:33:26 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 01:33:39 +0200 | <hpc> | https://haskell-links.org/docs looks like it's going to explain to me how the website works |
| 2022-05-20 01:34:04 +0200 | <sm> | jackdk: it's in my "More..." list, as a potential future link source |
| 2022-05-20 01:34:36 +0200 | <jackdk> | sweet. dunno how you keep the list under control |
| 2022-05-20 01:34:46 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-20 01:34:49 +0200 | <sm> | hpc: I hear that, though the benefit of the custom hostname is it can be fully dedicated to this one task and provide very short low-typing mnemonic urls |
| 2022-05-20 01:35:31 +0200 | <hpc> | people tend to read urls more often than they type them :P |
| 2022-05-20 01:35:58 +0200 | <hpc> | also maybe in addition to tags, some ways to group results even within the search |
| 2022-05-20 01:36:10 +0200 | <hpc> | so you get a nice section of official links, then blogs, etc |
| 2022-05-20 01:37:30 +0200 | <sm> | this is designed for, among other things, jumping to that frequent link you remember but can't be bothered looking up for the umpteenth time. I'm sick of digging up the ghc/cabal/stack user guides, the stack/cabal scripts, the books search, etc. |
| 2022-05-20 01:37:57 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-05-20 01:38:19 +0200 | <hpc> | ooh, nested link structure maybe? |
| 2022-05-20 01:38:27 +0200 | <sm> | hpc sounds nice. There is grouping capability in the table.. just need to get tags going! |
| 2022-05-20 01:38:35 +0200 | <hpc> | so there's not just rows for say, ghc/cabal/stack user guides |
| 2022-05-20 01:38:41 +0200 | <hpc> | but for each of their chapters |
| 2022-05-20 01:38:51 +0200 | <hpc> | with some awareness of that structure so it's not spammy |
| 2022-05-20 01:39:16 +0200 | <sm> | well, if it's scalable and flexible, the sky's the limit for experimentation |
| 2022-05-20 01:39:24 +0200 | <sm> | there's also https://haskell-links.org?advanced=1 -> column filters, for your interest |
| 2022-05-20 01:39:53 +0200 | <maerwald[m]> | Next, compete with googles algorithm |
| 2022-05-20 01:40:19 +0200 | <sm> | one of the obvious link source to add could be hackage packages |
| 2022-05-20 01:41:42 +0200 | <sm> | the main blocker right now is choosing how and where data is stored and synced |
| 2022-05-20 01:44:08 +0200 | <hpc> | when i say grouping, i mean like https://thundercloud.net/infoave/images/2016/file-explorer-options3.png how it has different collapsable sections |
| 2022-05-20 01:44:54 +0200 | <hpc> | there'd actually be something like <h1 onclick="...">Official Docs</h1> breaking the flow of the table |
| 2022-05-20 01:45:04 +0200 | <sm> | we need richer metadata (at least tags and votes). Those won't be stored by lambdabot (they could, but it's probably not the way to go ?). That means either sticking with the lambdabot db but augmenting it with additional data managed by the app; or switching to an app-owned db. And then should that be: individual files, one csv file, multiple csv files, sqlite, postgres.. pros and cons with all of these |
| 2022-05-20 01:45:24 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-20 01:45:39 +0200 | <hpc> | yeah, it needs curration anyway to be more than a searchable link dump |
| 2022-05-20 01:45:57 +0200 | <hpc> | sqlite is probably the best option for this |
| 2022-05-20 01:46:16 +0200 | <hpc> | it's not a large amount of data and you can host the raw file for people to use themselves |
| 2022-05-20 01:46:53 +0200 | <hpc> | csv gets weird to deal with once you're doing more than simple stream processing |
| 2022-05-20 01:49:17 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-20 01:49:30 +0200 | foul_owl | (~kerry@23.82.193.87) (Ping timeout: 246 seconds) |
| 2022-05-20 01:49:37 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-20 01:50:34 +0200 | <sm> | I have enjoyed using plain text files as the storage for hledger-web, so I know how to do that. Pro: it can be exposed in github and also edited that way, providing full history and attribution - no need to build those. Con: saving edits is a bit of a pain, and it's less efficient if the data gets large. |
| 2022-05-20 01:51:03 +0200 | aish | (~aish@2603-6000-b40a-7000-d5e8-0f8f-5baf-768b.res6.spectrum.com) (Quit: Client closed) |
| 2022-05-20 01:51:59 +0200 | <sm> | sqlite pro: scalable, powerful. Con: more opaque, have to track revisions and authors yourself if that's wanted, may or may not work as smoothly as postgres with web frameworks |
| 2022-05-20 01:54:23 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-20 01:54:38 +0200 | <sm> | if sqlite, there's another question: read everything into memory (since this is small data), operate in memory, write the whole thing out, for convenience ? Or follow traditional db app style, using the db as working store ? |
| 2022-05-20 01:55:06 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 276 seconds) |
| 2022-05-20 01:55:37 +0200 | <jackdk> | I think your data set is small enough and contribution easy enough that you should stick with git for now |
| 2022-05-20 01:55:49 +0200 | <hpc> | if the data's read-only while running, reading into memory seems natural |
| 2022-05-20 01:56:01 +0200 | <hpc> | sqlite is just a shortcut at that point |
| 2022-05-20 01:56:12 +0200 | <jackdk> | oh if you want search too, then slurp it all into sqlite on boot and just blat the server each time you deploy |
| 2022-05-20 01:57:05 +0200 | <hpc> | if sqlite, you can save the dump instead of the db, then it's text in git again maybe |
| 2022-05-20 01:57:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 01:58:06 +0200 | <hpc> | oh, another thing - the mess of links at the top of the page should just be part of the table with a non-lambdabot tag of some sort |
| 2022-05-20 01:58:36 +0200 | <hpc> | it'll make the actual instructions easier to eyeball - i keep accidentally leaving the page while messing around with it |
| 2022-05-20 02:01:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 02:01:59 +0200 | <sm> | hpc: thanks, how are you leaving the page ? clicking the wrong thing ? |
| 2022-05-20 02:02:08 +0200 | <hpc> | yeah |
| 2022-05-20 02:02:17 +0200 | <hpc> | i will go "ooh, let's apply this quick filter" |
| 2022-05-20 02:02:20 +0200 | <hpc> | *left click* |
| 2022-05-20 02:02:27 +0200 | <hpc> | and then i am on reddit or something |
| 2022-05-20 02:02:44 +0200 | <hpc> | because i just wasn't looking at the bottom-left corner |
| 2022-05-20 02:03:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-05-20 02:04:18 +0200 | <hpc> | my brain goes "example searches are blue links, here's other blue links, don't read the black text" |
| 2022-05-20 02:04:40 +0200 | <sm> | your screen might well look different from mine. What are you meaning to click on ? |
| 2022-05-20 02:04:57 +0200 | <sm> | the "Example searches" ? |
| 2022-05-20 02:05:09 +0200 | <sm> | I see |
| 2022-05-20 02:05:29 +0200 | <hpc> | yeah |
| 2022-05-20 02:05:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-20 02:05:44 +0200 | <sm> | I thought of splitting About into separate collapsible About and Search Tools sections |
| 2022-05-20 02:06:33 +0200 | <sm> | they could be just links in the table as you say, but I think some carefully curated entry points are quite useful to have somewhere prominent |
| 2022-05-20 02:06:41 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-20 02:07:09 +0200 | <sm> | but down the road who knows. I know it's a ton of links too close together (Google told me this also) |
| 2022-05-20 02:11:02 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 02:11:03 +0200 | foul_owl | (~kerry@71.212.150.111) |
| 2022-05-20 02:13:51 +0200 | <sm> | I find it useful to have a dense overview and portal for the whole ecosystem in one place |
| 2022-05-20 02:15:03 +0200 | <hpc> | yeah, i would rather err in this way than in wasting a whole 1080p screen on 3 links :D |
| 2022-05-20 02:17:10 +0200 | sm | restores whitespace between about items which got lost |
| 2022-05-20 02:28:43 +0200 | <sm> | and a bit of line-height and nowrap |
| 2022-05-20 02:29:42 +0200 | <hpc> | wrap the whole thing in <marquee> for old time's sake |
| 2022-05-20 02:32:44 +0200 | <jackdk> | It's a shame that <marquee> is gone, given how wide screens have become |
| 2022-05-20 02:32:59 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-898b-f0ee-7872-3957.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-05-20 02:33:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2022-05-20 02:33:46 +0200 | <sm> | hpc: you got it. since it's awesome |
| 2022-05-20 02:34:36 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 02:35:11 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-20 02:35:36 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 02:36:30 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 02:37:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 02:38:39 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 02:38:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-20 02:40:36 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 02:46:51 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-a497-4a3c-43e9-e57b.res6.spectrum.com) |
| 2022-05-20 02:49:35 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:a173:65fd:d2b6:ad81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 02:50:22 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 260 seconds) |
| 2022-05-20 02:51:32 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 260 seconds) |
| 2022-05-20 02:57:38 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 02:57:38 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 02:57:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 03:05:42 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-20 03:05:44 +0200 | andrey__ | (~andrey@p200300dbcf077200f0f06671ca901202.dip0.t-ipconnect.de) |
| 2022-05-20 03:05:52 +0200 | <Axman6> | Anyone know where the HaXml documentation is? it references haskell.org/HaXml which as far as I can see hasn't existed since as far back as 2013 |
| 2022-05-20 03:08:40 +0200 | andrey_ | (~andrey@p200300dbcf2ab900568bc1b41ab3d698.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-20 03:08:53 +0200 | <sm> | https://github.com/HaXml/HaXml/tree/main/docs it seems |
| 2022-05-20 03:10:25 +0200 | <Axman6> | FFS, even that doesn't have XsdToHaskell.html |
| 2022-05-20 03:10:50 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 03:11:13 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-20 03:12:06 +0200 | <Axman6> | well, just passing the xsd file produces _something_ so that's a start I guess |
| 2022-05-20 03:13:13 +0200 | <Axman6> | hahaha, ok, don't pass multiple arguments to it... it overwrites the second with the Haskell generated from the first |
| 2022-05-20 03:13:37 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-20 03:13:42 +0200 | <Axman6> | now to get that XSD file back... |
| 2022-05-20 03:14:17 +0200 | <sm> | one should not provoke the ancient libraries |
| 2022-05-20 03:16:56 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 03:18:26 +0200 | <jackdk> | @remember sm one should not provoke the ancient libraries |
| 2022-05-20 03:18:26 +0200 | <lambdabot> | It is forever etched in my memory. |
| 2022-05-20 03:20:59 +0200 | <sm> | nice interview: https://serokell.io/blog/haskell-in-production-simplex |
| 2022-05-20 03:21:12 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2022-05-20 03:21:14 +0200 | andrey | (~andrey@p200300dbcf0a24006f5a42723aa54156.dip0.t-ipconnect.de) |
| 2022-05-20 03:22:23 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 03:22:29 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 03:24:02 +0200 | andrey__ | (~andrey@p200300dbcf077200f0f06671ca901202.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-20 03:32:35 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-20 03:33:43 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:ade0:276a:b293:1357) |
| 2022-05-20 03:34:08 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-20 03:35:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-20 03:37:28 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-20 03:39:19 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 03:40:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-05-20 03:43:01 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-05-20 03:47:13 +0200 | <raehik> | I'm finding in GHC 9.2 I can't write typeclass methods that return an unlifted type / anything other than `Type`. This seems to disagree with some code I'm finding, and the 2017 levity polymorphism paper |
| 2022-05-20 03:48:15 +0200 | <raehik> | even `class C where c :: Word8#` doesn't work |
| 2022-05-20 03:48:22 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:ade0:276a:b293:1357) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 03:48:42 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-20 03:49:50 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 03:50:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-05-20 03:52:03 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 03:54:13 +0200 | Zach[m] | (~zoglesby@user/zoglesby) |
| 2022-05-20 03:56:36 +0200 | <raehik> | Huh. You have to use a function type |
| 2022-05-20 03:57:11 +0200 | <raehik> | class C where c :: Proxy# c -> Word8# works. why? |
| 2022-05-20 03:57:19 +0200 | <monochrom> | Is "class D where d :: Int" legal? How do I write an instance of D? |
| 2022-05-20 03:57:34 +0200 | <raehik> | Oh, it's impossible, but doesn't matter |
| 2022-05-20 03:57:42 +0200 | <raehik> | class C a where c :: Proxy# a -> Word8# works. why? |
| 2022-05-20 03:57:49 +0200 | <raehik> | *oops, sorry. added the type var |
| 2022-05-20 03:58:18 +0200 | <monochrom> | Every method must mention the type variable? So that a use site of a method can actually get resolved? |
| 2022-05-20 03:58:39 +0200 | <monochrom> | Imagine if "class D a where d :: Int" were allowed. |
| 2022-05-20 03:58:56 +0200 | <raehik> | That is fine |
| 2022-05-20 03:58:59 +0200 | <raehik> | :t maxBound |
| 2022-05-20 03:59:01 +0200 | <lambdabot> | Bounded a => a |
| 2022-05-20 03:59:17 +0200 | <monochrom> | That mentions the type variable "a". |
| 2022-05-20 03:59:31 +0200 | <monochrom> | whereas "c :: Whatever" has no type variable whatsoever. |
| 2022-05-20 03:59:43 +0200 | <monochrom> | At this point it doesn't even involve levity. |
| 2022-05-20 04:00:00 +0200 | <monochrom> | At this point you're talking about "class D a where d :: Int". |
| 2022-05-20 04:00:06 +0200 | <raehik> | hrm. I thought I had written classes like that before |
| 2022-05-20 04:00:20 +0200 | <raehik> | kind of just to be dictionaries I would use type applications with |
| 2022-05-20 04:01:18 +0200 | <raehik> | not saying that's good design, but I'm fairly certain that all compiles fine |
| 2022-05-20 04:01:38 +0200 | <raehik> | class D a where d :: Int ; instance D Bool where d = 0 ; d @Bool |
| 2022-05-20 04:01:48 +0200 | romesrf | (~romes@185.5.8.134) (Ping timeout: 246 seconds) |
| 2022-05-20 04:01:54 +0200 | <jackdk> | monochrom: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/nullary_type_classes.html#exte… |
| 2022-05-20 04:02:28 +0200 | <monochrom> | So perhaps you just have to turn on that extension? |
| 2022-05-20 04:02:43 +0200 | <jackdk> | these days it's deprecated in favour of MultiParamTypeClasses |
| 2022-05-20 04:02:45 +0200 | <raehik> | no no, that's not the problem! that all compiles fine and is unrelated |
| 2022-05-20 04:03:05 +0200 | <raehik> | I can't define a typeclass method that returns an unlifted data type without making it a function type |
| 2022-05-20 04:03:24 +0200 | <raehik> | Even if I make it Proxy# -> a, which as I understand is just a at runtime |
| 2022-05-20 04:03:30 +0200 | <jackdk> | monochrom: your `class D` is probably also usable with `-XAllowAmbiguousType` at the definition and `-XTypeApplications` at the call site |
| 2022-05-20 04:03:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-20 04:03:40 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 04:03:40 +0200 | finn_elija | FinnElija |
| 2022-05-20 04:04:35 +0200 | <jackdk> | raehik: I don't understand levity stuff very well, is there perhaps something going on where it can't put an unlifted value directly into the typeclass dictionary, but a function type has kind `Type`? |
| 2022-05-20 04:05:06 +0200 | <raehik> | jackdk: sounds realistic enough to me, I don't know it well either |
| 2022-05-20 04:05:35 +0200 | <raehik> | wonder if there is a difference between `Proxy# x -> a` and `a` at runtime then. idk |
| 2022-05-20 04:06:56 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 244 seconds) |
| 2022-05-20 04:07:23 +0200 | <raehik> | thanks. in any case I can have a go |
| 2022-05-20 04:09:58 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 04:11:07 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 04:24:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-05-20 04:27:30 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 04:27:46 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.170) |
| 2022-05-20 04:28:38 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2022-05-20 04:29:30 +0200 | AlexZenon | (~alzenon@178.34.163.80) (Ping timeout: 240 seconds) |
| 2022-05-20 04:29:43 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-05-20 04:29:53 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 04:30:10 +0200 | Alex_test | (~al_test@178.34.163.80) (Ping timeout: 240 seconds) |
| 2022-05-20 04:31:17 +0200 | AlexNoo | (~AlexNoo@178.34.163.80) (Ping timeout: 260 seconds) |
| 2022-05-20 04:32:32 +0200 | frost | (~frost@user/frost) |
| 2022-05-20 04:33:26 +0200 | AlexZenon | (~alzenon@178.34.161.170) |
| 2022-05-20 04:34:16 +0200 | Alex_test | (~al_test@178.34.161.170) |
| 2022-05-20 04:35:11 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-20 04:36:33 +0200 | kenran | (~kenran@200116b82b94670063c92203f726859d.dip.versatel-1u1.de) |
| 2022-05-20 04:36:42 +0200 | kenran | (~kenran@200116b82b94670063c92203f726859d.dip.versatel-1u1.de) (Client Quit) |
| 2022-05-20 04:37:51 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2022-05-20 04:44:50 +0200 | <Zemyla> | raehik: I'm pretty sure there is, and that's why I push for values of Tagged x a in typeclasses. |
| 2022-05-20 04:45:40 +0200 | <raehik> | I think it's to do with dictionary passing that I know 0 about |
| 2022-05-20 04:51:37 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 2022-05-20 04:52:04 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-20 04:53:20 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-20 04:59:17 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-05-20 04:59:51 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 04:59:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-20 04:59:51 +0200 | finn_elija | FinnElija |
| 2022-05-20 05:12:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 276 seconds) |
| 2022-05-20 05:14:22 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 05:18:57 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 05:24:58 +0200 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-05-20 05:32:25 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.5) |
| 2022-05-20 05:36:00 +0200 | <koala_man> | Someone posted an issue saying that 7 year old ShellCheck versions don't build with modern GHC, and that they "should ideally get some Hackage revisions that remove any invalid build plans for these versions". What does this mean? Am I supposed to be deprecating older packages somehow? |
| 2022-05-20 05:41:26 +0200 | <jackdk> | koala_man: this is because the hackage releases either have really loose upper bounds (e.g. 0.4.6 depends on `base >= 4 && <5`), or puts no bounds on the deps at all (e.g. 0.8.0 depends on `process` without bounds). |
| 2022-05-20 05:42:50 +0200 | <koala_man> | I see. How do I know which upper bound to use? |
| 2022-05-20 05:43:04 +0200 | <jackdk> | koala_man: under the haskell Package Version Policy, the first two parts of a version number w.x.y.z (the `w.x`) denote the major version. |
| 2022-05-20 05:43:09 +0200 | <jackdk> | https://pvp.haskell.org/ |
| 2022-05-20 05:43:53 +0200 | <koala_man> | so I should just specify < w.(x+1) for a current version w.x? |
| 2022-05-20 05:43:56 +0200 | <jackdk> | You can use `cabal gen-bounds` as a start, and then `cabal outdated` to see which things have newer versions |
| 2022-05-20 05:44:16 +0200 | <jackdk> | And once w.(x+1) is known, you can raise it further |
| 2022-05-20 05:44:37 +0200 | <koala_man> | Can I raise it after the fact for a published package? |
| 2022-05-20 05:45:20 +0200 | <jackdk> | also there's a ^>= operator that's a convenient shorthand: search "caret": https://cabal.readthedocs.io/en/3.4/cabal-package.html |
| 2022-05-20 05:46:49 +0200 | <koala_man> | neat |
| 2022-05-20 05:48:48 +0200 | <jackdk> | and to answer your question: yes, this is called a "metadata revision", which lets you change things like dependency bounds without uploading an entirely new release |
| 2022-05-20 05:49:02 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-05-20 05:53:38 +0200 | <jackdk> | koala_man: ah, found something useful for you! https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 2022-05-20 05:55:19 +0200 | <koala_man> | thanks, I'll try to figure out the appropriate bounds and add a revision |
| 2022-05-20 05:57:33 +0200 | <jackdk> | If there's a fair number of these, you could also ask the hackage trustees for advice |
| 2022-05-20 05:58:49 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-20 06:01:06 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-20 06:06:17 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-20 06:07:27 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-05-20 06:07:34 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-20 06:08:59 +0200 | z0k | (~z0k@39.40.157.245) |
| 2022-05-20 06:11:25 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-20 06:12:26 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 06:13:44 +0200 | sabry | (~sabry@197.37.144.70) |
| 2022-05-20 06:30:09 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-20 06:40:12 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2022-05-20 06:59:25 +0200 | slack1256 | (~slack1256@191.126.99.75) |
| 2022-05-20 06:59:47 +0200 | benin | (~benin@183.82.31.141) (Quit: Ping timeout (120 seconds)) |
| 2022-05-20 07:00:05 +0200 | benin | (~benin@183.82.31.141) |
| 2022-05-20 07:03:10 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-05-20 07:03:31 +0200 | Vajb | (~Vajb@2001:999:231:409f:b036:bb6b:e334:8a8e) |
| 2022-05-20 07:05:31 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 07:11:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-20 07:17:15 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-20 07:29:30 +0200 | trillp | (~trillp@45.32.206.173) |
| 2022-05-20 07:41:04 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-05-20 07:46:40 +0200 | bilegeek | (~bilegeek@2600:1008:b011:f57:4337:d420:5398:9608) (Quit: Leaving) |
| 2022-05-20 07:49:49 +0200 | sabry | (~sabry@197.37.144.70) (Quit: Client closed) |
| 2022-05-20 07:53:06 +0200 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:65fd:77eb:dfa:d1a4) |
| 2022-05-20 07:55:32 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 08:01:16 +0200 | phma_ | (phma@2001:5b0:210d:d6f8:4b9c:5e7f:8060:b1d9) |
| 2022-05-20 08:01:50 +0200 | phma | (~phma@host-67-44-208-139.hnremote.net) (Read error: Connection reset by peer) |
| 2022-05-20 08:07:11 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 2022-05-20 08:10:08 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 08:11:00 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 08:11:52 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-20 08:14:26 +0200 | toluene | (~toluene@user/toulene) (Quit: Ping timeout (120 seconds)) |
| 2022-05-20 08:15:27 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2022-05-20 08:15:56 +0200 | toluene | (~toluene@user/toulene) |
| 2022-05-20 08:17:38 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 08:18:54 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 08:20:10 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2022-05-20 08:22:32 +0200 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-20 08:23:11 +0200 | dcoutts__ | (~duncan@host86-187-231-219.range86-187.btcentralplus.com) |
| 2022-05-20 08:27:13 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-20 08:30:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 08:32:21 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-05-20 08:42:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 08:44:41 +0200 | acidjnk | (~acidjnk@p200300d0c7068b535c20c5d7cefbd254.dip0.t-ipconnect.de) |
| 2022-05-20 08:48:23 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 08:52:12 +0200 | trillp | (~trillp@45.32.206.173) (Quit: Leaving) |
| 2022-05-20 08:53:14 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2022-05-20 08:55:40 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-20 08:56:47 +0200 | alp | (~alp@user/alp) |
| 2022-05-20 09:02:02 +0200 | kuribas | (~user@ptr-17d51en2wh40qmfp5xn.18120a2.ip6.access.telenet.be) |
| 2022-05-20 09:02:39 +0200 | CiaoSen | (~Jura@p200300c9573b07002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-20 09:06:53 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-20 09:09:06 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2022-05-20 09:10:28 +0200 | slack1256 | (~slack1256@191.126.99.75) (Ping timeout: 272 seconds) |
| 2022-05-20 09:11:17 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-20 09:14:49 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) |
| 2022-05-20 09:25:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-20 09:31:07 +0200 | ubert1 | (~Thunderbi@p200300ecdf1588de37d046195a4e628f.dip0.t-ipconnect.de) |
| 2022-05-20 09:31:39 +0200 | AlexNoo_ | AlexNoo |
| 2022-05-20 09:34:30 +0200 | dcoutts__ | (~duncan@host86-187-231-219.range86-187.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-05-20 09:45:24 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-20 09:46:02 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 09:46:34 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-20 09:47:16 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-20 09:50:10 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-20 09:50:21 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 09:52:16 +0200 | romesrf | (~romes@185.5.8.134) (Ping timeout: 272 seconds) |
| 2022-05-20 09:53:10 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 09:55:26 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 09:57:00 +0200 | toms | (~foobar@pogostick.net) (Remote host closed the connection) |
| 2022-05-20 09:58:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-05-20 09:59:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-20 10:02:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 10:03:55 +0200 | chele | (~chele@user/chele) |
| 2022-05-20 10:07:18 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 10:11:03 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-05-20 10:12:08 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-20 10:15:40 +0200 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) |
| 2022-05-20 10:19:07 +0200 | vpan | (~0@212.117.1.172) |
| 2022-05-20 10:22:19 +0200 | akegalj | (~akegalj@93-139-153-28.adsl.net.t-com.hr) |
| 2022-05-20 10:26:09 +0200 | dcoutts__ | (~duncan@ip-185-104-136-51.ptr.icomera.net) |
| 2022-05-20 10:26:58 +0200 | FilipKalan | (~FilipKala@77.28.86.211) |
| 2022-05-20 10:27:29 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-20 10:28:33 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-20 10:33:38 +0200 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) |
| 2022-05-20 10:33:47 +0200 | cagri | (~adamscloc@user/AdamSclock) |
| 2022-05-20 10:36:51 +0200 | <kuribas> | Maybe Void is isomorphic to () right? |
| 2022-05-20 10:36:54 +0200 | toms | (~foobar@pogostick.net) |
| 2022-05-20 10:37:01 +0200 | dcoutts__ | (~duncan@ip-185-104-136-51.ptr.icomera.net) (Ping timeout: 244 seconds) |
| 2022-05-20 10:37:43 +0200 | <kuribas> | :k Maybe Void |
| 2022-05-20 10:37:44 +0200 | <lambdabot> | * |
| 2022-05-20 10:37:50 +0200 | <Hecate> | kuribas: isomorphic == same cardinality? |
| 2022-05-20 10:37:59 +0200 | <[exa]> | kuribas: you can patternmatch 2 constructors out of () ? |
| 2022-05-20 10:38:18 +0200 | <Hecate> | [exa]: yes that's the second question I wanted to ask |
| 2022-05-20 10:38:25 +0200 | <[exa]> | :] |
| 2022-05-20 10:38:27 +0200 | <kuribas> | [exa]: no? |
| 2022-05-20 10:38:30 +0200 | <Hecate> | if you're thinking purely in terms of cardinality, then yes |
| 2022-05-20 10:38:45 +0200 | <[exa]> | kuribas: but you can from `Maybe Void` |
| 2022-05-20 10:38:57 +0200 | <kuribas> | "In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping." |
| 2022-05-20 10:39:45 +0200 | <kuribas> | toTuple Nothing = (); toTuple (Just v) = absurd v |
| 2022-05-20 10:39:58 +0200 | <kuribas> | toMaybe () = Nothing |
| 2022-05-20 10:40:30 +0200 | <kuribas> | I don't see what pattern matching has to do with that? |
| 2022-05-20 10:41:09 +0200 | <kuribas> | Is pattern matching a requirement of an isomorphism? |
| 2022-05-20 10:41:42 +0200 | <[exa]> | kuribas: your function pair isn't isomorphism, there isn't anything that would regenerate `Just *` |
| 2022-05-20 10:42:10 +0200 | <kuribas> | *? |
| 2022-05-20 10:42:23 +0200 | <[exa]> | I mean, `Just _`, anything that starts with Just |
| 2022-05-20 10:42:44 +0200 | <kuribas> | It's void, so nothing can start with Just. |
| 2022-05-20 10:42:54 +0200 | <[exa]> | then it's not isomorphism |
| 2022-05-20 10:43:00 +0200 | FilipKalan | (~FilipKala@77.28.86.211) (Ping timeout: 252 seconds) |
| 2022-05-20 10:43:29 +0200 | <[exa]> | anyway `Just undefined` is perfectly okay, no one forces you to _create_ the values, to form an isomorphism you are only interested in the mapping back and forth |
| 2022-05-20 10:43:32 +0200 | <kuribas> | Well, assuming no bottom. |
| 2022-05-20 10:44:27 +0200 | <kuribas> | right, so it's not isomorphic because of bottom? |
| 2022-05-20 10:44:36 +0200 | <kuribas> | But if you assume there is no bottom, it's isomorphic? |
| 2022-05-20 10:44:39 +0200 | <[exa]> | assuming no bottom the definition of Maybe Void is IMO invalid, but once you manually assume that `data Maybe Void = Nothing`, they would be isomorphic |
| 2022-05-20 10:45:18 +0200 | <[exa]> | still, Void is there for the reason that `Just void` is _not_ bottom |
| 2022-05-20 10:45:34 +0200 | <[exa]> | (s/void/somevoid, not the monadic void) |
| 2022-05-20 10:45:54 +0200 | <kuribas> | putting bottom inside a void seems to defy the idea of Void. |
| 2022-05-20 10:46:17 +0200 | <[exa]> | yeah but you don't need to do that :] |
| 2022-05-20 10:46:42 +0200 | <kuribas> | In idris they would be isomorphic. |
| 2022-05-20 10:46:56 +0200 | <kuribas> | since Just _|_ == _|_ |
| 2022-05-20 10:47:29 +0200 | <kuribas> | It's only lazyness which makes them not isomorphic. |
| 2022-05-20 10:48:10 +0200 | <[exa]> | but Void is not bottom, it's just uninhabited |
| 2022-05-20 10:48:29 +0200 | <kuribas> | I didn't say Void is bottom? |
| 2022-05-20 10:48:38 +0200 | <[exa]> | you wrote Just _|_ |
| 2022-05-20 10:49:05 +0200 | <kuribas> | :t (Just undefined) :: Maybe Void |
| 2022-05-20 10:49:06 +0200 | <lambdabot> | Maybe Void |
| 2022-05-20 10:49:10 +0200 | <kuribas> | seems ok; |
| 2022-05-20 10:49:18 +0200 | <[exa]> | works, a haskell way to inhabit it |
| 2022-05-20 10:50:20 +0200 | <kuribas> | in idris Just is total |
| 2022-05-20 10:50:30 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 240 seconds) |
| 2022-05-20 10:50:37 +0200 | <kuribas> | So you cannot do Just _|_ , right? |
| 2022-05-20 10:50:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-20 10:51:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-20 10:51:20 +0200 | <[Leary]> | You can make a strict Maybe in Haskell if you really want, and you'll have your isomorphism. |
| 2022-05-20 10:51:29 +0200 | <kuribas> | \o/ |
| 2022-05-20 10:51:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-05-20 10:51:52 +0200 | <[exa]> | strictness makes me ;_; |
| 2022-05-20 10:52:36 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 10:53:26 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 10:53:26 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 10:53:26 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 10:55:35 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) |
| 2022-05-20 10:55:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-20 10:58:43 +0200 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) (Ping timeout: 244 seconds) |
| 2022-05-20 10:59:37 +0200 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) |
| 2022-05-20 11:00:09 +0200 | sjanssen | (~sjanssenm@2001:470:69fc:105::1:61d8) (Quit: You have been kicked for being idle) |
| 2022-05-20 11:00:10 +0200 | rsify | (~rsify@2001:470:69fc:105::1:fd44) (Quit: You have been kicked for being idle) |
| 2022-05-20 11:00:28 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 11:00:57 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 11:01:18 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 11:02:48 +0200 | <tomsmeding> | kuribas: an isomorphism is a bijection that furthermore preserves some kind of structure |
| 2022-05-20 11:03:11 +0200 | <tomsmeding> | if you're looking just at cardinality, then you're thinking of isomorphisms between sets, which are more commonly called bijections |
| 2022-05-20 11:03:35 +0200 | <tomsmeding> | so if you're saying "isomorphic" without a further qualifier, I'd assume there is some other structure that you want preserved as well |
| 2022-05-20 11:04:28 +0200 | <kuribas> | no, I was thinking that the "Just _" case is impossible, but as [exa] showed, it's not impossible with lazyness. |
| 2022-05-20 11:05:38 +0200 | <tomsmeding> | interesting side note for this laziness effect: ghc's coverage checker understands this |
| 2022-05-20 11:06:12 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 260 seconds) |
| 2022-05-20 11:06:16 +0200 | <tomsmeding> | so if you have 'data T a = A Int | B a', then 'f :: T Void -> Int ; f (A n) = n' gives a warning that not all cases are handled |
| 2022-05-20 11:06:29 +0200 | <tomsmeding> | but if you add a ! to the 'a' in the 'B' constructor of 'T', then the warning goes away |
| 2022-05-20 11:06:55 +0200 | <tomsmeding> | I thought this was pretty neat when I first ran into this |
| 2022-05-20 11:07:18 +0200 | <kuribas> | nice |
| 2022-05-20 11:08:04 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 11:15:10 +0200 | z0k | (~z0k@39.40.157.245) (Ping timeout: 240 seconds) |
| 2022-05-20 11:17:26 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-20 11:22:02 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 11:27:21 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 11:35:07 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-20 11:35:20 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 11:35:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-20 11:39:54 +0200 | z0k | (~z0k@39.40.157.245) |
| 2022-05-20 11:40:11 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:b05b:7d78:fdbc:ca2d) |
| 2022-05-20 11:46:46 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-05-20 11:50:46 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-05-20 11:50:47 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 11:52:04 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Read error: Connection reset by peer) |
| 2022-05-20 11:53:41 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 11:53:52 +0200 | romesrf | (~romes@2001:4c80:50:16:80dd:524:d664:bb79) (Ping timeout: 272 seconds) |
| 2022-05-20 11:54:47 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:b05b:7d78:fdbc:ca2d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-20 11:56:12 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 11:56:20 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 11:57:28 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2022-05-20 11:57:33 +0200 | akegalj | (~akegalj@93-139-153-28.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-05-20 12:00:37 +0200 | ubert1 | (~Thunderbi@p200300ecdf1588de37d046195a4e628f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2022-05-20 12:08:20 +0200 | cheater1__ | (~Username@user/cheater) |
| 2022-05-20 12:09:04 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-05-20 12:09:05 +0200 | cheater1__ | cheater |
| 2022-05-20 12:10:57 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 260 seconds) |
| 2022-05-20 12:11:11 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-05-20 12:12:26 +0200 | frost | (~frost@user/frost) |
| 2022-05-20 12:17:44 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 12:18:34 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 12:22:02 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2022-05-20 12:22:22 +0200 | cagri | (~adamscloc@user/AdamSclock) (Quit: WeeChat 3.0.1) |
| 2022-05-20 12:22:50 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-20 12:23:45 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 12:24:24 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:1dc2:26d6:6439:a110) |
| 2022-05-20 12:25:44 +0200 | <kuribas> | Wouldn't it be nice to have an easier TH macro system, like scheme syntax-case? |
| 2022-05-20 12:26:00 +0200 | <kuribas> | Where you provide some input that is matched on, and some output using substitution. |
| 2022-05-20 12:26:11 +0200 | <kuribas> | It will be less powerful, but easier to use than plain TH. |
| 2022-05-20 12:27:35 +0200 | acidjnk | (~acidjnk@p200300d0c7068b535c20c5d7cefbd254.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-20 12:27:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 12:31:17 +0200 | <[exa]> | kuribas: I'd love that, but kinda afraid of the difference between scheme and haskell syntax complexity |
| 2022-05-20 12:31:50 +0200 | <kuribas> | yeah, the haskell version would be more elaborate. |
| 2022-05-20 12:31:55 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-05-20 12:32:06 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 12:32:38 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-05-20 12:32:42 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-20 12:34:20 +0200 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-05-20 12:37:49 +0200 | Natch | (~natch@92.34.7.158) |
| 2022-05-20 12:39:33 +0200 | noteness | (~noteness@user/noteness) (Quit: bye) |
| 2022-05-20 12:39:41 +0200 | np | (~nerdypepp@user/nerdypepper) (Read error: Connection reset by peer) |
| 2022-05-20 12:40:00 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-20 12:40:07 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 12:40:57 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 248 seconds) |
| 2022-05-20 12:41:29 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-20 12:41:38 +0200 | Sauvin | (~sauvin@about/linux/staff/sauvin) |
| 2022-05-20 12:41:39 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 12:43:03 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-05-20 12:44:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Ping timeout: 240 seconds) |
| 2022-05-20 12:44:21 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 246 seconds) |
| 2022-05-20 12:46:34 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 12:49:01 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 12:52:20 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 12:53:48 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 13:00:34 +0200 | acidjnk | (~acidjnk@p200300d0c7068b53d173f7130fd6382c.dip0.t-ipconnect.de) |
| 2022-05-20 13:02:17 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 260 seconds) |
| 2022-05-20 13:04:32 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 13:09:32 +0200 | pja | (~pja@217.155.153.14) (Quit: WeeChat 3.0.1) |
| 2022-05-20 13:11:27 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-20 13:15:05 +0200 | frost | (~frost@user/frost) |
| 2022-05-20 13:19:21 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-05-20 13:20:36 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 248 seconds) |
| 2022-05-20 13:26:52 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 13:28:06 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 13:31:15 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-20 13:31:24 +0200 | mima | (~mmh@aftr-62-216-207-15.dynamic.mnet-online.de) (Ping timeout: 272 seconds) |
| 2022-05-20 13:34:22 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 260 seconds) |
| 2022-05-20 13:35:43 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) |
| 2022-05-20 13:36:44 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 13:37:51 +0200 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) (Ping timeout: 244 seconds) |
| 2022-05-20 13:48:42 +0200 | romesrf | (~romes@2001:4c80:50:16:313c:6c1a:7617:a91f) (Ping timeout: 244 seconds) |
| 2022-05-20 13:49:30 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) |
| 2022-05-20 13:51:30 +0200 | acidjnk | (~acidjnk@p200300d0c7068b53d173f7130fd6382c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-20 13:51:45 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Quit: christiansen) |
| 2022-05-20 13:52:22 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-20 13:59:31 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 14:07:08 +0200 | romesrf | (~romes@2001:4c80:50:16:1af:cfe6:87f3:993c) |
| 2022-05-20 14:08:00 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-20 14:09:30 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 240 seconds) |
| 2022-05-20 14:12:53 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 14:14:20 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-20 14:16:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 14:23:49 +0200 | tenniscp25 | (~tenniscp2@2001:fb1:fc:ca7a:f0c0:c5bc:2546:895f) () |
| 2022-05-20 14:26:33 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 246 seconds) |
| 2022-05-20 14:26:50 +0200 | z0k | (~z0k@39.40.157.245) (Ping timeout: 240 seconds) |
| 2022-05-20 14:29:43 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 14:35:42 +0200 | <kritzefitz> | kuribas: I think macros in Rust kinda work like that, despite Rust' syntax being similarly complex as Haskell's. |
| 2022-05-20 14:36:10 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-20 14:38:41 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2022-05-20 14:39:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-20 14:39:43 +0200 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 14:41:04 +0200 | odnes | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 2022-05-20 14:42:03 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 14:43:06 +0200 | <geekosaur> | hypothetically you can use quasiquoters that way |
| 2022-05-20 14:46:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Ping timeout: 240 seconds) |
| 2022-05-20 14:46:27 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-05-20 14:48:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-20 14:48:26 +0200 | <dminuoso_> | maerwald: https://i.imgur.com/8kUHBbn.png |
| 2022-05-20 14:48:34 +0200 | <dminuoso_> | I really dislike hasql for this. |
| 2022-05-20 14:48:58 +0200 | <dminuoso_> | Ah but hold on, I may need to control cabal-plan |
| 2022-05-20 14:49:01 +0200 | <dminuoso_> | test components made their way in |
| 2022-05-20 14:50:11 +0200 | <dminuoso_> | https://i.imgur.com/aREFYHr.png |
| 2022-05-20 14:50:13 +0200 | <dminuoso_> | It's still horrid |
| 2022-05-20 14:51:32 +0200 | <dminuoso_> | aeson is a big part of this problem, but you cant simply opt out of this. |
| 2022-05-20 14:53:06 +0200 | <dminuoso_> | Maybe hackage should just draw the dependency tree of some recent cabal plan against hackage right at the landing page of a package, just so users know what they're getting into |
| 2022-05-20 14:54:07 +0200 | martin02_ | martin02 |
| 2022-05-20 14:55:25 +0200 | noctux | (~noctux@user/noctux) |
| 2022-05-20 14:57:44 +0200 | <geekosaur> | ob https://ro-che.info/ccc/23 |
| 2022-05-20 15:01:25 +0200 | <merijn> | !! |
| 2022-05-20 15:01:34 +0200 | <merijn> | LaTeX math support for github readmes! |
| 2022-05-20 15:01:38 +0200 | <merijn> | Haskell nerds rejoice :p |
| 2022-05-20 15:01:47 +0200 | <tomsmeding> | ö |
| 2022-05-20 15:02:08 +0200 | <yushyin> | eventually package authors will vendor their deps :P |
| 2022-05-20 15:03:04 +0200 | <tomsmeding> | to save people some searching: https://github.blog/2022-05-19-math-support-in-markdown/ |
| 2022-05-20 15:04:01 +0200 | tafama | tafa |
| 2022-05-20 15:04:48 +0200 | <dminuoso_> | That's microsofts move to ensure all the Agda and Coq people move to Github. |
| 2022-05-20 15:04:58 +0200 | <dminuoso_> | Clever! |
| 2022-05-20 15:05:25 +0200 | <dminuoso_> | But seriously, it's a nice feature |
| 2022-05-20 15:15:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-05-20 15:16:33 +0200 | gpncarl | (~gpncarl@210.12.195.5) (Ping timeout: 276 seconds) |
| 2022-05-20 15:19:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-05-20 15:20:08 +0200 | jinsun__ | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-05-20 15:20:17 +0200 | Infinite | (~Infinite@49.39.122.40) |
| 2022-05-20 15:20:26 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-05-20 15:25:56 +0200 | mima | (~mmh@dhcp-138-246-3-120.dynamic.eduroam.mwn.de) |
| 2022-05-20 15:27:10 +0200 | Infinite | (~Infinite@49.39.122.40) (Ping timeout: 252 seconds) |
| 2022-05-20 15:27:58 +0200 | slack1256 | (~slack1256@181.43.228.229) |
| 2022-05-20 15:30:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 15:30:39 +0200 | romesrf | (~romes@2001:4c80:50:16:1af:cfe6:87f3:993c) (Ping timeout: 240 seconds) |
| 2022-05-20 15:36:23 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-20 15:37:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-20 15:38:32 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 15:39:15 +0200 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) |
| 2022-05-20 15:42:55 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Ping timeout: 260 seconds) |
| 2022-05-20 15:43:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-05-20 15:44:36 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-05-20 15:46:57 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 2022-05-20 15:46:59 +0200 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:65fd:77eb:dfa:d1a4) (Remote host closed the connection) |
| 2022-05-20 15:51:08 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-20 15:55:45 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-20 15:57:25 +0200 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-20 15:57:47 +0200 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) |
| 2022-05-20 16:07:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 16:12:02 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 16:12:35 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-05-20 16:14:37 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-20 16:16:10 +0200 | romesrf | (~romes@185.5.8.134) (Ping timeout: 240 seconds) |
| 2022-05-20 16:18:30 +0200 | feliix42_ | (~felix@gibbs.uberspace.de) (Write error: Connection reset by peer) |
| 2022-05-20 16:19:33 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-20 16:19:53 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-20 16:21:37 +0200 | feliix42 | (~felix@gibbs.uberspace.de) |
| 2022-05-20 16:22:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 16:23:25 +0200 | phma_ | phma |
| 2022-05-20 16:23:57 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-20 16:24:00 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-05-20 16:25:40 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-20 16:28:38 +0200 | alexiscott | (~user@37.red-88-1-75.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-05-20 16:30:26 +0200 | remedan | (~remedan@octo.cafe) (Quit: Bye!) |
| 2022-05-20 16:33:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-20 16:33:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-05-20 16:33:32 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-20 16:36:05 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 16:36:28 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 16:37:44 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-05-20 16:39:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2022-05-20 16:40:26 +0200 | <shapr> | hi mxs |
| 2022-05-20 16:41:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-05-20 16:41:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-05-20 16:41:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-05-20 16:41:56 +0200 | <mxs> | shapr: ^_^ hey |
| 2022-05-20 16:42:18 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 244 seconds) |
| 2022-05-20 16:42:43 +0200 | romesrf | (~romes@185.5.8.134) |
| 2022-05-20 16:44:31 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 16:45:26 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2022-05-20 16:45:34 +0200 | kuribas | (~user@ptr-17d51en2wh40qmfp5xn.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-05-20 16:51:32 +0200 | odnes_ | (~odnes@5-203-157-247.pat.nym.cosmote.net) (Ping timeout: 272 seconds) |
| 2022-05-20 16:55:11 +0200 | Infinite | (~Infinite@49.39.114.248) |
| 2022-05-20 16:55:51 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 2022-05-20 16:57:41 +0200 | Infinite | (~Infinite@49.39.114.248) (Client Quit) |
| 2022-05-20 16:57:58 +0200 | doyougnu | (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 16:59:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-20 16:59:48 +0200 | mima | (~mmh@dhcp-138-246-3-120.dynamic.eduroam.mwn.de) (Ping timeout: 248 seconds) |
| 2022-05-20 17:00:11 +0200 | merijn | (~merijn@c-001-001-011.client.esciencecenter.eduvpn.nl) |
| 2022-05-20 17:02:29 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-20 17:04:37 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.5) |
| 2022-05-20 17:12:05 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-20 17:30:07 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-05-20 17:36:15 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-05-20 17:41:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-20 17:48:33 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 17:49:54 +0200 | sfvm | (~sfvm@37.228.215.63) |
| 2022-05-20 17:51:23 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) |
| 2022-05-20 18:01:43 +0200 | slack3814 | (~slack1256@191.126.99.75) |
| 2022-05-20 18:03:24 +0200 | sfvm | (~sfvm@37.228.215.63) (Quit: off to the basement, mixing up the medicine) |
| 2022-05-20 18:03:40 +0200 | sfvm | (~sfvm@37.228.215.63) |
| 2022-05-20 18:03:48 +0200 | slack1256 | (~slack1256@181.43.228.229) (Ping timeout: 248 seconds) |
| 2022-05-20 18:07:18 +0200 | sfvm | (~sfvm@37.228.215.63) (Client Quit) |
| 2022-05-20 18:07:33 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:08:05 +0200 | elfi2125[m] | (~elfi2125m@2001:470:69fc:105::2:13d6) |
| 2022-05-20 18:09:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Remote host closed the connection) |
| 2022-05-20 18:11:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-05-20 18:13:21 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 18:13:36 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:15:15 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-05-20 18:17:17 +0200 | alp | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-20 18:19:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-05-20 18:20:41 +0200 | slack3814 | slack1256 |
| 2022-05-20 18:21:01 +0200 | kilolympus | (~kilolympu@31.205.200.235) (Quit: See you later! :)) |
| 2022-05-20 18:23:24 +0200 | Infinite | (~Infinite@49.39.119.161) |
| 2022-05-20 18:24:24 +0200 | zeenk | (~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!) |
| 2022-05-20 18:25:24 +0200 | <slack1256> | If I have a data structure with bang patterns that was _already_ forced/evaluated and I pass it to another function down the line that pattern matchs on it, will GHC force it again unnecessarely or it will be smart and do nothing? |
| 2022-05-20 18:26:56 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-20 18:26:59 +0200 | <geekosaur> | it will be smart |
| 2022-05-20 18:27:04 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-20 18:27:35 +0200 | <slack1256> | Thank god. |
| 2022-05-20 18:27:50 +0200 | <slack1256> | well SPJ in this case. |
| 2022-05-20 18:27:52 +0200 | <geekosaur> | an unevaluated value is a "thunk", entering it replaces the thunk with an evaluated result which when entered simply produces the result |
| 2022-05-20 18:28:24 +0200 | <geekosaur> | this does not mean that something like deepseq does nothing, because deepseq can't know that there isn't an unevaluated thunk somewhere |
| 2022-05-20 18:28:46 +0200 | <geekosaur> | which is why deepseq is considered a sledgehammer that should be avoided |
| 2022-05-20 18:29:04 +0200 | titibandit | (~thibaut@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Remote host closed the connection) |
| 2022-05-20 18:29:28 +0200 | <slack1256> | So it will do nothing per node of the data structure but still will have to traverse it (as far a bang patterns specify). In the case of deepseq, all the way to the bottom. |
| 2022-05-20 18:29:32 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 18:29:52 +0200 | <slack1256> | s_bottom_base_ |
| 2022-05-20 18:29:56 +0200 | <geekosaur> | right |
| 2022-05-20 18:29:56 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:30:17 +0200 | <slack1256> | Gotcha, that makes sense. Thanks geekosaur. |
| 2022-05-20 18:31:15 +0200 | shriekingnoise_ | (~shrieking@201.231.16.156) |
| 2022-05-20 18:31:54 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 246 seconds) |
| 2022-05-20 18:32:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-20 18:34:11 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-05-20 18:36:01 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-20 18:39:00 +0200 | mima | (~mmh@aftr-62-216-207-208.dynamic.mnet-online.de) |
| 2022-05-20 18:39:50 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds) |
| 2022-05-20 18:41:08 +0200 | Infinite | (~Infinite@49.39.119.161) (Ping timeout: 252 seconds) |
| 2022-05-20 18:44:19 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 18:44:34 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 18:44:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 18:46:23 +0200 | turlando | (~turlando@93.51.40.51) |
| 2022-05-20 18:46:23 +0200 | turlando | (~turlando@93.51.40.51) (Changing host) |
| 2022-05-20 18:46:23 +0200 | turlando | (~turlando@user/turlando) |
| 2022-05-20 18:47:26 +0200 | Vajb | (~Vajb@2001:999:231:409f:b036:bb6b:e334:8a8e) (Read error: Connection reset by peer) |
| 2022-05-20 18:47:40 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-20 18:51:54 +0200 | dcoutts | (~duncan@host213-122-143-140.range213-122.btcentralplus.com) |
| 2022-05-20 18:53:29 +0200 | slack1256 | (~slack1256@191.126.99.75) (Remote host closed the connection) |
| 2022-05-20 18:54:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 18:58:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-20 18:59:09 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) |
| 2022-05-20 19:00:06 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 19:01:55 +0200 | z0k | (~z0k@39.40.3.188) |
| 2022-05-20 19:02:54 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) |
| 2022-05-20 19:03:21 +0200 | yauhsien | (~yauhsien@61-231-45-20.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-05-20 19:05:05 +0200 | alp | (~alp@user/alp) |
| 2022-05-20 19:09:28 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 19:12:46 +0200 | econo | (uid147250@user/econo) |
| 2022-05-20 19:15:53 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-20 19:17:45 +0200 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 19:20:20 +0200 | king_gs | (~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Quit: king_gs) |
| 2022-05-20 19:20:49 +0200 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-05-20 19:21:00 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 240 seconds) |
| 2022-05-20 19:21:26 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2022-05-20 19:22:50 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2022-05-20 19:24:32 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 244 seconds) |
| 2022-05-20 19:25:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 19:27:47 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-05-20 19:28:15 +0200 | z0k | (~z0k@39.40.3.188) (Ping timeout: 246 seconds) |
| 2022-05-20 19:30:42 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2022-05-20 19:30:54 +0200 | gpncarl | (~gpncarl@120.244.220.69) |
| 2022-05-20 19:34:16 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-05-20 19:35:27 +0200 | gpncarl | (~gpncarl@120.244.220.69) (Ping timeout: 260 seconds) |
| 2022-05-20 19:36:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-05-20 19:41:49 +0200 | trillp | (~trillp@45.32.206.173) |
| 2022-05-20 19:47:54 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-05-20 19:49:54 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-05-20 19:50:05 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-20 19:59:04 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 19:59:20 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 20:00:20 +0200 | Guest54 | (~Guest54@modemcable048.16-160-184.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2022-05-20 20:01:20 +0200 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 20:01:35 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 20:03:33 +0200 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 20:03:55 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 20:05:34 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-05-20 20:06:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-05-20 20:09:09 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-20 20:09:35 +0200 | z0k | (~z0k@39.40.115.244) |
| 2022-05-20 20:10:36 +0200 | sloorush | (~sloorush@52.187.184.81) |
| 2022-05-20 20:14:52 +0200 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-20 20:16:22 +0200 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 20:16:51 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 20:19:10 +0200 | chomwitt | (~chomwitt@2a02:587:dc2d:2c00:9f1b:930c:a10f:6721) |
| 2022-05-20 20:19:59 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-20 20:21:19 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-05-20 20:22:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 20:24:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 244 seconds) |
| 2022-05-20 20:25:38 +0200 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 20:26:04 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) |
| 2022-05-20 20:26:42 +0200 | odnes | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-05-20 20:26:57 +0200 | <fciocan42> | Where can I find if I was selected for GSoC project? |
| 2022-05-20 20:28:21 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) (Client Quit) |
| 2022-05-20 20:28:32 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 260 seconds) |
| 2022-05-20 20:30:24 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-20 20:30:25 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) |
| 2022-05-20 20:31:54 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 20:32:18 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 20:34:52 +0200 | mokee | (~mokee@37.228.215.63) (Client Quit) |
| 2022-05-20 20:34:56 +0200 | z0k | (~z0k@39.40.115.244) (Read error: Connection reset by peer) |
| 2022-05-20 20:35:25 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:44bb:5510:1c7f:5e55) (Quit: Client closed) |
| 2022-05-20 20:35:31 +0200 | mokee | (~mokee@37.228.215.63) |
| 2022-05-20 20:35:55 +0200 | z0k | (~z0k@39.40.112.46) |
| 2022-05-20 20:36:09 +0200 | andrey_ | (~andrey@p200300dbcf288a00dec76475e9c1494e.dip0.t-ipconnect.de) |
| 2022-05-20 20:37:41 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 20:38:18 +0200 | acidjnk | (~acidjnk@p200300d0c7068b5319a0501cc3e14ba8.dip0.t-ipconnect.de) |
| 2022-05-20 20:38:56 +0200 | andrey | (~andrey@p200300dbcf0a24006f5a42723aa54156.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-05-20 20:39:03 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-05-20 20:42:27 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-20 20:42:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-05-20 20:43:20 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:b941:9e51:12a0:3100) |
| 2022-05-20 20:46:03 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2022-05-20 20:47:12 +0200 | <sloorush> | fciocan42: the result is out on the gsoc portal |
| 2022-05-20 20:47:24 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2022-05-20 20:47:29 +0200 | <fciocan42> | just found them. Thanks |
| 2022-05-20 20:47:30 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) |
| 2022-05-20 20:48:19 +0200 | <sm> | were you ? |
| 2022-05-20 20:49:03 +0200 | fciocan42 | (~fciocan42@2a02:2f0e:a08:8200:b941:9e51:12a0:3100) (Quit: Client closed) |
| 2022-05-20 20:50:31 +0200 | <Henson> | I'm trying to use proto-lens in a Stack build by following along with the instructions here (https://github.com/google/proto-lens#readme). Despite setting the build-type to Custom and adjusting the Setup.hs, "stack build" doesn't seem to be running anything to automatically convert the .proto files into .hs files. Does anybody have experience using proto-lens? |
| 2022-05-20 20:51:03 +0200 | kiwi49 | (~kiwi49@user/kiwi49) |
| 2022-05-20 20:54:05 +0200 | kenran | (~kenran@200116b82b9467001002a9dee84703fe.dip.versatel-1u1.de) |
| 2022-05-20 20:54:18 +0200 | kenran | (~kenran@200116b82b9467001002a9dee84703fe.dip.versatel-1u1.de) (Client Quit) |
| 2022-05-20 20:55:47 +0200 | <maerwald> | Henson: did you upload your project somewhere? |
| 2022-05-20 20:57:47 +0200 | <Henson> | maerwald: no, it's a project for work. I haven't yet boiled it down to a minimum example that could be uploaded. I thought maybe there was something simple I'm missing to get stack to call the setup stuff described in the Setup.hs file for a Custom cabal build. |
| 2022-05-20 20:58:44 +0200 | <maerwald> | do you use a package.yaml? |
| 2022-05-20 20:58:51 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:f5ae:1c34:d517:cf9d) |
| 2022-05-20 20:59:25 +0200 | <Henson> | maerwald: a stack.yaml, but most of the configuration seems to be done in a .cabal file |
| 2022-05-20 20:59:45 +0200 | <maerwald> | so there is no 'package.yaml' in that folder? |
| 2022-05-20 21:00:18 +0200 | mokee | (~mokee@37.228.215.63) (Quit: off) |
| 2022-05-20 21:00:47 +0200 | <Henson> | maerwald: no |
| 2022-05-20 21:01:15 +0200 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-05-20 21:01:43 +0200 | <Henson> | maerwald: I've figured out how to manually run the protobuf compiler, so if I can't figure out how to get automatic building working with "stack build", I'll just resort to manually building. |
| 2022-05-20 21:03:57 +0200 | <sm> | presumably stack does run a custom Setup.hs ? Docs are not quite clear |
| 2022-05-20 21:04:14 +0200 | <sm> | https://docs.haskellstack.org/en/stable/GUIDE/#inner-workings-of-stack |
| 2022-05-20 21:04:58 +0200 | bliminse | (~bliminse@host81-154-179-167.range81-154.btcentralplus.com) (Quit: leaving) |
| 2022-05-20 21:05:20 +0200 | <Henson> | sm: yeah, it's not clear to me either on that one. the proto-lens package's instructions appear to be for either cabal or stack |
| 2022-05-20 21:07:48 +0200 | hochata[m] | (~eqf0matri@2001:470:69fc:105::1:331a) |
| 2022-05-20 21:11:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) (Remote host closed the connection) |
| 2022-05-20 21:15:04 +0200 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-05-20 21:15:22 +0200 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) |
| 2022-05-20 21:16:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:452f:6cab:9363:cbad) |
| 2022-05-20 21:16:57 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:1dc2:26d6:6439:a110) (Ping timeout: 260 seconds) |
| 2022-05-20 21:27:44 +0200 | bliminse | (~bliminse@host81-154-179-167.range81-154.btcentralplus.com) |
| 2022-05-20 21:31:24 +0200 | emad | (~emad@102.45.242.159) |
| 2022-05-20 21:35:07 +0200 | odnes_ | (~odnes@5-203-134-31.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-20 21:36:02 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-05-20 21:36:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 21:42:08 +0200 | Guest|33 | (~Guest|33@190.26.196.146) |
| 2022-05-20 21:42:39 +0200 | foul_owl | (~kerry@71.212.150.111) (Ping timeout: 276 seconds) |
| 2022-05-20 21:45:26 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-05-20 21:48:06 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-05-20 21:50:21 +0200 | Guest|33 | (~Guest|33@190.26.196.146) (Quit: Connection closed) |
| 2022-05-20 21:50:38 +0200 | Guest|33 | (~Guest|33@190.26.196.146) |
| 2022-05-20 21:51:21 +0200 | <maerwald> | how can I get lamdabot in my channel? |
| 2022-05-20 21:51:39 +0200 | <geekosaur> | ask int-e |
| 2022-05-20 21:52:11 +0200 | <maerwald> | int-e: ask |
| 2022-05-20 21:56:07 +0200 | briandaed | (~briandaed@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection) |
| 2022-05-20 21:57:47 +0200 | foul_owl | (~kerry@23.82.193.87) |
| 2022-05-20 22:05:49 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-20 22:08:06 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-20 22:08:27 +0200 | sleym | (~sleym@user/sleym) |
| 2022-05-20 22:09:57 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 246 seconds) |
| 2022-05-20 22:11:34 +0200 | causal | (~user@50.35.83.177) (Client Quit) |
| 2022-05-20 22:11:54 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 22:15:32 +0200 | causal | (~user@50.35.83.177) |
| 2022-05-20 22:16:35 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-20 22:22:51 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-20 22:26:40 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-05-20 22:29:15 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-20 22:32:02 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-20 22:33:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 22:35:11 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-20 22:44:23 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-05-20 22:44:25 +0200 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) |
| 2022-05-20 22:45:11 +0200 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) (Client Quit) |
| 2022-05-20 22:46:15 +0200 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) |
| 2022-05-20 22:46:33 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-20 22:47:08 +0200 | Guest|3355 | (~Guest|33@static-186-154-239-194.static.etb.net.co) |
| 2022-05-20 22:48:42 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-05-20 22:49:42 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-20 22:49:42 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 22:50:17 +0200 | Guest|33 | (~Guest|33@190.26.196.146) (Ping timeout: 260 seconds) |
| 2022-05-20 22:50:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-20 22:50:43 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 22:51:43 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-05-20 22:52:05 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 22:52:33 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 22:54:12 +0200 | Henson | (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-05-20 22:56:20 +0200 | Guest|3355 | (~Guest|33@static-186-154-239-194.static.etb.net.co) (Ping timeout: 272 seconds) |
| 2022-05-20 22:57:23 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-20 22:58:28 +0200 | phma | (phma@2001:5b0:210d:d6f8:4b9c:5e7f:8060:b1d9) (Read error: Connection reset by peer) |
| 2022-05-20 23:00:36 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 23:00:38 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-20 23:00:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-05-20 23:00:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-05-20 23:01:05 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 23:01:18 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-20 23:01:20 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 23:01:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-20 23:06:24 +0200 | phma | (~phma@2001:5b0:210b:8758:382:f186:838e:acb0) |
| 2022-05-20 23:07:47 +0200 | phma | (~phma@2001:5b0:210b:8758:382:f186:838e:acb0) (Read error: Connection reset by peer) |
| 2022-05-20 23:07:55 +0200 | emad | (~emad@102.45.242.159) (Remote host closed the connection) |
| 2022-05-20 23:08:02 +0200 | romesrf | (~romes@185.5.8.134) (Quit: WeeChat 3.4.1) |
| 2022-05-20 23:08:15 +0200 | phma | (~phma@host-67-44-208-86.hnremote.net) |
| 2022-05-20 23:08:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-05-20 23:08:52 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-05-20 23:10:39 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-20 23:10:42 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) (Client Quit) |
| 2022-05-20 23:10:57 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:2165:73d6:1630:f174) |
| 2022-05-20 23:13:24 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-20 23:13:46 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-20 23:13:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-20 23:14:27 +0200 | Guest59 | (~Guest59@pool-72-93-116-45.bstnma.fios.verizon.net) (Quit: Client closed) |
| 2022-05-20 23:14:48 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-05-20 23:17:18 +0200 | kiwi49 | (~kiwi49@user/kiwi49) (Quit: Leaving) |
| 2022-05-20 23:19:00 +0200 | trillp | (~trillp@45.32.206.173) (Quit: Leaving) |
| 2022-05-20 23:21:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-20 23:21:35 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) (Remote host closed the connection) |
| 2022-05-20 23:21:58 +0200 | pfharlock | (~pfharlock@cpe-74-138-169-108.kya.res.rr.com) |
| 2022-05-20 23:24:13 +0200 | geekosaur | eviltwin_b |
| 2022-05-20 23:25:34 +0200 | eviltwin_b | geekosaur |
| 2022-05-20 23:26:17 +0200 | geekosaur[m] | eviltwin_b[m] |
| 2022-05-20 23:28:10 +0200 | eviltwin_b[m] | geekosaur[m] |
| 2022-05-20 23:31:50 +0200 | z0k | (~z0k@39.40.112.46) (Ping timeout: 240 seconds) |
| 2022-05-20 23:33:30 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-05-20 23:33:52 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-20 23:34:37 +0200 | flounders | (~flounders@24.246.138.231) (Ping timeout: 260 seconds) |
| 2022-05-20 23:35:19 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-20 23:36:30 +0200 | flounders | (~flounders@24.246.138.231) |
| 2022-05-20 23:38:13 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:f5ae:1c34:d517:cf9d) (Read error: Connection reset by peer) |
| 2022-05-20 23:39:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-20 23:40:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-20 23:40:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-20 23:45:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-05-20 23:46:36 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-05-20 23:46:57 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-05-20 23:47:33 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2022-05-20 23:47:59 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-20 23:48:30 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-20 23:48:56 +0200 | mzan | (~quassel@mail.asterisell.com) (Client Quit) |
| 2022-05-20 23:52:43 +0200 | tcard | (~tcard@p2878075-ipngn18701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-05-20 23:55:36 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-05-20 23:56:03 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-05-20 23:56:57 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-05-20 23:57:14 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
