2025/10/20

Newest at the top

2025-10-20 19:20:23 +0200kubrat(~kubrat@149.62.205.137) (Client Quit)
2025-10-20 19:18:12 +0200qqe(~qqq@185.54.23.200)
2025-10-20 19:17:58 +0200kubrat(~kubrat@149.62.205.137)
2025-10-20 19:14:54 +0200 <geekosaur> it shouldn't be difficult to write some TH to auto-derive it
2025-10-20 19:14:30 +0200 <haskellbridge> <doc> yep this was also mentioned on that discussion i read, to avoid having this general instance in scope
2025-10-20 19:14:06 +0200 <geekosaur> this and Num polymorphism means using that instance is a good way to induce insanity
2025-10-20 19:13:22 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-10-20 19:13:03 +0200 <geekosaur> instance (Applicative f, Num a) => Num (f a) where (+) = liftA2 (+); (-) = liftA2 (-); (*) = liftA2 (*); negate = fmap negate; abs = fmap abs; signum = fmap signum; fromInteger = pure . fromInteger
2025-10-20 19:10:42 +0200Googulator67(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 19:10:37 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-20 19:09:16 +0200 <geekosaur> the main argument against is that it leads to unexpected behavior, mostly due to ((->) e) being Applicative
2025-10-20 19:08:31 +0200 <geekosaur> no auto derive, but you can in fact write an instance that works for any Applicative
2025-10-20 19:07:06 +0200flipflops(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 252 seconds)
2025-10-20 19:06:04 +0200kubrat(~kubrat@149.62.205.137) (Quit: Client closed)
2025-10-20 19:04:47 +0200 <haskellbridge> ... deriving magic that can do this
2025-10-20 19:04:41 +0200 <haskellbridge> <doc> is there a way to auto derive instances like Num a => Num (Foo a) where { (+) = liftA2 (+); (-) = liftA2 (-); (_) = liftA2 (_); abs = fmap abs; fromInteger = pure . fromInteger; etc etc} where Foo is an applicative and all the methods just plumb fmap/liftA, liftA2, and pure… I read a thread on r/haskell abt this and it was recommended to write this out for each type you need this for, which is perfectly fine, but am curious if there's any...
2025-10-20 18:59:11 +0200tromp(~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-20 18:50:41 +0200flipflops(~cmo@2604:3d09:207f:8000::d1dc)
2025-10-20 18:49:30 +0200kimiamania99(~92460e22@user/kimiamania) (Quit: PegeLinux)
2025-10-20 18:49:08 +0200 <haskellbridge> <Morj> No yeah but hoogle is so great. I miss it every day I write in rust
2025-10-20 18:48:52 +0200 <haskellbridge> <Morj> :D
2025-10-20 18:48:34 +0200 <EvanR> they're answered by the type signature? xD
2025-10-20 18:47:45 +0200 <haskellbridge> <Morj> Actually I have no idea how far off the data distribution is haskell, because most questions I have are not even answered by humans
2025-10-20 18:45:45 +0200Googulator33(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed)
2025-10-20 18:45:45 +0200Googulator30(~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu)
2025-10-20 18:45:33 +0200 <haskellbridge> <Morj> «too far off the data distribution» is what they say
2025-10-20 18:45:26 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-20 18:45:16 +0200turlando(~turlando@user/turlando) turlando
2025-10-20 18:44:29 +0200 <EvanR> sounds like a blind spot
2025-10-20 18:44:05 +0200 <EvanR> lol
2025-10-20 18:43:59 +0200 <haskellbridge> <Morj> Yea and an llm would also give elixir answers instead of erlang
2025-10-20 18:43:32 +0200 <haskellbridge> <Morj> Very sad, I had to ask an llm to give me advice
2025-10-20 18:43:27 +0200 <EvanR> it's all about elixir discord
2025-10-20 18:43:10 +0200 <haskellbridge> <Morj> You won't believe how quiet erlang chats are
2025-10-20 18:40:14 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-20 18:33:24 +0200 <geekosaur> including things like a nick word cloud by message frequency. I guess he pruned it
2025-10-20 18:32:41 +0200 <geekosaur> used to have a stats page for each channel
2025-10-20 18:32:32 +0200 <geekosaur> hm, maybe it doesn't any more
2025-10-20 18:30:50 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-20 18:30:21 +0200 <geekosaur> dunno if libera does, but tomsmeding's log bot does
2025-10-20 18:28:55 +0200 <EvanR> as the universe expands anyone separated by enough space recedes into the distance and decrease in frequency
2025-10-20 18:28:03 +0200td_(~td@2001:9e8:19d3:4b00:581b:6633:814:8863)
2025-10-20 18:27:25 +0200 <haskellbridge> <sm> maybe libera has some stats
2025-10-20 18:26:52 +0200 <geekosaur> FP Discord also has seemed a bit quieter than usual of late, and not only about Haskell (there was a lot of OCaml and Racket chat that went away)
2025-10-20 18:25:26 +0200 <geekosaur> and not only haskell chats
2025-10-20 18:25:13 +0200 <geekosaur> same
2025-10-20 18:25:08 +0200 <haskellbridge> <sm> I have noticed chats seem quieter of late
2025-10-20 18:25:05 +0200kuribas(~user@2a02-1810-2825-6000-f3eb-4fa2-cbb5-436b.ip6.access.telenet.be) (Remote host closed the connection)
2025-10-20 18:24:40 +0200 <geekosaur> yeh, I figured you meant that one
2025-10-20 18:24:14 +0200 <EvanR> it was sep 2