| 2023-08-16 00:01:43 +0200 | LispTyro | (~pepsi@iron.vengarl.com) (Remote host closed the connection) |
| 2023-08-16 00:02:33 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 00:02:54 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 00:03:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) |
| 2023-08-16 00:06:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-08-16 00:06:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-16 00:07:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:918c:1f42:3cf8:7b7a) (Ping timeout: 245 seconds) |
| 2023-08-16 00:10:03 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 246 seconds) |
| 2023-08-16 00:10:43 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-16 00:13:09 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 00:13:10 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 00:13:10 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 00:13:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-16 00:15:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-16 00:17:16 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2023-08-16 00:17:48 +0200 | nick3 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds) |
| 2023-08-16 00:18:06 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 00:20:09 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 00:20:46 +0200 | son0p | (~ff@181.32.134.99) |
| 2023-08-16 00:24:38 +0200 | Abreu | (~Abreu@143.107.225.16) (Ping timeout: 246 seconds) |
| 2023-08-16 00:24:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-16 00:25:30 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f340195dc8d23b3c708.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-16 00:25:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-08-16 00:26:02 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 00:27:55 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 00:37:03 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-16 00:38:29 +0200 | mawiie | (~mawiie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2023-08-16 00:43:55 +0200 | <mawiie> | do any of you remember what you struggled with most learning Haskell or functional programming for the first time? i want to introduce fp to some friends and was curious about common pitfalls. |
| 2023-08-16 00:44:10 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-16 00:44:54 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2023-08-16 00:45:08 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f29a8bd101470ed31bc.dip0.t-ipconnect.de) |
| 2023-08-16 00:47:26 +0200 | <hpc> | when i learned haskell, i knew java (from classes), perl (from the job), and python (for fun) |
| 2023-08-16 00:47:47 +0200 | <hpc> | and haskell was so different that i had to break down a lot of assumptions in my head before i could get anywhere |
| 2023-08-16 00:48:23 +0200 | <hpc> | i ended up taking a month in the gap between semesters to just power through it with the goal of connecting an irc bot to a network |
| 2023-08-16 00:49:17 +0200 | <EvanR> | when learning scheme I was like how are you supposed to do anything without resorting to mutable variables |
| 2023-08-16 00:49:28 +0200 | <EvanR> | on IRC they told me to just use mutable variables |
| 2023-08-16 00:50:30 +0200 | <EvanR> | also monad tutorials at the time were especially bad |
| 2023-08-16 00:50:44 +0200 | <hpc> | i think the meta-lesson from that whole experience (and then taking a course on electronic circuits shortly after) was that computation is everywhere |
| 2023-08-16 00:51:23 +0200 | <hpc> | and no matter what form of computation you're looking at, there's always a dozen other ways to express any idea that are wildly different |
| 2023-08-16 00:52:23 +0200 | <mawiie> | thank you both. monad tutorials are still not great imo lmao. i think clashing terminology threw me off a lot, aside from the fact i was basically relearning programming from scratch (i came from a C background) |
| 2023-08-16 00:52:25 +0200 | <hpc> | so i guess, while you're busy doing the whole "forget everything you ever knew about programming" thing, try not to let any new assumptions fill in the gap |
| 2023-08-16 00:53:00 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-16 00:54:50 +0200 | <monochrom> | You don't need to teach or learn monads early on. |
| 2023-08-16 00:55:19 +0200 | <mawiie> | definitely agree |
| 2023-08-16 00:56:01 +0200 | <monochrom> | This semester I just survived not teaching monads until the end (and it is not going to be on the exam, at least not on the surface). |
| 2023-08-16 00:56:32 +0200 | <mawiie> | having a hard time convincing my friend that they don't yet have to worry about what is practically the final boss of early haskell |
| 2023-08-16 00:56:44 +0200 | <EvanR> | i noticed some people don't even get started in haskell because they see nothing familiar at all, and instead see a bunch of gratuitous math topics, which can be off putting if you didn't major in math |
| 2023-08-16 00:56:59 +0200 | <monochrom> | So I just taught parsing by saying that pure and >>= are specific to my parser. I did not need to say it's a Monad instance. |
| 2023-08-16 00:57:08 +0200 | <mawiie> | lol sneaky |
| 2023-08-16 00:57:19 +0200 | <hpc> | EvanR: heh, i had a particularly extreme version of that while introducing a coworker to it |
| 2023-08-16 00:57:52 +0200 | <monochrom> | And I did that again when I taught the "S -> Either Error (S, a)" model of mutable state and errors. |
| 2023-08-16 00:57:53 +0200 | <hpc> | i whiteboarded some code to demonstrate something |
| 2023-08-16 00:58:03 +0200 | <hpc> | and at the end he goes "okay, what does that look like in actual code" |
| 2023-08-16 00:58:09 +0200 | <hpc> | and i just said "but... that is the code" |
| 2023-08-16 00:58:12 +0200 | <mawiie> | it's very very tempting to ramble about categories and types even if i know it will only scare them |
| 2023-08-16 00:59:19 +0200 | <EvanR> | oh yeah, that your code takes the form of functions. There's little you can do about that |
| 2023-08-16 00:59:33 +0200 | <EvanR> | it doesn't help industrial languages "don't have functions" |
| 2023-08-16 00:59:59 +0200 | <monochrom> | Most people struggle with FP because they are used to state variables and loops, not used to recursion and just passing changed parameters. |
| 2023-08-16 01:00:35 +0200 | <mawiie> | EvanR: in the "function as in subroutine" vs. "function as in mapping" sense? |
| 2023-08-16 01:00:41 +0200 | <monochrom> | Another way to say it is: Most programmers, because of that self-selection bias, can't do algebra. |
| 2023-08-16 01:01:11 +0200 | <monochrom> | Those who can do algebra have already found more satisfying careers such as math and Jane Street. |
| 2023-08-16 01:01:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-16 01:01:33 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2023-08-16 01:02:01 +0200 | <EvanR> | java ruby c# scala don't have functions subroutines or mappings, but methods. PHP and python have functions but you're told not to use them |
| 2023-08-16 01:02:14 +0200 | <monochrom> | BTW those who can write in natural languages have already found more satisfying careers in journalism, law, literature, etc. This is why programmers can't write docs, and some can't even read docs. |
| 2023-08-16 01:02:44 +0200 | <mawiie> | lmfao checks out. i discovered haskell right as i was getting burnt out with C, and starting to do more math |
| 2023-08-16 01:03:05 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-16 01:03:09 +0200 | <monochrom> | Those who can come up with really good tests have already found more satisfying careers in science (tests = experiments). So we are left with programmers who can't test. |
| 2023-08-16 01:04:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-16 01:04:02 +0200 | <EvanR> | elixir has functions but they are kind of crippled vs haskell functions |
| 2023-08-16 01:04:17 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-08-16 01:04:18 +0200 | <EvanR> | so they have arcane ways of combibining them |
| 2023-08-16 01:04:44 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 248 seconds) |
| 2023-08-16 01:04:45 +0200 | mauke_ | mauke |
| 2023-08-16 01:06:49 +0200 | <monochrom> | Even OO is ruined by programmers. They are unable to grasp the most original, pure, elegant form of OO (Smalltalk, Simula). They can only water it down to micromanaging states again. |
| 2023-08-16 01:07:24 +0200 | <monochrom> | They must water it down. They only know micromanagement. |
| 2023-08-16 01:08:24 +0200 | <monochrom> | OK I stop now. |
| 2023-08-16 01:09:36 +0200 | <monochrom> | I legit teach recursion by saying "don't unfold the recursion, use the induction hypothesis instead". The opposite what how most people teach recursion. |
| 2023-08-16 01:09:41 +0200 | <hpc> | grammatically, it's more subject-oriented programming |
| 2023-08-16 01:10:15 +0200 | <hpc> | x.frazzle(y) is "x frazzles y", and OOP considers that x more important than anything else |
| 2023-08-16 01:10:42 +0200 | <hpc> | actual object-oriented programming is like if you made COMEFROM for function parameters |
| 2023-08-16 01:10:42 +0200 | <monochrom> | I teach at a school where I can take for granted that students can do induction proofs for breakfast. So it works for me. I don't imagine that there is any hope for average programmers. |
| 2023-08-16 01:11:02 +0200 | <ncf> | haskell is copula-oriented programming |
| 2023-08-16 01:11:03 +0200 | <hpc> | i wonder what that would even look like |
| 2023-08-16 01:11:37 +0200 | <probie> | My mother was a programmer (primarily writing COBOL) for 40 years and still gets confused by recursion |
| 2023-08-16 01:11:48 +0200 | <EvanR> | it depends on what the definition of is is |
| 2023-08-16 01:12:15 +0200 | <EvanR> | bill clinton was into an early version of haskell |
| 2023-08-16 01:13:04 +0200 | <geekosaur> | whereas I was horrified when I discovered cobol didn't have recursion |
| 2023-08-16 01:13:31 +0200 | <mawiie> | thank you all for the words noted a few for pedagogy things :3 |
| 2023-08-16 01:13:51 +0200 | <hpc> | geekosaur: if programmers can't understand recursion, how well do you think the intended MBA audience would do? :P |
| 2023-08-16 01:14:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) (Ping timeout: 246 seconds) |
| 2023-08-16 01:15:15 +0200 | <EvanR> | they should have went with corecursion |
| 2023-08-16 01:15:29 +0200 | <EvanR> | assume you understand corecursion. Ok you're done |
| 2023-08-16 01:15:35 +0200 | <monochrom> | heh |
| 2023-08-16 01:16:05 +0200 | <probie> | cobol has some great features like `alter`, so you can mutate your goto statements |
| 2023-08-16 01:16:05 +0200 | <hpc> | but i only understand understanding corecursion! |
| 2023-08-16 01:16:07 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-16 01:17:12 +0200 | <mawiie> | probie: that sounds like control flow hell... |
| 2023-08-16 01:17:13 +0200 | <hpc> | someone should make an object-oriented version of cobol, and name it "add 1 to cobol returning cobol" |
| 2023-08-16 01:17:32 +0200 | <monochrom> | hahahaha |
| 2023-08-16 01:17:53 +0200 | <int-e> | cObOl is the original OO languagel |
| 2023-08-16 01:18:06 +0200 | <monochrom> | I wonder if Gracehopper would be proud. >:) |
| 2023-08-16 01:18:31 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 01:18:42 +0200 | mawiie | (~mawiie@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 2023-08-16 01:19:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 01:19:27 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-16 01:19:44 +0200 | <geekosaur> | iirc visualage cobol has OO features |
| 2023-08-16 01:20:28 +0200 | img | (~img@user/img) |
| 2023-08-16 01:21:15 +0200 | <monochrom> | Visual Age. That forgotten time when IBM had Visual Age <lang>. |
| 2023-08-16 01:21:46 +0200 | monochrom | only knew because of OS/2 |
| 2023-08-16 01:22:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 01:22:17 +0200 | <hpc> | they made it visual so it was easier to C |
| 2023-08-16 01:22:25 +0200 | <monochrom> | hahahaha |
| 2023-08-16 01:22:27 +0200 | <probie> | mawiie: It is. I'm pretty sure most code styles ban it. One of the intended uses is for "initialise on first use", so that te first call jumps to the initialisation code, and then the initialisation code updates it, so that when called again, it just jumps straight into the body |
| 2023-08-16 01:23:19 +0200 | <EvanR> | rewriting address of thunks to improve performance, shameful who would do this |
| 2023-08-16 01:23:43 +0200 | <hpc> | that sounds like python's module imports |
| 2023-08-16 01:23:44 +0200 | <monochrom> | Ooohhh that sounds like exactly our "config = unsafePerformIO (readFile configfile)" :) |
| 2023-08-16 01:23:51 +0200 | <hpc> | when you import a module, it's actually just running top-level code |
| 2023-08-16 01:24:02 +0200 | <hpc> | plus a little bit of magic to make sure a second import doesn't actually do anything |
| 2023-08-16 01:24:41 +0200 | <int-e> | sanity, sacrificed on the alter of performance |
| 2023-08-16 01:24:48 +0200 | <monochrom> | hahahaha |
| 2023-08-16 01:24:49 +0200 | <hpc> | or #include/#ifdef stuff |
| 2023-08-16 01:24:54 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 258 seconds) |
| 2023-08-16 01:26:09 +0200 | <EvanR> | unsafePerformIO combined with readFile |
| 2023-08-16 01:26:21 +0200 | <monochrom> | oops heh |
| 2023-08-16 01:26:31 +0200 | <EvanR> | what, that wasn't on purpose? xD |
| 2023-08-16 01:26:56 +0200 | <monochrom> | I was only intending an unsafePerformIO example. |
| 2023-08-16 01:27:06 +0200 | <hpc> | for maximum performance, read the config file in template haskell |
| 2023-08-16 01:27:21 +0200 | <dolio> | readFile is fine. |
| 2023-08-16 01:27:22 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-16 01:27:28 +0200 | <dolio> | It works just like Brouwer's creating subject. |
| 2023-08-16 01:27:36 +0200 | <EvanR> | agreed |
| 2023-08-16 01:28:33 +0200 | <int-e> | dolio: you say that now but eventually that unsafePerformIO will run inside an STM action that gets GC'd while `readFile` holds a lock and then you'll be mystified for ages. |
| 2023-08-16 01:28:41 +0200 | <EvanR> | anUncomputable = unsafePerformIO (readFile oraclePath) |
| 2023-08-16 01:28:48 +0200 | <dolio> | I didn't say unsafePerformIO is fine. :) |
| 2023-08-16 01:29:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-16 01:29:21 +0200 | <int-e> | (does this extend to unsafeInterleavIO? I imagine it does...) |
| 2023-08-16 01:29:21 +0200 | <hpc> | this is why you use unsafeDupablePerformIO |
| 2023-08-16 01:29:23 +0200 | <hpc> | there, problem solved |
| 2023-08-16 01:29:31 +0200 | <hpc> | and no way does it introduce new problems! |
| 2023-08-16 01:29:40 +0200 | <int-e> | hpc: if by "solved" you mean "exacerbated" |
| 2023-08-16 01:30:02 +0200 | <hpc> | int-e: only if you don't catch the exception :P |
| 2023-08-16 01:30:10 +0200 | <EvanR> | as long as you make sure to catch the unsafePerformIO-inside-atomically exception and retry, you're good |
| 2023-08-16 01:30:11 +0200 | <int-e> | what exception? |
| 2023-08-16 01:30:14 +0200 | <hpc> | any amount of runtime problems can be solved by ignoring them |
| 2023-08-16 01:30:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 01:30:46 +0200 | <int-e> | EvanR: One of us is making stuff up right now and for once it's not me. |
| 2023-08-16 01:31:07 +0200 | <hpc> | oh, i thought it would throw something goofy |
| 2023-08-16 01:31:13 +0200 | hpc | has been writing too much python lately |
| 2023-08-16 01:31:17 +0200 | <EvanR> | or was it atomically inside unsafePerformIO |
| 2023-08-16 01:31:33 +0200 | <geekosaur> | the latter |
| 2023-08-16 01:31:59 +0200 | <monochrom> | Well, a better (!) example would be "stdGen = unsafePerformIO (getCurrentTime >>= newIORef)" |
| 2023-08-16 01:32:21 +0200 | <int-e> | that's probably mostly fine |
| 2023-08-16 01:32:35 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-08-16 01:32:54 +0200 | <int-e> | (no locks, no resources allocated) |
| 2023-08-16 01:33:25 +0200 | <EvanR> | os = unsafePerformIO detectOS |
| 2023-08-16 01:34:57 +0200 | <monochrom> | Actually, System.Info's os is a case of "for maximum performance, read the config file in template haskell" |
| 2023-08-16 01:35:21 +0200 | <monochrom> | To be sure, not literally, just that it's set at GHC's build time. |
| 2023-08-16 01:35:47 +0200 | <EvanR> | interesting |
| 2023-08-16 01:36:13 +0200 | <monochrom> | System.Info source code uses #include and #ifdef etc to define os to be a static string. |
| 2023-08-16 01:37:00 +0200 | <monochrom> | So if you download a GHC binary for Linux, you download one that has "linux" hardcoded in the binary. |
| 2023-08-16 01:37:02 +0200 | <EvanR> | good. So it's a pure value xD |
| 2023-08-16 01:37:19 +0200 | <monochrom> | Yeah it's the only reason why it affords to be just String. |
| 2023-08-16 01:37:22 +0200 | <EvanR> | C preprocessor is a purely functional language |
| 2023-08-16 01:37:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-16 01:38:02 +0200 | <int-e> | ooph |
| 2023-08-16 01:38:21 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 01:38:53 +0200 | <int-e> | (have you ever played with ## and double expansion tricks to generate new macro names...) |
| 2023-08-16 01:39:01 +0200 | <monochrom> | I have! |
| 2023-08-16 01:39:14 +0200 | int-e | isn't sure that "pure" really applies... it feels wrong. |
| 2023-08-16 01:39:28 +0200 | <monochrom> | Err no, I haven't generated new macro names, I have played with ##. |
| 2023-08-16 01:40:41 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 246 seconds) |
| 2023-08-16 01:41:51 +0200 | <int-e> | (Well, "new"... you can't define new macros inside macros, unless you run cpp several times. But you can still assemble already existing macro names to be called from arguments and the details of that are messy) |
| 2023-08-16 01:42:30 +0200 | <monochrom> | I think I might have tried that with ## but not very successful. |
| 2023-08-16 01:42:34 +0200 | <int-e> | (IIRC there was an IOCCC entry that did require running CPP more than once.) |
| 2023-08-16 01:42:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) |
| 2023-08-16 01:43:04 +0200 | <monochrom> | But eventually I learned and used __VA_ARGS__ |
| 2023-08-16 01:43:21 +0200 | <monochrom> | I wrote #define BAN(rt, f, ...) rt f(__VA_ARGS__) { ban(#f); } |
| 2023-08-16 01:43:31 +0200 | <hpc> | the real power move is using m4 instead of CPP |
| 2023-08-16 01:44:03 +0200 | <hpc> | make them nervous every time they type parenthesis |
| 2023-08-16 01:44:24 +0200 | <monochrom> | So that e.g. "BAN(FILE *, fdopen, int, const char *)" expands to: FILE * fdopen(int, const char *) {ban("fdopen"); } |
| 2023-08-16 01:44:59 +0200 | <monochrom> | Bascially I was learning how to use LD_PRELOAD to ban some library functions in homework. |
| 2023-08-16 01:47:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 01:49:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-16 01:53:39 +0200 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
| 2023-08-16 01:53:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 01:54:24 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f29a8bd101470ed31bc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-16 01:58:18 +0200 | <int-e> | Hmm I think my brain is making more out of this than there was. What I managed to reconstruct is: #define Q(x) x; #define APPEND(x,y) Q(x)Q(y) for the traditional CPP but no way to actually invoke another macro. Sorry. |
| 2023-08-16 02:01:12 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-16 02:01:22 +0200 | <int-e> | (while modern CPP will happily append with ## and use the resulting macro name without any weird tricks) |
| 2023-08-16 02:02:51 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 258 seconds) |
| 2023-08-16 02:02:51 +0200 | mauke_ | mauke |
| 2023-08-16 02:07:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 02:07:52 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-08-16 02:10:57 +0200 | troydm | (~troydm@user/troydm) |
| 2023-08-16 02:12:32 +0200 | <EvanR> | any idea waht's going on all of a sudden here https://paste.tomsmeding.com/SQMnEwCW |
| 2023-08-16 02:12:58 +0200 | <EvanR> | did a cosmic ray hit my kernel |
| 2023-08-16 02:13:12 +0200 | <geekosaur> | an update did, I think? |
| 2023-08-16 02:13:19 +0200 | <EvanR> | alright |
| 2023-08-16 02:13:30 +0200 | <EvanR> | turning it off and on again |
| 2023-08-16 02:13:40 +0200 | <geekosaur> | https://discourse.haskell.org/t/facing-mmap-4096-bytes-at-nil-cannot-allocate-memory-youre-not-alo… |
| 2023-08-16 02:15:12 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-16 02:15:59 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2023-08-16 02:16:28 +0200 | <int-e> | that "old" bug! |
| 2023-08-16 02:17:23 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-08-16 02:18:05 +0200 | <int-e> | oh and the thread confuses me with int-index. so common |
| 2023-08-16 02:18:46 +0200 | <EvanR> | that's unfortunate, still happens. Though occasionally I can make it to writing 2*pi and getting an answer before it core dumps |
| 2023-08-16 02:19:10 +0200 | <geekosaur> | what version of ghc/ghci? |
| 2023-08-16 02:19:34 +0200 | <EvanR> | 9.2.5 apparently |
| 2023-08-16 02:19:41 +0200 | <geekosaur> | use 9.4 or 9.6 |
| 2023-08-16 02:19:55 +0200 | <geekosaur> | this really does sound like the kernel bug in that url |
| 2023-08-16 02:20:01 +0200 | <int-e> | which quite accidentally fixes this; it's really a kernel bug |
| 2023-08-16 02:20:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-16 02:20:25 +0200 | <int-e> | but ghc changed how exactly it mmaps low addresses between 9.2 and 9.4. |
| 2023-08-16 02:20:36 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-08-16 02:20:52 +0200 | <int-e> | (I'll trust geekosaur on those versions) |
| 2023-08-16 02:20:56 +0200 | <EvanR> | this is why I hate updating my system |
| 2023-08-16 02:21:11 +0200 | <EvanR> | previous kernel worked |
| 2023-08-16 02:21:17 +0200 | <geekosaur> | yep |
| 2023-08-16 02:21:26 +0200 | <EvanR> | big numbers not always better |
| 2023-08-16 02:21:35 +0200 | <geekosaur> | your turn for that kernel bug |
| 2023-08-16 02:23:15 +0200 | <Axman6> | The many-headed hydra of mmap returns |
| 2023-08-16 02:23:53 +0200 | <EvanR> | 9.6 now successfully computes 2*pi |
| 2023-08-16 02:23:57 +0200 | <EvanR> | great |
| 2023-08-16 02:25:24 +0200 | <Axman6> | Phew, about time, now to head to hackernews to announce the production rediness of Haskell! |
| 2023-08-16 02:26:07 +0200 | <int-e> | Axman6: it was nice knowing you |
| 2023-08-16 02:26:23 +0200 | <Axman6> | Success successfully unavoided |
| 2023-08-16 02:26:57 +0200 | <EvanR> | if the office watercooler were running haskell + linux, and this auto-update happened, we'd be dead in the water... |
| 2023-08-16 02:27:26 +0200 | <Axman6> | Or at least next to it |
| 2023-08-16 02:27:35 +0200 | <int-e> | @quote production |
| 2023-08-16 02:27:35 +0200 | <lambdabot> | scodil says: dcoutts: rad. i'm actually using gtk2hs quite a bit now. its one of those deals where I'm writing prototype software for people who aren't really paying for it, so it will end up being |
| 2023-08-16 02:27:36 +0200 | <lambdabot> | the production software, so you'll probably be getting emails in 5 years asking "what is haskell and how do I install it?" |
| 2023-08-16 02:29:13 +0200 | <Axman6> | There's still some Haskell I wrote like 8 years ago running in production for the Austraslian Government. It should probably be updated, but I'm not sure anyone knows how now |
| 2023-08-16 02:29:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 02:29:59 +0200 | <probie> | Was that at IP Australia? |
| 2023-08-16 02:30:18 +0200 | <Axman6> | NICTA(/CSIRO Data61) |
| 2023-08-16 02:30:51 +0200 | <probie> | That makes more sense |
| 2023-08-16 02:32:42 +0200 | <Axman6> | it's providing data to nationalmap.gov.au, good luck finding it |
| 2023-08-16 02:34:00 +0200 | <hpc> | Axman6: that's so close to a https://en.wikipedia.org/wiki/Omission_of_New_Zealand_from_maps joke :D |
| 2023-08-16 02:35:07 +0200 | <Axman6> | We (claimed) to have some good conversations with the NZ team doing a similar thing to that project, if they actually existed |
| 2023-08-16 02:36:16 +0200 | <Axman6> | "NZ Exists" => "We had interesting conversatons with them" |
| 2023-08-16 02:37:31 +0200 | <hpc> | it's important that the conversations are interesting |
| 2023-08-16 02:37:34 +0200 | <hpc> | otherwise the math doesn't work out |
| 2023-08-16 02:39:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-16 02:42:56 +0200 | <Axman6> | Or in the AU/NZ case, maths |
| 2023-08-16 02:48:21 +0200 | razetime | (~quassel@117.254.37.166) |
| 2023-08-16 02:49:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-16 02:49:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-16 02:49:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 02:54:17 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 02:58:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 02:59:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 246 seconds) |
| 2023-08-16 02:59:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 03:00:48 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2023-08-16 03:02:04 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2023-08-16 03:03:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 03:03:59 +0200 | mud | (~mud@user/kadoban) |
| 2023-08-16 03:08:00 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 03:09:58 +0200 | razetime | (~quassel@117.254.37.166) (Ping timeout: 256 seconds) |
| 2023-08-16 03:10:26 +0200 | razetime | (~quassel@117.254.36.34) |
| 2023-08-16 03:11:27 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-16 03:12:04 +0200 | hyvoid1 | (~hyenavoid@222-0-178-69.static.gci.net) |
| 2023-08-16 03:15:05 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Ping timeout: 245 seconds) |
| 2023-08-16 03:15:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-16 03:17:35 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-16 03:21:50 +0200 | systemhalted | (~systemhal@130.51.137.77) |
| 2023-08-16 03:23:52 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2023-08-16 03:23:55 +0200 | <Axman6> | % type b <- a = a -> b |
| 2023-08-16 03:23:56 +0200 | <yahb2> | <interactive>:87:8: error: ; parse error on input ‘<-’ ; Perhaps this statement should be within a 'do' block? |
| 2023-08-16 03:24:12 +0200 | <Axman6> | % type (<-) b a = a -> b |
| 2023-08-16 03:24:13 +0200 | <yahb2> | <interactive>:89:7: error: ; parse error on input ‘<-’ ; Perhaps this statement should be within a 'do' block? |
| 2023-08-16 03:24:15 +0200 | <Axman6> | :( |
| 2023-08-16 03:24:29 +0200 | <geekosaur> | <- is syntax, not an operator |
| 2023-08-16 03:26:34 +0200 | <Axman6> | It's a bit of a shame, would be nice to have that instead of Op; newtype (<-) b a = Op (a -> b) |
| 2023-08-16 03:38:49 +0200 | <int-e> | :<- would work |
| 2023-08-16 03:40:11 +0200 | <geekosaur> | % type b <-- a = a -> b |
| 2023-08-16 03:40:11 +0200 | <yahb2> | <no output> |
| 2023-08-16 03:45:25 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 03:53:46 +0200 | institor | (~root@user/institor) |
| 2023-08-16 03:57:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-16 03:58:19 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-16 03:59:39 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 04:00:14 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Client Quit) |
| 2023-08-16 04:02:33 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 04:06:25 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-08-16 04:12:24 +0200 | davros1 | (~davros2@host86-183-29-229.range86-183.btcentralplus.com) |
| 2023-08-16 04:14:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8609:fbca:2f35:9884) (Ping timeout: 246 seconds) |
| 2023-08-16 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 04:16:44 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-16 04:23:31 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 244 seconds) |
| 2023-08-16 04:25:13 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-16 04:27:01 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-08-16 04:31:24 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 04:31:24 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-16 04:31:24 +0200 | finn_elija | FinnElija |
| 2023-08-16 04:36:49 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 04:41:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-08-16 04:42:38 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 04:46:16 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-16 04:49:40 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-16 04:55:17 +0200 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-16 04:57:19 +0200 | td_ | (~td@83.135.9.0) |
| 2023-08-16 05:00:19 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-16 05:02:53 +0200 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) |
| 2023-08-16 05:03:11 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 260 seconds) |
| 2023-08-16 05:05:50 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 05:10:04 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 248 seconds) |
| 2023-08-16 05:10:22 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 05:11:22 +0200 | aforemny | (~aforemny@2001:9e8:6cc3:8300:6085:e4aa:6e93:e8c8) |
| 2023-08-16 05:11:48 +0200 | vglfr | (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 2023-08-16 05:12:09 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd8:700:57fe:b2bd:4720:3f78) (Ping timeout: 246 seconds) |
| 2023-08-16 05:12:16 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 05:15:42 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2023-08-16 05:16:08 +0200 | nick3 | (~nick@98.186.194.1) |
| 2023-08-16 05:16:22 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-08-16 05:16:38 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) |
| 2023-08-16 05:16:38 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-08-16 05:19:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-16 05:26:20 +0200 | ft | (~ft@p4fc2a6f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-16 05:28:08 +0200 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) |
| 2023-08-16 05:38:12 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 05:46:08 +0200 | reklack | (~reklack@2600:1700:3560:e20:efde:5cce:ebe6:66c7) |
| 2023-08-16 05:54:39 +0200 | ddellacosta | (~ddellacos@146.70.165.219) (Ping timeout: 246 seconds) |
| 2023-08-16 05:56:16 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ed76:cbc2:e557:fc01) (Ping timeout: 260 seconds) |
| 2023-08-16 06:00:36 +0200 | razetime | (~quassel@117.254.36.34) (Ping timeout: 246 seconds) |
| 2023-08-16 06:06:35 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-16 06:07:05 +0200 | ddellacosta | (~ddellacos@146.70.166.155) |
| 2023-08-16 06:08:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-16 06:10:00 +0200 | lanefoxwood | (~lane@2407:7000:8c67:cf00:ed62:6c37:b506:fe87) |
| 2023-08-16 06:10:37 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 246 seconds) |
| 2023-08-16 06:11:33 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-08-16 06:15:08 +0200 | <reklack> | any other learners here? |
| 2023-08-16 06:15:54 +0200 | <glguy> | reklack: yeah, lots |
| 2023-08-16 06:16:32 +0200 | Square2 | (~Square@user/square) |
| 2023-08-16 06:17:17 +0200 | nick4 | (~nick@98.186.194.1) |
| 2023-08-16 06:17:36 +0200 | <glguy> | activity varies widely over the day, but if there's something you're curious about, ask a question and hang out for a while to give people a chance to reply |
| 2023-08-16 06:19:37 +0200 | nick3 | (~nick@98.186.194.1) (Ping timeout: 260 seconds) |
| 2023-08-16 06:26:51 +0200 | reklack | (~reklack@2600:1700:3560:e20:efde:5cce:ebe6:66c7) (Leaving) |
| 2023-08-16 06:27:24 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-08-16 06:27:43 +0200 | <glguy> | learning complete |
| 2023-08-16 06:29:46 +0200 | lanefoxwood | (~lane@2407:7000:8c67:cf00:ed62:6c37:b506:fe87) () |
| 2023-08-16 06:30:29 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-16 06:34:34 +0200 | <davros1> | Havent touched haskell in ages but did dabble with it. I have clicked into this room again because elsewhere someone is suggesting I learn "category theory" |
| 2023-08-16 06:35:09 +0200 | <davros1> | I use rust these days (still close to c++ but gets some of the appeal of haskell mashed into it) |
| 2023-08-16 06:35:34 +0200 | <glguy> | Why are they suggesting that? What do they think it means? |
| 2023-08-16 06:37:28 +0200 | <glguy> | Haskell is pretty great, but maybe not because if category theory :) |
| 2023-08-16 06:44:08 +0200 | razetime | (~quassel@117.254.36.34) |
| 2023-08-16 06:46:21 +0200 | <Axman6> | There are parts of CT that I have learned over the years, but none of it really (to my knowledge at least) affects my haskell writing day to day |
| 2023-08-16 06:47:25 +0200 | <davros1> | What they say is "category theory will inform us how to make the languages we need that we dont yet have" |
| 2023-08-16 06:47:39 +0200 | <davros1> | Basically its a PL & AI researcher. |
| 2023-08-16 06:48:17 +0200 | <Axman6> | You might enjoy Conal Elliot's talk(s) on compiling to categories, that's the most compelling use I've seen |
| 2023-08-16 06:50:10 +0200 | <Axman6> | I haven't seen this particular instance, but https://www.youtube.com/watch?v=SVRYcrhRCes is probably relevant |
| 2023-08-16 06:50:41 +0200 | <Axman6> | This is the version of the talk I was at https://www.youtube.com/watch?v=vzLK_xE9Zy8&t=1s |
| 2023-08-16 06:52:50 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 06:54:30 +0200 | <probie> | or, if like me, you dislike watching videos - here's the relevant paper http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf |
| 2023-08-16 06:54:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-16 06:58:02 +0200 | <Axman6> | Conal has such a calming way of presenting it's worth the video IMO (The podcast he did for tyoe theory for all was one of the most zen things I've ever heard, birds chirping in the background) |
| 2023-08-16 06:58:11 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-16 06:58:11 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-16 06:58:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 07:13:18 +0200 | <monochrom> | Other reasons to learn category theory: https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf https://math.mit.edu/~dspivak/informatics/ https://applied-compositional-thinking.engineering/ https://www.nasa.gov/sites/default/files/atoms/files/mssrc_uah_nasa_30-09-2018.pdf |
| 2023-08-16 07:14:59 +0200 | <monochrom> | at which point you don't learn category theory for coding, you learn it for thinking at all. |
| 2023-08-16 07:15:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 07:15:55 +0200 | <dolio> | Yeah, that's more the point. |
| 2023-08-16 07:16:54 +0200 | nick1 | (~nick@98.186.194.1) |
| 2023-08-16 07:18:23 +0200 | nick4 | (~nick@98.186.194.1) (Read error: Connection reset by peer) |
| 2023-08-16 07:18:48 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 07:19:57 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-16 07:29:36 +0200 | ddellacosta | (~ddellacos@146.70.166.155) (Ping timeout: 260 seconds) |
| 2023-08-16 07:31:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-16 07:33:30 +0200 | ecraven | (ecraven@user/nex) (Bye) |
| 2023-08-16 07:36:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-16 07:38:36 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 07:38:57 +0200 | <davros1> | Thanks for the above links |
| 2023-08-16 07:39:19 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 07:40:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 07:44:16 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Read error: Connection reset by peer) |
| 2023-08-16 07:45:04 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 07:45:39 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-08-16 07:47:17 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-16 07:49:15 +0200 | <sm> | Axman6: +1 |
| 2023-08-16 07:52:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-16 07:53:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 07:55:24 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-16 08:00:33 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 08:04:04 +0200 | hdggxin | (~hdggxin@122.175.41.19) (Ping timeout: 256 seconds) |
| 2023-08-16 08:07:31 +0200 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-08-16 08:09:07 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 08:16:43 +0200 | nick1 | (~nick@98.186.194.1) (Read error: Connection reset by peer) |
| 2023-08-16 08:17:44 +0200 | nick1 | (~nick@98.186.194.1) |
| 2023-08-16 08:18:01 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 08:24:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-16 08:24:15 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-16 08:24:15 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-16 08:29:49 +0200 | jargon | (~jargon@184.101.68.177) (Remote host closed the connection) |
| 2023-08-16 08:29:57 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-16 08:30:34 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-08-16 08:30:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 08:31:37 +0200 | lisbeths | (uid135845@2a03:5180:f:2::2:12a5) (Quit: Connection closed for inactivity) |
| 2023-08-16 08:34:30 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-16 08:35:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 08:38:20 +0200 | Square | (~Square4@user/square) |
| 2023-08-16 08:39:37 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 08:41:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2023-08-16 08:43:13 +0200 | mankyKitty | (uid31287@id-31287.helmsley.irccloud.com) |
| 2023-08-16 08:44:17 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-16 08:50:30 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-16 08:50:46 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 08:53:17 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-16 08:56:57 +0200 | acidjnk | (~acidjnk@p200300d6e7072f2928df64d2cdd56b4a.dip0.t-ipconnect.de) |
| 2023-08-16 09:00:28 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 09:04:43 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 09:07:04 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-16 09:07:32 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds) |
| 2023-08-16 09:09:59 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-08-16 09:11:19 +0200 | chele | (~chele@user/chele) |
| 2023-08-16 09:13:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
| 2023-08-16 09:13:28 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 252 seconds) |
| 2023-08-16 09:13:36 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 09:14:05 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 09:14:06 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 09:14:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 09:14:06 +0200 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) |
| 2023-08-16 09:16:57 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-16 09:17:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 09:18:29 +0200 | nick3 | (~nick@98.186.194.1) |
| 2023-08-16 09:21:02 +0200 | nick1 | (~nick@98.186.194.1) (Ping timeout: 260 seconds) |
| 2023-08-16 09:22:30 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 09:28:33 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-16 09:34:59 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 09:37:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c91:8e1f:44b4:3bde) |
| 2023-08-16 09:52:21 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 09:53:07 +0200 | razetime | (~quassel@117.254.36.34) (Ping timeout: 260 seconds) |
| 2023-08-16 09:53:17 +0200 | razetime | (~quassel@117.254.37.233) |
| 2023-08-16 09:55:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 2023-08-16 09:56:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-16 09:56:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 09:57:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-16 09:57:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-16 09:57:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 09:58:38 +0200 | <Square> | Are there means to say alias "do" and "<-" or provide syntactic sugar all by yourself? |
| 2023-08-16 09:58:57 +0200 | <lyxia> | Square: RebindableSyntax? |
| 2023-08-16 09:59:11 +0200 | <Square> | ok, Ill check that out |
| 2023-08-16 09:59:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 10:00:42 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-08-16 10:00:43 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) |
| 2023-08-16 10:01:23 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-16 10:01:35 +0200 | natto | (~natto@140.238.225.67) (Quit: a.) |
| 2023-08-16 10:02:03 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 10:04:58 +0200 | danza | (~francesco@151.19.252.170) |
| 2023-08-16 10:07:00 +0200 | razetime | (~quassel@117.254.37.233) (Ping timeout: 246 seconds) |
| 2023-08-16 10:07:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-16 10:09:44 +0200 | danza | (~francesco@151.19.252.170) (Read error: Connection reset by peer) |
| 2023-08-16 10:09:56 +0200 | natto | (~natto@129.154.243.159) |
| 2023-08-16 10:11:42 +0200 | <tomsmeding> | Square: also check QualifiedDo |
| 2023-08-16 10:11:56 +0200 | <tomsmeding> | lighter-weight option if that's enough for you |
| 2023-08-16 10:12:07 +0200 | razetime | (~quassel@117.254.36.15) |
| 2023-08-16 10:12:08 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-16 10:12:25 +0200 | <Square> | Ok, Ill check that out. Some googling seems to hint you need to roll your own ghc preprocessor |
| 2023-08-16 10:14:00 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-16 10:14:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 10:14:49 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 10:17:27 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-08-16 10:18:20 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-16 10:18:25 +0200 | nick4 | (~nick@98.186.194.1) |
| 2023-08-16 10:20:26 +0200 | nick3 | (~nick@98.186.194.1) (Ping timeout: 245 seconds) |
| 2023-08-16 10:20:55 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 10:22:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 10:22:52 +0200 | nick4 | (~nick@98.186.194.1) (Ping timeout: 240 seconds) |
| 2023-08-16 10:26:45 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) (Remote host closed the connection) |
| 2023-08-16 10:27:08 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) |
| 2023-08-16 10:29:37 +0200 | <dminuoso> | Square: Depending on what you do, just implementing Monad in itself is also an option. Consider something like free monads as well. |
| 2023-08-16 10:29:47 +0200 | <dminuoso> | Or freer monads. |
| 2023-08-16 10:30:10 +0200 | <dminuoso> | In some sense the Monad abstraction in itself *is* the reprogrammable <- |
| 2023-08-16 10:33:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-16 10:33:04 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 10:33:04 +0200 | finn_elija | FinnElija |
| 2023-08-16 10:35:31 +0200 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 10:38:46 +0200 | razetime | (~quassel@117.254.36.15) (Ping timeout: 245 seconds) |
| 2023-08-16 10:39:06 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 10:39:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 2023-08-16 10:40:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 10:42:24 +0200 | danse-nr3 | (~francesco@151.37.171.29) |
| 2023-08-16 10:47:13 +0200 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-16 10:48:00 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 10:50:09 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 10:51:44 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2023-08-16 10:55:15 +0200 | natto | (~natto@129.154.243.159) (Quit: a.) |
| 2023-08-16 10:55:41 +0200 | natto | (~natto@129.154.243.159) |
| 2023-08-16 10:56:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-16 10:56:54 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 10:57:29 +0200 | razetime | (~quassel@117.254.36.107) |
| 2023-08-16 10:59:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-16 10:59:56 +0200 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-16 11:01:06 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-08-16 11:02:18 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-16 11:07:26 +0200 | <lortabac> | is there a particular reason why ghcup still recommends GHC 9.2? |
| 2023-08-16 11:13:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) |
| 2023-08-16 11:13:45 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) (Quit: Konversation terminated!) |
| 2023-08-16 11:16:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 11:17:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) (Ping timeout: 248 seconds) |
| 2023-08-16 11:21:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-16 11:27:10 +0200 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-16 11:27:24 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-16 11:27:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 11:32:10 +0200 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 11:35:12 +0200 | nick1 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 11:38:02 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2023-08-16 11:40:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-16 11:46:25 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-08-16 11:46:25 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-08-16 11:46:25 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-16 11:46:26 +0200 | tzh | (~tzh@24.21.73.154) (Quit: zzz) |
| 2023-08-16 11:52:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 11:55:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-16 11:55:42 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 11:55:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-16 11:56:44 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-16 11:57:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 12:02:45 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-16 12:05:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-16 12:07:10 +0200 | APic | (apic@apic.name) (Quit: Lost terminal) |
| 2023-08-16 12:13:08 +0200 | razetime | (~quassel@117.254.36.107) (Ping timeout: 252 seconds) |
| 2023-08-16 12:13:10 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 244 seconds) |
| 2023-08-16 12:13:10 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-16 12:13:42 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-16 12:14:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-16 12:15:38 +0200 | APic | (apic@apic.name) |
| 2023-08-16 12:20:23 +0200 | phma | (~phma@2001:5b0:2144:1f78:3563:b591:d7dd:84e3) (Read error: Connection reset by peer) |
| 2023-08-16 12:21:33 +0200 | phma | (phma@2001:5b0:212a:b868:31d2:882f:e731:39e9) |
| 2023-08-16 12:29:29 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-16 12:32:56 +0200 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 12:35:52 +0200 | nick3 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 12:38:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-08-16 12:41:44 +0200 | vpan | (~vpan@mail.elitnet.lt) (Ping timeout: 252 seconds) |
| 2023-08-16 12:56:24 +0200 | joeyh_ | (~joeyh@kitenet.net) |
| 2023-08-16 12:57:17 +0200 | jil`` | (~user@vps-15050500.vps.ovh.net) |
| 2023-08-16 12:57:21 +0200 | megaTherion_ | (~therion@unix.io) |
| 2023-08-16 12:57:27 +0200 | mxs_ | (~mxs@user/mxs) |
| 2023-08-16 12:57:36 +0200 | Me-me | (~me-me@user/me-me) (Killed (NickServ (GHOST command used by Wstfgl0!~me-me@2602:ff16:3:0:1:dc:beef:d00d))) |
| 2023-08-16 12:57:44 +0200 | gaze____ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2023-08-16 12:57:58 +0200 | davetapley_ | (sid666@2a03:5180:f:5::29a) |
| 2023-08-16 12:58:00 +0200 | Me-me | (~me-me@user/me-me) |
| 2023-08-16 12:59:45 +0200 | NiKaN_ | (sid385034@2a03:5180:f:1::5:e00a) |
| 2023-08-16 13:00:59 +0200 | whatsupdoc_ | (uid509081@id-509081.hampstead.irccloud.com) |
| 2023-08-16 13:05:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 13:05:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | schmoats | (~thomas@user/oats) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | actioninja6302 | (~actioninj@user/actioninja) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | telser | (~quassel@user/telser) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | g | (~glguy@libera/staff-emeritus/glguy) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | kimiamania60 | (~65804703@user/kimiamania) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | Nikopol | (nikopol@user/astrorigin) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | nullsh | (nullsh@user/nexeq) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | ncf | (~n@monade.li) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | AmyMalik | (ellenor@callbox.trd.is) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | joeyh | (joeyh@2600:3c03::f03c:91ff:fe73:b0d2) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | hueso | (~root@user/hueso) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2023-08-16 13:05:29 +0200 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2023-08-16 13:05:30 +0200 | Athas | (athas@sigkill.dk) (*.net *.split) |
| 2023-08-16 13:05:30 +0200 | jil` | (~user@vps-15050500.vps.ovh.net) (*.net *.split) |
| 2023-08-16 13:05:30 +0200 | mmarusea1ph2 | (~mihai@mihai.page) (*.net *.split) |
| 2023-08-16 13:05:30 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2023-08-16 13:05:30 +0200 | davetapley_ | davetapley |
| 2023-08-16 13:05:30 +0200 | mxs_ | mxs |
| 2023-08-16 13:05:32 +0200 | gaze____ | gaze___ |
| 2023-08-16 13:05:33 +0200 | whatsupdoc_ | whatsupdoc |
| 2023-08-16 13:05:36 +0200 | NiKaN_ | NiKaN |
| 2023-08-16 13:05:52 +0200 | <fendor> | lortabac, because maerwald considers it to be recommended version :P |
| 2023-08-16 13:06:00 +0200 | ncf | (~n@monade.li) |
| 2023-08-16 13:06:01 +0200 | <fendor> | *the recommended version |
| 2023-08-16 13:06:56 +0200 | <lortabac> | I mean, is there a reason or did he just forget to update the recommended version in ghcup? |
| 2023-08-16 13:07:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-16 13:07:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-16 13:07:34 +0200 | schmoats | (~thomas@user/oats) |
| 2023-08-16 13:07:34 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-16 13:07:34 +0200 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-16 13:07:34 +0200 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-16 13:07:34 +0200 | telser | (~quassel@user/telser) |
| 2023-08-16 13:07:34 +0200 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) |
| 2023-08-16 13:07:34 +0200 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 13:07:34 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 13:07:34 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) |
| 2023-08-16 13:07:34 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-08-16 13:07:34 +0200 | Nikopol | (nikopol@user/astrorigin) |
| 2023-08-16 13:07:34 +0200 | nullsh | (nullsh@user/nexeq) |
| 2023-08-16 13:07:34 +0200 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) |
| 2023-08-16 13:07:34 +0200 | extor | (~extor@ns3018124.ip-149-202-82.eu) |
| 2023-08-16 13:07:34 +0200 | hueso | (~root@user/hueso) |
| 2023-08-16 13:07:34 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-08-16 13:07:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-08-16 13:07:34 +0200 | Athas | (athas@sigkill.dk) |
| 2023-08-16 13:07:34 +0200 | mmarusea1ph2 | (~mihai@mihai.page) |
| 2023-08-16 13:07:34 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2023-08-16 13:07:39 +0200 | kimiamania60 | (~65804703@user/kimiamania) (Max SendQ exceeded) |
| 2023-08-16 13:07:39 +0200 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) (Max SendQ exceeded) |
| 2023-08-16 13:07:51 +0200 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 13:07:56 +0200 | EsoAlgo81 | (~EsoAlgo@129.146.136.145) |
| 2023-08-16 13:09:58 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 13:12:58 +0200 | <fendor> | lortabac, well, you don't recommend the latest major version because these usually have some bug at the beginning |
| 2023-08-16 13:13:11 +0200 | <fendor> | then tooling and ecosystem support is a thing |
| 2023-08-16 13:13:24 +0200 | <fendor> | like, do most major framework work with that particular ghc version. |
| 2023-08-16 13:14:55 +0200 | tromp | (~textual@92.110.219.57) |
| 2023-08-16 13:20:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:28c9:18b1:9a03:fe67) |
| 2023-08-16 13:20:53 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-16 13:22:10 +0200 | acidjnk | (~acidjnk@p200300d6e7072f2928df64d2cdd56b4a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-16 13:23:02 +0200 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) |
| 2023-08-16 13:23:06 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::45ac) |
| 2023-08-16 13:24:49 +0200 | AmyMalik | (ellenor@callbox.trd.is) |
| 2023-08-16 13:29:52 +0200 | feetwind | (~mike@user/feetwind) (Quit: WeeChat 3.1) |
| 2023-08-16 13:33:36 +0200 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 13:35:48 +0200 | nick4 | (~nick@98.186.194.96) (Ping timeout: 246 seconds) |
| 2023-08-16 13:36:59 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 13:37:07 +0200 | vpan | (~vpan@mail.elitnet.lt) (Client Quit) |
| 2023-08-16 13:37:21 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 13:37:22 +0200 | vpan | Guest9491 |
| 2023-08-16 13:37:29 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 13:37:42 +0200 | Guest9491 | (~vpan@mail.elitnet.lt) (Client Quit) |
| 2023-08-16 13:38:20 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-16 13:39:07 +0200 | vpan | (~vpan@mail.elitnet.lt) |
| 2023-08-16 13:39:30 +0200 | vpan | Guest398 |
| 2023-08-16 13:40:52 +0200 | Guest398 | vpan |
| 2023-08-16 13:44:13 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 13:44:54 +0200 | danse-nr3 | (~francesco@151.37.171.29) (Read error: Connection reset by peer) |
| 2023-08-16 13:47:02 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2023-08-16 13:47:39 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 13:49:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 13:51:54 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2023-08-16 13:53:24 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-16 14:02:01 +0200 | danse-nr3 | (~francesco@151.57.234.145) |
| 2023-08-16 14:03:04 +0200 | absence_ | absence |
| 2023-08-16 14:06:11 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::45ac) (Remote host closed the connection) |
| 2023-08-16 14:06:22 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-16 14:09:52 +0200 | <absence> | if the operating system says my haskell program uses several hundred MB "dirty" memory, but the GHC heap profiler only reports a few MB, does that mean most of the memory is allocated by C libraries called through FFI? |
| 2023-08-16 14:10:59 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-16 14:13:25 +0200 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 14:15:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) |
| 2023-08-16 14:20:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:24d9:c764:9b7e:c516) (Ping timeout: 246 seconds) |
| 2023-08-16 14:21:12 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-08-16 14:21:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-16 14:22:37 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 14:25:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-16 14:26:49 +0200 | <exarkun> | How do I have `cabal haddock` build docs with links to targets in dependencies? `cabal haddock --haddock-for-hackage` just tells me that it didn't find documentation for dependencies so it won't generate links to them. I don't have to `cabal haddock <each of those packages>` manually do I? |
| 2023-08-16 14:34:25 +0200 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 14:36:48 +0200 | nick1 | (~nick@98.186.194.96) (Ping timeout: 244 seconds) |
| 2023-08-16 14:38:01 +0200 | danse-nr3 | (~francesco@151.57.234.145) (Ping timeout: 258 seconds) |
| 2023-08-16 14:38:28 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 14:42:02 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-16 14:42:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 14:42:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-08-16 14:44:57 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 14:45:08 +0200 | danse-nr3 | (~francesco@151.57.234.145) |
| 2023-08-16 14:45:19 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6b99:6245:cbff:fe9f:48b1) |
| 2023-08-16 14:46:56 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 14:47:33 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 14:50:15 +0200 | AlexZenon | (~alzenon@178.34.161.177) (Quit: ;-) |
| 2023-08-16 14:50:35 +0200 | Alex_test | (~al_test@178.34.161.177) (Quit: ;-) |
| 2023-08-16 14:50:35 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 14:51:07 +0200 | AlexNoo | (~AlexNoo@178.34.161.177) (Quit: Leaving) |
| 2023-08-16 14:51:37 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 14:54:27 +0200 | phma | (phma@2001:5b0:212a:b868:31d2:882f:e731:39e9) (Read error: Connection reset by peer) |
| 2023-08-16 14:54:46 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 14:55:26 +0200 | phma | (~phma@host-67-44-208-132.hnremote.net) |
| 2023-08-16 14:56:21 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Client Quit) |
| 2023-08-16 14:56:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-16 14:58:40 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-08-16 15:03:56 +0200 | CiaoSen | (~Jura@2a05:5800:29b:aa00:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-16 15:09:52 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 15:14:32 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 15:15:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-08-16 15:15:09 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-08-16 15:15:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-08-16 15:15:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-08-16 15:15:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 15:15:56 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-16 15:16:03 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-16 15:17:20 +0200 | Guest74 | (~Guest74@cst-prg-39-107.cust.vodafone.cz) |
| 2023-08-16 15:18:25 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 15:19:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 15:20:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-08-16 15:20:20 +0200 | AlexZenon | (~alzenon@178.34.161.177) |
| 2023-08-16 15:20:31 +0200 | AlexNoo | (~AlexNoo@178.34.161.177) |
| 2023-08-16 15:20:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 15:21:37 +0200 | Guest74 | (~Guest74@cst-prg-39-107.cust.vodafone.cz) (Quit: Client closed) |
| 2023-08-16 15:21:46 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-16 15:23:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-16 15:26:19 +0200 | Alex_test | (~al_test@178.34.161.177) |
| 2023-08-16 15:28:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 246 seconds) |
| 2023-08-16 15:34:10 +0200 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 15:35:24 +0200 | migas | (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 2023-08-16 15:35:58 +0200 | nick1 | (~nick@98.186.194.96) |
| 2023-08-16 15:36:03 +0200 | migas | (~migas@62.138.8.62) |
| 2023-08-16 15:36:37 +0200 | nick3 | (~nick@98.186.194.96) (Ping timeout: 245 seconds) |
| 2023-08-16 15:38:26 +0200 | nick4 | (~nick@98.186.194.96) (Ping timeout: 250 seconds) |
| 2023-08-16 15:38:42 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) |
| 2023-08-16 15:38:50 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Quit: WeeChat 4.0.3) |
| 2023-08-16 15:39:29 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-16 15:45:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-16 15:46:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 15:50:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 15:52:57 +0200 | <hippoid> | I'm looking at the source code for the `any` function in base https://hackage.haskell.org/package/base-4.18.0.0/docs/src/Data.Foldable.html#any, and see unfamiliar "#." in the code. What are those #. ? |
| 2023-08-16 15:54:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 15:55:37 +0200 | <ncf> | you can click them https://hackage.haskell.org/package/base-4.18.0.0/docs/src/Data.Functor.Utils.html#%23. |
| 2023-08-16 15:55:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 15:59:35 +0200 | <hippoid> | ncf: thanks |
| 2023-08-16 16:04:00 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 16:05:34 +0200 | ystael | (~ystael@user/ystael) |
| 2023-08-16 16:08:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-16 16:10:38 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-16 16:12:47 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-16 16:15:45 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 16:17:48 +0200 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
| 2023-08-16 16:18:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 16:19:48 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 16:25:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-16 16:27:23 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-08-16 16:32:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-16 16:32:52 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2023-08-16 16:34:24 +0200 | Achylles | (~Achylles_@45.182.57.121) |
| 2023-08-16 16:34:52 +0200 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 16:35:38 +0200 | nick1 | (~nick@98.186.194.96) (Read error: Connection reset by peer) |
| 2023-08-16 16:38:12 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 16:46:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 16:49:33 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 16:49:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c91:8e1f:44b4:3bde) (Quit: WeeChat 2.8) |
| 2023-08-16 16:53:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 16:53:53 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 16:53:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-16 16:57:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-08-16 16:58:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 16:59:42 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-16 17:04:58 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 17:06:07 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 17:08:42 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-16 17:09:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 17:10:24 +0200 | phma | (~phma@host-67-44-208-132.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-16 17:10:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 17:11:45 +0200 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) |
| 2023-08-16 17:12:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-16 17:18:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c463:2a1:afdf:1815) |
| 2023-08-16 17:19:40 +0200 | <tomsmeding> | absence: could it be that the program _used_ several hundred MB, but freed it in the haskell heap in the meantime (but the RTS didn't return the pages yet)? (just a guess) |
| 2023-08-16 17:20:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 17:23:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c463:2a1:afdf:1815) (Ping timeout: 248 seconds) |
| 2023-08-16 17:24:35 +0200 | econo_ | (uid147250@2a03:5180:f::2:3f32) |
| 2023-08-16 17:27:32 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-08-16 17:29:16 +0200 | son0p | (~ff@181.32.134.99) (Ping timeout: 248 seconds) |
| 2023-08-16 17:29:28 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 17:34:20 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds) |
| 2023-08-16 17:35:09 +0200 | nick3 | (~nick@98.186.194.96) (Read error: Connection reset by peer) |
| 2023-08-16 17:35:27 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-16 17:36:01 +0200 | nick3 | (~nick@98.186.194.96) |
| 2023-08-16 17:36:17 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2023-08-16 17:38:47 +0200 | son0p | (~ff@181.32.134.99) |
| 2023-08-16 17:41:00 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-16 17:41:26 +0200 | kralle2 | (~snuckls@p4fd1a580.dip0.t-ipconnect.de) |
| 2023-08-16 17:42:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 17:42:50 +0200 | TMA | (tma@twin.jikos.cz) |
| 2023-08-16 17:47:27 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 17:53:02 +0200 | danse-nr3 | (~francesco@151.57.234.145) (Ping timeout: 252 seconds) |
| 2023-08-16 17:58:07 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 17:58:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 18:04:25 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 18:10:10 +0200 | kralle2 | todi |
| 2023-08-16 18:12:48 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 18:13:58 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 18:14:54 +0200 | vpan | (~vpan@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-16 18:16:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 18:19:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 18:24:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 18:26:45 +0200 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 18:27:14 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 2023-08-16 18:30:56 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-16 18:31:39 +0200 | kritzefitz_ | kritzefitz |
| 2023-08-16 18:35:11 +0200 | Achylles | (~Achylles_@45.182.57.121) (Remote host closed the connection) |
| 2023-08-16 18:36:04 +0200 | nick4 | (~nick@98.186.194.96) |
| 2023-08-16 18:38:22 +0200 | razetime | (~quassel@117.254.36.237) |
| 2023-08-16 18:38:41 +0200 | nick3 | (~nick@98.186.194.96) (Ping timeout: 260 seconds) |
| 2023-08-16 18:40:37 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 18:43:15 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-16 18:47:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 18:51:05 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 18:52:36 +0200 | arahael | (~arahael@119.18.1.27) |
| 2023-08-16 18:54:03 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 18:54:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-16 18:54:36 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2023-08-16 18:55:35 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 18:56:21 +0200 | danse-nr3 | (~francesco@151.57.58.233) |
| 2023-08-16 18:57:16 +0200 | arahael | (~arahael@119.18.1.27) (Ping timeout: 248 seconds) |
| 2023-08-16 18:58:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-16 19:00:16 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 2023-08-16 19:03:08 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 19:03:50 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-16 19:06:37 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
| 2023-08-16 19:07:30 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 2023-08-16 19:07:32 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds) |
| 2023-08-16 19:09:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 19:09:50 +0200 | razetime | (~quassel@117.254.36.237) (Remote host closed the connection) |
| 2023-08-16 19:11:15 +0200 | simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 19:12:26 +0200 | simikando | Simikando |
| 2023-08-16 19:13:33 +0200 | acidjnk | (~acidjnk@p200300d6e7072f293dac0765791dcab4.dip0.t-ipconnect.de) |
| 2023-08-16 19:14:02 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-16 19:14:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-16 19:14:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Client Quit) |
| 2023-08-16 19:14:24 +0200 | nick4 | (~nick@98.186.194.96) (Ping timeout: 246 seconds) |
| 2023-08-16 19:14:33 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-16 19:15:22 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 19:17:46 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 19:19:03 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-16 19:19:54 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-16 19:21:15 +0200 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 246 seconds) |
| 2023-08-16 19:23:14 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-08-16 19:23:37 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-16 19:24:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-16 19:26:10 +0200 | mauke | (~mauke@user/mauke) |
| 2023-08-16 19:26:52 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 19:30:02 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-16 19:32:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-08-16 19:32:09 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-16 19:36:32 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 19:40:49 +0200 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 19:40:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2023-08-16 19:42:13 +0200 | megaTherion_ | megaTherion |
| 2023-08-16 19:44:48 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-08-16 19:47:05 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-16 19:50:07 +0200 | dcoutts | (~duncan@188.164.224.156) (Remote host closed the connection) |
| 2023-08-16 19:50:29 +0200 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 19:52:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-16 20:01:20 +0200 | arahael | (~arahael@119.18.1.27) |
| 2023-08-16 20:06:04 +0200 | arahael | (~arahael@119.18.1.27) (Ping timeout: 248 seconds) |
| 2023-08-16 20:12:52 +0200 | danse-nr3 | (~francesco@151.57.58.233) (Ping timeout: 245 seconds) |
| 2023-08-16 20:16:06 +0200 | dcoutts | (~duncan@188.164.224.156) (Ping timeout: 260 seconds) |
| 2023-08-16 20:17:52 +0200 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 260 seconds) |
| 2023-08-16 20:19:38 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-16 20:20:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 20:21:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-16 20:27:19 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 20:28:45 +0200 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 2023-08-16 20:29:53 +0200 | g | (~glguy@libera/staff-emeritus/glguy) (Remote host closed the connection) |
| 2023-08-16 20:30:01 +0200 | g | (~glguy@libera/staff-emeritus/glguy) |
| 2023-08-16 20:34:49 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-16 20:35:57 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 20:36:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-16 20:37:27 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-16 20:40:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 20:45:56 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-16 21:08:49 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 21:09:11 +0200 | Simikando | (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-16 21:13:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 21:17:48 +0200 | son0p | (~ff@181.32.134.99) (Ping timeout: 246 seconds) |
| 2023-08-16 21:25:47 +0200 | actioninja63026 | (~actioninj@user/actioninja) |
| 2023-08-16 21:27:02 +0200 | actioninja6302 | (~actioninj@user/actioninja) (Ping timeout: 245 seconds) |
| 2023-08-16 21:27:02 +0200 | actioninja63026 | actioninja6302 |
| 2023-08-16 21:36:15 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 21:37:44 +0200 | mima | (~mmh@net-93-67-213-242.cust.vodafonedsl.it) |
| 2023-08-16 21:39:59 +0200 | danza | (~francesco@151.57.58.233) |
| 2023-08-16 21:40:58 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 21:41:20 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 21:42:15 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 21:44:50 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-16 21:48:20 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-16 21:48:49 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-16 21:50:05 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 21:50:42 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Remote host closed the connection) |
| 2023-08-16 21:51:19 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-16 21:51:50 +0200 | danza_ | (~francesco@151.37.229.122) |
| 2023-08-16 21:52:04 +0200 | danza | (~francesco@151.57.58.233) (Read error: Connection reset by peer) |
| 2023-08-16 21:53:24 +0200 | danse-nr3 | (~francesco@151.37.229.122) |
| 2023-08-16 21:54:42 +0200 | ft | (~ft@p4fc2ac60.dip0.t-ipconnect.de) |
| 2023-08-16 21:56:15 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-16 21:56:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-16 21:57:32 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) |
| 2023-08-16 21:57:52 +0200 | danse-nr3 | (~francesco@151.37.229.122) (Ping timeout: 245 seconds) |
| 2023-08-16 22:00:56 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-16 22:01:39 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-16 22:06:07 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-16 22:10:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 22:10:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 22:10:40 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 256 seconds) |
| 2023-08-16 22:12:47 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-16 22:13:32 +0200 | biberu | (~biberu@user/biberu) |
| 2023-08-16 22:14:39 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-16 22:15:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-16 22:17:15 +0200 | slack1256 | (~slack1256@186.11.73.140) |
| 2023-08-16 22:22:31 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-16 22:27:34 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::fba) (Remote host closed the connection) |
| 2023-08-16 22:28:21 +0200 | zeenk | (~zeenk@2a02:2f04:a010:9500::7fe) |
| 2023-08-16 22:34:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-16 22:35:01 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-08-16 22:37:09 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 22:37:33 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 22:37:43 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
| 2023-08-16 22:43:01 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 22:45:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-16 22:47:45 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-16 22:53:21 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-08-16 22:57:12 +0200 | kimiamania60 | (~65804703@user/kimiamania) (Ping timeout: 240 seconds) |
| 2023-08-16 23:08:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-16 23:10:56 +0200 | slac28156 | (~slack1256@181.203.38.129) |
| 2023-08-16 23:12:52 +0200 | slack1256 | (~slack1256@186.11.73.140) (Ping timeout: 245 seconds) |
| 2023-08-16 23:14:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-16 23:15:18 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-16 23:16:14 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 23:18:35 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-16 23:21:16 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 23:21:49 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-08-16 23:26:04 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2023-08-16 23:27:56 +0200 | son0p | (~ff@191.104.6.44) |
| 2023-08-16 23:28:32 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-08-16 23:30:52 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 2023-08-16 23:31:51 +0200 | kimiamania60 | (~65804703@user/kimiamania) |
| 2023-08-16 23:32:21 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 2023-08-16 23:40:24 +0200 | dcoutts | (~duncan@188.164.224.156) |
| 2023-08-16 23:43:53 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-16 23:47:11 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-08-16 23:47:14 +0200 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) (Read error: Connection reset by peer) |
| 2023-08-16 23:47:39 +0200 | phma | (phma@2001:5b0:211f:cfc8:98ce:ffc4:ee78:d282) |
| 2023-08-16 23:48:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-16 23:49:56 +0200 | <dsal> | I keep feeling like I want to make a function like `Applicative t => Bool -> t ()` where, e.g., `True` is `pure ()` and `False` is… something else. Is there a sensible way to write something like this with just an Applicative constraint? |
| 2023-08-16 23:51:02 +0200 | <dsal> | This kind of stuff exists in Monad, but not Applicative. Seems weird. |
| 2023-08-16 23:51:48 +0200 | <dsal> | Oh, I guess that's what Alternative is. |
| 2023-08-16 23:51:55 +0200 | <dsal> | I'm looking for like, ApplicativeZero or something. heh |
| 2023-08-16 23:52:41 +0200 | <exarkun> | sounds close to `when` |
| 2023-08-16 23:53:00 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:453f:7161:f0bd:5ace) (Remote host closed the connection) |
| 2023-08-16 23:53:21 +0200 | travisb_ | (~tabemann@2600:1700:7990:24e0:8106:70ee:7ed9:7eae) |
| 2023-08-16 23:54:11 +0200 | <mauke> | :t unless |
| 2023-08-16 23:54:12 +0200 | <lambdabot> | Applicative f => Bool -> f () -> f () |
| 2023-08-16 23:54:23 +0200 | <probie> | :t guard |
| 2023-08-16 23:54:24 +0200 | <lambdabot> | Alternative f => Bool -> f () |
| 2023-08-16 23:54:40 +0200 | <dsal> | I guess `()` muddied the example there a bit. |
| 2023-08-16 23:54:52 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2023-08-16 23:55:09 +0200 | <dsal> | I want `A -> Maybe B`, but for stuff other than `Maybe`. |
| 2023-08-16 23:55:15 +0200 | <dsal> | Alternative seems to be the right answer. |
| 2023-08-16 23:55:30 +0200 | <monochrom> | Yeah Alternative. False -> empty |
| 2023-08-16 23:56:01 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-16 23:56:02 +0200 | <monochrom> | I don't think the community has needed a "pure and empty, nothing else" class yet. :) |
| 2023-08-16 23:56:08 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-08-16 23:56:53 +0200 | <dsal> | Yeah, I don't actually need `*>` here. More evidence that a class should have, at most, one method. |
| 2023-08-16 23:57:46 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 256 seconds) |
| 2023-08-16 23:59:40 +0200 | Guest5653 | (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |