| 2023-09-13 00:04:37 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 00:10:29 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-13 00:13:03 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-13 00:15:33 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-13 00:15:48 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
| 2023-09-13 00:19:17 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 255 seconds) |
| 2023-09-13 00:19:38 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 00:21:23 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 00:24:51 +0200 | cptaffe | (~ZNC@user/cptaffe) (Ping timeout: 255 seconds) |
| 2023-09-13 00:25:48 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-13 00:25:56 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2023-09-13 00:26:12 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 255 seconds) |
| 2023-09-13 00:26:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-13 00:26:49 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-09-13 00:29:43 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-13 00:29:51 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Server closed connection) |
| 2023-09-13 00:30:03 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2023-09-13 00:31:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-09-13 00:38:15 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-13 00:39:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-09-13 00:40:08 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 245 seconds) |
| 2023-09-13 00:49:41 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-13 00:55:42 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 00:55:52 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 00:58:42 +0200 | <wroathe> | Hey dumb question, but I commonly see a pattern where there's a typeclass like class Foo, and then a default method that refers to a constraint with a GFoo version of the typeclass for generics. What's the purpose of this pattern if my goal is to define a typeclass that has a default instance for all types that derive Generic? |
| 2023-09-13 00:59:09 +0200 | <wroathe> | What would the harm be in just making my Foo class the generic typeclass |
| 2023-09-13 01:00:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 2023-09-13 01:02:20 +0200 | <wroathe> | Actually, scratch that. I think the difference there is the kind of type for the typeclass. The reason we want the outer typeclass is to apply the Rep type family |
| 2023-09-13 01:03:06 +0200 | <jackdk> | wroathe: the GFoo pattern is an older idiom before -XDerivingVia existed. If you define `instance (Generic a, Foo (Rep a)) => Foo a` you'll tie yourself in knots because that will match every type, including the ones made up of the generic data types. |
| 2023-09-13 01:03:08 +0200 | <jackdk> | The more modern way is to use the `Generically` newtype, which lets you hang the generic instance off of something else, preserve the default declaration for non-generic stuff if you want it, and make Generic derivation explicit. |
| 2023-09-13 01:04:00 +0200 | <jackdk> | https://hackage.haskell.org/package/generically is the compat package, but its haddocks still show `instance (Generic a, Monoid (Rep a ()) => Monoid (Generically a)` so that can give you the flavour. |
| 2023-09-13 01:05:19 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2023-09-13 01:06:16 +0200 | <wroathe> | jackdk: Thanks much |
| 2023-09-13 01:06:20 +0200 | <wroathe> | I'll have a look |
| 2023-09-13 01:06:52 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 01:07:26 +0200 | <jackdk> | wroathe: For completeness, the deriving clause on the types which use it looks like `deriving (Semigroup, Monoid) via (Generically Foo)` |
| 2023-09-13 01:08:52 +0200 | <wroathe> | Looks neat. I need to get up to speed on DerivingVia |
| 2023-09-13 01:11:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 01:12:03 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-09-13 01:12:45 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-09-13 01:13:13 +0200 | mmhat | (~mmh@p200300f1c7178aebee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-09-13 01:13:35 +0200 | mmhat | (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-13 01:14:11 +0200 | ubert | (~Thunderbi@178.115.39.254.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2023-09-13 01:16:53 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-13 01:17:09 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 2023-09-13 01:21:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-09-13 01:22:59 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-09-13 01:23:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 01:25:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 01:26:18 +0200 | mmhat | (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4) |
| 2023-09-13 01:28:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-13 01:30:15 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 01:31:18 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 01:34:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-09-13 01:36:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 2023-09-13 01:41:55 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 2023-09-13 01:42:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-13 01:42:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-13 01:42:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-13 01:55:25 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-13 01:56:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-09-13 01:56:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-09-13 01:57:19 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2023-09-13 01:57:26 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-09-13 01:57:33 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
| 2023-09-13 01:58:17 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 255 seconds) |
| 2023-09-13 01:59:08 +0200 | notzmv- | (~zmv@user/notzmv) |
| 2023-09-13 01:59:40 +0200 | notzmv- | notzmv |
| 2023-09-13 02:02:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-09-13 02:02:23 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-09-13 02:03:18 +0200 | califax | (~califax@user/califx) |
| 2023-09-13 02:06:19 +0200 | AlexZenon | (~alzenon@178.34.160.172) (Ping timeout: 255 seconds) |
| 2023-09-13 02:06:35 +0200 | AlexNoo_ | (~AlexNoo@178.34.160.172) |
| 2023-09-13 02:06:36 +0200 | Alex_test | (~al_test@178.34.160.172) (Ping timeout: 248 seconds) |
| 2023-09-13 02:06:57 +0200 | ft | (~ft@p508dbaa9.dip0.t-ipconnect.de) |
| 2023-09-13 02:07:03 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-09-13 02:07:42 +0200 | AlexNoo | (~AlexNoo@178.34.160.172) (Ping timeout: 246 seconds) |
| 2023-09-13 02:07:54 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 02:13:12 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 02:13:24 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-13 02:14:03 +0200 | Alex_test | (~al_test@178.34.160.172) |
| 2023-09-13 02:14:24 +0200 | brankow | (~brankow@95.180.100.181) (Ping timeout: 255 seconds) |
| 2023-09-13 02:15:43 +0200 | ol_greg | (~quassel@cpe-74-132-76-119.kya.res.rr.com) |
| 2023-09-13 02:21:19 +0200 | AlexZenon | (~alzenon@178.34.160.172) |
| 2023-09-13 02:23:39 +0200 | <lyxia> | there is a limitation that DerivingVia doesn't work with classes like Traversable |
| 2023-09-13 02:25:22 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 2023-09-13 02:25:56 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 02:30:24 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 255 seconds) |
| 2023-09-13 02:31:15 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 02:39:28 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-09-13 02:43:06 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 02:47:34 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-13 02:47:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-13 02:48:34 +0200 | sgarcia_ | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2023-09-13 02:48:37 +0200 | troydm1 | (~troydm@host-176-37-53-238.b025.la.net.ua) (Server closed connection) |
| 2023-09-13 02:49:01 +0200 | troydm | (~troydm@user/troydm) |
| 2023-09-13 02:49:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-13 02:51:33 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 02:51:58 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2023-09-13 02:52:14 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-09-13 02:55:00 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 02:58:37 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-13 02:59:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-09-13 02:59:41 +0200 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |
| 2023-09-13 02:59:51 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 03:00:02 +0200 | InvictedPromethe | (~InvictedP@c-73-181-33-70.hsd1.co.comcast.net) |
| 2023-09-13 03:00:04 +0200 | glguy | (g@libera/staff/glguy) |
| 2023-09-13 03:03:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 03:04:04 +0200 | <Axman6> | deriving via is so lovely, whoever came up with that did an amazing job. A friend developed this after I mused about the idea: https://github.com/AJChapman/aeson-generic-shorthand |
| 2023-09-13 03:05:02 +0200 | <Axman6> | (heh, oh I forgot I was even credited on the repo - I'm sure jackdk deserves som credit too) |
| 2023-09-13 03:06:03 +0200 | <jackdk> | Axman6: not for that one, I don't think |
| 2023-09-13 03:07:11 +0200 | <Axman6> | I just assume it's always the case, I'm an ideas guy more than an execution guy =) |
| 2023-09-13 03:08:05 +0200 | <Axman6> | you're much better at that side than me (speaking of which, we should finish that linear streaming thing, or whatever it was) |
| 2023-09-13 03:08:42 +0200 | <EvanR> | Haskell 66%, Nix 33% |
| 2023-09-13 03:09:04 +0200 | <Axman6> | everything perfectly in balance, as it should be |
| 2023-09-13 03:09:13 +0200 | <Axman6> | (don't tell jackdk I said that) |
| 2023-09-13 03:09:25 +0200 | <EvanR> | C 1%, Makefile 99% |
| 2023-09-13 03:10:31 +0200 | <jackdk> | Axman6: that was getting the `linear-base` streaming library to feature parity with regular `streaming`/`streaming-bytestring`. I was thinking about that last night when I was fixing up `streaming-conduit` because once again I tried to do something simple with conduits, and once again it was impossible. |
| 2023-09-13 03:11:20 +0200 | <Axman6> | there are different infinities of impossibility between pipes and conduit though |
| 2023-09-13 03:11:31 +0200 | <Axman6> | pipes is like infinity^2 impossible |
| 2023-09-13 03:11:54 +0200 | InvictedPromethe | (~InvictedP@c-73-181-33-70.hsd1.co.comcast.net) (Quit: Client closed) |
| 2023-09-13 03:12:08 +0200 | <jackdk> | I really wanted to like pipes, but I never managed a nontrivial program with it =|. |
| 2023-09-13 03:12:17 +0200 | <Axman6> | indeed |
| 2023-09-13 03:12:49 +0200 | <Axman6> | the fact I couldn't even use it to compute the hash of some data made it pretty much useless to me |
| 2023-09-13 03:13:06 +0200 | <EvanR> | so what's the deal with pipes |
| 2023-09-13 03:13:12 +0200 | bilegeek | (~bilegeek@2600:1008:b04c:557d:8dcd:5527:21fb:7c89) |
| 2023-09-13 03:13:16 +0200 | <EvanR> | you two can't figure it out, that's bad |
| 2023-09-13 03:13:56 +0200 | <Axman6> | Yeah we're pretty much rockstars and can't figure out how to make it do anything XD |
| 2023-09-13 03:15:44 +0200 | <jackdk> | "you two" lol. I don't know, because apparently some people are wildly productive with it. `streaming` fits in my small brain, and it's made up of a very simple core type. I think several people took runs at a tricky problem, and streaming was able to cut it the right way for my small brain |
| 2023-09-13 03:17:07 +0200 | codedmart_ | (codedmart@2600:3c01::f03c:92ff:fefe:8511) (Server closed connection) |
| 2023-09-13 03:17:25 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2023-09-13 03:17:27 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 03:17:37 +0200 | <Axman6> | jackdk's small brain https://i.kym-cdn.com/entries/icons/original/000/025/603/talosiannn.jpg |
| 2023-09-13 03:18:20 +0200 | danza__ | (~francesco@151.35.229.58) |
| 2023-09-13 03:18:35 +0200 | <geekosaur> | enh. some people think I'm a rockstar because of xmonad. lol |
| 2023-09-13 03:19:22 +0200 | <EvanR> | xmonad is funny because everone I knew that has no haskell clue knows xmonad |
| 2023-09-13 03:19:39 +0200 | <EvanR> | and I know zero about xmonad |
| 2023-09-13 03:19:43 +0200 | <geekosaur> | we do our best 🙂 |
| 2023-09-13 03:20:05 +0200 | <EvanR> | is there a wayland monad |
| 2023-09-13 03:20:28 +0200 | <geekosaur> | not yet |
| 2023-09-13 03:20:45 +0200 | <geekosaur> | someone was supposed to be working on one this summer but I don't think they ever got to it |
| 2023-09-13 03:20:54 +0200 | danza_ | (~francesco@151.37.245.236) (Ping timeout: 245 seconds) |
| 2023-09-13 03:21:12 +0200 | <EvanR> | was hoping for something like "that doesn't even make sense" |
| 2023-09-13 03:21:42 +0200 | <geekosaur> | I strongly suspect we'll have to pay someone from our sponsor money to write it, and I'm not sure it's even worth it because wayland is missing some things you need to make meaningful ManageHooks, among other things |
| 2023-09-13 03:21:50 +0200 | <EvanR> | wayland comonad |
| 2023-09-13 03:22:06 +0200 | <geekosaur> | layouts, yes; managing windows, the windows have to say wtf they are and wayland windows don't |
| 2023-09-13 03:22:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-13 03:23:32 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 03:24:11 +0200 | <Inst> | is HTTP conduit broken for anyone else on 9.4.7 / 9.6.2? I think it's not using the latest bytestring or something |
| 2023-09-13 03:24:15 +0200 | InvictedPromethe | (~ehonsey@c-73-181-33-70.hsd1.co.comcast.net) |
| 2023-09-13 03:25:29 +0200 | InvictedPromethe | (~ehonsey@c-73-181-33-70.hsd1.co.comcast.net) (Client Quit) |
| 2023-09-13 03:26:20 +0200 | <jackdk> | do you have a bug report or a reproducing example? |
| 2023-09-13 03:27:24 +0200 | <Axman6> | geekosaur: you're the xmonad rockstar??? will you autograph my lambda please? |
| 2023-09-13 03:28:12 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
| 2023-09-13 03:28:43 +0200 | <Axman6> | it was dons that originally wrote it right? or am I thinking of someone else |
| 2023-09-13 03:30:16 +0200 | <Inst> | HTTP conduit is on ByteString 11.x, ugh |
| 2023-09-13 03:30:45 +0200 | <Inst> | did snoyman really run off? :( |
| 2023-09-13 03:31:22 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2023-09-13 03:36:49 +0200 | <jackdk> | https://www.snoyman.com/blog/babies-oss-maintenance/ his wife had twins, so I'm sure he's busy. |
| 2023-09-13 03:36:52 +0200 | <Inst> | yup, looks like the issue is with attoparsec-aeson, which has a bytestring 11 dependency |
| 2023-09-13 03:37:14 +0200 | <Axman6> | have you tried a sneaky --allow-newer? |
| 2023-09-13 03:37:26 +0200 | <Inst> | I mean as long as Snoyman still cares about Haskell ecosystem, I'm fine with that; and I'm happy for him and his new kids. |
| 2023-09-13 03:37:41 +0200 | <Inst> | I suck with cabal, why am I trying to become a cabal contributor? :( |
| 2023-09-13 03:38:01 +0200 | <geekosaur> | --allow-newer=attoparsec-aeson:bytestring |
| 2023-09-13 03:38:26 +0200 | <jackdk> | Because we all lift together, and that's why we have an ecosystem. |
| 2023-09-13 03:38:31 +0200 | Axman6 | gives geekosaur a gold star |
| 2023-09-13 03:38:57 +0200 | <Axman6> | jackdk: are you one of the blessed people who can fix hackage bounds? |
| 2023-09-13 03:39:00 +0200 | <Inst> | thanks for suggestions |
| 2023-09-13 03:39:15 +0200 | <jackdk> | Axman6: yes |
| 2023-09-13 03:39:57 +0200 | <Inst> | by the way ,thanks for putting up with me thus far |
| 2023-09-13 03:40:34 +0200 | <Axman6> | it's been tough, but I appreciate that you have improved how you interact with the channel a lot sinice your early days =) |
| 2023-09-13 03:41:25 +0200 | <Axman6> | I probably said some pretty unkind things, so sorry for that. data Apology (a :: Un) |
| 2023-09-13 03:41:33 +0200 | mysl_ | (~mysl@user/mysl) |
| 2023-09-13 03:42:31 +0200 | <Inst> | I try... (sorry, busy trying to figure out how to set up the cabal.project file, let me figure it out) |
| 2023-09-13 03:43:18 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 2023-09-13 03:44:00 +0200 | <Inst> | I only hope I'd be worth the investment others have made in me. :) |
| 2023-09-13 03:45:38 +0200 | <jackdk> | Initial signs look good =) |
| 2023-09-13 03:46:13 +0200 | otto_s | (~user@p5de2f28b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2023-09-13 03:46:52 +0200 | <geekosaur> | suggestion here, use targeted allow-newers like what I showed instead of just --allow-newer=bytestring, that way once you have it working you can read off the libraries you need to contact about bounds updates |
| 2023-09-13 03:47:17 +0200 | <geekosaur> | I did that when testing xmonad and my xmonad config against 9.8 alpha |
| 2023-09-13 03:47:36 +0200 | <Axman6> | I didn't even know that was a thing until today (hence the gold star) |
| 2023-09-13 03:48:09 +0200 | otto_s | (~user@p4ff27130.dip0.t-ipconnect.de) |
| 2023-09-13 03:48:17 +0200 | n0den1te | (~n0den1te@223.178.81.181) (Quit: leaving) |
| 2023-09-13 03:49:47 +0200 | <Inst> | i went to cabal file: allow-newer:http-conduit:bytestring |
| 2023-09-13 03:49:57 +0200 | <Inst> | erm, cabal project file |
| 2023-09-13 03:50:33 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-13 03:50:51 +0200 | <geekosaur> | that should work at the top level iirc |
| 2023-09-13 03:51:41 +0200 | <geekosaur> | https://cabal.readthedocs.io/en/3.8/cabal-project.html#cfg-field-allow-newer |
| 2023-09-13 03:53:20 +0200 | pyooque | (~puke@user/puke) |
| 2023-09-13 03:53:20 +0200 | puke | Guest9579 |
| 2023-09-13 03:53:20 +0200 | Guest9579 | (~puke@user/puke) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-09-13 03:53:20 +0200 | pyooque | puke |
| 2023-09-13 03:55:43 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2023-09-13 03:55:52 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-09-13 04:03:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-13 04:04:18 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds) |
| 2023-09-13 04:14:11 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-13 04:15:18 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-09-13 04:15:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 04:17:59 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-09-13 04:18:27 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 04:22:00 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6189:4408:b965:9b16) (Ping timeout: 255 seconds) |
| 2023-09-13 04:25:50 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2023-09-13 04:27:32 +0200 | <Inst> | is it possible to inline imported functions from libraries? |
| 2023-09-13 04:27:35 +0200 | <Inst> | probably not, but... |
| 2023-09-13 04:28:27 +0200 | <geekosaur> | if it's marked as INLINE or INLINABLE in the library, or it's small enough that ghc with optimization does so itself |
| 2023-09-13 04:28:47 +0200 | <geekosaur> | you can dump the .hi file to see if it's present, if it is then it'll be inlined |
| 2023-09-13 04:29:29 +0200 | <geekosaur> | ghc --show-iface path/to/Module.hi |
| 2023-09-13 04:29:53 +0200 | shapr | (~user@c-67-160-55-153.hsd1.wa.comcast.net) |
| 2023-09-13 04:30:25 +0200 | <geekosaur> | look in cabal's store for the package, unless you vendored it |
| 2023-09-13 04:30:56 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-09-13 04:31:40 +0200 | habib | (~habib@91.196.222.95) (Read error: Connection reset by peer) |
| 2023-09-13 04:32:07 +0200 | chomwitt | (~chomwitt@ppp-94-67-130-18.home.otenet.gr) (Ping timeout: 258 seconds) |
| 2023-09-13 04:33:06 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-13 04:33:30 +0200 | <EvanR> | haskell is all about separate compilation, then it goes and does cross module inlining anyway |
| 2023-09-13 04:33:36 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-13 04:36:46 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-09-13 04:37:48 +0200 | <monochrom> | The MLton people told you so. Way back in the 2000s they already wrote their compiler as a whole-program optimizer. |
| 2023-09-13 04:38:26 +0200 | <monochrom> | Unfortunately, way back then, basically only your school's beefy server would have enough RAM for that. :) |
| 2023-09-13 04:39:10 +0200 | <monochrom> | "This runs best with 256MB RAM" when everyone's Windows PC was at like merely 8MB or 16MB tops. |
| 2023-09-13 04:39:59 +0200 | <monochrom> | This is why today for GHC you just s/MB/GB/ >:) |
| 2023-09-13 04:41:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 04:42:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 04:43:54 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 04:46:35 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 255 seconds) |
| 2023-09-13 04:48:30 +0200 | td_ | (~td@i5387093F.versanet.de) |
| 2023-09-13 04:52:04 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-118.home.otenet.gr) |
| 2023-09-13 04:55:06 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-09-13 04:55:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-09-13 04:55:06 +0200 | finn_elija | FinnElija |
| 2023-09-13 04:57:00 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-118.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2023-09-13 04:57:33 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-09-13 04:59:55 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-09-13 05:00:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-09-13 05:01:12 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-13 05:02:19 +0200 | <shapr> | :t seq |
| 2023-09-13 05:02:20 +0200 | <lambdabot> | a -> b -> b |
| 2023-09-13 05:06:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 05:09:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-09-13 05:10:08 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Ping timeout: 245 seconds) |
| 2023-09-13 05:10:14 +0200 | aforemny_ | (~aforemny@i59F516E5.versanet.de) |
| 2023-09-13 05:10:55 +0200 | aforemny | (~aforemny@i59F516DD.versanet.de) (Ping timeout: 252 seconds) |
| 2023-09-13 05:13:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-09-13 05:13:44 +0200 | iteratee | (~kyle@162.218.222.207) (Quit: leaving) |
| 2023-09-13 05:17:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-13 05:18:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 05:26:31 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-09-13 05:26:57 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-13 05:33:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 05:40:24 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-09-13 05:44:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 05:50:47 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-13 05:52:38 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-09-13 05:58:11 +0200 | glguy | (g@libera/staff/glguy) (Quit: Quit) |
| 2023-09-13 05:58:26 +0200 | glguy | (g@libera/staff/glguy) |
| 2023-09-13 05:59:13 +0200 | g | (g@libera/staff/glguy) (Remote host closed the connection) |
| 2023-09-13 05:59:17 +0200 | g | (g@libera/staff/glguy) |
| 2023-09-13 06:05:56 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-13 06:17:45 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 06:18:46 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 260 seconds) |
| 2023-09-13 06:24:27 +0200 | shapr | (~user@c-67-160-55-153.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 06:34:07 +0200 | michalz | (~michalz@185.246.207.222) |
| 2023-09-13 06:34:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 06:38:13 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-09-13 06:41:10 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69d5e7ded915fbe1d3.dip0.t-ipconnect.de) |
| 2023-09-13 06:49:45 +0200 | <institor> | @hoogle traversal |
| 2023-09-13 06:49:45 +0200 | <lambdabot> | Test.Tasty.Runners newtype Traversal f |
| 2023-09-13 06:49:45 +0200 | <lambdabot> | Test.Tasty.Runners Traversal :: f () -> Traversal f |
| 2023-09-13 06:49:46 +0200 | <lambdabot> | Control.Lens.Combinators type Traversal s t a b = forall f . Applicative f => (a -> f b) -> s -> f t |
| 2023-09-13 06:49:52 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (Server closed connection) |
| 2023-09-13 06:50:05 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-09-13 06:50:16 +0200 | <institor> | @t traversal |
| 2023-09-13 06:50:16 +0200 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 2023-09-13 06:50:20 +0200 | <institor> | @type traversal |
| 2023-09-13 06:50:21 +0200 | <lambdabot> | error: |
| 2023-09-13 06:50:21 +0200 | <lambdabot> | • Variable not in scope: traversal |
| 2023-09-13 06:50:21 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2023-09-13 06:53:38 +0200 | <probie> | :t traversal |
| 2023-09-13 06:53:39 +0200 | <lambdabot> | error: |
| 2023-09-13 06:53:39 +0200 | <lambdabot> | • Variable not in scope: traversal |
| 2023-09-13 06:53:39 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2023-09-13 06:59:04 +0200 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) (Server closed connection) |
| 2023-09-13 06:59:17 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2023-09-13 07:07:59 +0200 | <mauke> | :t traverse |
| 2023-09-13 07:08:00 +0200 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2023-09-13 07:08:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-13 07:16:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 07:17:52 +0200 | danza__ | (~francesco@151.35.229.58) (Read error: Connection reset by peer) |
| 2023-09-13 07:18:49 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Server closed connection) |
| 2023-09-13 07:18:49 +0200 | danza__ | (~francesco@151.35.233.135) |
| 2023-09-13 07:19:10 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2023-09-13 07:20:33 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 07:23:13 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 07:30:37 +0200 | mysl_ | (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 2023-09-13 07:35:41 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-09-13 07:37:37 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Server closed connection) |
| 2023-09-13 07:37:54 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-09-13 07:40:10 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-13 07:41:31 +0200 | shapr | (~user@c-67-160-55-153.hsd1.wa.comcast.net) |
| 2023-09-13 07:44:14 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 2023-09-13 07:45:32 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2023-09-13 07:45:52 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 07:47:39 +0200 | vglfr | (~vglfr@88.155.176.214) |
| 2023-09-13 07:51:54 +0200 | bilegeek_ | (~bilegeek@199.sub-174-209-42.myvzw.com) |
| 2023-09-13 07:54:23 +0200 | bilegeek | (~bilegeek@2600:1008:b04c:557d:8dcd:5527:21fb:7c89) (Ping timeout: 246 seconds) |
| 2023-09-13 07:56:18 +0200 | vglfr | (~vglfr@88.155.176.214) (Ping timeout: 252 seconds) |
| 2023-09-13 07:59:03 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 2023-09-13 07:59:55 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 08:05:24 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-13 08:08:54 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 08:13:00 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) (Server closed connection) |
| 2023-09-13 08:15:53 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-13 08:16:22 +0200 | bilegeek_ | (~bilegeek@199.sub-174-209-42.myvzw.com) (Quit: Leaving) |
| 2023-09-13 08:16:22 +0200 | ggranberry_ | (sid267884@id-267884.uxbridge.irccloud.com) |
| 2023-09-13 08:16:23 +0200 | Logio | (em@kapsi.fi) (Ping timeout: 255 seconds) |
| 2023-09-13 08:16:23 +0200 | Logio | (em@kapsi.fi) |
| 2023-09-13 08:16:23 +0200 | ggranberry_ | ggranberry |
| 2023-09-13 08:21:13 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-13 08:22:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 08:27:49 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-09-13 08:27:49 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-09-13 08:27:50 +0200 | jinsun_ | jinsun |
| 2023-09-13 08:31:28 +0200 | mmhat | (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-09-13 08:31:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 08:32:12 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-09-13 08:34:40 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 08:34:51 +0200 | mmhat | (~mmh@p200300f1c7178a38ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-09-13 08:39:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5fd8:9576:e28b:4a12) |
| 2023-09-13 08:40:31 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2023-09-13 08:42:05 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-09-13 08:44:47 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
| 2023-09-13 08:50:36 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 240 seconds) |
| 2023-09-13 08:53:23 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 08:57:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-13 08:58:26 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-13 08:59:29 +0200 | shapr | (~user@c-67-160-55-153.hsd1.wa.comcast.net) (Ping timeout: 255 seconds) |
| 2023-09-13 08:59:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 09:00:07 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 09:02:43 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-09-13 09:02:44 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-09-13 09:04:53 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-13 09:09:33 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-13 09:09:48 +0200 | mysl | (~mysl@user/mysl) (Ping timeout: 246 seconds) |
| 2023-09-13 09:09:48 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-09-13 09:12:44 +0200 | aforemny_ | aforemny |
| 2023-09-13 09:14:10 +0200 | chomwitt | (~chomwitt@ppp-94-67-217-135.home.otenet.gr) |
| 2023-09-13 09:17:02 +0200 | mysl | (~mysl@user/mysl) |
| 2023-09-13 09:17:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-13 09:29:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 09:31:07 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-13 09:33:26 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-09-13 09:34:03 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 09:34:19 +0200 | <Inst> | I started using -Wall |
| 2023-09-13 09:35:02 +0200 | <Inst> | so I'm getting all these warning signs about "you should have used inlinable" except that I don't control the module |
| 2023-09-13 09:39:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 09:40:25 +0200 | ubert | (~Thunderbi@178.115.39.254.wireless.dyn.drei.com) |
| 2023-09-13 09:41:00 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-09-13 09:43:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-09-13 09:45:16 +0200 | dolio | (~dolio@130.44.134.54) (Ping timeout: 248 seconds) |
| 2023-09-13 09:46:47 +0200 | nullie | (~nullie@amsterdam.nullie.name) (Server closed connection) |
| 2023-09-13 09:47:52 +0200 | nullie | (~nullie@amsterdam.nullie.name) |
| 2023-09-13 09:48:19 +0200 | chele | (~chele@user/chele) |
| 2023-09-13 09:49:19 +0200 | <Inst> | why are we doing this? |
| 2023-09-13 09:49:40 +0200 | <Inst> | https://hackage.haskell.org/package/http-conduit |
| 2023-09-13 09:49:53 +0200 | <Inst> | simpleHttp is in the Network.HTTP.Conduit package |
| 2023-09-13 09:50:02 +0200 | <Inst> | erm, module, not the Network.HTTP.Simple package |
| 2023-09-13 09:57:49 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-09-13 09:58:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-13 10:00:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 10:03:50 +0200 | ursa-major | (~ursa-majo@static-198-44-128-154.cust.tzulo.com) (Ping timeout: 255 seconds) |
| 2023-09-13 10:04:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-13 10:05:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-13 10:08:32 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-13 10:09:06 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-09-13 10:10:40 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) (Remote host closed the connection) |
| 2023-09-13 10:11:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 10:18:16 +0200 | CiaoSen | (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) |
| 2023-09-13 10:19:58 +0200 | dcoutts | (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk) |
| 2023-09-13 10:26:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-09-13 10:27:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-09-13 10:28:05 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 250 seconds) |
| 2023-09-13 10:30:33 +0200 | Guest|44 | (~Guest|44@203.189.114.89.rev.vodafone.pt) |
| 2023-09-13 10:31:58 +0200 | <Guest|44> | Hello, I'm trying to install haskell but i receive the following error and I tried somethings but nothing is working |
| 2023-09-13 10:33:51 +0200 | jackneill__ | (~Jackneill@20014C4E1E101A00AF91863A99D1ECF2.dsl.pool.telekom.hu) |
| 2023-09-13 10:35:07 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-09-13 10:36:37 +0200 | danza__ | (~francesco@151.35.233.135) (Ping timeout: 255 seconds) |
| 2023-09-13 10:37:37 +0200 | ubert | (~Thunderbi@178.115.39.254.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2023-09-13 10:37:58 +0200 | ubert | (~Thunderbi@77.119.164.71.wireless.dyn.drei.com) |
| 2023-09-13 10:38:19 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-09-13 10:42:59 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-13 10:45:25 +0200 | danse-nr3_ | (~francesco@151.57.237.177) |
| 2023-09-13 10:47:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 10:48:56 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-09-13 10:49:48 +0200 | Guest|44 | (~Guest|44@203.189.114.89.rev.vodafone.pt) (Quit: Connection closed) |
| 2023-09-13 10:50:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 10:52:26 +0200 | drdo | (~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 2023-09-13 10:53:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-13 10:53:40 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 10:55:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-09-13 10:56:19 +0200 | <lisbeths> | whats wrong with iota = \ x. ( ( x \ x . \ y . \ z . ( ( x z ) ( y z ) ) ) ( \ x . \ y . x ) ) ? |
| 2023-09-13 10:56:29 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-09-13 10:58:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 10:58:47 +0200 | <lisbeths> | its λx.(xλxyz.xz(yz))λx.λy.x |
| 2023-09-13 11:00:04 +0200 | Guest|79 | (~Guest|79@147.161.172.87) |
| 2023-09-13 11:01:28 +0200 | Guest|79 | (~Guest|79@147.161.172.87) (Client Quit) |
| 2023-09-13 11:02:55 +0200 | <probie> | lisbeths: Is this meant to be a single point basis? |
| 2023-09-13 11:03:14 +0200 | <lisbeths> | yes |
| 2023-09-13 11:03:33 +0200 | renegade | (~renegade@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 2023-09-13 11:08:46 +0200 | <probie> | Is there something wrong with it? I'm fairly sure you can create λxy.x with it (`iota (iota (iota iota))`), and then applying it to that gives you λxyz.xz(yz) and you can translate all lambda terms into those two |
| 2023-09-13 11:09:12 +0200 | seriously | (~seriously@144-178-80-2.static.ef-service.nl) |
| 2023-09-13 11:09:14 +0200 | <lisbeths> | maybe there isnt |
| 2023-09-13 11:10:26 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-09-13 11:12:07 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-09-13 11:12:49 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2023-09-13 11:13:09 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-09-13 11:13:42 +0200 | seriously | (~seriously@144-178-80-2.static.ef-service.nl) (Client Quit) |
| 2023-09-13 11:14:57 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 11:17:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 11:17:27 +0200 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-09-13 11:21:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 11:21:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 11:21:56 +0200 | drdo | (~drdo@bl8-38-186.dsl.telepac.pt) |
| 2023-09-13 11:22:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 11:22:38 +0200 | yosef` | (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds) |
| 2023-09-13 11:25:47 +0200 | actioninja | (~actioninj@user/actioninja) |
| 2023-09-13 11:27:06 +0200 | Square2 | (~Square4@user/square) |
| 2023-09-13 11:27:36 +0200 | renegade | (~renegade@bcdcac82.skybroadband.com) |
| 2023-09-13 11:28:45 +0200 | <Inst> | for thought-terminating cliches: |
| 2023-09-13 11:29:09 +0200 | <Inst> | Python might be: "There is only one way to do it", Perl might be "There are many ways to do it", but Haskell is "There is a better way to do it" |
| 2023-09-13 11:29:34 +0200 | <Inst> | i.e, a better, not best, meaning that there's always a better abstraction out there, and it's sort of a struggle to find and reach the better abstraction and achieve higher code quality |
| 2023-09-13 11:32:36 +0200 | <[Leary]> | lisbeths: The issue---to the extent that there is one---is in the precise definition of "combinator" and the distinction between an abstract combinator calculus and its denotation in the lambda calculus. |
| 2023-09-13 11:33:06 +0200 | <cheater> | no haskell is "there is a more complicated way to do it" |
| 2023-09-13 11:36:12 +0200 | <[Leary]> | lisbeths: "A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments." Hence: Ix := x; Kxy := x; Sxyz := xz(yz) defines a series of combinators. This is distinct from the denotation: mu[I] = \x. x; mu[K] = \x.\y. x; mu[S] = \x.\y.\z. xz(yz). |
| 2023-09-13 11:36:42 +0200 | <[Leary]> | Hence, though you have a denotation for iota, you haven't defined a combinator. |
| 2023-09-13 11:38:52 +0200 | sclv | (sid39734@haskell/developer/sclv) (Server closed connection) |
| 2023-09-13 11:39:02 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2023-09-13 11:41:30 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-09-13 11:43:10 +0200 | ft | (~ft@p508dbaa9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-09-13 11:48:31 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (Server closed connection) |
| 2023-09-13 11:48:41 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2023-09-13 11:52:11 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 12:02:43 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-09-13 12:05:14 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-09-13 12:11:30 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2023-09-13 12:20:29 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2023-09-13 12:22:13 +0200 | CiaoSen | (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-09-13 12:22:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-09-13 12:22:47 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-09-13 12:25:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-09-13 12:26:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 12:26:41 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 258 seconds) |
| 2023-09-13 12:43:47 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 12:47:19 +0200 | glguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2023-09-13 12:47:24 +0200 | glguy_ | (g@libera/staff/glguy) |
| 2023-09-13 12:48:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 255 seconds) |
| 2023-09-13 12:48:06 +0200 | g | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2023-09-13 12:48:09 +0200 | g_ | (glguy@libera/staff/glguy) |
| 2023-09-13 12:48:09 +0200 | g_ | g |
| 2023-09-13 12:48:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2023-09-13 12:49:15 +0200 | Square3 | (~Square4@user/square) |
| 2023-09-13 12:49:17 +0200 | <Inst> | how fatal is it to performance if, say, for a program that might end up going through tens of thousands of entries, I base it on a sumtype for the entries? |
| 2023-09-13 12:51:02 +0200 | <Inst> | i.e, the idea is that there's a central dispatcher function that reads a data structure then routes the data potentially to another, separate function? |
| 2023-09-13 12:51:24 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2023-09-13 12:57:14 +0200 | <lortabac> | Inst: IIRC someone here did something similar, they generated Haskell files with huge data types |
| 2023-09-13 12:57:58 +0200 | <lortabac> | dminuoso: was it you? |
| 2023-09-13 12:59:14 +0200 | <Inst> | whoa, can't figure out what the limit is for sum types; in theory, it should be infinite but there's probably practical compiler limits |
| 2023-09-13 13:01:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 13:06:01 +0200 | Unhammer | (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 2023-09-13 13:07:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9311:4ac5:5e3e:3a1c) |
| 2023-09-13 13:09:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-13 13:11:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 13:11:43 +0200 | <albet70> | what's the difference between ST Monad and IO Monad? |
| 2023-09-13 13:13:18 +0200 | <hpc> | IO does IO |
| 2023-09-13 13:13:22 +0200 | <hpc> | they're otherwise identical |
| 2023-09-13 13:14:04 +0200 | <hpc> | (internally, where ST has its whole 'forall s' thing, IO has a value of type RealWorld# instead) |
| 2023-09-13 13:17:20 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 255 seconds) |
| 2023-09-13 13:18:28 +0200 | <Inst> | does anyone know what's going on with basement? It's stopping my Haddocks from compiling |
| 2023-09-13 13:18:28 +0200 | <[exa]> | just wondering, is it actually correct to say that IO is a specialization of ST? |
| 2023-09-13 13:18:40 +0200 | <[exa]> | Inst: which basement |
| 2023-09-13 13:21:12 +0200 | <albet70> | what's the big difference between ST and State? :) |
| 2023-09-13 13:21:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 13:21:36 +0200 | <[exa]> | Inst: re your performance question: the indirections shouldn't technically matter too much IF they can be cached by the branch predictor of the CPU. The usual exercise that we did with C++ is that you process 1 million random-type elements in array via "abstract interface" (forcing the dispatch), and then you sort them by type and do the "same thing" except it goes like 10x faster because of the branch |
| 2023-09-13 13:21:42 +0200 | <[exa]> | predictor has much better success rate |
| 2023-09-13 13:22:11 +0200 | <albet70> | actually I was confused about ST, I thought that ST is StateT, and it's not |
| 2023-09-13 13:22:35 +0200 | <albet70> | but they both have S s a type |
| 2023-09-13 13:22:56 +0200 | <[Leary]> | [exa]: Newtype wrappers aside, yes. We could unify them and have `type IO = ST RealWorld`, `type IORef = STRef RealWorld`. Oh wow, now that I look, we actually have: `newtype IORef a = IORef (STRef RealWorld a)`. |
| 2023-09-13 13:25:20 +0200 | <[exa]> | ok wow. :D |
| 2023-09-13 13:25:31 +0200 | mmaruseacph2 | (~mihai@mihai.page) (Server closed connection) |
| 2023-09-13 13:25:46 +0200 | mmaruseacph2 | (~mihai@mihai.page) |
| 2023-09-13 13:27:35 +0200 | <Inst> | [exa] basement-0.0.16, the Vincent Hanquez library |
| 2023-09-13 13:27:50 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 13:28:30 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-09-13 13:28:33 +0200 | <[exa]> | Inst: ah. pastebin the error? |
| 2023-09-13 13:35:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-13 13:37:45 +0200 | <Inst> | Error: cabal: Failed to build documentation for basement-0.0.16 (which is |
| 2023-09-13 13:37:45 +0200 | <Inst> | required by kisevalter-0). |
| 2023-09-13 13:38:08 +0200 | <dminuoso> | albet70: ST allows you to something along the lines of `run :: ST ... a -> a` in a safe manner, where IO does not. |
| 2023-09-13 13:38:20 +0200 | <dminuoso> | And that really is what ST is all about. |
| 2023-09-13 13:38:23 +0200 | <dminuoso> | Its being able to do that. |
| 2023-09-13 13:38:45 +0200 | <dminuoso> | iow you cant do IO in pure code (safely), but you can do ST in pure code. |
| 2023-09-13 13:40:13 +0200 | <Inst> | You should be able to do IO in pure code safely, no? But it's up to the user to prove that it's safe. |
| 2023-09-13 13:40:24 +0200 | <dminuoso> | As a concrete example, if you want to do an efficient quicksort, it has to be inplace using memory operations. We can do memory operations using `IO`, but a sort using that would then have `sort :: Ord a => [a] -> IO [a]`, which would be terribly inconvenient. |
| 2023-09-13 13:41:12 +0200 | <dminuoso> | With ST you can sort of delimit the memory operations and embed it into pure code, such that the "effectful memory operations" are hidden and not observable outside. |
| 2023-09-13 13:41:22 +0200 | <dminuoso> | And make it `sort :: Ord a => [a] -> [a]` |
| 2023-09-13 13:41:41 +0200 | <dminuoso> | Well, maybe name the identifier `quicksort` in all those examples, since i dont want imply that thats what sort is doing. |
| 2023-09-13 13:42:31 +0200 | <albet70> | GADTs give me a very OOP feel |
| 2023-09-13 13:42:35 +0200 | Guest82 | (~Guest82@81.14.166.252) |
| 2023-09-13 13:42:57 +0200 | <dminuoso> | Inst: By safely I mean that there is no proof obligation. |
| 2023-09-13 13:43:09 +0200 | <dminuoso> | If you are obligied to prove that it doesnt cause damage, its not safe. |
| 2023-09-13 13:43:30 +0200 | <dminuoso> | s/obligied/obligated/ |
| 2023-09-13 13:43:45 +0200 | <dminuoso> | Sort of how C is not a safe language, despite being able to write code that doesnt misbehave. |
| 2023-09-13 13:44:47 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-13 13:46:28 +0200 | <dminuoso> | `unsafePerformIO` is really treacherous in so many ways. I once had a case where it caused all references in a `[IORef a]` to alias to the same variable in a highly non-local fashion (because GHC transformed and floated bindings around the entire module). |
| 2023-09-13 13:47:19 +0200 | <dminuoso> | Inst: In fact, quite literally that function *says* that its unsafe. :P |
| 2023-09-13 13:49:39 +0200 | <exarkun> | Surely that's a warning for someone else though, not for me |
| 2023-09-13 13:49:53 +0200 | <dminuoso> | That's what I thought too. :) |
| 2023-09-13 13:50:20 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-09-13 13:50:23 +0200 | <dminuoso> | Some of its consequences are not easily visible. |
| 2023-09-13 13:51:03 +0200 | Lycurgus | bets there have been suggestions to remove it |
| 2023-09-13 13:52:18 +0200 | Guest82 | (~Guest82@81.14.166.252) (Quit: Client closed) |
| 2023-09-13 13:53:28 +0200 | <Inst> | unsafePerformIO being unsafe is precisely why it's fun :) |
| 2023-09-13 13:54:21 +0200 | <Lycurgus> | do it another lang, link or other interface |
| 2023-09-13 13:54:28 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Server closed connection) |
| 2023-09-13 13:54:42 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2023-09-13 13:55:54 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-09-13 13:58:08 +0200 | CiaoSen | (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) |
| 2023-09-13 13:58:40 +0200 | <Lycurgus> | *in |
| 2023-09-13 13:59:20 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5fd8:9576:e28b:4a12) (Remote host closed the connection) |
| 2023-09-13 13:59:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4d6b:d2ef:1b5a:a314) |
| 2023-09-13 14:01:17 +0200 | eugenrh_ | (~eugenrh@2a01:4f9:c011:265::1) (Quit: WeeChat 3.7.1) |
| 2023-09-13 14:01:27 +0200 | ripspin | (~chatzilla@1.145.244.47) |
| 2023-09-13 14:01:37 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 14:04:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 14:05:31 +0200 | danse-nr3_ | (~francesco@151.57.237.177) (Ping timeout: 252 seconds) |
| 2023-09-13 14:09:18 +0200 | danse-nr3_ | (~francesco@151.57.237.177) |
| 2023-09-13 14:12:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 14:13:16 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Server closed connection) |
| 2023-09-13 14:13:44 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2023-09-13 14:17:35 +0200 | glguy_ | glguy |
| 2023-09-13 14:20:12 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-09-13 14:25:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-13 14:27:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 14:28:37 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 14:31:09 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 14:31:59 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 14:32:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 14:33:07 +0200 | phma | (~phma@host-67-44-208-181.hnremote.net) (Read error: Connection reset by peer) |
| 2023-09-13 14:33:58 +0200 | phma | (~phma@2001:5b0:211c:6ca8:c0b7:f8d:a88d:dfb6) |
| 2023-09-13 14:34:20 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-09-13 14:34:56 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 14:36:21 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
| 2023-09-13 14:38:21 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 14:40:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Remote host closed the connection) |
| 2023-09-13 14:41:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 14:45:27 +0200 | danse-nr3_ | (~francesco@151.57.237.177) (Read error: Connection reset by peer) |
| 2023-09-13 14:45:51 +0200 | danse-nr3_ | (~francesco@151.57.253.5) |
| 2023-09-13 14:48:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-09-13 14:48:05 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-09-13 14:48:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-09-13 14:57:17 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 15:02:58 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 15:05:04 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-09-13 15:07:22 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 15:12:05 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-13 15:14:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-13 15:15:52 +0200 | <ph88> | does anyone know a "maybeFilter" function like? (a -> Boolean) -> Maybe a -> Maybe a |
| 2023-09-13 15:16:35 +0200 | <ph88> | nvm i couldn't find it because i mispelled Boolean :/ |
| 2023-09-13 15:17:05 +0200 | <ph88> | why is it in this module though? https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Data-TrieMap.html#v:filterMaybe |
| 2023-09-13 15:19:19 +0200 | AlexNoo_ | AlexNoo |
| 2023-09-13 15:20:02 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-13 15:20:12 +0200 | <ncf> | :t mfilter -- ph88 |
| 2023-09-13 15:20:13 +0200 | <lambdabot> | MonadPlus m => (a -> Bool) -> m a -> m a |
| 2023-09-13 15:20:38 +0200 | <ph88> | nice, thanks ncf |
| 2023-09-13 15:20:58 +0200 | <ph88> | what does MonadPlus mean ? |
| 2023-09-13 15:21:15 +0200 | <dminuoso> | Nobody really knows. |
| 2023-09-13 15:21:21 +0200 | <ncf> | it's Alternative for monads |
| 2023-09-13 15:21:32 +0200 | <dminuoso> | There's a list of very vague things that nobody can agrees on what MonadPlus is for. |
| 2023-09-13 15:21:44 +0200 | <ncf> | https://en.wikibooks.org/wiki/Haskell/Alternative_and_MonadPlus#MonadPlus |
| 2023-09-13 15:26:32 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-09-13 15:26:43 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 15:28:02 +0200 | caubert | (~caubert@user/caubert) |
| 2023-09-13 15:29:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-09-13 15:32:34 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-09-13 15:35:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-09-13 15:37:25 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-09-13 15:38:26 +0200 | <danse-nr3_> | :t filter . fmap |
| 2023-09-13 15:38:27 +0200 | <lambdabot> | error: |
| 2023-09-13 15:38:27 +0200 | <lambdabot> | • Couldn't match type ‘f b’ with ‘Bool’ |
| 2023-09-13 15:38:27 +0200 | <lambdabot> | Expected type: (a -> b) -> f a -> Bool |
| 2023-09-13 15:38:30 +0200 | img | (~img@user/img) |
| 2023-09-13 15:40:15 +0200 | <[Leary]> | > find even <$> [Nothing, Just 0, Just 1] |
| 2023-09-13 15:40:17 +0200 | <lambdabot> | [Nothing,Just 0,Nothing] |
| 2023-09-13 15:42:09 +0200 | ystael | (~ystael@user/ystael) |
| 2023-09-13 15:47:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 15:51:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 15:56:15 +0200 | jocke-l | (jocke-l@a.x0.is) (Server closed connection) |
| 2023-09-13 15:56:37 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 15:56:40 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2023-09-13 16:00:12 +0200 | ubert1 | (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) |
| 2023-09-13 16:01:30 +0200 | ubert | (~Thunderbi@77.119.164.71.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2023-09-13 16:01:31 +0200 | ubert1 | ubert |
| 2023-09-13 16:01:34 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2023-09-13 16:01:35 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-09-13 16:02:41 +0200 | <lisbeths> | how can I use the y combinator to take more and more arguments until the next argument is equal to zero |
| 2023-09-13 16:03:07 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-13 16:03:23 +0200 | <lisbeths> | I have implemented factorial with the y combinator but I am unsure of how to take an argument from the outside |
| 2023-09-13 16:03:28 +0200 | <ncf> | https://en.wikipedia.org/wiki/XY_problem |
| 2023-09-13 16:03:44 +0200 | ncf | . o O ( in this case, "how can i use Y to do X" ) |
| 2023-09-13 16:04:01 +0200 | <lisbeths> | How do you propose that I recurse without Y |
| 2023-09-13 16:04:44 +0200 | <ncf> | > let go 0 = 0; go n = 1 + go (n - 1) in go 3 |
| 2023-09-13 16:04:45 +0200 | <lambdabot> | 3 |
| 2023-09-13 16:05:03 +0200 | <lisbeths> | I can't do that I'm using pure lambda calculus. |
| 2023-09-13 16:06:36 +0200 | <lisbeths> | I want to recursively take a church encoded integer and if that integer is zero I want to return zero and if it is not zero I want to recurse |
| 2023-09-13 16:06:54 +0200 | <lisbeths> | But I do not know how to take an argument with the y combinator |
| 2023-09-13 16:09:08 +0200 | <int-e> | > fix (\go n -> if n == 0 then 0 else 1 + go (n - 1)) 3 |
| 2023-09-13 16:09:09 +0200 | <lambdabot> | 3 |
| 2023-09-13 16:09:19 +0200 | <ncf> | so you want something like Y F 0 = 0, Y F 5 0 = 1; Y F 5 6 0 = 2, ... ? |
| 2023-09-13 16:09:24 +0200 | <dolio> | Usually having a Church encoded integer lets you do exactly that. |
| 2023-09-13 16:11:58 +0200 | <ncf> | Y (λ f n. n (λ _. suc ∘ f) (const 0)) |
| 2023-09-13 16:12:21 +0200 | <ncf> | not well-typed, of course |
| 2023-09-13 16:13:22 +0200 | <ncf> | wait, does that work |
| 2023-09-13 16:14:45 +0200 | <ncf> | maybe 0 instead of const 0 |
| 2023-09-13 16:15:40 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-09-13 16:21:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 246 seconds) |
| 2023-09-13 16:22:21 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-09-13 16:22:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 246 seconds) |
| 2023-09-13 16:22:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 246 seconds) |
| 2023-09-13 16:22:42 +0200 | <lisbeths> | this-func (succ false) (succ false) (succ false) zero => zero |
| 2023-09-13 16:23:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 2023-09-13 16:23:03 +0200 | califax | (~califax@user/califx) (Ping timeout: 246 seconds) |
| 2023-09-13 16:24:27 +0200 | <lisbeths> | I need to recursively take arguments, make a decision based on what the argument is, and if the argument decision returns true I need to return a value |
| 2023-09-13 16:24:39 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-13 16:25:03 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 252 seconds) |
| 2023-09-13 16:27:00 +0200 | <[Leary]> | lisbeths: ncf pretty much gave it to you already, plus or minus a const and a suc. |
| 2023-09-13 16:29:09 +0200 | <lisbeths> | y \ recurse x y . recurse => will this just keep taking two argumentse infinitely? |
| 2023-09-13 16:29:35 +0200 | <[Leary]> | Should do. |
| 2023-09-13 16:30:35 +0200 | <ncf> | i think unlambda calls this the v(oid) combinator |
| 2023-09-13 16:31:03 +0200 | <ncf> | http://www.madore.org/~david/programs/unlambda/#void |
| 2023-09-13 16:31:35 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) (Server closed connection) |
| 2023-09-13 16:31:44 +0200 | systemfault | (sid267009@about/typescript/member/systemfault) |
| 2023-09-13 16:33:01 +0200 | <int-e> | ncf: You can use an extra argument and aim for Y F acc 0 = acc, Y F acc n = Y F (acc + 1). |
| 2023-09-13 16:33:38 +0200 | <ncf> | if `fix const` type-checked, you'd have fix const x = const (fix const) x = fix const |
| 2023-09-13 16:34:07 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-09-13 16:34:55 +0200 | <int-e> | (The extra argument will work better than any attempt of function composition when faced with a variable number of arguments. I don't know how this is relevant to Haskell. :P) |
| 2023-09-13 16:35:10 +0200 | <lisbeths> | thank you my program works now |
| 2023-09-13 16:35:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-09-13 16:35:46 +0200 | <[Leary]> | % :t fix \until p x -> if p x then Produce x else Take \y -> until p y |
| 2023-09-13 16:35:46 +0200 | <yahb2> | fix \until p x -> if p x then Produce x else Take \y -> until p y ; :: (t -> Bool) -> t -> ManyToOne t t |
| 2023-09-13 16:35:53 +0200 | <[Leary]> | The Haskell version. :) |
| 2023-09-13 16:36:12 +0200 | califax | (~califax@user/califx) |
| 2023-09-13 16:36:24 +0200 | drdo | (~drdo@bl8-38-186.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 2023-09-13 16:36:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-09-13 16:36:55 +0200 | <[Leary]> | Though the second arg is superfluous. |
| 2023-09-13 16:37:44 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 2023-09-13 16:38:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-09-13 16:38:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-09-13 16:38:05 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-13 16:38:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 16:40:13 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-09-13 16:40:59 +0200 | drdo | (~drdo@bl8-38-186.dsl.telepac.pt) |
| 2023-09-13 16:45:38 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2023-09-13 16:47:36 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-09-13 16:47:40 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2023-09-13 16:47:49 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-09-13 16:50:50 +0200 | ubert1 | (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) |
| 2023-09-13 16:50:53 +0200 | dragestil | (~znc@user/dragestil) (Server closed connection) |
| 2023-09-13 16:51:13 +0200 | dragestil | (~znc@user/dragestil) |
| 2023-09-13 16:51:24 +0200 | ubert | (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2023-09-13 16:51:24 +0200 | ubert1 | ubert |
| 2023-09-13 16:53:16 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) |
| 2023-09-13 16:54:14 +0200 | Square2 | (~Square4@user/square) |
| 2023-09-13 16:55:49 +0200 | ripspin | (~chatzilla@1.145.244.47) (Remote host closed the connection) |
| 2023-09-13 16:56:34 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2023-09-13 17:05:29 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-09-13 17:09:27 +0200 | Simikando | (~Simikando@bband-dyn237.95-103-149.t-com.sk) (Ping timeout: 255 seconds) |
| 2023-09-13 17:10:09 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Quit: Lost terminal) |
| 2023-09-13 17:10:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-09-13 17:10:29 +0200 | CiaoSen | (~Jura@2a05:5800:296:9900:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-09-13 17:10:42 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-09-13 17:12:29 +0200 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-09-13 17:12:54 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-09-13 17:12:58 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 17:15:07 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 17:17:09 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-09-13 17:19:07 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-13 17:21:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 246 seconds) |
| 2023-09-13 17:22:08 +0200 | <ph88> | does someone know a library function to check if there are cyclic dependencies ? |
| 2023-09-13 17:23:27 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-09-13 17:26:32 +0200 | <danse-nr3_> | you mean cycles among functions ph88? |
| 2023-09-13 17:27:00 +0200 | <danse-nr3_> | cycles among modules would not compile |
| 2023-09-13 17:27:28 +0200 | <ph88> | danse-nr3_, no just of some kind of polymorphic structure for example forall a. Vector (a, Vector a) -> Bool where first a is a thing, and the second part of the tuple it's dependencies |
| 2023-09-13 17:28:58 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-09-13 17:30:30 +0200 | <danse-nr3_> | sounds a bit as a confusing question to me. I do not see it as a dependency but as a relation. It could be the second part of the tuple to determine what has to come before, once that function is specialised |
| 2023-09-13 17:30:40 +0200 | michalz | (~michalz@185.246.207.222) (Ping timeout: 252 seconds) |
| 2023-09-13 17:31:49 +0200 | <mauke> | there's probably a standard algorithm for checking for cycles in a directed graph |
| 2023-09-13 17:32:23 +0200 | <ph88> | mauke, nice keywords you gave me, i will search for it |
| 2023-09-13 17:32:49 +0200 | <danse-nr3_> | yeah but what is the direction here? a1 = a2 |
| 2023-09-13 17:34:37 +0200 | <ph88> | danse-nr3_, the direction is relation = (a, Vector a) fst relation points to each of snd relation |
| 2023-09-13 17:35:36 +0200 | <ph88> | i just found this https://stackoverflow.com/q/8935323/1833322 the poster has a similar structure based on lists |
| 2023-09-13 17:35:51 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Quit: leaving) |
| 2023-09-13 17:35:55 +0200 | davl | (~davl@207.154.228.18) (Server closed connection) |
| 2023-09-13 17:35:58 +0200 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) (Server closed connection) |
| 2023-09-13 17:36:12 +0200 | res0nat0r0844909 | (~Fletch@falcon.whatbox.ca) |
| 2023-09-13 17:36:23 +0200 | davl | (~davl@207.154.228.18) |
| 2023-09-13 17:37:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:4d6b:d2ef:1b5a:a314) (Quit: WeeChat 2.8) |
| 2023-09-13 17:37:50 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-09-13 17:39:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Ping timeout: 255 seconds) |
| 2023-09-13 17:42:09 +0200 | phma | (~phma@2001:5b0:211c:6ca8:c0b7:f8d:a88d:dfb6) (Read error: Connection reset by peer) |
| 2023-09-13 17:42:40 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-13 17:42:50 +0200 | phma | (~phma@host-67-44-208-141.hnremote.net) |
| 2023-09-13 17:42:51 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) (Server closed connection) |
| 2023-09-13 17:42:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-09-13 17:43:00 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) |
| 2023-09-13 17:46:28 +0200 | ripspin | (~chatzilla@1.145.231.239) |
| 2023-09-13 17:47:17 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-09-13 17:48:34 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 258 seconds) |
| 2023-09-13 17:54:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 18:08:45 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 18:08:51 +0200 | ripspin | (~chatzilla@1.145.231.239) (Remote host closed the connection) |
| 2023-09-13 18:15:32 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-09-13 18:18:12 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Ping timeout: 240 seconds) |
| 2023-09-13 18:21:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-09-13 18:21:40 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-09-13 18:23:18 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2023-09-13 18:25:25 +0200 | ystael | (~ystael@user/ystael) |
| 2023-09-13 18:25:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-09-13 18:27:09 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-09-13 18:29:05 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-09-13 18:29:18 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-09-13 18:29:22 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-09-13 18:33:22 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 18:35:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 18:37:18 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-09-13 18:38:16 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-13 18:41:05 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-09-13 18:41:10 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 18:42:24 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2023-09-13 18:42:37 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69d5e7ded915fbe1d3.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-09-13 18:45:51 +0200 | danse-nr3_ | (~francesco@151.57.253.5) (Ping timeout: 252 seconds) |
| 2023-09-13 18:46:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 18:50:07 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) |
| 2023-09-13 18:52:27 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2023-09-13 18:52:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 18:52:49 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-13 18:55:29 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2023-09-13 18:58:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-09-13 19:03:24 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 19:09:15 +0200 | byorgey | (~byorgey@155.138.238.211) (Server closed connection) |
| 2023-09-13 19:09:24 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2023-09-13 19:09:35 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-13 19:11:11 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-13 19:13:18 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 19:13:46 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 19:18:51 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-09-13 19:22:43 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-13 19:23:54 +0200 | danza | (~francesco@151.37.245.221) |
| 2023-09-13 19:33:03 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-13 19:37:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-13 19:40:26 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 19:44:38 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) (Server closed connection) |
| 2023-09-13 19:44:58 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) |
| 2023-09-13 19:47:43 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-13 19:52:00 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-09-13 20:02:17 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 20:03:41 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3) |
| 2023-09-13 20:06:35 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-09-13 20:09:19 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-09-13 20:12:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 20:16:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-09-13 20:16:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-13 20:17:12 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Max SendQ exceeded) |
| 2023-09-13 20:18:21 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-13 20:19:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Max SendQ exceeded) |
| 2023-09-13 20:20:51 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-09-13 20:25:03 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-13 20:29:25 +0200 | <ph88> | when going from Vector to List is better to do map f $ V.toList vec or V.toList $ V.map f vec |
| 2023-09-13 20:29:52 +0200 | <glguy> | ph88: I'd expect the second fragment to be better |
| 2023-09-13 20:30:15 +0200 | <glguy> | The vector is generally set up to fuse multiple passes over the data |
| 2023-09-13 20:31:52 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-13 20:32:27 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) (Remote host closed the connection) |
| 2023-09-13 20:32:35 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-13 20:40:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) (Remote host closed the connection) |
| 2023-09-13 20:42:04 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-09-13 20:45:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-09-13 20:56:28 +0200 | <ph88> | good to know !! thank you |
| 2023-09-13 20:57:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 20:57:52 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69d95e0f42a9292ff4.dip0.t-ipconnect.de) |
| 2023-09-13 21:03:22 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-09-13 21:11:22 +0200 | lex_ | (~alex@188.26.233.194) |
| 2023-09-13 21:25:18 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-09-13 21:25:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-09-13 21:25:25 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-09-13 21:26:02 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-09-13 21:28:08 +0200 | <ph88> | anyone know a function that makes strings like a,b,c,..,z,aa,ab,ac,..,az,ba,bb,bc ? |
| 2023-09-13 21:28:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-13 21:29:29 +0200 | <probie> | ph88: and then "aaa", "aab"? |
| 2023-09-13 21:30:09 +0200 | <ncf> | > [1..] >>= replicateM `flip` ['a'..'z'] |
| 2023-09-13 21:30:10 +0200 | <lambdabot> | ["a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s"... |
| 2023-09-13 21:30:18 +0200 | <ncf> | > [1..] >>= replicateM `flip` ['a'..'c'] |
| 2023-09-13 21:30:20 +0200 | <lambdabot> | ["a","b","c","aa","ab","ac","ba","bb","bc","ca","cb","cc","aaa","aab","aac",... |
| 2023-09-13 21:30:38 +0200 | <justsomeguy> | I have a String, and want to print out all of the unicode codepoints in the string. Is there anything in base that will let me do that? |
| 2023-09-13 21:30:43 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 240 seconds) |
| 2023-09-13 21:31:07 +0200 | <ncf> | % mapM_ (print . fromEnum) "hi" |
| 2023-09-13 21:31:07 +0200 | <yahb2> | 104 ; 105 |
| 2023-09-13 21:31:18 +0200 | <EvanR> | > map (\n -> showIntAtBase 26 (['a'..'z'] !!) n) [0..] |
| 2023-09-13 21:31:18 +0200 | <geekosaur> | > map ord "abc" |
| 2023-09-13 21:31:19 +0200 | <lambdabot> | [<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>,<[Char] -> [Char]>... |
| 2023-09-13 21:31:19 +0200 | <lambdabot> | [97,98,99] |
| 2023-09-13 21:31:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-09-13 21:31:26 +0200 | jackneill__ | (~Jackneill@20014C4E1E101A00AF91863A99D1ECF2.dsl.pool.telekom.hu) (Ping timeout: 255 seconds) |
| 2023-09-13 21:31:30 +0200 | <EvanR> | > map (\n -> showIntAtBase 26 (['a'..'z'] !!) n "") [0..] |
| 2023-09-13 21:31:31 +0200 | <lambdabot> | ["a","b","c","d","e","f","g","h","i","j","k","l","m","n","o","p","q","r","s"... |
| 2023-09-13 21:32:00 +0200 | <ncf> | cute |
| 2023-09-13 21:32:10 +0200 | <EvanR> | (it's not right though...) |
| 2023-09-13 21:32:24 +0200 | <geekosaur> | justsomeguy, if it's not yet clear, a String is not UTF8-encoded, it is a list of codepoints |
| 2023-09-13 21:32:33 +0200 | <geekosaur> | Text is UTF8 |
| 2023-09-13 21:32:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:50ab:f6a5:887a:13b) |
| 2023-09-13 21:33:18 +0200 | <ph88> | ncf, thanks, i never understand such things with list monad |
| 2023-09-13 21:33:29 +0200 | <monochrom> | Even "Text is UTF8" is an implementation detail that you won't be able to discern from the API. |
| 2023-09-13 21:33:55 +0200 | beka | (~beka@104.193.170.240) |
| 2023-09-13 21:34:14 +0200 | <EvanR> | except for UTF-16 surrogates |
| 2023-09-13 21:34:58 +0200 | <EvanR> | which can make it into a Text if it uses UTF-8 |
| 2023-09-13 21:37:12 +0200 | ubert | (~Thunderbi@77.119.172.185.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2023-09-13 21:39:25 +0200 | <EvanR> | the standard says those shouldn't be encoded regardless, but haskell doesn't care by default |
| 2023-09-13 21:40:20 +0200 | <justsomeguy> | If I use ord ' ' to get the codepoint of the space character, which results in 32, and then look up U+0032 on unicodeplus.com, I get a different character, 2. |
| 2023-09-13 21:40:40 +0200 | <monochrom> | decimal vs hexadecimal? |
| 2023-09-13 21:41:03 +0200 | <monochrom> | decimal 32 means U+0020 |
| 2023-09-13 21:41:29 +0200 | <monochrom> | U+0032 means decimal 48+2 |
| 2023-09-13 21:41:30 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-09-13 21:41:43 +0200 | <monochrom> | > ord '2' |
| 2023-09-13 21:41:45 +0200 | <lambdabot> | 50 |
| 2023-09-13 21:41:50 +0200 | <EvanR> | 32 is decimal |
| 2023-09-13 21:41:52 +0200 | <probie> | > 0x32 |
| 2023-09-13 21:41:54 +0200 | <lambdabot> | 50 |
| 2023-09-13 21:41:56 +0200 | <EvanR> | er |
| 2023-09-13 21:42:08 +0200 | <EvanR> | yeah |
| 2023-09-13 21:42:16 +0200 | <EvanR> | and 48 (decimal) is '0' |
| 2023-09-13 21:42:17 +0200 | <justsomeguy> | Are codepoints usually formatted in hex? |
| 2023-09-13 21:42:35 +0200 | <EvanR> | U+NNNN is hex |
| 2023-09-13 21:42:41 +0200 | <monochrom> | The "U+foobar" notation is always in hexadecimal. That's part of the standard. |
| 2023-09-13 21:42:56 +0200 | <justsomeguy> | Alright, that explains my confusion.... |
| 2023-09-13 21:43:01 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 21:43:03 +0200 | <monochrom> | ord gives Int and Int's Show instance gives decimal. |
| 2023-09-13 21:44:04 +0200 | <EvanR> | > ord ' ' |
| 2023-09-13 21:44:05 +0200 | <lambdabot> | 32 |
| 2023-09-13 21:44:08 +0200 | <EvanR> | > '\32' |
| 2023-09-13 21:44:10 +0200 | <lambdabot> | ' ' |
| 2023-09-13 21:44:18 +0200 | <EvanR> | basic sanity checked |
| 2023-09-13 21:45:04 +0200 | <monochrom> | oct 31 = dec 25 |
| 2023-09-13 21:45:37 +0200 | <EvanR> | so that's how they decided the switch from julian to gregorian |
| 2023-09-13 21:45:50 +0200 | <monochrom> | yeah |
| 2023-09-13 21:46:34 +0200 | <EvanR> | wait, one of those is a federal holiday the other is not |
| 2023-09-13 21:46:44 +0200 | <EvanR> | congruence failed |
| 2023-09-13 21:47:10 +0200 | <monochrom> | This is known as "spontaneous symmetry breaking". |
| 2023-09-13 21:47:47 +0200 | <monochrom> | I heard that it's because the Higg's field treats them differently so they act a bit differently. |
| 2023-09-13 21:49:40 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2023-09-13 21:53:58 +0200 | lilata | (~lilata@137.184.4.49) (Quit: Ping timeout (120 seconds)) |
| 2023-09-13 21:54:15 +0200 | lilata | (~lilata@137.184.4.49) |
| 2023-09-13 21:54:40 +0200 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 258 seconds) |
| 2023-09-13 21:55:17 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-09-13 21:55:46 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2023-09-13 21:57:03 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-09-13 21:57:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9cc:9bb3:d19d:9050) |
| 2023-09-13 21:57:36 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-09-13 21:58:50 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-09-13 21:59:16 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-09-13 22:00:20 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Max SendQ exceeded) |
| 2023-09-13 22:00:45 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-09-13 22:02:30 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-09-13 22:03:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-09-13 22:03:54 +0200 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-09-13 22:04:01 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2023-09-13 22:06:34 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-09-13 22:08:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-09-13 22:17:36 +0200 | <exarkun> | When using hspec and quickcheck, I put `parallel` around my whole Spec but this only encourages the runner to run different properties in parallel with each other. is there a way to have quickcheck test an individual property in parallel? |
| 2023-09-13 22:18:29 +0200 | <geekosaur> | I don't think it can since it does shrinking based on earlier results? |
| 2023-09-13 22:18:52 +0200 | pavonia | (~user@user/siracusa) |
| 2023-09-13 22:19:42 +0200 | <geekosaur> | it's not just picking random values, it's refining them via shrinking |
| 2023-09-13 22:20:32 +0200 | <exarkun> | I think the values it picks form a tree structure, I guess it could explore sibling branches in parallel somehow? |
| 2023-09-13 22:21:06 +0200 | <exarkun> | I just realized that for my purposes I can put two copies of the same property into the hspec tree, I think |
| 2023-09-13 22:21:27 +0200 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-09-13 22:22:48 +0200 | powderhorn | (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed) |
| 2023-09-13 22:23:10 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-09-13 22:29:15 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2023-09-13 22:32:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 22:32:14 +0200 | ft | (~ft@p508dbaa9.dip0.t-ipconnect.de) |
| 2023-09-13 22:32:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2023-09-13 22:36:15 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-09-13 22:36:50 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-09-13 22:37:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-09-13 22:37:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-09-13 22:38:12 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 240 seconds) |
| 2023-09-13 22:39:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:50ab:f6a5:887a:13b) (Quit: WeeChat 2.8) |
| 2023-09-13 22:39:56 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-09-13 22:40:13 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 240 seconds) |
| 2023-09-13 22:41:47 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-09-13 22:41:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-09-13 22:42:00 +0200 | df | (~ben@justworks.xyz) (Server closed connection) |
| 2023-09-13 22:42:13 +0200 | df | (~ben@justworks.xyz) |
| 2023-09-13 22:43:20 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2023-09-13 22:43:35 +0200 | Nixkernal | (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 2023-09-13 22:44:17 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-09-13 22:45:49 +0200 | danza_ | (~francesco@151.37.244.202) |
| 2023-09-13 22:47:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-13 22:47:35 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-09-13 22:48:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-09-13 22:48:24 +0200 | danza | (~francesco@151.37.245.221) (Ping timeout: 252 seconds) |
| 2023-09-13 22:51:53 +0200 | connrs | (~connrs@user/connrs) |
| 2023-09-13 22:54:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2023-09-13 22:55:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 22:55:43 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-09-13 22:57:41 +0200 | mapod111 | (~mapod111@86.32.105.83) |
| 2023-09-13 23:01:03 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 246 seconds) |
| 2023-09-13 23:07:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-09-13 23:07:17 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Server closed connection) |
| 2023-09-13 23:07:18 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.4) |
| 2023-09-13 23:07:35 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2023-09-13 23:09:39 +0200 | xmachina | (~xmachina@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-09-13 23:17:38 +0200 | ubert | (~Thunderbi@178.165.200.97.wireless.dyn.drei.com) |
| 2023-09-13 23:19:15 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 246 seconds) |
| 2023-09-13 23:20:23 +0200 | lex_ | (~alex@188.26.233.194) (Ping timeout: 246 seconds) |
| 2023-09-13 23:20:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-09-13 23:20:58 +0200 | mapod111 | (~mapod111@86.32.105.83) (Ping timeout: 245 seconds) |
| 2023-09-13 23:21:17 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-09-13 23:22:30 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-09-13 23:23:48 +0200 | acidjnk | (~acidjnk@p200300d6e7072f69d95e0f42a9292ff4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-09-13 23:27:29 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-09-13 23:28:04 +0200 | beka | (~beka@104.193.170.240) (Remote host closed the connection) |
| 2023-09-13 23:32:10 +0200 | <Inst> | ACME-infinitely-extensible-interface: |
| 2023-09-13 23:32:23 +0200 | Carbon-lang | (~Carbonlan@ip121.ip-149-56-160.net) (Read error: Connection reset by peer) |
| 2023-09-13 23:32:29 +0200 | <Inst> | "ACME-infinite-extensible-interface can be used for anything! You can use it in all your programs!" |
| 2023-09-13 23:33:07 +0200 | <Inst> | contents: acmeFramework :: IO a -> IO a; acmeFramework foo = foo |
| 2023-09-13 23:35:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-09-13 23:40:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-09-13 23:40:51 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-09-13 23:45:23 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-09-13 23:46:40 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-09-13 23:52:43 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-09-13 23:54:03 +0200 | acidjnk | (~acidjnk@p200300d6e7072f94d95e0f42a9292ff4.dip0.t-ipconnect.de) |
| 2023-09-13 23:56:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
