Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17628 17629 17630 17631 17632 17633 17634 17635 17636 17637 17638 .. 17972
— 1,797,199 events total
2026-02-25 13:08:20 <merijn> s/hiredman/chromoblob
2026-02-25 13:08:27 <haskellbridge> <magic_rb> yeah Text ftw
2026-02-25 13:08:48 <merijn> converting Text to String is pretty efficient anyway
2026-02-25 13:11:52 ← oskarw parts (~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2))
2026-02-25 13:14:46 <dminuoso> chromoblob: Also, regarding your initial question: GHC compiles to native machine code ultimately, and we compile into object files that get turned into separate object files that are later together, but you dont even know the access pattern ahead of time.
2026-02-25 13:15:25 <chromoblob> yes, i got it
2026-02-25 13:17:14 <dminuoso> Im not entirely sure all excuses are good at the end.
2026-02-25 13:17:18 × housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-25 13:17:24 <dminuoso> I feel like String was a bad idea to begin with.
2026-02-25 13:18:43 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 13:23:14 × qqq quits (~qqq@185.54.22.240) (Ping timeout: 268 seconds)
2026-02-25 13:23:40 × uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 265 seconds)
2026-02-25 13:23:46 → bggd_ joins (~bgg@2a01:e0a:fd5:f510:37b0:d42d:8afb:890)
2026-02-25 13:27:13 → housemate joins (~housemate@202.7.248.67)
2026-02-25 13:36:20 <probie> I think other representations make it a headache if you're not willing to specify what a `Char` actually is
2026-02-25 13:38:55 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 13:43:31 × uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 264 seconds)
2026-02-25 13:59:12 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 14:01:41 × Pozyomka quits (~pyon@user/pyon) (Quit: brb)
2026-02-25 14:06:03 → Pozyomka joins (~pyon@user/pyon)
2026-02-25 14:09:43 × uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 268 seconds)
2026-02-25 14:11:39 × Wanderer quits (~wanderer@user/wanderer) (Server closed connection)
2026-02-25 14:14:35 → Wanderer joins (~wanderer@user/wanderer)
2026-02-25 14:16:45 <dutchie> is there a good way to write `lesserPresent :: Ord a => Maybe a -> Maybe a -> Maybe a` that returns the minimum? currently doing silly things with maybeToList and minimum
2026-02-25 14:17:22 <dutchie> `liftA2 min` is almost exactly the wrong thing
2026-02-25 14:18:13 <dutchie> `asum [liftA2 min mx my, mx, my]`?
2026-02-25 14:18:14 <aka_dude> Hey. I want to talk to mentor of https://summer.haskell.org/ideas.html#ui-layout-library-for-haskell proposal, Adrian Sieber (ad-si). Do you know where can I reach him?
2026-02-25 14:20:53 → lbseale joins (~quassel@user/ep1ctetus)
2026-02-25 14:23:35 × lbseale quits (~quassel@user/ep1ctetus) (Client Quit)
2026-02-25 14:24:19 → lbseale joins (~quassel@user/ep1ctetus)
2026-02-25 14:24:30 <dminuoso> https://hackage.haskell.org/package/base64-bytestring-1.2.1.0/docs/src/Data.ByteString.Base64.html - at the bottom there is a definition for decodePF
2026-02-25 14:24:34 <dminuoso> BS decodeFP _ =
2026-02-25 14:24:37 <dminuoso> What kind of syntax is that?
2026-02-25 14:26:12 → rainbyte joins (~rainbyte@186.22.19.214)
2026-02-25 14:27:54 <__monty__> dminuoso: CPP-aided crimes?
2026-02-25 14:28:15 <dminuoso> I mean PS/BS are pattern synonyms..
2026-02-25 14:28:32 <dminuoso> But neither is PatternSynonyms enabled, nor are there any macros introduced in that file
2026-02-25 14:29:08 <dminuoso> Or rather, PS is a pattern and BS is a constructor..
2026-02-25 14:30:49 <mauke> pattern matching/binding
2026-02-25 14:31:11 <mauke> (:) x _ = [1,2,3]
2026-02-25 14:31:20 <__monty__> > let [x] = ["hello"] in x
2026-02-25 14:31:21 <lambdabot> "hello"
2026-02-25 14:31:22 <dminuoso> mauke: Yeah but..
2026-02-25 14:31:33 <dminuoso> % x :: Int; [x] = 1
2026-02-25 14:31:33 <yahb2> <interactive>:7:17: error: [GHC-39999] ; • No instance for ‘Num [Int]’ arising from the literal ‘1’ ; • In the expression: 1 ; In a pattern binding: [x] = 1
2026-02-25 14:31:38 <dminuoso> I cant do that.
2026-02-25 14:31:45 <dminuoso> Oh
2026-02-25 14:31:47 <mauke> well, that's a type error
2026-02-25 14:31:48 <dminuoso> % x :: Int; [x] = [1]
2026-02-25 14:31:48 <yahb2> <no output>
2026-02-25 14:31:50 <dminuoso> o.o
2026-02-25 14:31:53 dminuoso is baffled
2026-02-25 14:32:07 <dminuoso> I mean it feels obvious and nice, it just never occured to me...
2026-02-25 14:32:53 <mauke> (f, g) = fix (... some nonsense ...)
2026-02-25 14:33:00 <mauke> I'm pretty sure I've done something like this before
2026-02-25 14:33:16 <dminuoso> mauke: Now that you mention it, I actually recall some obscure haskell report facts about this.
2026-02-25 14:33:25 <dminuoso> I think they are called non-trivial pattern bindings or some such
2026-02-25 14:33:31 <dutchie> I've used it when writing Servant stuff
2026-02-25 14:33:43 <__monty__> dminuoso: As for PS, "enabled by the language extension PatternSynonyms, which is required for defining them, but not for using them."
2026-02-25 14:34:06 <dminuoso> __monty__: Ugh.
2026-02-25 14:34:13 <dminuoso> Okay, that explains that part too, then.
2026-02-25 14:35:05 <dminuoso> mauke: MMR does not kick in for these non-trivial bindings, and I think (f, g) was even mentioned as an example in the report.
2026-02-25 14:36:24 <mauke> % [foo] = [42]
2026-02-25 14:36:25 <yahb2> <no output>
2026-02-25 14:36:29 <mauke> % :t foo
2026-02-25 14:36:29 <yahb2> foo :: Num a => a
2026-02-25 14:38:19 × sttau quits (~sttau@199.180.255.81) (Server closed connection)
2026-02-25 14:38:27 → sttau joins (~sttau@199.180.255.81)
2026-02-25 14:40:09 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 248 seconds)
2026-02-25 14:46:03 <dminuoso> By the way, its striking how often the impossible happens to me.
2026-02-25 14:46:05 <dminuoso> ghc: panic! (the 'impossible' happened) (GHC version 9.2.8: primRepToFFIType
2026-02-25 14:49:31 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds)
2026-02-25 14:51:00 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds)
2026-02-25 14:52:34 → fp joins (~Thunderbi@wireless-86-50-141-0.open.aalto.fi)
2026-02-25 14:56:07 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 15:00:35 × uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 245 seconds)
2026-02-25 15:08:35 × troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2026-02-25 15:12:23 → Psychotic1 joins (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4)
2026-02-25 15:12:32 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2026-02-25 15:14:56 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 15:16:59 × Hafydd quits (~Hafydd@user/hafydd) (Server closed connection)
2026-02-25 15:17:17 → Hafydd joins (~Hafydd@user/hafydd)
2026-02-25 15:19:21 × uli-fem quits (~uli-fem@118.210.1.123) (Ping timeout: 255 seconds)
2026-02-25 15:20:43 × fp quits (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 264 seconds)
2026-02-25 15:22:21 → fp joins (~Thunderbi@2001:708:150:10::9d7e)
2026-02-25 15:23:39 × Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2026-02-25 15:23:50 → Adeon joins (sid418992@id-418992.lymington.irccloud.com)
2026-02-25 15:25:39 × ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection)
2026-02-25 15:25:48 → ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com)
2026-02-25 15:29:00 → rekahsoft joins (~rekahsoft@76.67.111.168)
2026-02-25 15:32:59 × dunj3 quits (~dunj3@2a01:239:328:1600::1) (Server closed connection)
2026-02-25 15:33:12 → dunj3 joins (~dunj3@2a01:239:328:1600::1)
2026-02-25 15:34:57 × Psychotic1 quits (~Psychotic@2600:1007:b0aa:7216:54da:2a86:8a54:a2c4) (Quit: Leaving)
2026-02-25 15:35:31 → emaczen joins (~user@user/emaczen)
2026-02-25 15:36:09 × Katarushisu6 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 245 seconds)
2026-02-25 15:43:32 × fp quits (~Thunderbi@2001:708:150:10::9d7e) (Quit: fp)
2026-02-25 15:48:09 → prdak joins (~Thunderbi@user/prdak)
2026-02-25 15:48:30 → Psychotic1 joins (~Psychotic@65.sub-174-245-22.myvzw.com)
2026-02-25 15:49:05 → uli-fem joins (~uli-fem@118.210.1.123)
2026-02-25 15:52:39 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 255 seconds)
←Prev  Next→
Page 1 .. 17628 17629 17630 17631 17632 17633 17634 17635 17636 17637 17638 .. 17972

All times are in UTC.