Logs on 2021-04-30 (freenode/#haskell)
| 00:00:22 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 00:02:56 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 00:03:30 | × | Bigcheese quits (~quassel@unaffiliated/bigcheese) (Ping timeout: 258 seconds) |
| 00:03:31 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:6972:4f4b:800a:5969) (Ping timeout: 248 seconds) |
| 00:03:56 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:05:47 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 00:05:47 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 00:06:14 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 00:07:10 | <DigitalKiwi> | ok so i can't find the one i want and i'm not even sure it's a smbc one anyway but lol https://pics.conservativememes.com/after-the-robot-uprising-was-put-down-we-hunted-down-42001756.png |
| 00:08:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 00:12:42 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 00:13:18 | → | stree joins (~stree@68.36.8.116) |
| 00:14:33 | <monochrom> | It's https://www.smbc-comics.com/comic/the-program |
| 00:15:30 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3bb8:341c:5ed0:c138) |
| 00:15:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 00:19:53 | → | nf joins (~n@monade.li) |
| 00:19:53 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 00:21:25 | <geekosaur> | every butlerian jihad has its tleilax… |
| 00:21:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:23:17 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 00:26:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 00:26:14 | × | Tario quits (~Tario@200.119.187.173) (Read error: Connection reset by peer) |
| 00:30:14 | <sm[m]> | yow, good comic |
| 00:30:26 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 00:30:34 | → | Tario joins (~Tario@201.192.165.173) |
| 00:35:01 | × | bennofs__ quits (~quassel@dynamic-089-014-017-218.89.14.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 00:35:39 | → | bennofs_ joins (~quassel@x4dbf8c0e.dyn.telefonica.de) |
| 00:35:47 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 00:36:43 | sm[m] | reviews "tleilax" and falls down a deep rabbit hole |
| 00:36:51 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-cinqhqsiyvsglyzn) (Quit: Connection closed for inactivity) |
| 00:37:30 | geekosaur | should've said "bene tleilax" |
| 00:37:49 | <sm[m]> | I'm impressed it's on the main Wikipedia too |
| 00:37:54 | <geekosaur> | not that that necessarily will help; "dune" got rather _big_ |
| 00:38:47 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 00:39:19 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 00:40:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 00:40:48 | <geekosaur> | lookslike I confused them with Ix anyway |
| 00:40:58 | <geekosaur> | thought they both dealt in secret tech |
| 00:41:32 | → | argento joins (~argent0@168.227.97.34) |
| 00:41:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 00:47:28 | → | Bigcheese joins (~quassel@unaffiliated/bigcheese) |
| 00:48:00 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 00:49:48 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 00:51:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 00:52:11 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 00:57:19 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 00:57:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 00:59:59 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 01:01:00 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 01:02:02 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 01:04:01 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 01:04:16 | <jackdk> | I have a situation where two records in the same module have a common field name. How can I identify which record type I want to extract from? |
| 01:04:38 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 01:05:58 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 01:08:01 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 01:09:25 | × | vk3wtf_ quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 01:09:52 | → | pfurla joins (~pfurla@185.108.105.76) |
| 01:09:53 | → | vk3wtf joins (~doc@61.68.250.44) |
| 01:10:13 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 01:11:10 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 01:11:31 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:52 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 01:12:38 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:13:45 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 01:15:02 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:16:22 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) |
| 01:18:48 | × | Qwerky_ quits (~qwerky@37.168.128.229) (Remote host closed the connection) |
| 01:19:34 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 01:19:52 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 01:22:21 | <sm[m]> | geekosaur: ahh, that makes more sense |
| 01:22:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:22:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:22:56 | <geekosaur> | it's been a few years since I read it and I kinda gave up on sequel-mania |
| 01:22:59 | <sm[m]> | jackdk: I don't think that module will compile, eh ? |
| 01:23:14 | <geekosaur> | I was thinking lens |
| 01:23:39 | <geekosaur> | which can use typeclasses to do that, but in that case only one should be able to typecheck |
| 01:26:06 | <geekosaur> | that, or they've done data Foo = Foo1 {record description 1} | Foo2 {record description 2}, but then there's no distinct type |
| 01:28:45 | → | jgt joins (~jgt@88.225.221.135) |
| 01:28:46 | → | Qwerky joins (~qwerky@37.168.128.229) |
| 01:31:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 01:32:35 | × | EricYuzo quits (~EricYuzo@195.140.213.38) (Remote host closed the connection) |
| 01:33:17 | × | Qwerky quits (~qwerky@37.168.128.229) (Ping timeout: 260 seconds) |
| 01:33:42 | × | jgt quits (~jgt@88.225.221.135) (Ping timeout: 265 seconds) |
| 01:34:39 | <zzz> | i like this one: https://toggl.com/blog/kill-dragon-comic |
| 01:35:52 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 01:37:08 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 01:37:21 | <sm[m]> | :) |
| 01:39:00 | <monochrom> | The extension DuplicateRecordFields allows two types to have the same field name. However, you need types to disambiguate selectors. |
| 01:39:02 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:39:23 | <monochrom> | Hey let me make that more punny. |
| 01:39:27 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 01:39:32 | <monochrom> | You need types to select selectors! |
| 01:39:43 | → | Tario joins (~Tario@201.192.165.173) |
| 01:41:35 | <jackdk> | monochrom: tyvm |
| 01:41:43 | × | xff0x quits (~xff0x@2001:1a81:524d:ea00:4bc5:b0ea:c9c9:30a8) (Ping timeout: 276 seconds) |
| 01:43:04 | → | xff0x joins (~xff0x@2001:1a81:5283:5b00:a859:aa60:21e:361d) |
| 01:43:13 | <monochrom> | See the GHC user's guide for examples. There is actually a corner case that intuitively should work but doesn't. I don't understand it either, it's pretty weird. |
| 01:43:21 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 01:43:50 | <monochrom> | So the example there begins with having "data S = MkS{x::Int}" and "data T = MkT{x::NotInt}". |
| 01:44:06 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 240 seconds) |
| 01:44:12 | <monochrom> | If you say "ok2 :: S->Int; ok2 = x" it's fine. |
| 01:44:32 | <monochrom> | Then if you say "bad :: S->Int; bad s = x s" it is not good enough. |
| 01:44:56 | <monochrom> | That's right, eta makes a difference. |
| 01:46:39 | → | nineonine joins (~nineonine@50.216.62.2) |
| 01:48:06 | <monochrom> | "bad" can be fixed by: "ok4 s = x (s :: S)" |
| 01:48:46 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 01:50:08 | → | ddellacosta joins (~ddellacos@86.106.143.203) |
| 01:53:05 | <zzz> | i personally avoid record extensions and favor something like the convention: data Person = Person { personName :: String , personAge :: Int } |
| 01:53:29 | <zzz> | RecordWildCards is specially evil |
| 01:53:44 | <jackdk> | so would I but I am writing a PR to a library and don't want to rearrange the whole interface |
| 01:54:12 | × | ddellacosta quits (~ddellacos@86.106.143.203) (Ping timeout: 240 seconds) |
| 01:55:28 | <Cale> | I hate DuplicateRecordFields, I wish we could just get rid of it -- all the extensions around records lately have been pretty bad. |
| 01:56:02 | <sm[m]> | zzz: I do the same but usually abbreviate the prefix, Person -> p etc. |
| 01:56:24 | <Cale> | Where I work, we use the convention _typeName_fieldName |
| 01:56:36 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 01:56:51 | <Cale> | (and then if there's a lens, it lacks the initial underscore, but we only make lenses if we need to) |
| 01:56:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 01:57:13 | <Cale> | It's honestly fine, haha |
| 01:57:49 | <sm[m]> | woah, that's long |
| 01:59:16 | <Cale> | Yeah, my initial reaction was that I didn't like it very much, but having gotten used to it, it's kind of nice in some ways |
| 01:59:59 | → | Alleria joins (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 02:00:18 | <zzz> | Cale: why is that better than (fieldName typeName) ? |
| 02:00:24 | Alleria | is now known as Guest71082 |
| 02:00:32 | <Cale> | zzz: identifiers can't have spaces in them |
| 02:00:34 | <zzz> | ignore that |
| 02:00:57 | <Cale> | I just mean we name our record fields for a type called TypeName with the prefix _typeName_ |
| 02:01:57 | <zzz> | got it. i forgot what the context of this conversation was for a second |
| 02:02:36 | <zzz> | existential middle of the night Haskell question: are case expressions useful? |
| 02:02:39 | <Cale> | You never have to think very hard about what the fields will be called, and if you have tags/completion, that's quite useful |
| 02:02:54 | <Cale> | Uh, of course they are, they're fundamental |
| 02:03:08 | <zzz> | why? |
| 02:03:09 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 02:03:15 | × | juliagoda quits (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 02:03:18 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 02:03:19 | <Cale> | At some level, if you never pattern matched on anything, there would never be any reason to evaluate any expressions. |
| 02:04:15 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 02:05:07 | × | Guest71082 quits (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 02:05:30 | <zzz> | i mean from the syntax perspective, aren't they interchangeable with guards? |
| 02:05:30 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Remote host closed the connection) |
| 02:05:50 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 02:05:54 | <Cale> | You mean with multiple equations for a function definition? |
| 02:06:01 | <zzz> | yes |
| 02:06:28 | <Cale> | Well, if you don't mind naming additional functions, you could get by with just that. |
| 02:06:34 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 02:06:53 | <Cale> | But honestly, these days I pretty strongly avoid repeating the name of my function n times |
| 02:07:32 | <Cale> | (when I can, at least) |
| 02:08:13 | <Cale> | Really, that syntax gets translated into case expressions |
| 02:08:30 | <zzz> | you dont need to repeat it, just add: | Value <- something |
| 02:08:50 | <Cale> | Oh, pattern guards |
| 02:08:56 | <jackdk> | It is a common error to use guards where cases will do |
| 02:09:06 | <zzz> | why is that? |
| 02:09:24 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:09:47 | <Cale> | I'd only consider it strange if you're doing stuff like | not (null xs) |
| 02:09:55 | <Cale> | rather than just pattern matching |
| 02:10:23 | <Cale> | It is a little unusual to make extensive use of pattern guards though |
| 02:11:17 | <Cale> | But yeah, these syntaxes are definitely interconvertible |
| 02:11:18 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 02:11:37 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 276 seconds) |
| 02:11:44 | <Axman6> | it's hard to understate how fundamental case statements are in Haskell, they are literally the way things are evaluated. Almost everything else that seems case-y is just case sugar |
| 02:11:52 | × | horatiohb quits (~horatiohb@159.203.87.174) (Ping timeout: 240 seconds) |
| 02:11:59 | <Cale> | Note also that guards are part of the syntax of case expressions |
| 02:12:06 | <c_wraith> | that's not quite true. let is sort of the opposite of case |
| 02:12:07 | <Cale> | (though they are sugar) |
| 02:13:16 | <Cale> | c_wraith: Yeah, you can always define a new function which does the pattern matching, but you're then somewhat relying on the compiler to inline it I suppose. |
| 02:14:37 | <Cale> | Once you get rid of enough of the sugar, it's possible to think of case as being the primary way that the stack is managed, and let as being the primary way that the heap is managed |
| 02:14:39 | <zzz> | i hate case expressions. must be some childhood traume. i avoid them in every language |
| 02:14:56 | <Cale> | case expressions in Haskell are not much like case expressions in most languages |
| 02:14:57 | Axman6 | https://imgflip.com/i/57orv1 |
| 02:15:04 | <Cale> | Except if you're thinking of like ML, or something |
| 02:15:47 | <Axman6> | yeah, case is not switch in other languages |
| 02:16:34 | → | slewis joins (~slewis@217.146.82.202) |
| 02:16:46 | <zzz> | i do like LambdaCase though i dont remembet the last time i've used it |
| 02:17:00 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.47) |
| 02:17:36 | <Cale> | In Haskell, entering a function doesn't put anything on the stack (unless the function wasn't yet a lambda, but that's kind of the rarer case), but entering a case expression does: you put the case expression on the stack while the scrutinee gets evaluated |
| 02:18:42 | <Cale> | If you're thinking at a kind of low level, it becomes natural to write out the case expressions as you'd expect them to exist in Core -- they might get mangled a bit along the way, but it can still be helpful if you're trying to think operationally about how things are going to perform. |
| 02:18:53 | <Axman6> | I don;t even know how to write Haskell without using case, like, everywhere. it's so fundamental to programming in the language. our current code base seems to have nearly 8.5k case statements |
| 02:19:17 | <Cale> | Yeah, we use case everywhere as well. |
| 02:19:21 | <Axman6> | (searching using the regex "(\W|\\)case\W") |
| 02:19:41 | <c_wraith> | honestly, sometimes I use case on Bool |
| 02:19:59 | <Axman6> | yeah, I always feel weird using if |
| 02:20:42 | <Cale> | Yeah, I'm not sure I'd ever be pro-removing-if-from-Haskell, but it's a somewhat reasonable position. |
| 02:20:45 | <zzz> | behold: https://paste.jrvieira.com/1619749235361 |
| 02:21:10 | ← | jao parts (~jao@pdpc/supporter/professional/jao) () |
| 02:21:32 | <Cale> | Why 1 <- c rather than c == 1 ? |
| 02:21:50 | → | thunderrd joins (~thunderrd@183.182.115.196) |
| 02:22:00 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 02:22:18 | <zzz> | style? dunno |
| 02:22:53 | <zzz> | i find it easier to read |
| 02:23:07 | <zzz> | or found it, in that case |
| 02:23:08 | <Cale> | You could also remove a lot of the repeated mentions of c and just have a case c of |
| 02:23:09 | <Axman6> | if this were my code, I'd align the ='s toi make the pattern distinct from the result, but that's jujst me. I like vertical alignment, it makes my dyslexia less problematic |
| 02:23:52 | <Axman6> | yeah step is crying out to be a case statement |
| 02:24:09 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 02:24:11 | <zzz> | Axman6: i tend to agree but that was written in a hurry. that's the intcode mchine from AOC'19 |
| 02:24:11 | <Axman6> | with guards when there's extra checks necessary |
| 02:24:18 | <Cale> | (or case expression) |
| 02:25:02 | <zzz> | the goal of showing you this mess was to entertain you |
| 02:25:30 | <Cale> | It's not the worst, but yeah, there are other options |
| 02:25:43 | <Axman6> | I don't really have a problem with it, but do thing step in particular would be more clear with a case statement |
| 02:26:22 | × | pfurla quits (~pfurla@185.108.105.76) (Ping timeout: 260 seconds) |
| 02:26:27 | → | ddellacosta joins (~ddellacos@86.106.143.229) |
| 02:26:55 | <Cale> | It might also be fun in a case like this to make an IntMap or an Array of operations, and do a lookup to get a function to be applied to the state. |
| 02:28:18 | <Cale> | Whether that would actually be better is a good question, it depends on exactly how smart GHC is being, and I have no idea if it is (or can be) especially smart about numerical patterns. |
| 02:29:20 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 02:29:28 | <zzz> | i wander about any performance implications |
| 02:29:36 | <Cale> | (It certainly could be smart when the type of number is something special like Int or Integer, but in general, the way that things are defined via fromInteger and (==) means that you'd just have to do each of the tests in order) |
| 02:29:58 | × | theDon quits (~td@muedsl-82-207-238-033.citykom.de) (Ping timeout: 252 seconds) |
| 02:30:03 | <zzz> | Cale: oh that's bad |
| 02:30:29 | <zzz> | can it be? |
| 02:30:42 | <Axman6> | look at the compiled code |
| 02:31:03 | <zzz> | that is way beyond my level |
| 02:31:04 | × | ddellacosta quits (~ddellacos@86.106.143.229) (Ping timeout: 252 seconds) |
| 02:31:14 | <Axman6> | I'm not sure what case x :: Int of ... gets compiled into. I would hope it can be done efficiently but I'm not sure |
| 02:31:39 | → | theDon joins (~td@muedsl-82-207-238-113.citykom.de) |
| 02:31:47 | <zzz> | hmm |
| 02:31:56 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 02:34:15 | × | AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:9dbe:b42:df17:bf9c) (Quit: WeeChat 2.9) |
| 02:34:22 | → | stree joins (~stree@68.36.8.116) |
| 02:34:57 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 02:36:14 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 02:36:49 | → | kilolympus joins (~kilolympu@5.151.5.177) |
| 02:37:00 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:37:00 | finn_elija | is now known as Guest71844 |
| 02:37:00 | FinnElija | is now known as finn_elija |
| 02:38:12 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 02:40:21 | × | Guest71844 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:41:50 | <gnumonic> | is there a way to dump th splices from one module in a project only? |
| 02:42:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds) |
| 02:42:54 | <zzz> | well... the (#) at line 15 is just (flip trace) from Debug.Trace and it prints everytime the function is called which makes me suspect it's looking into every pattern sequentially but still, ghc can be smart about it |
| 02:44:26 | <zzz> | neat little trick, btw, that (| False = undefined) bit |
| 02:46:12 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 02:48:21 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::647c) |
| 02:50:44 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 02:51:35 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:51:58 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 03:01:24 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 03:02:33 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 03:02:40 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 03:06:59 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 03:15:41 | × | lordcirth quits (~lordcirth@2607:f2c0:95b3:4400:743b:c03e:fba8:e4e0) (Ping timeout: 250 seconds) |
| 03:26:04 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 03:27:32 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 03:29:40 | → | jgt joins (~jgt@88.225.221.135) |
| 03:33:52 | × | jgt quits (~jgt@88.225.221.135) (Ping timeout: 240 seconds) |
| 03:38:16 | → | ddellacosta joins (~ddellacos@86.106.143.125) |
| 03:39:16 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:42:45 | × | ddellacosta quits (~ddellacos@86.106.143.125) (Ping timeout: 265 seconds) |
| 03:43:46 | → | Tario joins (~Tario@201.192.165.173) |
| 03:44:52 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 03:46:47 | → | fivebox joins (x@unaffiliated/fivebox) |
| 03:51:42 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 03:53:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:00:19 | → | Alleria joins (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 04:00:31 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:00:43 | Alleria | is now known as Guest27993 |
| 04:01:48 | → | drbean_ joins (~drbean@TC210-63-209-210.static.apol.com.tw) |
| 04:04:12 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.47) (Ping timeout: 240 seconds) |
| 04:05:22 | × | Guest27993 quits (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 04:10:58 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:13:33 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 04:13:37 | → | snowflake_ joins (~snowflake@gateway/tor-sasl/snowflake) |
| 04:15:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 04:17:13 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 04:19:43 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 04:20:20 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 04:20:38 | → | random joins (~random@46.254.129.126) |
| 04:21:59 | <random> | hey guys |
| 04:22:06 | <random> | can anyone help out with servant-client |
| 04:22:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 04:22:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 04:23:42 | <random> | https://pastebin.com/U0WzMdfU |
| 04:24:18 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 04:26:31 | × | ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 260 seconds) |
| 04:26:49 | × | carlomagno quits (~cararell@148.87.23.6) (Quit: Leaving.) |
| 04:27:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds) |
| 04:28:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 04:28:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:33:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 04:35:25 | × | coeus quits (~coeus@p200300d027300600a7f01744b59f4d58.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 04:42:35 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 04:45:11 | × | MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 240 seconds) |
| 04:45:24 | → | ddellacosta joins (~ddellacos@86.106.143.242) |
| 04:45:45 | → | shakil0302 joins (677194cc@103.113.148.204) |
| 04:46:09 | × | random quits (~random@46.254.129.126) (Quit: Leaving) |
| 04:46:14 | <wrunt> | Have you tried changing the type of the endpoint client functions to e.g. 'firstEndpoint :: Text -> ClientM Whatever'? If it can't do that, you may need to also add the Header to each API endpoint separately. |
| 04:47:02 | → | MarcelineVQ joins (~anja@198.254.208.159) |
| 04:49:44 | × | ddellacosta quits (~ddellacos@86.106.143.242) (Ping timeout: 246 seconds) |
| 04:50:59 | → | bitmagie joins (~Thunderbi@200116b8063e2500801a363ed7493106.dip.versatel-1u1.de) |
| 04:51:25 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 04:53:28 | → | coeus joins (~coeus@p200300d02706db00f213b37d0883c9d6.dip0.t-ipconnect.de) |
| 04:53:41 | × | shakil0302 quits (677194cc@103.113.148.204) (Quit: Connection closed) |
| 04:53:47 | × | bitmagie quits (~Thunderbi@200116b8063e2500801a363ed7493106.dip.versatel-1u1.de) (Client Quit) |
| 04:55:07 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-emokxuotemcxsfjh) (Quit: Connection closed for inactivity) |
| 04:55:15 | → | stree joins (~stree@68.36.8.116) |
| 04:57:38 | × | mantovani quits (~mantovani@104.131.207.121) (Ping timeout: 240 seconds) |
| 04:57:38 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
| 04:58:09 | → | mantovani joins (~mantovani@104.131.207.121) |
| 05:06:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 05:09:55 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 05:14:28 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 05:14:30 | × | alx741 quits (~alx741@181.196.68.89) (Quit: alx741) |
| 05:17:08 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:17:33 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 05:18:00 | <Axman6> | wrunt: There's actually a package for doing that, let me see if I can find it |
| 05:18:21 | <Axman6> | https://hackage.haskell.org/package/servant-flatten-0.2/docs/Servant-API-Flatten.html |
| 05:18:49 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 05:19:19 | × | thc202 quits (~thc202@unaffiliated/thc202) (Max SendQ exceeded) |
| 05:19:55 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 05:21:37 | → | ddellacosta joins (~ddellacos@86.106.143.10) |
| 05:22:09 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 05:22:21 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds) |
| 05:23:15 | <wrunt> | nice |
| 05:24:06 | × | jcarpenter2 quits (~rofl@96.78.87.197) (Ping timeout: 252 seconds) |
| 05:24:43 | → | puke joins (~vroom@217.138.252.196) |
| 05:25:07 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 05:25:47 | × | ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 246 seconds) |
| 05:26:41 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 252 seconds) |
| 05:27:05 | → | jrqc joins (~rofl@96.78.87.197) |
| 05:29:02 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 05:30:33 | → | jgt joins (~jgt@88.225.221.135) |
| 05:31:52 | → | chele joins (~chele@5.53.222.202) |
| 05:32:21 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 05:33:51 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 05:34:56 | → | curiousgay joins (~gay@178.217.208.8) |
| 05:35:07 | × | jgt quits (~jgt@88.225.221.135) (Ping timeout: 252 seconds) |
| 05:37:03 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-melwasomkqzvlite) |
| 05:41:15 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 05:43:17 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 05:45:32 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 05:46:30 | ← | DevTurks[m] parts (turkdevops@gateway/shell/matrix.org/x-sbrizugrbjkmgmop) ("User left") |
| 05:50:32 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 05:52:22 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 05:52:59 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 05:55:41 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 05:56:10 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 05:57:13 | × | argento quits (~argent0@168.227.97.34) (Remote host closed the connection) |
| 05:57:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 05:59:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 06:03:18 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 06:04:24 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:07:00 | → | michalz joins (~user@185.246.204.125) |
| 06:13:08 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:13:49 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 06:14:12 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 06:15:28 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:15:51 | → | Alleria joins (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) |
| 06:16:15 | Alleria | is now known as Guest4222 |
| 06:18:12 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:18:20 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 06:19:16 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 06:20:34 | × | Guest4222 quits (~textual@2603-7000-3040-0000-159e-3a17-d3d5-238e.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 06:22:45 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:23:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:32:37 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 06:32:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 06:33:20 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 06:35:16 | → | zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 06:37:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 06:38:34 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 06:42:18 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 06:42:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 06:46:18 | × | brkscnce_ quits (~obaum@37.120.31.251) (Ping timeout: 240 seconds) |
| 06:48:32 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:50:46 | × | mud quits (~mud@unaffiliated/kadoban) (Ping timeout: 240 seconds) |
| 06:52:00 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 06:52:21 | → | brkscnce_ joins (~obaum@37.120.31.251) |
| 06:53:07 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 06:55:18 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 06:55:18 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 06:55:18 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 06:56:06 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 240 seconds) |
| 06:57:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 07:00:06 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 07:00:27 | → | jgt joins (~jgt@88.225.221.135) |
| 07:02:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 07:03:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 07:03:29 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 07:04:58 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 07:07:21 | → | random joins (~random@46.254.129.126) |
| 07:08:06 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection) |
| 07:08:42 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 07:13:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:16:13 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 07:16:30 | → | stree joins (~stree@68.36.8.116) |
| 07:17:48 | → | thomasjm_ joins (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) |
| 07:17:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 07:18:10 | → | thomasjm joins (~thomasjm@c-76-103-226-2.hsd1.ca.comcast.net) |
| 07:18:30 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.47) |
| 07:19:47 | → | monochrom joins (trebla@216.138.220.146) |
| 07:21:20 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 07:22:41 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 07:24:57 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 07:27:40 | → | thomasjm__ joins (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) |
| 07:28:33 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 07:30:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:33:22 | → | monochrom joins (~trebla@216.138.220.146) |
| 07:34:26 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 07:35:18 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 07:36:09 | <madjestic> | hey guys, is there a way to do "search in package" standard browser equivalent of Alt+s, using eww or lynx when browsing hackage.haskell.org? |
| 07:36:32 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 07:36:47 | <madjestic> | and by standard browser I mean chrome/chromium/ff |
| 07:37:25 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-qncwqauoexuittvy) (Quit: Connection closed for inactivity) |
| 07:43:23 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 07:46:05 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 07:46:30 | × | forell quits (~forell@unaffiliated/forell) (Ping timeout: 246 seconds) |
| 07:46:52 | → | forell joins (~forell@unaffiliated/forell) |
| 07:47:59 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 07:48:13 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 07:48:52 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 07:48:58 | × | thomasjm__ quits (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 07:49:37 | × | thomasjm_ quits (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) (Ping timeout: 276 seconds) |
| 07:51:19 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 07:53:07 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 07:53:21 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 07:53:50 | <tomsmeding> | madjestic: the data comes from https://hackage.haskell.org/package/base-4.15.0.0/docs/doc-index.json |
| 07:53:56 | <tomsmeding> | (for each respective package) |
| 07:54:22 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 07:54:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:58:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 08:01:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:02:41 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 08:02:42 | <tomsmeding> | madjestic: this function does the actual searching https://github.com/haskell/haddock/blob/ghc-9.2/haddock-api/resources/html/js-src/quick-jump.tsx#L183-L206 |
| 08:03:07 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:03:10 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 08:03:40 | <tomsmeding> | which uses https://www.npmjs.com/package/fuse.js |
| 08:03:49 | × | jgt quits (~jgt@88.225.221.135) (Ping timeout: 252 seconds) |
| 08:04:27 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 08:04:57 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:05:31 | fendor_ | is now known as fendor |
| 08:05:51 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 08:06:50 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 08:06:50 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 08:06:50 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 08:09:29 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 08:09:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:10:26 | → | malumore_ joins (~malumore@151.62.115.54) |
| 08:13:26 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 08:13:38 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:14:40 | → | jgt joins (~jgt@46.154.25.63) |
| 08:15:56 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 08:16:27 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 08:18:36 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 08:18:49 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 08:19:36 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 08:19:37 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 08:19:37 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 08:20:40 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.47) |
| 08:23:04 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 08:23:35 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 08:23:52 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 08:24:03 | → | aVikingTrex joins (~aVikingTr@120.154.33.56) |
| 08:25:26 | → | kuribas joins (~user@ptr-25vy0i96tdwzmfpbump.18120a2.ip6.access.telenet.be) |
| 08:28:25 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 08:28:30 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 08:28:39 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 08:28:40 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 08:28:40 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 08:30:43 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:3bb8:341c:5ed0:c138) (Ping timeout: 260 seconds) |
| 08:31:46 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:31:56 | → | ddellacosta joins (~ddellacos@86.106.143.138) |
| 08:32:42 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 08:33:11 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 08:33:16 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 08:34:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 08:35:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:36:46 | × | ddellacosta quits (~ddellacos@86.106.143.138) (Ping timeout: 260 seconds) |
| 08:40:05 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 08:40:17 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 08:41:01 | → | thomasjm_ joins (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) |
| 08:41:09 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 08:41:15 | → | thomasjm__ joins (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) |
| 08:41:43 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 08:42:13 | alexander | is now known as Guest34364 |
| 08:42:28 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:a1d0:cc63:6c36:9e1d) |
| 08:42:38 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 240 seconds) |
| 08:43:11 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 08:43:42 | × | drbean_ quits (~drbean@TC210-63-209-210.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 08:44:08 | × | thomasjm_ quits (~AdminUser@c-76-103-226-2.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 08:44:17 | × | thomasjm__ quits (~Srain@c-76-103-226-2.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 08:45:14 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 608 seconds) |
| 08:46:21 | → | tonlage joins (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 08:46:23 | × | fendor quits (~fendor@77.119.128.145.wireless.dyn.drei.com) (Remote host closed the connection) |
| 08:47:57 | → | fendor joins (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 08:48:55 | → | plutoniix joins (~q@node-uo8.pool-125-24.dynamic.totinternet.net) |
| 08:55:11 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:56:28 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-melwasomkqzvlite) (Quit: Connection closed for inactivity) |
| 08:56:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:57:00 | → | vilpan joins (~0@212.117.1.172) |
| 08:58:59 | → | tonlage1 joins (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 08:59:29 | × | tonlage quits (~tonlage@5.186.126.153.cgn.fibianet.dk) (Quit: WeeChat 3.1) |
| 08:59:45 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 09:01:32 | × | tonlage1 quits (~tonlage@5.186.126.153.cgn.fibianet.dk) (Client Quit) |
| 09:02:09 | → | Adam345 joins (~textual@2.133.253.255) |
| 09:03:12 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 09:03:51 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 09:06:21 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 09:09:43 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 09:10:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:11:11 | × | aVikingTrex quits (~aVikingTr@120.154.33.56) (Ping timeout: 240 seconds) |
| 09:13:42 | → | Guest72431 joins (~zmv@unaffiliated/zmv) |
| 09:14:08 | → | ulidtko|k joins (~ulidtko@194.54.80.38) |
| 09:14:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 09:14:57 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 09:16:35 | → | Nihilist joins (d4120ed2@host-212-18-14-210.customer.m-online.net) |
| 09:16:41 | × | ulidtko|kk quits (~ulidtko@31.133.98.224) (Ping timeout: 240 seconds) |
| 09:17:43 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 09:22:38 | → | mud joins (~mud@unaffiliated/kadoban) |
| 09:23:27 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:24:40 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 09:31:15 | × | forell quits (~forell@unaffiliated/forell) (Ping timeout: 252 seconds) |
| 09:33:45 | → | forell joins (~forell@unaffiliated/forell) |
| 09:36:15 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-bwiuonpskoznguoq) (Quit: Connection closed for inactivity) |
| 09:37:20 | → | stree joins (~stree@68.36.8.116) |
| 09:39:57 | → | yahb joins (~yahb@haskell/bot/yahb) |
| 09:40:16 | → | mniip joins (mniip@freenode/staff/mniip) |
| 09:40:30 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 09:41:23 | × | Nihilist quits (d4120ed2@host-212-18-14-210.customer.m-online.net) (Quit: Connection closed) |
| 09:42:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:44:15 | → | pera_ joins (~pera_@137.221.132.212) |
| 09:45:25 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 09:46:53 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 09:47:41 | × | wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 09:51:02 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 09:51:33 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 09:52:17 | ← | EdwardIII parts (~edwardiii@unaffiliated/edward123) ("WeeChat 3.1") |
| 09:53:03 | × | plutoniix quits (~q@node-uo8.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 09:54:19 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 09:55:02 | → | Adam345 joins (~textual@2.133.253.255) |
| 09:55:17 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 09:55:18 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 09:57:21 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:59:00 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 10:01:53 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 10:02:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 10:05:12 | → | ekrion joins (~ffx1@181.58.39.182) |
| 10:05:13 | <biglama> | Hi guys, I've written a small exception handler for HTTP request in wreq and wanted to know if the style could be improved upon : https://paste.tomsmeding.com/C7BxhvNf |
| 10:05:16 | <biglama> | Thanks :) |
| 10:06:37 | <[exa]> | biglama: that can be easily dosed by someone who just sends you 443 repeatedly |
| 10:06:43 | <[exa]> | otherwise looks okay to me |
| 10:07:41 | <biglama> | [exa]: yeah, I don't mind. It was a bit cumbersome to write the constructors so I was wondering if it could be shorter. |
| 10:08:34 | <[exa]> | ah the `get` actually doesn't recurse, then it's good I guess |
| 10:09:05 | <[exa]> | btw, usually you don't want to codegolf in production&reliable code :] |
| 10:09:11 | ← | thblt parts (~thblt@unaffiliated/thblt) ("ERC (IRC client for Emacs 28.0.50)") |
| 10:10:14 | <[exa]> | (you can be superapplicative with getRetry = liftA2 E.catch get handler) |
| 10:10:21 | <biglama> | [exa]: thanks ! it's not production and not reliable, don't worry :D |
| 10:10:54 | <[exa]> | (same using <$> <*>) |
| 10:12:22 | <biglama> | [exa]: okay, it's a bit blurry but I get the idea. The handler function itself is as short as it can get ? |
| 10:12:59 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 10:13:05 | <biglama> | The wreq tutorial uses something like e@{StatusCodeException s _ _), which doesn't work out of the box |
| 10:14:59 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 10:15:21 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 10:15:33 | <[exa]> | biglama: the handler needs to do a (slightly) complicated combination of pattern match and value check, there might be some way to write it very nicely using the pattern guards but I'm not really proficient at that |
| 10:15:55 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 10:16:29 | → | Adam345 joins (~textual@2.133.253.255) |
| 10:16:34 | <biglama> | [exa]: okay, thanks a lot ! I've been writing some haskell code for a few weeks but it's the first time I managed exceptions |
| 10:16:36 | <[exa]> | structure could get close to `handler | pattern is OK, error is 443 = retry; |otherwise = throw` |
| 10:17:39 | <biglama> | But I don't know how to use pattern matching with constructors though |
| 10:18:47 | <[exa]> | https://wiki.haskell.org/Pattern_guard |
| 10:20:27 | <biglama> | Oh :/ |
| 10:22:25 | × | fendor quits (~fendor@77.119.128.145.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 10:22:43 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
| 10:23:18 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 10:23:47 | <biglama> | But I can't write something like : |
| 10:23:50 | <biglama> | | b == (StatusCodeException r s ) |
| 10:24:36 | → | fendor joins (~fendor@77.119.128.145.wireless.dyn.drei.com) |
| 10:25:23 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 248 seconds) |
| 10:27:08 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 10:28:04 | → | Adam345 joins (~textual@2.133.253.255) |
| 10:29:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:29:48 | <[exa]> | I thought something like this would work: `handle url e | HttpExceptionRequest _ (StatusCodeException r _) <- e, r^.responsestatus.statusCode == 443 = retry ; |otherwise=throw e` |
| 10:30:11 | <biglama> | [exa]: what about this : https://paste.tomsmeding.com/q0FA1x4l ? |
| 10:30:47 | <[exa]> | that's the `case` statement rewritten to guards, yes |
| 10:31:07 | <[exa]> | I thought more about unifying the 2 throw cases |
| 10:31:41 | <[exa]> | btw you can alias the whole exception instead of just `b@` |
| 10:32:04 | <biglama> | Yeah but could not figure it out and it looked cleaner :p |
| 10:32:57 | <biglama> | I don't really understand your " <- e, r ^.responseStatus" syntax. Can you write a comma like that ? |
| 10:34:01 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 10:36:44 | <[exa]> | yeah that's the pattern guard |
| 10:37:08 | <biglama> | It seems to work and looks very compact. Very nice, thanks :) |
| 10:37:23 | <[exa]> | try this https://paste.tomsmeding.com/jTyTndKM |
| 10:37:34 | <[exa]> | ah it worked, okay |
| 10:39:46 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 10:39:51 | <biglama> | This syntax kind of blows my mind |
| 10:40:18 | <[exa]> | it's pretty much the same as list comprehension, except you know, for patterns |
| 10:40:45 | <[exa]> | (also likely the implementation below is different) |
| 10:41:45 | <biglama> | Does it have a name ? I would never have find that on google |
| 10:43:56 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 10:44:12 | Guest72431 | is now known as notzmv |
| 10:44:17 | <[exa]> | biglama: what precisely? |
| 10:44:39 | <[exa]> | the syntax I used is pattern guards, see the wiki :] |
| 10:46:55 | <biglama> | Indeed, dumb question :( |
| 10:47:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:47:51 | <[exa]> | biglama: ah worry not :] |
| 10:49:01 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 10:49:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:50:55 | <biglama> | One day, I'll read "haskell programming from first principles" from cover to end :D |
| 10:53:25 | <hc> | biglama: why not do it right now, but in a non-strict way? |
| 10:53:47 | <hc> | ;) |
| 10:53:59 | <random> | hey guys, can anyone help with servant-client? |
| 10:54:01 | <random> | https://pastebin.com/U0WzMdfU |
| 10:54:17 | <biglama> | hc: I've looked it up for the exception part :) |
| 10:54:41 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 10:54:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 10:55:24 | <biglama> | But I would need to read a chapter thoroughly and not jumping around |
| 10:55:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:59:06 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:59:27 | × | srk quits (~sorki@unaffiliated/srk) (Remote host closed the connection) |
| 10:59:48 | → | srk joins (~sorki@unaffiliated/srk) |
| 11:00:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 11:00:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:01:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:01:47 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 11:03:17 | → | Adam345 joins (~textual@2.133.253.255) |
| 11:03:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:05:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 11:06:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:06:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:07:58 | <kuribas> | random: shouldn't you add headers to endpoints, instead of the API? |
| 11:09:41 | <vilpan> | in case someone can easily fix a trivial doc issue on hackage: `readList` (https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#v:readList) seems to suffer from a mild case of non-determinism - "should be are expected to" :) |
| 11:09:58 | <random> | kuribas: in this case we need this header to be present for all endpoints |
| 11:10:07 | <random> | it wouldn't make sense to add it to individual endpoints anyways |
| 11:10:22 | <random> | the specific server implementation is handling it later |
| 11:11:43 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 11:11:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:12:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:13:16 | <kuribas> | hmm, I have something like monad bind, but not quite... bindLink :: MonadLike a -> ExtraInfo -> (a -> MonadLike b) -> MonadLike b |
| 11:13:57 | <kuribas> | erm wait, that will not work |
| 11:15:01 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 11:17:52 | <random> | kuribas: it's very annoying because it's standard Servant syntax but still extremely hard to do in servant-client apparently |
| 11:18:25 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 11:18:47 | <kuribas> | random: I never did that. If I have a lot of boilerplate, I put it in a type synonym. |
| 11:19:12 | <random> | kuribas: the problem in this case is that it changes the server type signature, if you prefix each endpoint with the header |
| 11:19:26 | × | pera_ quits (~pera_@137.221.132.212) (Ping timeout: 240 seconds) |
| 11:20:14 | <random> | the server is |
| 11:20:19 | <random> | server headerMay = something |
| 11:21:25 | <kuribas> | random: but you can extract headers even if not in the API, no? |
| 11:21:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 11:21:50 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 11:22:01 | <random> | kuribas: sure, that's my plan of hacking it if I don't find a solution |
| 11:22:16 | × | m1dnight__ quits (~m1dnight@188.ip-51-91-158.eu) (Quit: WeeChat 2.4) |
| 11:22:21 | <kuribas> | random: or even on Wai level |
| 11:22:48 | → | m1dnight_ joins (~m1dnight@188.ip-51-91-158.eu) |
| 11:22:55 | <random> | kuribas: it would still be nice to have the header in the type signature |
| 11:23:02 | <random> | of the client functions |
| 11:23:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:23:41 | <random> | might do something like - use lookupHeader instead of specifying it in the API definition, then instead of ClientM use a custom monad that guarantees you cannot skip the header |
| 11:28:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 11:29:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:30:17 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 11:33:17 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 11:34:05 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 11:34:27 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 11:34:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 11:34:41 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 11:34:51 | Alleria | is now known as Guest85534 |
| 11:35:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:35:10 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 11:35:48 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 11:36:44 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 11:37:04 | → | juliagoda joins (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 11:41:15 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:45:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 11:45:23 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 11:45:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 11:46:05 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 11:47:34 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 11:48:56 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 11:51:59 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 11:52:54 | → | tonlage joins (~tonlage@5.186.126.153.cgn.fibianet.dk) |
| 11:53:06 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Client Quit) |
| 11:53:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:53:09 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 11:54:57 | → | rodriga joins (~quassel@134.204.25.66) |
| 11:55:41 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 11:55:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:57:22 | × | ekrion quits (~ffx1@181.58.39.182) (Remote host closed the connection) |
| 11:57:40 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Quit: _) |
| 11:58:42 | → | stree joins (~stree@68.36.8.116) |
| 11:59:46 | × | marek quits (~mmahut@fedora/pyxel) (Ping timeout: 252 seconds) |
| 11:59:58 | → | TheScoop joins (~TheScoop@unaffiliated/tryte) |
| 12:00:01 | × | twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 250 seconds) |
| 12:00:02 | × | Uma quits (~uma@umazalakain.info) (Remote host closed the connection) |
| 12:00:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:00:31 | → | Uma joins (~uma@umazalakain.info) |
| 12:01:39 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 268 seconds) |
| 12:02:54 | → | caubert joins (~caubert@136.244.111.235) |
| 12:03:38 | × | slewis quits (~slewis@217.146.82.202) (Remote host closed the connection) |
| 12:04:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:05:14 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 12:05:17 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:05:19 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 12:05:47 | → | marek joins (~mmahut@209.250.249.245) |
| 12:06:44 | → | pera_ joins (~pera_@94.0.111.239) |
| 12:07:23 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) |
| 12:10:12 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Remote host closed the connection) |
| 12:11:05 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 12:12:32 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 12:13:08 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 12:13:31 | × | jneira quits (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Ping timeout: 252 seconds) |
| 12:15:43 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 12:16:55 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:17:43 | → | xenon- joins (~bc8134e3@217.29.117.252) |
| 12:18:17 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 12:18:34 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:18:55 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 12:19:20 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:19:47 | → | kees1 joins (~kees@217.146.82.202) |
| 12:21:12 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:21:16 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Quit: Lost terminal) |
| 12:22:31 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 12:22:43 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 12:25:06 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 12:26:12 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 12:27:03 | → | twk- joins (~thewormki@unaffiliated/twk-) |
| 12:27:49 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 12:28:38 | → | cybai joins (~cybai@2400:4050:3122:900:106d:1dc5:2d33:5eba) |
| 12:31:55 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 12:32:20 | → | thevishy joins (~Nishant@117.193.32.230) |
| 12:32:58 | → | dansho joins (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 12:39:17 | → | enthropy joins (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 12:39:26 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Read error: Connection reset by peer) |
| 12:39:49 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:40:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 12:41:47 | × | thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 260 seconds) |
| 12:43:55 | → | thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker) |
| 12:45:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:47:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:48:27 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:49:39 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 12:50:43 | × | CrazyPython quits (~crazypyth@98.122.164.118) () |
| 12:51:59 | → | plutoniix joins (~q@node-uo8.pool-125-24.dynamic.totinternet.net) |
| 12:54:01 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:54:56 | <nut> | in an Storable instance definition, i see: sizeOf _ = (#size Complex) |
| 12:55:11 | <nut> | What does (#size Complex) mean |
| 12:55:31 | <nut> | there's also (#peek Complex, re) |
| 12:55:55 | <geekosaur> | those are hsc2hs directives |
| 12:56:31 | <nut> | I see... |
| 12:56:58 | <geekosaur> | #size determines the size of a C type, and #peek copies a value from its C representation |
| 12:58:50 | <nut> | where can I find the complete doc for this? I see a bunch of other directives |
| 12:59:00 | <nut> | #const |
| 12:59:32 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Remote host closed the connection) |
| 12:59:44 | → | ddellac__ joins (~ddellacos@86.106.143.138) |
| 13:00:11 | <nut> | hsc2hs has no docs... |
| 13:00:22 | <geekosaur> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/utils.html#writing-haskell-interfaces-to-c-code-hsc2hs they're part of the ghc docs |
| 13:00:46 | <geekosaur> | (linking to latest but I don't think hsc2hs has changed much if at all) |
| 13:01:44 | <nut> | thx |
| 13:02:27 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 13:02:48 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 13:02:53 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:03:13 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 13:03:58 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:04:07 | × | ddellac__ quits (~ddellacos@86.106.143.138) (Ping timeout: 252 seconds) |
| 13:07:50 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection) |
| 13:09:13 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 13:10:13 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 13:10:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:10:56 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 13:10:59 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:11:38 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 13:15:07 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 13:15:39 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 13:16:19 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) |
| 13:16:50 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Quit: It's a quitter's world.) |
| 13:17:03 | → | carlomagno joins (~cararell@148.87.23.13) |
| 13:17:47 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:18:20 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 13:19:31 | → | ram19890 joins (~ram@49.205.84.15) |
| 13:20:19 | → | Adam345 joins (~textual@2.133.253.255) |
| 13:21:33 | → | slack1256 joins (~slack1256@181.203.70.3) |
| 13:23:13 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.47) |
| 13:23:41 | × | tonlage quits (~tonlage@5.186.126.153.cgn.fibianet.dk) (Ping timeout: 240 seconds) |
| 13:24:09 | → | slac19827 joins (~slack1256@191.113.245.191) |
| 13:25:45 | × | slac19827 quits (~slack1256@191.113.245.191) (Remote host closed the connection) |
| 13:26:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) |
| 13:26:17 | × | slack1256 quits (~slack1256@181.203.70.3) (Ping timeout: 252 seconds) |
| 13:28:55 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 13:29:08 | → | Tario joins (~Tario@201.192.165.173) |
| 13:29:27 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 13:30:27 | × | kees1 quits (~kees@217.146.82.202) (Remote host closed the connection) |
| 13:30:31 | × | plutoniix quits (~q@node-uo8.pool-125-24.dynamic.totinternet.net) (Ping timeout: 252 seconds) |
| 13:30:34 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 13:30:50 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 13:33:07 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 248 seconds) |
| 13:33:51 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 13:37:20 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 13:38:13 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 13:40:11 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Remote host closed the connection) |
| 13:40:50 | → | Tario joins (~Tario@201.192.165.173) |
| 13:43:09 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 13:43:20 | <biglama> | I'm trying do decode nested JSON but the catch is the nested JSON is encoded as a string, like this : |
| 13:43:20 | <biglama> | "{\"author\": \"{\\\"666\\\": \\\"Tolkien\\\"}\"}" |
| 13:43:40 | <biglama> | Any idea ? Here's my attempt (minimal example but not working : https://paste.tomsmeding.com/6dkT4jXG) |
| 13:43:50 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 13:43:52 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:43:57 | <biglama> | https://paste.tomsmeding.com/6dkT4jXG * |
| 13:44:16 | → | plutoniix joins (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 13:44:22 | tomsmeding | wonders how you even got nested json |
| 13:44:39 | <biglama> | It's the API fault not me :( |
| 13:44:41 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:44:43 | <tomsmeding> | also the outer json isn't valid, it's missing quotes around the "string" |
| 13:45:11 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:45:15 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 13:45:31 | <tomsmeding> | if you make that valid, then I guess you can use aeson to decode to a ByteString (or a String, I guess), and then pass that again to aeson to decode as a Book |
| 13:46:09 | <biglama> | So you can't do it a single pass ? |
| 13:47:44 | <tomsmeding> | no |
| 13:48:03 | <tomsmeding> | having double-encoded json is not the common case :p |
| 13:48:33 | <tomsmeding> | oh wait that nested json contains _more_ nested json inside |
| 13:48:42 | <tomsmeding> | holy crap who designed that API |
| 13:48:56 | <biglama> | I can't say :/ |
| 13:49:03 | <tomsmeding> | no matter :p |
| 13:49:42 | <biglama> | Let me get the json straight, I'm lost in escaping quotes |
| 13:50:10 | <tomsmeding> | what you posted here is a valid json string that, when decoded, produces something that you can parse as json again |
| 13:50:27 | <tomsmeding> | you pasted that directly in your source file, but now suddenly the outer quotes are taken to be a _haskell_ string |
| 13:50:50 | <tomsmeding> | I suggest putting the API response in a file and reading that in your test program :p |
| 13:51:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:52:14 | × | plutoniix quits (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Ping timeout: 265 seconds) |
| 13:52:39 | <biglama> | Yeah, what I posted is what the API is sending |
| 13:53:10 | <biglama> | So I need an intermediary data type (reading the string as such) and a final datatype with parsing just nested json ? |
| 13:53:41 | <tomsmeding> | where that intermediary data type is a string, yes |
| 13:53:47 | <tomsmeding> | perhaps it should be a bytestring for aeson, not sure |
| 13:54:12 | <biglama> | Bytestring, right |
| 13:54:53 | <biglama> | And you can't call decode when instancing FromJSON (so decoding in a decode ... :p) ? |
| 13:57:11 | <tomsmeding> | why not? |
| 13:57:27 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 13:57:28 | <tomsmeding> | well depends on how FromJSON works I guess |
| 13:57:43 | <geekosaur> | pretty sure it relies on being able to do just that |
| 13:57:52 | → | plutoniix joins (~q@node-upe.pool-125-24.dynamic.totinternet.net) |
| 13:58:03 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 13:58:14 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:58:16 | <geekosaur> | to e.g. decode the value part of an Object which is itself an Object |
| 13:58:31 | <tomsmeding> | perhaps you can write a general function, 'doubleDecode :: FromJSON a => ByteString -> Maybe a', which first decodes as ByteString and then uses the FromJSON instance to decode as an 'a' |
| 13:58:40 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 13:59:09 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:00:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:00:14 | × | jgt quits (~jgt@46.154.25.63) (Remote host closed the connection) |
| 14:01:10 | <tomsmeding> | doubleDecode bs = (decode bs :: Maybe ByteString) >>= decode |
| 14:01:26 | <tomsmeding> | the type annotation shouldn't even be necessary |
| 14:01:45 | → | jgt joins (~jgt@46.154.68.68) |
| 14:01:46 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:01:55 | <tomsmeding> | 'doubleDecode = decode >=> decode' using (>=>) from Control.Monad |
| 14:02:13 | tomsmeding | likes that expression |
| 14:02:58 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 14:03:11 | <biglama> | tomsmeding: I've tried to do it in the instance like this : https://paste.tomsmeding.com/6dkT4jXG |
| 14:04:08 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 14:04:50 | <biglama> | It would work even if there are other fields ? Only one of them has the nested escaped... thing |
| 14:05:02 | × | jespada quits (~jespada@87.74.37.248) (Quit: Leaving) |
| 14:05:28 | tomsmeding | is not familiar enough with aeson's parser language to answer that |
| 14:05:46 | <geekosaur> | you would only write an explicit instance for that one field and take the (Generics) default for the rest, as I understand it |
| 14:06:49 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 14:06:56 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 14:10:12 | → | alx741 joins (~alx741@181.196.68.89) |
| 14:12:35 | <biglama> | That's what I've been trying to do, but without success |
| 14:14:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:14:51 | × | malumore_ quits (~malumore@151.62.115.54) (Ping timeout: 268 seconds) |
| 14:15:37 | → | malumore_ joins (~malumore@151.62.115.54) |
| 14:16:04 | → | enthropy joins (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 14:19:28 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 14:19:33 | → | stree joins (~stree@68.36.8.116) |
| 14:19:50 | × | jgt quits (~jgt@46.154.68.68) (Quit: WeeChat 2.9) |
| 14:20:56 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 14:24:02 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-bodjmmiexpfrqdom) |
| 14:27:34 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:29:41 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 14:30:10 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-zoclupkfjvlkftdp) |
| 14:30:18 | → | pringlescan joins (uid192736@gateway/web/irccloud.com/x-lenvtbpxunzhzodb) |
| 14:31:42 | <biglama> | Thanks guys, i'll try my luck on stack overflow :) |
| 14:33:32 | × | vilpan quits (~0@212.117.1.172) (Ping timeout: 240 seconds) |
| 14:33:48 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 14:34:54 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:61fb:ae9:64fb:f0ec) (Remote host closed the connection) |
| 14:35:43 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 14:36:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 14:37:11 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:1d3:5573:40ff:23bb) |
| 14:38:09 | × | biglama quits (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 14:40:25 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 14:43:05 | → | slack1256 joins (~slack1256@191.113.245.191) |
| 14:43:46 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 14:44:39 | → | LKoen joins (~LKoen@22.249.88.92.rev.sfr.net) |
| 14:44:50 | <slack1256> | Is there a way to load the test modules on `stack`? |
| 14:44:57 | <slack1256> | I mean for the repl |
| 14:47:03 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:47:26 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:47:47 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 14:49:01 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 14:49:20 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 14:49:37 | → | vilpan joins (~0@212.117.1.172) |
| 14:49:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 14:50:28 | <slack1256> | Nevermind, `stack ide targets` is golden. |
| 14:51:11 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 14:54:01 | × | kuribas quits (~user@ptr-25vy0i96tdwzmfpbump.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 14:54:19 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 268 seconds) |
| 14:55:41 | → | _bin joins (~bin@2600:1700:10a1:38d0:318b:dcd9:cdc4:9ce1) |
| 14:56:20 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 14:57:55 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:1d3:5573:40ff:23bb) (Read error: No route to host) |
| 14:58:46 | × | dansho quits (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection) |
| 14:59:13 | → | dansho joins (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 15:01:19 | × | _bin quits (~bin@2600:1700:10a1:38d0:318b:dcd9:cdc4:9ce1) (Ping timeout: 260 seconds) |
| 15:01:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 15:02:29 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 15:03:35 | × | ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 15:05:28 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 15:06:14 | → | tomkap1 joins (~tomkap@217.146.82.202) |
| 15:08:30 | → | nonnotore joins (~Username@151.41.57.75) |
| 15:08:57 | ← | nonnotore parts (~Username@151.41.57.75) () |
| 15:09:58 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 15:10:49 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 15:11:36 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:8450:22e8:63bf:6919) |
| 15:11:41 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 15:11:51 | × | wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Read error: Connection reset by peer) |
| 15:13:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:14:08 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 15:14:49 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 15:16:17 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 15:17:11 | → | cortexauth joins (~nyx@132.154.78.173) |
| 15:20:47 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:21:38 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 15:22:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: leaving) |
| 15:22:35 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:23:15 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 15:23:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 15:25:20 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 15:26:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 15:27:21 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 15:27:26 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 246 seconds) |
| 15:30:10 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:31:05 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) |
| 15:32:13 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:32:37 | × | cortexauth quits (~nyx@132.154.78.173) (Ping timeout: 252 seconds) |
| 15:32:55 | × | plutoniix quits (~q@node-upe.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 15:35:40 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f09e:8831:6f30:999f) (Ping timeout: 276 seconds) |
| 15:36:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:37:45 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 15:38:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 15:39:26 | → | Adam345 joins (~textual@2.133.253.255) |
| 15:39:54 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 15:40:19 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-ejaxmxdimyqjymfh) |
| 15:44:05 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 15:46:41 | → | Deide joins (~Deide@217.155.19.23) |
| 15:52:05 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ad5c:b5d6:d64d:e07a) |
| 15:54:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:55:49 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Ping timeout: 276 seconds) |
| 15:59:11 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 15:59:32 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 15:59:45 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 16:00:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 16:01:20 | <thblt> | I'm hitting a ghci error I really don't understand: https://paste.thb.lt/1619798378.hs.html I don't get why instance (Foldable f, ToMyMonad m) => ToMyMonad (f m) overlaps here --- or maybe I just don't get the error. |
| 16:02:22 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 16:03:35 | <thblt> | Ignore the weird exclamation mark, it's a bug from the paste. I'm trying to fix it. |
| 16:05:12 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:05:21 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 16:06:28 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 16:07:35 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 16:08:03 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 16:08:49 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 16:09:33 | × | kritzefitz_ quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 16:10:47 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 16:12:30 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 16:12:50 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 16:13:22 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 16:14:18 | <thblt> | It's fixed. |
| 16:14:23 | <opqdonut> | thblt: they overlap because the heads of the instances `MyMonad ()` and `f m` both match `MyMonad ()` aka `Maybe ()` |
| 16:15:05 | <opqdonut> | that's the way GHC instance resolution works: it wants a unique instance to match, and _then_ it tries to satisfy the prerequisites of that instance (the stuff left of the => arrow) |
| 16:15:17 | <opqdonut> | if you want it to track down multiple matching instances you want OverlappingInstances or some other extension |
| 16:15:43 | <opqdonut> | https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/instances.html the docs for this are pretty good |
| 16:16:04 | <thblt> | opqdonut: thank you! |
| 16:17:05 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 16:17:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) |
| 16:18:12 | × | pera_ quits (~pera_@94.0.111.239) (Ping timeout: 240 seconds) |
| 16:20:58 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 16:27:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 16:29:16 | × | whatisRT- quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 16:31:03 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 16:33:17 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 16:35:28 | → | pera_ joins (~pera_@94.0.111.239) |
| 16:37:56 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 16:39:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 16:39:43 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds) |
| 16:40:00 | → | stree joins (~stree@68.36.8.116) |
| 16:40:14 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 16:40:52 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 16:40:59 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 16:41:45 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:43:06 | × | pera_ quits (~pera_@94.0.111.239) (Ping timeout: 260 seconds) |
| 16:43:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:49:35 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a1d0:cc63:6c36:9e1d) (Ping timeout: 260 seconds) |
| 16:50:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:51:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 16:51:41 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) |
| 16:57:18 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-jnwqiticvjjkxczt) |
| 16:59:26 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 16:59:31 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 17:02:14 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 17:02:38 | → | letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 17:03:19 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:06:19 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 17:09:24 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:17:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:17:46 | × | xenon- quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 17:19:48 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 17:21:31 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 17:22:46 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 17:24:09 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 17:24:12 | <hololeap> | thblt: this also might be a good resource for you: https://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/ |
| 17:25:03 | <jpe90> | Hi everyone, I have a beginner question |
| 17:25:18 | × | vilpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:25:21 | <jpe90> | I'm studying an example from the Hutton book (https://paste.tomsmeding.com/UfWOndmM) and I'm trying to get a step-by-step understanding of how the expression is being evaluated. |
| 17:25:50 | <jpe90> | The best way that I found was to load the file in ghci, place a breakpoint in main, then repeatedly enter :step, :list to see the current expression being evaluted, :force on unevaluated variables, and then substituting in the variables into the expression in the current step. |
| 17:26:13 | <jpe90> | I found that a little cumbersome to do and was wondering if there's other options for viewing intermediate values of expressions as they're being evaluated. |
| 17:26:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:27:05 | <geekosaur> | http://hackage.haskell.org/package/ghc-vis |
| 17:28:19 | × | Adam345 quits (~textual@2.133.253.255) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 17:29:26 | → | Adam345 joins (~textual@2.133.253.255) |
| 17:30:07 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:32:31 | <jpe90> | I did see that actually! I got an error message when I tried to install it with cabal earlier about being unable to resolve dependencies, I'll go back and give that another go |
| 17:33:46 | × | Adam345 quits (~textual@2.133.253.255) (Ping timeout: 240 seconds) |
| 17:34:10 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:34:35 | <hololeap> | jpe90: you may want to try building it with stack, since that keeps the dependencies "locked" to some set that works |
| 17:34:55 | <hololeap> | there is a stack.yaml in the source repo: https://github.com/def-/ghc-vis |
| 17:35:09 | <monochrom> | I think the key is "pkg-config package librsvg-2.0>=2.16.0, not found in the pkg-config database". This cannot be solved by stack. |
| 17:35:49 | <hololeap> | hm, i didn't see that |
| 17:36:21 | <monochrom> | My model of "upon the words 'error message' the brain shuts down" has one more data point. |
| 17:37:14 | <hololeap> | monochrom: where are you seeing this pkg-config error? |
| 17:37:28 | <monochrom> | "cabal install --dry-run ghc-vis" |
| 17:38:04 | <hololeap> | oh, ok, but their system might be different (they may have that library installed) |
| 17:38:36 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 17:42:44 | <thblt> | hololeap: thanks! |
| 17:46:55 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 17:48:08 | <tomsmeding> | shapr: wasn't today #haskell's birthday? |
| 17:48:32 | → | todda7 joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 17:49:52 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 17:50:26 | × | dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 17:54:56 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 17:55:29 | <monochrom> | You will need eg ubuntu's librsvg2-dev and libgtk-3-dev. |
| 17:56:22 | <monochrom> | And then svgcairo's Setup.hs wants Cabal<3.1. Use --allow-newer to overrule that. |
| 17:56:25 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 17:56:43 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:ad5c:b5d6:d64d:e07a) (Ping timeout: 276 seconds) |
| 17:57:09 | → | luite_ joins (sid387799@gateway/web/irccloud.com/x-aaiogqabznlrzlnw) |
| 17:57:20 | → | cortexauth joins (~cortexaut@2409:4053:2183:bf4d:289d:8800:8463:c0c1) |
| 17:57:50 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 17:58:56 | × | thevishy quits (~Nishant@117.193.32.230) (Quit: Leaving) |
| 18:00:51 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 18:01:26 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 18:01:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:01:48 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Remote host closed the connection) |
| 18:02:24 | × | malumore_ quits (~malumore@151.62.115.54) (Ping timeout: 268 seconds) |
| 18:02:25 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 18:04:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 18:04:28 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (*.net *.split) |
| 18:04:28 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (*.net *.split) |
| 18:04:28 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (*.net *.split) |
| 18:04:28 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (*.net *.split) |
| 18:04:28 | × | proofofkeags quits (~proofofke@205.209.28.54) (*.net *.split) |
| 18:04:28 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split) |
| 18:04:29 | × | dansho quits (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 18:04:30 | × | Uma quits (~uma@umazalakain.info) (*.net *.split) |
| 18:04:30 | × | Guest85534 quits (~textual@mskresolve-a.mskcc.org) (*.net *.split) |
| 18:04:30 | × | mniip quits (mniip@freenode/staff/mniip) (*.net *.split) |
| 18:04:30 | × | yahb quits (~yahb@haskell/bot/yahb) (*.net *.split) |
| 18:04:30 | × | shailangsa quits (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) (*.net *.split) |
| 18:04:30 | × | kritzefitz quits (~kritzefit@212.86.56.80) (*.net *.split) |
| 18:04:31 | × | random quits (~random@46.254.129.126) (*.net *.split) |
| 18:04:31 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split) |
| 18:04:31 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (*.net *.split) |
| 18:04:31 | × | xsperry quits (~as@unaffiliated/xsperry) (*.net *.split) |
| 18:04:31 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 18:04:31 | × | frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split) |
| 18:04:31 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (*.net *.split) |
| 18:04:32 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (*.net *.split) |
| 18:04:32 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (*.net *.split) |
| 18:04:32 | × | hololeap quits (hololeap@gateway/vpn/protonvpn/hololeap) (*.net *.split) |
| 18:04:33 | × | tanuki_ quits (~quassel@173.168.178.1) (*.net *.split) |
| 18:04:33 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (*.net *.split) |
| 18:04:33 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
| 18:04:34 | × | lemald quits (~eddie@capybara.lemald.org) (*.net *.split) |
| 18:04:34 | × | LambdaDuck quits (~anka@ksit.fixme.fi) (*.net *.split) |
| 18:04:35 | × | sagax quits (~sagax_nb@213.138.71.146) (*.net *.split) |
| 18:04:35 | × | Arahael quits (~arahael@123-243-38-74.tpgi.com.au) (*.net *.split) |
| 18:04:35 | × | _xor quits (~xor@74.215.46.133) (*.net *.split) |
| 18:04:36 | × | urdh quits (~urdh@unaffiliated/urdh) (*.net *.split) |
| 18:04:36 | × | sudden quits (~lax@unaffiliated/laxask) (*.net *.split) |
| 18:04:37 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (*.net *.split) |
| 18:04:37 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 18:04:37 | × | Ekho quits (~Ekho@unaffiliated/ekho) (*.net *.split) |
| 18:04:39 | × | luite quits (sid387799@gateway/web/irccloud.com/x-jstlojjciwjquony) (*.net *.split) |
| 18:04:39 | × | mcglk quits (~textual@131.191.49.120) (*.net *.split) |
| 18:04:39 | luite_ | is now known as luite |
| 18:05:49 | → | Arahael joins (~arahael@123-243-38-74.tpgi.com.au) |
| 18:06:25 | <jlv> | Is there any way to remove a repository in `cabal.project`, or otherwise disable Cabal from trying to manage dependencies? I want all dependencies managed by my Nix shell, for reproducibility and consistency between `nix-build` and Cabal builds. |
| 18:06:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 254 seconds) |
| 18:06:57 | × | Wuzzy quits (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 18:07:10 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 18:07:10 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 18:07:10 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 18:07:10 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 18:07:10 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 18:07:10 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 18:07:10 | → | dansho joins (~dansho@ec2-13-231-153-158.ap-northeast-1.compute.amazonaws.com) |
| 18:07:10 | → | Uma joins (~uma@umazalakain.info) |
| 18:07:10 | → | Guest85534 joins (~textual@mskresolve-a.mskcc.org) |
| 18:07:10 | → | mniip joins (mniip@freenode/staff/mniip) |
| 18:07:10 | → | yahb joins (~yahb@haskell/bot/yahb) |
| 18:07:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 18:07:10 | → | random joins (~random@46.254.129.126) |
| 18:07:10 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 18:07:10 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 18:07:10 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 18:07:10 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 18:07:10 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 18:07:10 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 18:07:10 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 18:07:10 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 18:07:10 | → | hololeap joins (hololeap@gateway/vpn/protonvpn/hololeap) |
| 18:07:10 | → | tanuki_ joins (~quassel@173.168.178.1) |
| 18:07:10 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 18:07:10 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 18:07:10 | → | lemald joins (~eddie@capybara.lemald.org) |
| 18:07:10 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 18:07:10 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 18:07:10 | → | _xor joins (~xor@74.215.46.133) |
| 18:07:10 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 18:07:10 | → | sudden joins (~lax@unaffiliated/laxask) |
| 18:07:10 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 18:07:10 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 18:07:15 | × | thunderrd quits (~thunderrd@183.182.115.196) (Ping timeout: 265 seconds) |
| 18:07:27 | <maerwald> | jlv: remove cabal.project |
| 18:07:37 | × | sagax quits (~sagax_nb@213.138.71.146) (Max SendQ exceeded) |
| 18:07:37 | × | tanuki_ quits (~quassel@173.168.178.1) (Max SendQ exceeded) |
| 18:07:38 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Max SendQ exceeded) |
| 18:07:55 | → | is_null joins (~jpic@pdpc/supporter/professional/is-null) |
| 18:08:10 | <sclv> | v1 build works for this |
| 18:08:42 | <sclv> | or use a patched ~/.cabal/config |
| 18:08:50 | Guest36338 | is now known as dsal |
| 18:08:54 | → | tanuki joins (~quassel@173.168.178.1) |
| 18:08:54 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 18:09:04 | <jlv> | maerwald: that would still leave the default hackage.haskell.org repository. |
| 18:09:09 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-rueswbcyoxegdjny) (Quit: Connection closed for inactivity) |
| 18:09:36 | <dsal> | Does anyone know how to get aeson to parse consecutive objects? e.g., "[1][2]" as [[1], [2]] ? I can get the first one, but then it's done. |
| 18:09:58 | <sclv> | jlv oh new active repositories stuff! |
| 18:09:58 | <sclv> | https://cabal.readthedocs.io/en/3.4/cabal-project.html?highlight=offline#cfg-field-active-repositories |
| 18:10:26 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 18:11:00 | <pavonia> | tomsmeding: ChanServ says "Registered : Apr 30 22:22:56 2001 (20y 0w 4d ago)" |
| 18:11:01 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95722c5bb32012e463b2.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 18:11:25 | <tomsmeding> | :D |
| 18:11:55 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:11:55 | <tomsmeding> | interesting day count, ChanServ thinks that a year is always 365 days? |
| 18:12:27 | → | argento joins (~argent0@168.227.97.29) |
| 18:12:30 | <jlv> | sclv: that looks like exactly what I want! My Cabal is a little old, so I'll have to update before I can test. |
| 18:12:52 | <sclv> | yeah, didn't realize that this feature was finally in, in a non hack way |
| 18:13:00 | <sclv> | looking forward to using it for $WORK myself |
| 18:14:40 | <Cale> | dsal: Wait, how do you get the first one? |
| 18:15:14 | <sclv> | i think its incremental... |
| 18:15:32 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:15:33 | <dsal> | Cale: I get the first one with `decodeWith json fromJSON "[1][2]" :: Maybe [Int]` -- but I can't seem to convince it to keep going. |
| 18:16:09 | <dsal> | e.g., `(some json)` is a type error. I'm trying to find the magic path to running the parser on some input and then like, doing it again. |
| 18:16:33 | <seven_three> | what do the `@` signs in this instance declaration mean? http://dpaste.com/D8PNLNSSD |
| 18:17:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 18:17:52 | <Cale> | seven_three: Those are type applications, typeOf @a means "use the instance of typeOf for a" |
| 18:17:56 | → | Ekho joins (~Ekho@unaffiliated/ekho) |
| 18:18:03 | <Cale> | Otherwise it would be ambiguous |
| 18:18:15 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 18:18:26 | <Cale> | dsal: Yeah, the problem is that it doesn't seem like any of aeson's stuff lets you get the remainder of the string on success |
| 18:18:42 | <Cale> | I'm a little surprised you can get a successful parse with trailing characters even |
| 18:18:45 | <dsal> | OK. That's at least consistent with what I was seeing. |
| 18:18:48 | → | jalumar joins (uid392211@gateway/web/irccloud.com/x-ofkpfpmpkgpnecis) |
| 18:18:52 | <seven_three> | Cale: Ok I see |
| 18:19:09 | <dsal> | The default implementation of decode uses `jsonEOF` so it requires the EOF. That construct at least got me to stop at the end of a valid object. |
| 18:19:18 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 18:19:30 | <dsal> | It looks like my input has one thing per line, so I guess I've got that going for me. |
| 18:19:57 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:20:19 | → | thunderrd joins (~thunderrd@183.182.110.252) |
| 18:20:58 | <Cale> | seven_three: Are you familiar with forall in types? |
| 18:22:52 | <Cale> | seven_three: You can think of "forall a." in a type as being somewhat like a function arrow, saying that in order to use this thing, the type 'a' must be provided as an argument. Usually that argument is supplied implicitly, filled in by the compiler and type inference. |
| 18:22:59 | <seven_three> | Cale: I am familiar with it being implicit but I do not understand its significance |
| 18:23:08 | <Cale> | Type applications let you do that explicitly |
| 18:23:18 | <Cale> | ah, okay |
| 18:23:26 | <shapr> | tomsmeding: yes it is! I got distracted by life things |
| 18:23:34 | <shapr> | happy birthday #haskell ! twenty years old today! |
| 18:23:54 | <tomsmeding> | 🎉 |
| 18:23:58 | <Cale> | Oh wow |
| 18:24:40 | <tomsmeding> | who brings the cake |
| 18:24:45 | <seven_three> | Cale: Oh so the issue goes back to the the `TypeOf a` class because `typeOf :: String` does not use the a |
| 18:25:41 | <Cale> | Yeah, and the full type of typeOf (as seen from outside the class specification) would end up being forall a. TypeOf a => String |
| 18:26:13 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 18:26:31 | <Cale> | and yeah, since the 'a' doesn't otherwise occur in the type there, if you didn't provide it explicitly, there'd be no way to infer what it was meant to be |
| 18:26:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 18:26:46 | <shapr> | my plan was to reboot IOHCC today, but I need at least one more judge, probably three more |
| 18:26:55 | <shapr> | Cale: want to be a judge for IOHCC entries? |
| 18:26:57 | <Cale> | So this class specification basically forces the use of type applications to be usable at all |
| 18:27:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 18:27:27 | <Cale> | That might be fun, what do I have to do? |
| 18:27:29 | <seven_three> | Cale: How does saying `typeOf @a` allow ghc to infer the type? |
| 18:27:48 | <shapr> | Cale: you have to score submissions by wtf count, and the highest count wins. |
| 18:27:52 | <Cale> | haha |
| 18:27:55 | <Cale> | sure |
| 18:28:16 | → | orion joins (~orion@c-76-19-236-20.hsd1.ct.comcast.net) |
| 18:28:16 | × | orion quits (~orion@c-76-19-236-20.hsd1.ct.comcast.net) (Changing host) |
| 18:28:16 | → | orion joins (~orion@unaffiliated/orion) |
| 18:28:16 | <shapr> | ok, now I need one more |
| 18:28:25 | <shapr> | ski: do you want to be an IOHCC judge? |
| 18:28:26 | <Cale> | seven_three: So, it's a bit confusing because we're specifying the type to be something which is yet another type variable |
| 18:28:32 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:29:06 | <Cale> | seven_three: But it's a type variable which is bound in this context -- it's the type of the first component of the pairs we're writing an instance for |
| 18:29:08 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 18:29:54 | <Cale> | seven_three: You could write something like typeOf @Char of course, which would then look up the instance for Char and use that |
| 18:30:08 | → | shailangsa joins (~shailangs@host217-35-224-169.range217-35.btcentralplus.com) |
| 18:30:14 | <Cale> | But in this case, we're going to need an instance for TypeOf a |
| 18:30:18 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:30:25 | <seven_three> | ohh now I see it! |
| 18:30:28 | <Cale> | and thankfully, the constraint in our instance head gives us one |
| 18:31:04 | <sclv> | dsal: try running the parser explicitlyish |
| 18:31:05 | <sclv> | https://hackage.haskell.org/package/attoparsec-0.13.2.5/docs/Data-Attoparsec-ByteString.html#t:Parser |
| 18:32:21 | <Cale> | sclv: ohhh, right, aeson uses attoparsec under the hood, forgot about that :) |
| 18:32:56 | <Cale> | That'll definitely let you do incremental parsing then |
| 18:32:59 | <sclv> | meant to link to this actually, for the instance of the parser https://hackage.haskell.org/package/aeson-1.5.6.0/docs/Data-Aeson-Parser.html |
| 18:33:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 18:35:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:35:41 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 18:39:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:217e:c027:1f9b:648c) (Quit: Textual IRC Client: www.textualapp.com) |
| 18:40:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 18:41:04 | × | jess quits (jess@freenode/staff/jess) () |
| 18:42:44 | × | darjeeling_ quits (~darjeelin@122.245.217.205) (Ping timeout: 246 seconds) |
| 18:43:36 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 18:44:22 | → | malumore_ joins (~malumore@151.62.115.54) |
| 18:48:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 18:51:02 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:51:34 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Quit: letmein) |
| 18:52:01 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 18:54:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 18:56:02 | → | darjeeling_ joins (~darjeelin@115.215.40.212) |
| 18:56:39 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 18:58:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 18:59:11 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:59:32 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 19:01:15 | → | stree joins (~stree@68.36.8.116) |
| 19:02:00 | → | letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) |
| 19:05:20 | → | dan64- joins (~dan64@dannyadam.com) |
| 19:06:07 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 19:08:06 | × | dan64 quits (~dan64@dannyadam.com) (Ping timeout: 240 seconds) |
| 19:10:41 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 19:12:37 | <dsal> | Ohh... That's the thing I was looking for and missing. Thanks! |
| 19:12:50 | <dsal> | I forgot it's just attoparsec |
| 19:15:31 | × | cortexauth quits (~cortexaut@2409:4053:2183:bf4d:289d:8800:8463:c0c1) (Ping timeout: 250 seconds) |
| 19:15:38 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 19:15:43 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 19:16:10 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) |
| 19:17:34 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 19:17:40 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 19:20:06 | × | joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 268 seconds) |
| 19:20:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:20:46 | × | malumore_ quits (~malumore@151.62.115.54) (Ping timeout: 260 seconds) |
| 19:21:04 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 19:22:43 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 19:23:09 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 19:23:10 | × | letmein quits (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1) (Ping timeout: 276 seconds) |
| 19:25:57 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 19:26:36 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:94a2:bb95:e8d4:22af) (Remote host closed the connection) |
| 19:27:55 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:df9:a82d:b905:b9d2) |
| 19:29:51 | × | vent quits (~vent@185.62.190.213) (Quit: ZNC - http://znc.in) |
| 19:31:08 | <biglama> | geekosaur: tomsmeding: For my nested JSON issue, I've got an answer on SO : https://stackoverflow.com/questions/67335775/reading-nested-json-data-encoded-as-a-nested-string-with-aeson/67338143#67338143 |
| 19:31:33 | <biglama> | Basically, you can call decode on the instance, I just was confused by the data type it needed |
| 19:32:12 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 19:33:37 | → | jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net) |
| 19:35:17 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 19:37:04 | <davean> | biglama: you might like http://hackage.haskell.org/package/aeson-filthy-0.1.4/docs/Data-Aeson-Filthy.html |
| 19:37:18 | <davean> | biglama: make you life a lot easier perhaps! |
| 19:37:42 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de) |
| 19:38:09 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:40:01 | → | __minoru__shirae joins (~shiraeesh@109.166.56.124) |
| 19:40:05 | × | chele quits (~chele@5.53.222.202) (Remote host closed the connection) |
| 19:40:39 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.47) (Ping timeout: 252 seconds) |
| 19:41:37 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 19:41:55 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 19:42:46 | <biglama> | davean: this looks nice but I can't install it with stack it seems :/ |
| 19:45:42 | <davean> | Oh haha, stack. No idea |
| 19:46:15 | <int-e> | davean: now that's a cute package name |
| 19:46:44 | <davean> | int-e: yah, turns out theres a LOT of bad aeson out there. |
| 19:46:52 | <davean> | er, JSON |
| 19:47:08 | <int-e> | maybe both |
| 19:47:18 | <davean> | int-e: Alec and I have gotten a lot of milage out of that package. |
| 19:48:06 | <tomsmeding> | eww |
| 19:49:11 | <biglama> | Anyway, thanks. Everyone was so helpful today, it's quite incredible :D |
| 19:52:48 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 19:53:11 | <tomsmeding> | biglama: it's #haskell's 20th birthday today, maybe it inspired people :) |
| 19:54:57 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 19:55:11 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 19:55:28 | → | zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
| 20:03:56 | → | pi2 joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 20:04:04 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:04:27 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 20:04:55 | pi2 | is now known as oo_miguel |
| 20:05:51 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 20:07:06 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 20:07:11 | × | oo_miguel quits (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 20:07:11 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 20:07:13 | → | petersen joins (~petersen@redhat/juhp) |
| 20:07:29 | → | pi2 joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 20:07:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:07:50 | × | pi2 quits (~pi@89-72-187-203.dynamic.chello.pl) (Client Quit) |
| 20:08:04 | → | oo_miguel joins (~pi@89-72-187-203.dynamic.chello.pl) |
| 20:08:17 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 20:08:51 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 20:09:15 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 20:10:46 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-datqfgpfnslndhmi) (Quit: issued !quit command) |
| 20:12:40 | <biglama> | Happy birthday then ! |
| 20:14:27 | → | letmein joins (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 20:14:31 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 20:14:58 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein) |
| 20:16:41 | × | argento quits (~argent0@168.227.97.29) (Ping timeout: 240 seconds) |
| 20:19:23 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 20:20:24 | <thblt> | If someone knows a joke about immutable cakes, the moment is right now. |
| 20:20:53 | <pjb> | You can eat your cake and have it. |
| 20:21:18 | <koala_man> | nice |
| 20:22:06 | <pjb> | The other day, I found a April's Fool joke, but I have to wait next April 1st to tell it :-/ |
| 20:22:12 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 20:24:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 20:25:51 | → | Mrbuck_ joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 20:26:28 | × | Mrbuck_ quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit) |
| 20:26:41 | → | Mrbuck_ joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 20:26:58 | <hpc> | this joke doesn't work for communist cakes because they're controlled by the state :P |
| 20:28:19 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 20:29:09 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 20:30:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 20:31:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:31:47 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:31:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:32:45 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:34:51 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 20:34:55 | → | isd joins (zenhackmat@gateway/shell/matrix.org/x-ldodnpkwkyhiluzj) |
| 20:35:05 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds) |
| 20:35:58 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 20:36:18 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 20:36:23 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 20:36:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:36:52 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 20:37:01 | × | dilinger quits (~dilinger@spindle.queued.net) (Ping timeout: 245 seconds) |
| 20:37:08 | → | dilinger joins (~dilinger@spindle.queued.net) |
| 20:37:13 | <isd> | Is there a way (through some combination of extensions) to derive the classes in Data.Functor.Classes? |
| 20:43:08 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:44:02 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 20:44:29 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 20:47:27 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:47:37 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 20:48:40 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:49:26 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 20:50:56 | Mrbuck_ | is now known as mrbuck |
| 20:52:04 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 20:52:26 | → | sdrodge_ joins (~sdrodge@unaffiliated/sdrodge) |
| 20:53:19 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 20:54:11 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 20:54:14 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:54:27 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 268 seconds) |
| 20:55:47 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 20:56:27 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 20:57:09 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 21:01:20 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 21:01:31 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 21:03:57 | <hololeap> | isd, possibly |
| 21:04:12 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 21:04:21 | <hololeap> | for instance GeneralizedNewtypeDeriving or DerivingVia |
| 21:04:24 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 21:05:29 | → | alfianguide joins (67692375@103.105.35.117) |
| 21:05:48 | <alfianguide> | Hi guys, so I've been read about pointfree |
| 21:09:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 21:09:12 | <monochrom> | pjb: Haha great about that cake. |
| 21:09:15 | <hololeap> | alfianguide: what's your point? :p |
| 21:09:23 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:09:45 | <monochrom> | haha |
| 21:10:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 21:12:22 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 21:13:28 | <hololeap> | isd: it looks like there is also a package that will give you equivalents to the functions in Data.Functor.Classes, if your data type has a Generic instance |
| 21:13:36 | <hololeap> | https://hackage.haskell.org/package/generic-data-0.1.1.0/docs/Generic-Data.html#g:15 |
| 21:13:37 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 21:13:40 | → | argento joins (~argent0@168.227.97.29) |
| 21:14:34 | <hololeap> | so you could use that to write e.g. instance Eq1 MyThing where liftEq = gLiftEq |
| 21:14:45 | × | Guest85534 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:15:25 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 21:15:29 | × | alfianguide quits (67692375@103.105.35.117) (Quit: Ping timeout (120 seconds)) |
| 21:16:07 | × | mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 21:16:30 | → | OscarZ joins (~oscarz@95.175.104.49) |
| 21:16:41 | → | alfianguide joins (67692375@103.105.35.117) |
| 21:16:41 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 21:16:48 | <alfianguide> | So |
| 21:16:52 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:3267:9995:ede7:c222) |
| 21:17:02 | <alfianguide> | I wonder how to pass multiple params to this pointfree style? |
| 21:17:21 | <alfianguide> | I found it as just one param reduction a.k.a eta-reduction |
| 21:17:31 | <tomsmeding> | @pl \x y z -> f z y x |
| 21:17:31 | <lambdabot> | flip (flip . flip f) |
| 21:17:39 | × | Guest34364 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds) |
| 21:17:59 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 21:18:15 | <alfianguide> | Tomsmeding r u replying me? |
| 21:18:20 | <tomsmeding> | kind of :p |
| 21:18:41 | <tomsmeding> | you do it by using lots of (.) and flip and join |
| 21:18:43 | <alfianguide> | But that's lambda isn't it? You have to write the params? |
| 21:18:48 | <tomsmeding> | and by making your code unreadable |
| 21:18:52 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 276 seconds) |
| 21:18:55 | <alfianguide> | Lambdabot is that how? |
| 21:18:58 | <tomsmeding> | :t flip (flip . flip f) |
| 21:19:00 | <lambdabot> | (Show a, Show b1, Show b2, FromExpr c) => b2 -> b1 -> a -> c |
| 21:19:09 | <tomsmeding> | (lambdabot is a bot) |
| 21:19:21 | <tomsmeding> | :t \f -> flip (flip . flip f) |
| 21:19:22 | <lambdabot> | (a -> b1 -> b2 -> c) -> b2 -> b1 -> a -> c |
| 21:19:24 | <alfianguide> | Omg haha |
| 21:19:25 | <tomsmeding> | better |
| 21:19:35 | <alfianguide> | So you're invoking the pointfree converter |
| 21:19:39 | <hololeap> | alfianguide: in general, that is true because of the type of (.) ; you would need something like with the type like this to use more than one param: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 21:19:44 | <tomsmeding> | see also http://pointfree.io/ |
| 21:20:38 | <alfianguide> | I'm sorry is there real example? |
| 21:21:02 | <hololeap> | @hoogle (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 21:21:03 | <lambdabot> | Util (??) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 21:21:03 | <lambdabot> | Data.Composition (.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 21:21:03 | <lambdabot> | Data.Composition (.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 21:21:20 | <alfianguide> | Oh my, nice bot. |
| 21:21:25 | <tomsmeding> | if the pointfree conversion doesn't seem evident to you, it's probably better (in the interest of readable code) to not make your code pointfree :) |
| 21:21:40 | <geekosaur> | and sometimes when it is evident to you |
| 21:21:51 | <tomsmeding> | unless, of course, this is a question born out of curiosity and having fun |
| 21:21:55 | → | stree joins (~stree@68.36.8.116) |
| 21:21:57 | <alfianguide> | Oh, so be it, I thought it's must be pointfree to be considered good haskell code |
| 21:22:02 | <geekosaur> | nope |
| 21:22:13 | <tomsmeding> | in which case, https://wiki.haskell.org/Pointfree#Combinator_discoveries |
| 21:22:26 | <tomsmeding> | alfianguide: no by all means not |
| 21:22:46 | <geekosaur> | even we like readable code, and pointfree tends to be unreadable by humans. the compiler likes it, but programs need to be readable by programmers to be maintainable |
| 21:22:51 | → | alfianguide79 joins (67692343@103.105.35.67) |
| 21:22:53 | <tomsmeding> | sometimes, not often, having less "points" (explicit) variables makes the code more readable |
| 21:23:21 | <monochrom> | I don't think the compiler likes it either. |
| 21:23:27 | <alfianguide79> | Yeah that's true, I've just do eta-reduction again then. |
| 21:23:47 | <alfianguide79> | And when need more params, I do it non-pointfree |
| 21:23:52 | <tomsmeding> | case in point (heh): ghc eta-expands sometimes in order to make typechecking succeed or to improve performance slightly |
| 21:23:57 | <hololeap> | there is a balance, ofc. sometimes pointfree is clearer because it minimizes the clutter. but if you go too far it starts adding more clutter |
| 21:24:05 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 21:24:29 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 21:24:44 | <alfianguide79> | Yeah, anyway I guess @impurepics just make a joke about pointfree, but it's good to direct me to this usage. |
| 21:24:54 | <monochrom> | My http://www.vex.net/~trebla/weblog/pointfree.html explains why some code fragments are pointfree. |
| 21:24:56 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 21:25:46 | <monochrom> | The real goal is conveying structures. There are times, but not always, when pointfree conveys structures, such as when you would use pipelining in a shell script. |
| 21:26:03 | × | alfianguide quits (67692375@103.105.35.117) (Ping timeout: 240 seconds) |
| 21:26:04 | <alfianguide79> | Oh yeah, that's yours? I've got that from reddit link, and read about it, but yeah, cannot do it in ghci tho. |
| 21:26:41 | <monochrom> | Oh, you need "import Data.List" for some of the functions. |
| 21:27:28 | <monochrom> | So I guess I'm reddit-famous now. |
| 21:27:35 | <alfianguide79> | Oh yeah, didn't read the note inside parentheses, lol, I don't pay attention in little thing. |
| 21:29:46 | <alfianguide79> | anyway, is traverse a next-level of map? |
| 21:30:18 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 21:30:31 | <monochrom> | Yes. |
| 21:30:41 | × | __minoru__shirae quits (~shiraeesh@109.166.56.124) (Ping timeout: 240 seconds) |
| 21:30:58 | <alfianguide79> | I think of it as map in a wrapped value |
| 21:31:33 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 21:32:57 | <alfianguide79> | How do we call value inside Just ? or Nothing? or IO ? I call it wrapped value haha. |
| 21:33:34 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 21:35:55 | × | biglama quits (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 21:36:47 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 21:36:58 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:37:05 | × | zebrag quits (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) (Remote host closed the connection) |
| 21:37:24 | × | seven_three quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 21:37:35 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 21:37:41 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 21:37:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:38:25 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 21:38:36 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:39:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 21:39:17 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 21:39:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:40:02 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 21:40:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:42:24 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 21:44:25 | <geekosaur> | IO doesn't wrap anything, it's an action that can produce a value |
| 21:44:27 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 21:45:06 | → | todda7 joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 21:45:36 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 21:45:39 | <int-e> | it's the burrito analogy :) |
| 21:46:54 | <cdsmith> | Any way to make GHC print the whole splice with -ddump-splices? It keeps putting ellipses and leaving bits out. |
| 21:47:23 | × | alfianguide79 quits (67692343@103.105.35.67) (Ping timeout: 240 seconds) |
| 21:48:45 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:50:03 | → | ulidtko|kk joins (~ulidtko@194.54.80.38) |
| 21:50:15 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 265 seconds) |
| 21:52:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:52:15 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 21:53:02 | <dibblego> | I've never seen it print ellipses, even with large output — is it the terminal config? |
| 21:55:40 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 22:08:25 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:09:31 | → | enthropy joins (~aavogt@135-23-166-92.cpe.pppoe.ca) |
| 22:10:49 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 22:12:52 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 22:13:12 | <cdsmith> | dibblego: I'm not sure? Here's what I'm seeing: https://gist.github.com/cdsmith/ca20492c3b290df99bc7828b701c599a Note line 18. |
| 22:14:48 | <cdsmith> | I doubt it's the terminal ellipsizing, because the ellipses happen inside Haskell syntax elements. |
| 22:15:25 | <cdsmith> | Maybe it's haskell-language-server doing it. I'll try it from a console. |
| 22:17:11 | <dibblego> | hmm I've never seen that, can you send some code? |
| 22:18:11 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:18:36 | <cdsmith> | Oh yeah, it works fine from the console. Must be haskell-language-server doing it. |
| 22:18:48 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:19:25 | <cdsmith> | I was doing the right-click Copy Message deal from VSCode, and trusting that I got the real GHC output. My mistake, I guess? |
| 22:19:48 | <dibblego> | ah ok |
| 22:20:07 | → | Alleria joins (~textual@2603-7000-3040-0000-f13f-9b4c-5fb5-809d.res6.spectrum.com) |
| 22:20:30 | Alleria | is now known as Guest41112 |
| 22:20:43 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 22:22:12 | ← | isd parts (zenhackmat@gateway/shell/matrix.org/x-ldodnpkwkyhiluzj) ("User left") |
| 22:25:06 | × | fendor quits (~fendor@77.119.128.145.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 22:29:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:32:38 | × | juliagoda quits (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 22:32:45 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:33:13 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:33:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 22:33:48 | × | michalz quits (~user@185.246.204.125) (Remote host closed the connection) |
| 22:36:01 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 22:36:18 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Remote host closed the connection) |
| 22:37:05 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 22:40:12 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:42:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 276 seconds) |
| 22:44:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 22:49:05 | → | dcoutts__ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 22:49:55 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 22:50:50 | → | ddellacosta joins (~ddellacos@86.106.143.138) |
| 22:51:08 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 22:54:21 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) |
| 22:54:21 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 22:54:29 | → | vchlup_ joins (~vchlup@115.128.broadband17.iol.cz) |
| 22:54:52 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:55:12 | × | ddellacosta quits (~ddellacos@86.106.143.138) (Ping timeout: 240 seconds) |
| 23:01:37 | → | Qwerky joins (~qwerky@37.173.116.194) |
| 23:03:27 | → | zebrag joins (~inkbottle@alagny-155-1-30-153.w83-200.abo.wanadoo.fr) |
| 23:04:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:06:22 | → | Constrixor joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 23:07:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:09:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:12:48 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 23:13:09 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 23:13:11 | vgtw_ | is now known as vgtw |
| 23:15:42 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 23:18:18 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 23:24:18 | × | enthropy quits (~aavogt@135-23-166-92.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 23:29:34 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 23:29:49 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 23:40:41 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 23:41:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:42:31 | → | stree joins (~stree@68.36.8.116) |
| 23:43:05 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 23:43:14 | × | vchlup_ quits (~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer) |
| 23:46:21 | → | Guest_4 joins (98213d2f@eu61-47.elon.edu) |
| 23:46:30 | × | Guest_4 quits (98213d2f@eu61-47.elon.edu) (Client Quit) |
| 23:48:12 | × | jalumar quits (uid392211@gateway/web/irccloud.com/x-ofkpfpmpkgpnecis) (Quit: Connection closed for inactivity) |
| 23:51:40 | × | vchlup__ quits (~vchlup@115.128.broadband17.iol.cz) (Remote host closed the connection) |
| 23:52:33 | → | vchlup__ joins (~vchlup@115.128.broadband17.iol.cz) |
| 23:56:32 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 23:58:17 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-ejaxmxdimyqjymfh) (Quit: Connection closed for inactivity) |
| 23:59:31 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
All times are in UTC on 2021-04-30.