Newest at the top
2025-10-20 19:20:23 +0200 | kubrat | (~kubrat@149.62.205.137) (Client Quit) |
2025-10-20 19:18:12 +0200 | qqe | (~qqq@185.54.23.200) |
2025-10-20 19:17:58 +0200 | kubrat | (~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 +0200 | wootehfoot | (~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 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
2025-10-20 19:10:37 +0200 | Googulator30 | (~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 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 252 seconds) |
2025-10-20 19:06:04 +0200 | kubrat | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:242b:79a0:e1f9:7ea5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-20 18:50:41 +0200 | flipflops | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-20 18:49:30 +0200 | kimiamania99 | (~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 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-20 18:45:45 +0200 | Googulator30 | (~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 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-10-20 18:45:16 +0200 | turlando | (~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 +0200 | weary-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 +0200 | jmcantrell | (~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 +0200 | td_ | (~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 +0200 | kuribas | (~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 |