| 2024-08-01 00:00:08 +0200 | <EvanR> | it shouldn't be hard to define Hask in such a way that it is a category and models a subset of haskell |
| 2024-08-01 00:00:31 +0200 | <ncf> | Hask = Set |
| 2024-08-01 00:00:53 +0200 | <EvanR> | "polymorphism is not set theoretic" xD |
| 2024-08-01 00:01:19 +0200 | <yin> | shall we do it? |
| 2024-08-01 00:01:42 +0200 | <mauke> | .oO( yaranaika? ) |
| 2024-08-01 00:01:49 +0200 | <ncf> | 100% of the statements people make about Hask are secretly about Set |
| 2024-08-01 00:02:21 +0200 | <monochrom> | Including the one that says "Hask doesn't exist"? XD |
| 2024-08-01 00:03:16 +0200 | <EvanR> | Hask is a category and this sentence is false |
| 2024-08-01 00:05:46 +0200 | falafel | (~falafel@188.26.220.220) (Remote host closed the connection) |
| 2024-08-01 00:08:54 +0200 | Reinhilde | Ellenor |
| 2024-08-01 00:16:41 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-01 00:18:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-01 00:20:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 00:27:18 +0200 | spew | (~spew@201.141.102.132) (Remote host closed the connection) |
| 2024-08-01 00:28:06 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-01 00:29:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
| 2024-08-01 00:30:16 +0200 | <starburst> | how do you guys learn so many words |
| 2024-08-01 00:33:21 +0200 | <yin> | starburst: i'm pretty sure most are invented |
| 2024-08-01 00:34:05 +0200 | <starburst> | every word was invented i think |
| 2024-08-01 00:34:43 +0200 | <yin> | exactly |
| 2024-08-01 00:36:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 00:36:55 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-01 00:37:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 00:38:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-08-01 00:39:01 +0200 | <monochrom> | Firstly, not really "many" words compared to daily natural languages. Secondly, how do "real world people" learn almost ten thousand words in "real world daily" natural languages? By taking 20 years. |
| 2024-08-01 00:39:51 +0200 | <geekosaur> | I pick words up from context |
| 2024-08-01 00:40:30 +0200 | <probie> | That seems like a perfectly cromulent thing to do |
| 2024-08-01 00:41:02 +0200 | <starburst> | youre pretty cromulent yourself.. |
| 2024-08-01 00:41:05 +0200 | <Unicorn_Princess> | what does 'DH' stand for, in the context of "unifying the ASTs of types and terms in GHC is a huge step in making the compiler frontend DH-ready"? |
| 2024-08-01 00:41:18 +0200 | <monochrom> | Right there, I didn't even knew that "cromulent" existed until 5 years ago. |
| 2024-08-01 00:41:21 +0200 | <geekosaur> | "dependent haskell" |
| 2024-08-01 00:41:25 +0200 | <Unicorn_Princess> | oooh |
| 2024-08-01 00:41:30 +0200 | <Unicorn_Princess> | would be nice |
| 2024-08-01 00:41:30 +0200 | <monochrom> | How do you native English speakers learn so many English words? |
| 2024-08-01 00:42:08 +0200 | <starburst> | i actually only know like 100 words |
| 2024-08-01 00:42:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 00:42:32 +0200 | <probie> | monochrom: For the most part, by studying Ancient Greek and Latin |
| 2024-08-01 00:42:49 +0200 | <Unicorn_Princess> | lmao |
| 2024-08-01 00:42:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 00:42:58 +0200 | <EvanR> | communication is a language game and by wasting too many words on metacommunication you lose |
| 2024-08-01 00:43:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb37989a4326b80d30bf.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-08-01 00:44:26 +0200 | <starburst> | true you gotta hav game |
| 2024-08-01 00:44:34 +0200 | <ZharMeny> | monochrom: i honestly have no idea at one point i was born and some time later i knew english |
| 2024-08-01 00:44:46 +0200 | <Rembane> | Haxx! |
| 2024-08-01 00:44:50 +0200 | <ZharMeny> | english isn't even a language common in my country |
| 2024-08-01 00:45:17 +0200 | <yin> | EvanR: what do you mean by "wasting too many words on metacommunication"? |
| 2024-08-01 00:45:32 +0200 | <EvanR> | lol |
| 2024-08-01 00:45:39 +0200 | <yin> | :) |
| 2024-08-01 00:47:36 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-01 00:49:58 +0200 | <starburst> | like.. saying stuff thats redundant or makes you sound silly |
| 2024-08-01 00:50:21 +0200 | <geekosaur> | redundancy has its place, see shannon |
| 2024-08-01 00:51:12 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-01 00:51:58 +0200 | <EvanR> | noisy channel coding theorem |
| 2024-08-01 00:52:39 +0200 | <EvanR> | the more noise the harder it is to code |
| 2024-08-01 00:52:48 +0200 | <monochrom> | haha |
| 2024-08-01 00:53:29 +0200 | <monochrom> | the "haskell code looks like line noise" theorem :) |
| 2024-08-01 00:53:44 +0200 | <c_wraith> | When people hear the music I listen to when coding, they ask how I can think while listening to it... |
| 2024-08-01 00:53:58 +0200 | <geekosaur> | ^ |
| 2024-08-01 00:54:47 +0200 | <yin> | white noise is actually really nice for coding |
| 2024-08-01 00:55:07 +0200 | <probie> | When you're indoors and feeling cold, you can go outside where it is even colder and then come inside to feel warm. In much the same way, you can write code in J to make everything else look readable |
| 2024-08-01 00:55:21 +0200 | <monochrom> | :) |
| 2024-08-01 00:55:26 +0200 | <starburst> | how abt harsh noise.. any of you listen to merzbow? >_< |
| 2024-08-01 00:55:32 +0200 | <Rembane> | J is excellent in that regard |
| 2024-08-01 00:55:39 +0200 | <ZharMeny> | i listen to seximal (also known as senary) fractions interpreted as music |
| 2024-08-01 00:55:42 +0200 | <yin> | i like J |
| 2024-08-01 00:56:02 +0200 | <yin> | i spent the better part of a month reading NuVoc |
| 2024-08-01 00:56:12 +0200 | <starburst> | why does j look like that |
| 2024-08-01 00:56:15 +0200 | <geekosaur> | been too long since I played with J. 1985ish? |
| 2024-08-01 00:56:24 +0200 | <geekosaur> | shortly after it came out |
| 2024-08-01 00:56:30 +0200 | <yin> | i was planning on doing AoC with it |
| 2024-08-01 00:56:48 +0200 | <yin> | then Dec 1st i realized i didn't know how to do IO |
| 2024-08-01 00:56:49 +0200 | <starburst> | what does she hav to do with this |
| 2024-08-01 00:57:12 +0200 | <geekosaur> | (that said, I concluded that APL was far more readable) |
| 2024-08-01 00:57:24 +0200 | <glguy> | Is the point of either to be able to read them? |
| 2024-08-01 00:57:46 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-01 00:58:02 +0200 | <yin> | glguy: APL was intended to be very easy to read |
| 2024-08-01 00:58:04 +0200 | <probie> | Also, modern APL has dfns, whilst J still refuses to have them |
| 2024-08-01 00:59:29 +0200 | <yin> | probie: dfns? |
| 2024-08-01 00:59:48 +0200 | <ZharMeny> | just discovered that BQN has a self-hosted compiler |
| 2024-08-01 00:59:51 +0200 | <ZharMeny> | why |
| 2024-08-01 01:00:41 +0200 | <ZharMeny> | it looks like i opened a file with a wrong encoding |
| 2024-08-01 01:00:48 +0200 | <sprout> | lol |
| 2024-08-01 01:01:00 +0200 | <Rembane> | Probably because it's more fun to program in BQN than any other language for the people who make BQN. I think Singeli might be involved too though. |
| 2024-08-01 01:01:25 +0200 | <dolio> | Hask has all Hask-indexed limits. |
| 2024-08-01 01:01:46 +0200 | <probie> | yin: Sort of like the APL-equivalent of a lambda (although you don't get pick the names). e.g. you could write `\x -> x + x + x` in APL as `{⍵ + ⍵ + ⍵}` |
| 2024-08-01 01:01:58 +0200 | <c_wraith> | Huh. does GND have issues with MPTCs and fundeps? |
| 2024-08-01 01:02:19 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.3.5) |
| 2024-08-01 01:02:54 +0200 | <geekosaur> | not normally, I mean mtl uses GND a lot with them |
| 2024-08-01 01:02:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-01 01:03:18 +0200 | <c_wraith> | Ok, I guess I need to take the time to actually understand this error message |
| 2024-08-01 01:05:01 +0200 | <c_wraith> | Yeah, ok. This is a weakness in GND, but I think attempting to fix it runs the danger of accidental exponential searches. |
| 2024-08-01 01:05:30 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-08-01 01:07:45 +0200 | <c_wraith> | The thing that's different from mtl is that I'm trying to GND an instance over *two* newtypes |
| 2024-08-01 01:08:00 +0200 | <c_wraith> | and it's not translating the fundep to both newtypes |
| 2024-08-01 01:10:12 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-01 01:11:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-08-01 01:12:50 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-01 01:13:37 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 01:14:35 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Client Quit) |
| 2024-08-01 01:15:19 +0200 | Square3 | (~Square4@user/square) |
| 2024-08-01 01:16:48 +0200 | <mauke> | probie: that just looks like perl |
| 2024-08-01 01:16:59 +0200 | <mauke> | where all parameter lists are @_ |
| 2024-08-01 01:18:13 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-08-01 01:19:22 +0200 | <yin> | probie: 5 ({ : x. * y. }) 3 NB. Returns 15 |
| 2024-08-01 01:21:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 01:21:05 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-01 01:25:31 +0200 | <yin> | iirc |
| 2024-08-01 01:26:36 +0200 | <probie> | That gives me a spelling error (on 9.02, which may be a bit out of date) |
| 2024-08-01 01:26:50 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 255 seconds) |
| 2024-08-01 01:27:29 +0200 | <probie> | apparently it's just `5 {{ x * y }} 3`. Did I somehow completely miss this a few years ago, or is it new? |
| 2024-08-01 01:29:09 +0200 | <yin> | not sure. i only dabbled in it for a couple of months a few years ago |
| 2024-08-01 01:29:23 +0200 | <yin> | i found the whole ecosystem to be too disorganized |
| 2024-08-01 01:29:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-01 01:30:36 +0200 | <probie> | apparently it was added in 902 (which was December 2020), so several years after I last used J for anything other than internet jokes. I will update my complaints about J accordingly |
| 2024-08-01 01:36:16 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.3.5) |
| 2024-08-01 01:38:11 +0200 | starburst | (~starburst@2601:602:480:9390::707d) (Quit: Client closed) |
| 2024-08-01 01:39:06 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2024-08-01 01:42:34 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-01 01:43:01 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-08-01 01:48:22 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-08-01 01:49:12 +0200 | cheater | (~Username@user/cheater) |
| 2024-08-01 01:51:21 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ,) |
| 2024-08-01 01:56:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-01 02:01:08 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-01 02:08:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-01 02:22:26 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 02:22:37 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-01 02:22:50 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-01 02:26:30 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-08-01 02:26:32 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.3.5) |
| 2024-08-01 02:28:02 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-08-01 02:35:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 02:36:54 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-08-01 02:39:05 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-08-01 02:52:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-08-01 02:52:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 03:08:25 +0200 | spew | (~spew@201.141.102.132) (Read error: Connection reset by peer) |
| 2024-08-01 03:09:52 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-01 03:16:23 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-01 03:21:16 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-08-01 03:21:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 03:23:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 03:28:26 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-08-01 03:33:59 +0200 | AlexNoo | (~AlexNoo@94.233.241.125) (Read error: Connection reset by peer) |
| 2024-08-01 03:34:21 +0200 | AlexNoo | (~AlexNoo@94.233.241.125) |
| 2024-08-01 03:46:10 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 03:46:29 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-01 03:48:25 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 03:59:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 276 seconds) |
| 2024-08-01 04:04:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bf97:1fa8:4185:9e6) (Ping timeout: 264 seconds) |
| 2024-08-01 04:25:25 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-08-01 04:37:19 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) (Ping timeout: 264 seconds) |
| 2024-08-01 04:37:40 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 04:39:18 +0200 | m1dnight | (~christoph@d8D861035.access.telenet.be) |
| 2024-08-01 04:47:19 +0200 | Guest53 | (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) |
| 2024-08-01 04:49:16 +0200 | <Guest53> | I have a question regarding cabal. Why does this module insist that transformers is a missing dependency, when I have the correct version installed? |
| 2024-08-01 04:49:16 +0200 | <Guest53> | > Error: Setup: Encountered missing or private dependencies: |
| 2024-08-01 04:49:17 +0200 | <Guest53> | > transformers >=0.5.2 && <0.6 |
| 2024-08-01 04:49:17 +0200 | <Guest53> | * transformers |
| 2024-08-01 04:49:18 +0200 | <Guest53> | Synopsis: Concrete functor and monad transformers |
| 2024-08-01 04:49:18 +0200 | <Guest53> | Default available version: 0.6.1.1 |
| 2024-08-01 04:49:19 +0200 | <Guest53> | Installed versions: 0.5.6.2, 0.6.1.0 |
| 2024-08-01 04:49:19 +0200 | <Guest53> | License: BSD3 |
| 2024-08-01 04:49:20 +0200 | <Guest53> | Is it an issue that I have two versions installed simultaneously that prevents cabal from seeing it? |
| 2024-08-01 04:50:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-01 04:50:32 +0200 | <probie> | Or perhaps 0.5.6.2 is incompatible with other dependencies in the project? |
| 2024-08-01 04:51:14 +0200 | <probie> | actually, that seems unlikely |
| 2024-08-01 04:51:34 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-08-01 04:55:58 +0200 | <geekosaur> | hm. "Error: Setup:" makes me think it needs to be in setup-depends, not just build-depends? |
| 2024-08-01 04:57:47 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 2024-08-01 05:00:33 +0200 | <Guest53> | What's the difference between the two? That might be a Nix error? Here's a tail of the log: |
| 2024-08-01 05:00:33 +0200 | <Guest53> | @nix { "action": "setPhase", "phase": "setupCompilerEnvironmentPhase" } |
| 2024-08-01 05:00:34 +0200 | <lambdabot> | Americans admire a people who can scratch a desert and produce a garden. The Israelis have shown qualities that Americans identify with: guts, patriotism, idealism, a passion for freedom. I have |
| 2024-08-01 05:00:34 +0200 | <lambdabot> | seen it. I know. I believe that. |
| 2024-08-01 05:00:34 +0200 | <Guest53> | Running phase: setupCompilerEnvironmentPhase |
| 2024-08-01 05:00:34 +0200 | <Guest53> | Build with /nix/store/vfzrsghv5w2vyccikx6xg2fh90z9aq2q-ghc-9.6.5. |
| 2024-08-01 05:00:35 +0200 | <Guest53> | @nix { "action": "setPhase", "phase": "unpackPhase" } |
| 2024-08-01 05:00:35 +0200 | <lambdabot> | Do you know what happened to the Romans? The last six Roman emperors were fags. . . . You know what happened to the popes? It's all right that popes were laying the nuns. |
| 2024-08-01 05:00:35 +0200 | <Guest53> | Running phase: unpackPhase |
| 2024-08-01 05:00:36 +0200 | <Guest53> | unpacking source archive /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 2024-08-01 05:00:36 +0200 | <Guest53> | calling 'unpackCmd' function hook '_defaultUnpack' /nix/store/17ry7q1gm14ypmi5r06ing0ps5vm984m-source/GPipe-Core |
| 2024-08-01 05:00:37 +0200 | <Guest53> | source root is GPipe-Core |
| 2024-08-01 05:00:37 +0200 | <Guest53> | calling 'postUnpack' function hook '_updateSourceDateEpochFromSourceRoot' |
| 2024-08-01 05:00:38 +0200 | <Guest53> | @nix { "action": "setPhase", "phase": "patchPhase" } |
| 2024-08-01 05:00:38 +0200 | <lambdabot> | The press is the enemy. |
| 2024-08-01 05:00:38 +0200 | <Guest53> | Running phase: patchPhase |
| 2024-08-01 05:00:39 +0200 | <Guest53> | @nix { "action": "setPhase", "phase": "compileBuildDriverPhase" } |
| 2024-08-01 05:00:39 +0200 | <lambdabot> | Castro couldn't even go to the bathroom unless the Soviet Union put the nickel in the toilet. |
| 2024-08-01 05:00:39 +0200 | <Guest53> | Running phase: compileBuildDriverPhase |
| 2024-08-01 05:00:40 +0200 | <Guest53> | setupCompileFlags: -package-db=/build/tmp.lt8rbFKDkr/setup-package.conf.d -threaded |
| 2024-08-01 05:00:40 +0200 | <Guest53> | [1 of 2] Compiling Main ( Setup.hs, /build/tmp.lt8rbFKDkr/Main.o ) |
| 2024-08-01 05:00:41 +0200 | <Guest53> | [2 of 2] Linking Setup |
| 2024-08-01 05:00:41 +0200 | <Guest53> | @nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } |
| 2024-08-01 05:00:42 +0200 | <lambdabot> | When the President does it, that means that it is not illegal. |
| 2024-08-01 05:00:52 +0200 | <geekosaur> | please don't paste into irc |
| 2024-08-01 05:00:58 +0200 | <geekosaur> | @where paste |
| 2024-08-01 05:00:58 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-08-01 05:01:42 +0200 | <Guest53> | sorry - https://paste.tomsmeding.com/kpp8PMjl |
| 2024-08-01 05:01:44 +0200 | <EvanR> | :t 'a' |
| 2024-08-01 05:01:45 +0200 | <lambdabot> | Char |
| 2024-08-01 05:01:58 +0200 | <geekosaur> | setup-depends is used when compiling a custom Setup.hs to configure a package, build-depends is used when building the actual package |
| 2024-08-01 05:02:19 +0200 | <haskellbridge> | <bdub> Howdy Haskeller's... hope everyone is doing well |
| 2024-08-01 05:02:27 +0200 | <EvanR> | what in gods name is lambdabot on |
| 2024-08-01 05:02:39 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 05:03:09 +0200 | <EvanR> | @nixon |
| 2024-08-01 05:03:09 +0200 | <lambdabot> | The press is the enemy. |
| 2024-08-01 05:03:09 +0200 | <haskellbridge> | <bdub> An Anonymous drug I bet |
| 2024-08-01 05:03:13 +0200 | <geekosaur> | it's edit-(in)correcting @nix to @nixon |
| 2024-08-01 05:03:31 +0200 | <EvanR> | that is one helluva a consequence of autocorrect |
| 2024-08-01 05:03:40 +0200 | <geekosaur> | okay, so that log shws it's not setup-depends |
| 2024-08-01 05:05:29 +0200 | <Guest53> | Issue is that the latest version of transformers is installed along side the ghc nixpkg |
| 2024-08-01 05:06:08 +0200 | <Guest53> | otherwise I would just have the older version. why can't cabal see the correct one? any way to isolate it with stack or something? |
| 2024-08-01 05:06:47 +0200 | <geekosaur> | I think nix has a habit of editing constraints to point to what versions it has, and got something wrong here |
| 2024-08-01 05:07:05 +0200 | <geekosaur> | I just looked at GPipe on Hackage, and it has that build-depends correctly |
| 2024-08-01 05:07:37 +0200 | <geekosaur> | so I think nix is presenting it the wrong version (it converts cabal dependencies to nix derivations) |
| 2024-08-01 05:07:47 +0200 | <Guest53> | the package is broken on nix, hence why I'm trying to point to the repo directly and install via cabal |
| 2024-08-01 05:08:08 +0200 | <geekosaur> | so why is nix being involved at all? |
| 2024-08-01 05:08:25 +0200 | <Guest53> | I'm on NixOS and it's part of my system config flake |
| 2024-08-01 05:08:42 +0200 | <Guest53> | wanted to use GPipe with implicitCAD |
| 2024-08-01 05:09:20 +0200 | <sclv> | i suggest you don't use cabal to install it, but instead "vendor" it using a cabal.project file -- that might help bypass some of the weirdness |
| 2024-08-01 05:10:01 +0200 | <Guest53> | ok, might have to fork GPipe and figure it out |
| 2024-08-01 05:10:58 +0200 | <Guest53> | thanks for the help |
| 2024-08-01 05:11:25 +0200 | <geekosaur> | (wow, GPipe needs a really old ghc) |
| 2024-08-01 05:11:56 +0200 | <geekosaur> | base<4.15 which means 8.10.7 |
| 2024-08-01 05:11:59 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:5500:5072:c3b4:e83c:da68) |
| 2024-08-01 05:13:09 +0200 | <Guest53> | where do you see that? |
| 2024-08-01 05:13:14 +0200 | aforemny | (~aforemny@2001:9e8:6ce0:2100:2fa7:a1ac:c8c:437) (Ping timeout: 260 seconds) |
| 2024-08-01 05:13:21 +0200 | <geekosaur> | I'm doing the build here to see if it works, but it needs a bunch of dependencies I never installed with 8.10.7 (at least on this machine) |
| 2024-08-01 05:13:56 +0200 | <geekosaur> | cabal complained about vector when I used my default ghc (9.6.6) |
| 2024-08-01 05:14:10 +0200 | <Guest53> | this is the latest GPipe: https://github.com/tobbebex/GPipe-Core/tree/master |
| 2024-08-01 05:14:35 +0200 | <geekosaur> | apparently not released |
| 2024-08-01 05:14:45 +0200 | <geekosaur> | hackage's latest version is from 2020 |
| 2024-08-01 05:16:32 +0200 | <geekosaur> | okay no problem installing it here. but if I need the github version then I will have to do more work (you should probably have mentioned that up front) |
| 2024-08-01 05:16:32 +0200 | <Guest53> | that Github repo is the one I'm trying to compile |
| 2024-08-01 05:17:08 +0200 | <Guest53> | sorry bout that |
| 2024-08-01 05:23:23 +0200 | <geekosaur> | what ghc version are you using? I got complaints about transformers with 9.6.6 which were actually caused by a base constrint; it won't work with later than ghc 9.4 |
| 2024-08-01 05:23:24 +0200 | hammock | (~hammock@2600:1700:19a1:3330::d) |
| 2024-08-01 05:23:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 05:23:42 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-01 05:24:36 +0200 | <Guest53> | 9.6.5 |
| 2024-08-01 05:24:54 +0200 | <geekosaur> | right, that won't work |
| 2024-08-01 05:25:05 +0200 | <Guest53> | tried compiling outside of Nix https://paste.tomsmeding.com/6GS95JRQ |
| 2024-08-01 05:25:20 +0200 | <Guest53> | ahh ok |
| 2024-08-01 05:25:25 +0200 | <geekosaur> | I got it to build with 9.4.8 |
| 2024-08-01 05:25:32 +0200 | <Guest53> | so I have to sandbox is somehow |
| 2024-08-01 05:26:01 +0200 | <geekosaur> | probably easiest with stack, pick a resolver based on a ghc 9.4 version (see stackage.org) |
| 2024-08-01 05:26:39 +0200 | <Guest53> | Ok, I'll try that tomorrow, getting late here |
| 2024-08-01 05:26:39 +0200 | <geekosaur> | with cabal you can use ghcup to install ghc 9.4.8 and then put 'with-compiler: ghc-9.4.8' in the cabal.project |
| 2024-08-01 05:27:02 +0200 | <Guest53> | thanks for all your help |
| 2024-08-01 05:28:28 +0200 | Guest53 | (~Guest53@pool-108-29-84-48.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2024-08-01 05:31:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 05:31:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-08-01 05:41:35 +0200 | m1dnight | (~christoph@d8D861035.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-08-01 06:03:07 +0200 | td_ | (~td@i53870912.versanet.de) |
| 2024-08-01 06:31:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-08-01 06:46:35 +0200 | m1dnight | (~christoph@78-20-63-126.access.telenet.be) |
| 2024-08-01 07:19:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 07:20:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 07:32:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 07:44:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Ping timeout: 248 seconds) |
| 2024-08-01 07:54:21 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 07:55:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-08-01 07:56:43 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-01 07:57:33 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-08-01 08:04:20 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-01 08:04:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-08-01 08:14:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-08-01 08:16:01 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-01 08:16:47 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:dd06:efe9:8bc2:a7e6) (Ping timeout: 244 seconds) |
| 2024-08-01 08:17:52 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:c4d5:25f2:175c:b94c) |
| 2024-08-01 08:19:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-08-01 08:19:30 +0200 | yangby | (~secret@122.235.84.159) |
| 2024-08-01 08:19:49 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2024-08-01 08:20:06 +0200 | aljazmc | (~aljazmc@user/aljazmc) |
| 2024-08-01 08:22:41 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-08-01 08:23:20 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb7588b177e489ed6088.dip0.t-ipconnect.de) |
| 2024-08-01 08:25:07 +0200 | yangby | (~secret@122.235.84.159) (Quit: Go out for a walk and buy a drink.) |
| 2024-08-01 08:27:10 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 08:30:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-01 08:36:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 08:37:07 +0200 | billchenchina- | (~billchenc@118.38.173.226) |
| 2024-08-01 08:40:54 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-08-01 08:59:58 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2024-08-01 09:03:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 09:05:42 +0200 | exarkun | (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2024-08-01 09:07:32 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2024-08-01 09:08:35 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 09:08:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 09:23:54 +0200 | elbear | (~lucian@86.123.19.204) |
| 2024-08-01 09:58:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 10:02:16 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-08-01 10:08:17 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-01 10:09:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 10:11:16 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 10:14:04 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 260 seconds) |
| 2024-08-01 10:14:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-08-01 10:14:52 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) |
| 2024-08-01 10:19:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 10:24:21 +0200 | elbear | (~lucian@86.123.19.204) (Quit: leaving) |
| 2024-08-01 10:36:16 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 10:37:39 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-01 10:38:32 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-08-01 10:38:58 +0200 | euleritian | (~euleritia@dynamic-176-006-130-077.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-01 10:39:46 +0200 | euleritian | (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) |
| 2024-08-01 10:40:13 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-08-01 10:41:58 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-08-01 10:44:59 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 10:45:08 +0200 | starburst | (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) |
| 2024-08-01 10:54:53 +0200 | euleritian | (~euleritia@dynamic-176-007-171-211.176.7.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-08-01 10:56:23 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 10:57:31 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) |
| 2024-08-01 10:57:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-08-01 10:58:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-08-01 11:04:55 +0200 | starburst | (~starburst@2601:602:680:2280:e5f0:256d:1e2f:ff7a) (Quit: Client closed) |
| 2024-08-01 11:07:27 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-08-01 11:08:30 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 11:08:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 11:12:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-01 11:25:27 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-01 11:26:37 +0200 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2024-08-01 11:28:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 11:54:11 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 11:55:37 +0200 | chele | (~chele@user/chele) |
| 2024-08-01 11:56:45 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-08-01 11:58:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 12:01:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-01 12:09:48 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2024-08-01 12:10:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-01 12:11:08 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 12:15:45 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 265 seconds) |
| 2024-08-01 12:26:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: power) |
| 2024-08-01 12:51:30 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) |
| 2024-08-01 12:55:13 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 12:55:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 13:02:59 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 13:07:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-08-01 13:08:10 +0200 | xff0x | (~xff0x@ai080132.d.east.v6connect.net) |
| 2024-08-01 13:09:21 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 13:13:05 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 13:14:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 13:28:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-08-01 13:28:45 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) |
| 2024-08-01 13:31:01 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 13:38:45 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 13:40:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 13:49:58 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 14:01:15 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2024-08-01 14:01:15 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 2024-08-01 14:01:15 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-08-01 14:01:15 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-08-01 14:01:23 +0200 | lucyy | (228ee8f0ce@user/lucyy) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-08-01 14:01:23 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 2024-08-01 14:01:23 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | titibandit | (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 2024-08-01 14:01:23 +0200 | sm2n | (ae95cb1267@user/sm2n) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | tok | (da65c7b04b@user/tok) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection) |
| 2024-08-01 14:01:23 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Write error: Connection reset by peer) |
| 2024-08-01 14:01:23 +0200 | probie | (cc0b34050a@user/probie) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:24 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-08-01 14:01:24 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-08-01 14:01:24 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2024-08-01 14:01:24 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 2024-08-01 14:01:24 +0200 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 2024-08-01 14:01:24 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:24 +0200 | duncan | (c6181279e3@user/meow/duncan) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:24 +0200 | rselim | (ce261f06ff@user/milesrout) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:24 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
| 2024-08-01 14:01:57 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-08-01 14:01:57 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-08-01 14:01:58 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-08-01 14:01:58 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-08-01 14:01:59 +0200 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 2024-08-01 14:01:59 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-08-01 14:01:59 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-08-01 14:01:59 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-08-01 14:01:59 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-08-01 14:02:00 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-08-01 14:02:00 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-08-01 14:02:00 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-08-01 14:02:01 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-08-01 14:02:01 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-08-01 14:02:02 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2024-08-01 14:02:03 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-08-01 14:02:03 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-08-01 14:02:04 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-08-01 14:02:04 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-08-01 14:02:05 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-08-01 14:02:05 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-08-01 14:02:06 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-08-01 14:02:06 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-08-01 14:02:06 +0200 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-08-01 14:02:06 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-08-01 14:02:07 +0200 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-08-01 14:02:07 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-08-01 14:02:07 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-08-01 14:02:08 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-08-01 14:02:08 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-08-01 14:02:10 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-08-01 14:02:11 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-08-01 14:02:11 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-08-01 14:02:12 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-08-01 14:02:12 +0200 | lucyy | (228ee8f0ce@user/lucyy) |
| 2024-08-01 14:02:12 +0200 | probie | (cc0b34050a@user/probie) |
| 2024-08-01 14:02:12 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-08-01 14:02:12 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2024-08-01 14:02:13 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-08-01 14:02:13 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-08-01 14:02:13 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-08-01 14:02:13 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-08-01 14:03:45 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-08-01 14:07:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 14:10:54 +0200 | euleritian | (~euleritia@dynamic-176-006-138-234.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-08-01 14:11:48 +0200 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 2024-08-01 14:15:13 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-08-01 14:18:43 +0200 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 14:18:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 14:20:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 14:21:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 14:22:52 +0200 | lortabac | (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.2) |
| 2024-08-01 14:24:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3307-5b8b-2c7e-0e6d-bd92-ec26.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-01 14:25:51 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-01 14:32:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 14:32:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 14:34:13 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-01 14:45:38 +0200 | dans19457 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 14:46:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-08-01 14:47:08 +0200 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) |
| 2024-08-01 14:47:56 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 252 seconds) |
| 2024-08-01 14:48:27 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-08-01 14:51:13 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: !dinner) |
| 2024-08-01 14:59:02 +0200 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-08-01 15:05:18 +0200 | dans19457 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 15:05:32 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 15:10:31 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-08-01 15:11:31 +0200 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2024-08-01 15:13:44 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) |
| 2024-08-01 15:16:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 15:24:39 +0200 | Digitteknohippie | Digit |
| 2024-08-01 15:27:03 +0200 | CiaoSen | (~Jura@2a05:5800:21c:c000:e6b9:7aff:fe80:3d03) (Ping timeout: 245 seconds) |
| 2024-08-01 15:28:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-08-01 15:31:11 +0200 | euleritian | (~euleritia@dynamic-176-006-148-026.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-08-01 15:31:40 +0200 | euleritian | (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) |
| 2024-08-01 15:33:05 +0200 | euleritian | (~euleritia@dynamic-176-006-145-237.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-08-01 15:33:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 15:36:10 +0200 | califax_ | (~califax@user/califx) |
| 2024-08-01 15:37:46 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-08-01 15:37:46 +0200 | califax_ | califax |
| 2024-08-01 15:38:41 +0200 | ystael | (~ystael@user/ystael) |
| 2024-08-01 15:39:24 +0200 | <carbolymer> | how can I write this pattern? https://play.haskell.org/saved/fW1M6jqr |
| 2024-08-01 15:42:49 +0200 | <mauke> | what is that supposed to do? |
| 2024-08-01 15:43:23 +0200 | <carbolymer> | concat the two constructor parameters |
| 2024-08-01 15:43:40 +0200 | <mauke> | what |
| 2024-08-01 15:45:00 +0200 | <carbolymer> | what what |
| 2024-08-01 15:45:16 +0200 | <mauke> | are you looking for a function? |
| 2024-08-01 15:45:18 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-08-01 15:45:22 +0200 | <mauke> | do you know what patterns are? |
| 2024-08-01 15:45:40 +0200 | <carbolymer> | unidirectional pattern synonym should do the trick, right? |
| 2024-08-01 15:45:53 +0200 | <mauke> | what trick? what are you trying to do? |
| 2024-08-01 15:46:01 +0200 | <carbolymer> | concat the arguments |
| 2024-08-01 15:46:07 +0200 | <mauke> | that doesn't mean anything |
| 2024-08-01 15:46:09 +0200 | <carbolymer> | s/arguments/constructor parameters |
| 2024-08-01 15:46:21 +0200 | <mauke> | provide actual code |
| 2024-08-01 15:47:27 +0200 | <mauke> | because "concat the arugments" looks like this: concatF :: F -> [Int]; concatF (F xs ys) = xs <> ys |
| 2024-08-01 15:47:39 +0200 | <carbolymer> | I don't need a function |
| 2024-08-01 15:47:51 +0200 | <mauke> | "concat the arguments" is a function |
| 2024-08-01 15:48:05 +0200 | <carbolymer> | I want to hide that function behind a pattern synonym |
| 2024-08-01 15:48:15 +0200 | <mauke> | yeah, that's the part that makes no sense |
| 2024-08-01 15:48:21 +0200 | <carbolymer> | why? |
| 2024-08-01 15:48:34 +0200 | <mauke> | if you had it, how would you use it? |
| 2024-08-01 15:52:27 +0200 | <carbolymer> | mauke: like that: https://play.haskell.org/saved/beuVySgV |
| 2024-08-01 15:54:47 +0200 | <mauke> | ah |
| 2024-08-01 15:54:52 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-08-01 15:55:31 +0200 | <mauke> | you can't do that with regular patterns because the LHS has to be variables only, and all the variables have to occur exactly once on the RHS, which must be a pattern |
| 2024-08-01 15:56:00 +0200 | <mauke> | carbolymer: https://play.haskell.org/saved/Z2X6TiIs |
| 2024-08-01 15:56:28 +0200 | <carbolymer> | mauke: thanks! so I can't write that without viewpatterns? |
| 2024-08-01 15:57:01 +0200 | <mauke> | not as far as I'm aware |
| 2024-08-01 15:57:20 +0200 | <mauke> | because you're not just rearranging constructor arguments |
| 2024-08-01 15:57:29 +0200 | <mauke> | you want to do genuine computation (hence the function) |
| 2024-08-01 15:58:39 +0200 | <carbolymer> | thanks. I'm not very fond of ViewPatterns, but if I can't avoid it here... |
| 2024-08-01 16:01:30 +0200 | cheater_ | (~Username@user/cheater) |
| 2024-08-01 16:03:53 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2024-08-01 16:03:55 +0200 | cheater_ | cheater |
| 2024-08-01 16:09:38 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) |
| 2024-08-01 16:15:08 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 255 seconds) |
| 2024-08-01 16:17:20 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 16:26:39 +0200 | Guest35 | (~Guest35@200.23.31.251) |
| 2024-08-01 16:26:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 255 seconds) |
| 2024-08-01 16:31:14 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-01 16:39:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 16:39:55 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2024-08-01 16:39:55 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2024-08-01 16:39:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-08-01 16:41:26 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 16:42:27 +0200 | Guest35 | (~Guest35@200.23.31.251) (Quit: Client closed) |
| 2024-08-01 16:44:27 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2024-08-01 16:49:03 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-08-01 16:53:01 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 16:53:30 +0200 | edrx | (~Eduardo@179-191-209-44.static.sumicity.net.br) |
| 2024-08-01 16:54:39 +0200 | <edrx> | hi all! is there a way to ask ghci what is the type of <*>? how do I do that? |
| 2024-08-01 16:56:33 +0200 | yin | zzz |
| 2024-08-01 16:57:12 +0200 | <edrx> | more context: I always found Haskell super hard but I'm learning Lean now and I discovered that I was stuck in Haskell - and in Lean - because I never drew diagrams like this one, <http://anggtwu.net/IMAGES/2024-lean4-oficina-0.png>, explicitly... and I'm now trying to draw something like that for applicatives. |
| 2024-08-01 16:57:24 +0200 | <yushyin> | :t (<*>) |
| 2024-08-01 16:57:25 +0200 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2024-08-01 16:57:29 +0200 | <edrx> | thanks =) |
| 2024-08-01 16:58:03 +0200 | <edrx> | is there a way to ask ghci its precedence too? |
| 2024-08-01 16:59:30 +0200 | <yushyin> | :info (<*>) |
| 2024-08-01 16:59:33 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-01 17:13:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 17:14:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 17:14:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-08-01 17:15:14 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-08-01 17:16:35 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-08-01 17:16:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-01 17:18:36 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-08-01 17:20:06 +0200 | <edrx> | yushyin: thanks again! =) |
| 2024-08-01 17:30:42 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-01 17:31:13 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-01 17:34:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-08-01 17:36:01 +0200 | <EvanR> | edrx, this is kind of like proof structured using the natural deduction notation https://www.researchgate.net/profile/Christoph-Benzmueller/publication/282157752/figure/fig3/AS:61… |
| 2024-08-01 17:36:08 +0200 | <EvanR> | in reverse |
| 2024-08-01 17:39:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-01 17:42:27 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 252 seconds) |
| 2024-08-01 17:43:23 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3215-391a-4514-437a-a746-c06d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-01 17:43:35 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 2024-08-01 17:55:10 +0200 | ZharMeny | (~user@user/ZharMeny) (Remote host closed the connection) |
| 2024-08-01 17:55:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-08-01 17:56:30 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-01 17:56:56 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-01 17:57:05 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 17:58:14 +0200 | driib3 | (~driib@176.57.184.141) |
| 2024-08-01 17:58:57 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-01 18:14:06 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-01 18:15:12 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-01 18:19:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-08-01 18:22:41 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2024-08-01 18:24:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 18:25:49 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-08-01 18:26:07 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-08-01 18:29:03 +0200 | skyesoss | (~Thunderbi@128.135.204.35) |
| 2024-08-01 18:29:20 +0200 | skyesoss1 | (~Thunderbi@128.135.204.35) |
| 2024-08-01 18:30:00 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-08-01 18:33:24 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-01 18:33:25 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-08-01 18:33:25 +0200 | skyesoss1 | skyesoss |
| 2024-08-01 18:42:05 +0200 | raym | (~ray@user/raym) |
| 2024-08-01 18:42:20 +0200 | tabaqui | (~root@87.200.123.114) (Ping timeout: 260 seconds) |
| 2024-08-01 18:45:02 +0200 | smiesner | (b0cf5acf8c@user/smiesner) |
| 2024-08-01 18:45:35 +0200 | dans33115 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 18:47:14 +0200 | edrx | (~Eduardo@179-191-209-44.static.sumicity.net.br) (Ping timeout: 255 seconds) |
| 2024-08-01 18:47:36 +0200 | dans33115 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 18:47:45 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 248 seconds) |
| 2024-08-01 18:47:51 +0200 | dans82058 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 18:48:31 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-08-01 18:52:20 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-08-01 18:53:14 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-08-01 18:54:28 +0200 | dans82058 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-08-01 18:54:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-08-01 18:54:42 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-08-01 18:55:19 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2024-08-01 18:56:32 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-01 18:57:20 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-01 18:58:41 +0200 | img | (~img@user/img) |
| 2024-08-01 18:58:57 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-08-01 18:59:05 +0200 | <haskellbridge> | <Bowuigi> Indeed, it is a single term version of the right half (that is, with implicit context) of a typing derivation |
| 2024-08-01 19:01:55 +0200 | <haskellbridge> | <sm> Inst: Thanks for that @Inst, it's great |
| 2024-08-01 19:05:02 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-01 19:05:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 19:17:28 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-01 19:17:54 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2024-08-01 19:20:20 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-08-01 19:20:55 +0200 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2024-08-01 19:21:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 19:22:01 +0200 | Kryder | (~Kryder@90.201.223.82) (Read error: Connection reset by peer) |
| 2024-08-01 19:24:38 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-08-01 19:39:51 +0200 | <tomsmeding> | is there any common class that defines an operation with this type on `f`? (forall g h a. (forall b. g b -> h b) -> f g a -> f h a) |
| 2024-08-01 19:40:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-01 19:41:28 +0200 | <tomsmeding> | hoogle is not being helpful |
| 2024-08-01 19:41:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-01 19:46:02 +0200 | <tomsmeding> | hm, and if this is fmapF, then I also need traverseF: Applicative m => (forall b. g b -> m (h b)) -> f g a -> m (f h a) |
| 2024-08-01 19:46:24 +0200 | <tomsmeding> | one might expect this in data-fix, but no |
| 2024-08-01 19:46:43 +0200 | <danse-nr3> | it's a bit above my head, afraid i can't help |
| 2024-08-01 19:48:48 +0200 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/mmorph-1.2.0/docs/Control-Monad-Morph.html#g:1 |
| 2024-08-01 19:49:25 +0200 | <tomsmeding> | mauke: oh so close! |
| 2024-08-01 19:49:42 +0200 | <tomsmeding> | thing is, I have no need for these things to be monads |
| 2024-08-01 19:50:06 +0200 | <int-e> | obscure package confirming my instinct that it should be called Functor1: https://hackage.haskell.org/package/unfix-binders-0.1.0/docs/Data-Binder-Unfix.html#t:Functor1 |
| 2024-08-01 19:50:07 +0200 | <haskellbridge> | <mauke> Closest thing I've got |
| 2024-08-01 19:50:38 +0200 | <tomsmeding> | int-e: nice! |
| 2024-08-01 19:50:39 +0200 | <int-e> | though that has Functor constraints |
| 2024-08-01 19:51:13 +0200 | <tomsmeding> | I could live with those |
| 2024-08-01 19:51:37 +0200 | <tomsmeding> | but that package is obscure and old enough that I'll just redefine |
| 2024-08-01 19:51:54 +0200 | <tomsmeding> | (this is a prototype anyway, wanted to know if I'd missed something obvious) |
| 2024-08-01 19:52:29 +0200 | <int-e> | yeah I wouldn't use that package either :) |
| 2024-08-01 19:52:42 +0200 | <tomsmeding> | (I did rename from FunctorF to Functor1, thanks) |
| 2024-08-01 19:52:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-01 19:58:16 +0200 | <haskellbridge> | <mauke> https://hackage.haskell.org/package/ffunctor-1.2.1/docs/Data-FFunctor.html |
| 2024-08-01 20:04:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-01 20:25:02 +0200 | <tomsmeding> | mauke: relevant, but not quite the same; more evidence that Functor1 is apparently better than FunctorF or FFunctor, because 'ffunctor' calls something else an FFunctor |
| 2024-08-01 20:25:45 +0200 | <tomsmeding> | hm, I guess there is some relation between the classes |
| 2024-08-01 20:26:08 +0200 | <tomsmeding> | a Functor1 is an FFunctor, when suitably newtype-wrapped |
| 2024-08-01 20:29:48 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) () |
| 2024-08-01 20:43:30 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-08-01 20:44:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-01 20:53:31 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-08-01 20:54:13 +0200 | <jle`> | tomsmeding: i have one in a library too, i call it HFunctor https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor.html |
| 2024-08-01 20:54:41 +0200 | <tomsmeding> | nice |
| 2024-08-01 20:54:56 +0200 | <tomsmeding> | yes, I found out that I actually must not have those additional Functor constraints, so your HFunctor would fit perfectly |
| 2024-08-01 20:55:05 +0200 | <jle`> | but i don't think i have the Applicative version |
| 2024-08-01 20:55:20 +0200 | <jle`> | i remember seeing one in related to vinyl |
| 2024-08-01 20:55:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-08-01 20:55:30 +0200 | <jle`> | ah wait no i do have it |
| 2024-08-01 20:55:32 +0200 | <jle`> | https://hackage.haskell.org/package/functor-combinators-0.4.1.3/docs/Data-HFunctor-HTraversable.html |
| 2024-08-01 20:55:41 +0200 | <tomsmeding> | right, that's precisely it |
| 2024-08-01 20:55:43 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-08-01 20:55:57 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-08-01 21:09:33 +0200 | <jle`> | hope it's useful :) the library itself pulls in quite a bit to define all the instances i could find that are somewhat commonly used |
| 2024-08-01 21:09:59 +0200 | <tomsmeding> | right, I saw that it has a fairly hefty dependency list, and I'd like to keep this thing light |
| 2024-08-01 21:10:13 +0200 | <tomsmeding> | the eternal problem of packages defining a useful class |
| 2024-08-01 21:18:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-01 21:29:10 +0200 | urdh | (~urdh@user/urdh) (Ping timeout: 265 seconds) |
| 2024-08-01 21:29:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-08-01 21:29:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 21:29:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-08-01 21:30:20 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-08-01 21:35:33 +0200 | urdh | (~urdh@user/urdh) |
| 2024-08-01 21:42:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-01 21:46:16 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) |
| 2024-08-01 21:50:29 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-08-01 21:50:53 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-08-01 21:57:46 +0200 | iteratee_ | iteratee |
| 2024-08-01 22:04:47 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-01 22:10:28 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-08-01 22:12:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2024-08-01 22:14:06 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-08-01 22:20:30 +0200 | <Inst> | ??? |
| 2024-08-01 22:20:40 +0200 | <Inst> | @sm |
| 2024-08-01 22:20:55 +0200 | <Inst> | regarding sumi-news? |
| 2024-08-01 22:22:23 +0200 | <Inst> | thank this guy instead |
| 2024-08-01 22:22:24 +0200 | <Inst> | https://alexmingoia.com |
| 2024-08-01 22:26:21 +0200 | falafel | (~falafel@2a0c:5a84:e301:4d01::5c13) (Remote host closed the connection) |
| 2024-08-01 22:28:58 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-08-01 22:32:31 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-08-01 22:33:54 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-01 22:39:58 +0200 | AlexZenon | (~alzenon@94.233.241.125) (Ping timeout: 245 seconds) |
| 2024-08-01 22:44:34 +0200 | AlexZenon | (~alzenon@94.233.241.125) |
| 2024-08-01 23:11:36 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-08-01 23:15:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-01 23:15:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-01 23:20:24 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2024-08-01 23:21:05 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2024-08-01 23:28:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-01 23:32:09 +0200 | Square | (~Square@user/square) |
| 2024-08-01 23:34:20 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-01 23:41:42 +0200 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-08-01 23:43:29 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-01 23:59:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
