2026/02/25

Newest at the top

2026-02-25 15:29:08 +0100 <dminuoso> Or rather, PS is a pattern and BS is a constructor..
2026-02-25 15:28:32 +0100 <dminuoso> But neither is PatternSynonyms enabled, nor are there any macros introduced in that file
2026-02-25 15:28:15 +0100 <dminuoso> I mean PS/BS are pattern synonyms..
2026-02-25 15:27:54 +0100 <__monty__> dminuoso: CPP-aided crimes?
2026-02-25 15:26:12 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-25 15:24:37 +0100 <dminuoso> What kind of syntax is that?
2026-02-25 15:24:34 +0100 <dminuoso> BS decodeFP _ =
2026-02-25 15:24:30 +0100 <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 15:24:19 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-25 15:23:35 +0100lbseale(~quassel@user/ep1ctetus) (Client Quit)
2026-02-25 15:20:53 +0100lbseale(~quassel@user/ep1ctetus) ep1ctetus
2026-02-25 15:18:14 +0100 <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 15:18:13 +0100 <dutchie> `asum [liftA2 min mx my, mx, my]`?
2026-02-25 15:17:22 +0100 <dutchie> `liftA2 min` is almost exactly the wrong thing
2026-02-25 15:16:45 +0100 <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 15:14:35 +0100Wanderer(~wanderer@user/wanderer) Wanderer
2026-02-25 15:11:39 +0100Wanderer(~wanderer@user/wanderer) (Server closed connection)
2026-02-25 15:09:43 +0100uli-fem(~uli-fem@118.210.1.123) (Ping timeout: 268 seconds)
2026-02-25 15:06:03 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-25 15:01:41 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-25 14:59:12 +0100uli-fem(~uli-fem@118.210.1.123)
2026-02-25 14:43:31 +0100uli-fem(~uli-fem@118.210.1.123) (Ping timeout: 264 seconds)
2026-02-25 14:38:55 +0100uli-fem(~uli-fem@118.210.1.123)
2026-02-25 14:36:20 +0100 <probie> I think other representations make it a headache if you're not willing to specify what a `Char` actually is
2026-02-25 14:27:13 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-25 14:23:46 +0100bggd_(~bgg@2a01:e0a:fd5:f510:37b0:d42d:8afb:890)
2026-02-25 14:23:40 +0100uli-fem(~uli-fem@118.210.1.123) (Ping timeout: 265 seconds)
2026-02-25 14:23:14 +0100qqq(~qqq@185.54.22.240) (Ping timeout: 268 seconds)
2026-02-25 14:18:43 +0100uli-fem(~uli-fem@118.210.1.123)
2026-02-25 14:17:24 +0100 <dminuoso> I feel like String was a bad idea to begin with.
2026-02-25 14:17:18 +0100housemate(~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-25 14:17:14 +0100 <dminuoso> Im not entirely sure all excuses are good at the end.
2026-02-25 14:15:25 +0100 <chromoblob> yes, i got it
2026-02-25 14:14:46 +0100 <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 14:11:52 +0100oskarw(~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2))
2026-02-25 14:08:48 +0100 <merijn> converting Text to String is pretty efficient anyway
2026-02-25 14:08:27 +0100 <haskellbridge> <magic_rb> yeah Text ftw
2026-02-25 14:08:20 +0100 <merijn> s/hiredman/chromoblob
2026-02-25 14:08:09 +0100 <merijn> hiredman: Then just use Text everywhere :P
2026-02-25 14:02:57 +0100chenjf(~chenjf@68.64.178.54) (Client Quit)
2026-02-25 13:58:34 +0100chenjf(~chenjf@68.64.178.54)
2026-02-25 13:56:18 +0100uli-fem(~uli-fem@118.210.1.123) (Ping timeout: 246 seconds)
2026-02-25 13:55:05 +0100 <__monty__> That's the thing, it'd be slower for most of the code written to use String.
2026-02-25 13:54:15 +0100 <chromoblob> speed and memory is "nicer" to me than "niceness"
2026-02-25 13:53:27 +0100 <__monty__> So that leaves having a "buffer" instead of a list. And that just doesn't play as nice with functional idioms.
2026-02-25 13:52:37 +0100 <__monty__> chromoblob: Char is analogous to UTF-32 already, no?
2026-02-25 13:52:05 +0100uli-fem(~uli-fem@118.210.1.123)
2026-02-25 13:50:17 +0100Athas(athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1)
2026-02-25 13:50:04 +0100Athas(athas@2a01:7c8:aaac:1cf:10a0:cce8:21cf:53aa) (Quit: ZNC 1.9.1 - https://znc.in)
2026-02-25 13:45:16 +0100comonad(~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de)