Newest at the top
2025-10-14 15:07:37 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
2025-10-14 15:05:42 +0200 | kuribas | (~user@2a02-1810-2825-6000-b5ac-98ee-b19a-ab1f.ip6.access.telenet.be) (Ping timeout: 256 seconds) |
2025-10-14 15:03:45 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-14 15:00:52 +0200 | Googulator49 | Googulator |
2025-10-14 14:50:50 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Client Quit) |
2025-10-14 14:50:46 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 14:46:14 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-14 14:46:12 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-14 14:46:05 +0200 | Googulator75 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 14:45:42 +0200 | <tomsmeding> | perhaps that would be too "monoid in the category of endofunctors" for wikipedia |
2025-10-14 14:44:43 +0200 | <tomsmeding> | ski: why does that not open with "a monoid ring is a formal polynomial ring in a monoid with coefficient from a ring" |
2025-10-14 14:43:55 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du) |
2025-10-14 14:36:42 +0200 | ski | . o O ( <https://en.wikipedia.org/wiki/Monoid_ring> ) |
2025-10-14 14:34:01 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-14 14:32:19 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-10-14 14:32:08 +0200 | <merijn> | mreh: Yet another reason, the Semigroup version is superior :p |
2025-10-14 14:31:52 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-10-14 14:31:34 +0200 | <mreh> | jackdk: I went to a meetup maybe 10 years ago, it's since folded |
2025-10-14 14:29:30 +0200 | <mreh> | that's true |
2025-10-14 14:28:50 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
2025-10-14 14:28:49 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-14 14:28:36 +0200 | <merijn> | So the current behaviour is trivially reconstructible via a newtype wrapper on values |
2025-10-14 14:28:03 +0200 | <merijn> | mreh: It's called "Map k (First v)" |
2025-10-14 14:27:53 +0200 | <merijn> | mreh: Yes there is |
2025-10-14 14:27:23 +0200 | <mreh> | there's no "just use" when you're using a Map in Writer :'( |
2025-10-14 14:27:01 +0200 | <jackdk> | mreh: I would've thought there'd be a fair number of Haskellers in London? |
2025-10-14 14:26:22 +0200 | <merijn> | And when you want that you can just use `unions` |
2025-10-14 14:26:13 +0200 | <merijn> | The left-biased merge never |
2025-10-14 14:26:07 +0200 | <merijn> | __monty__: I've used the semigroup monoid on Map hundreds of times |
2025-10-14 14:25:55 +0200 | <merijn> | __monty__: It's useful, but not AS useful as the semigroup version |
2025-10-14 14:25:39 +0200 | Googulator81 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 14:25:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-14 14:25:29 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Excess Flood) |
2025-10-14 14:25:27 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-10-14 14:25:23 +0200 | <merijn> | jackdk: You've got my signature :p |
2025-10-14 14:25:16 +0200 | mreh | wishes there was a Haskell meetup in London again |
2025-10-14 14:25:09 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
2025-10-14 14:24:04 +0200 | <mreh> | recognised the name |
2025-10-14 14:22:19 +0200 | <jackdk> | mreh: Thanks, that's good of you to say |
2025-10-14 14:20:17 +0200 | <mreh> | jackdk: cool, I enjoyed that talk you gave on reflex a while back |
2025-10-14 14:19:26 +0200 | <jackdk> | mreh: Correct. Its funding was not renewed. The Brisbane Functional Programming Group, however, resurrected itself after the pandemic: https://bfpg.org |
2025-10-14 14:17:42 +0200 | <mreh> | lack of funding? |
2025-10-14 14:16:29 +0200 | <mreh> | jackdk: what happened to Queensland FP? |
2025-10-14 14:15:16 +0200 | Zemy_ | (~Zemy@2600:100c:b035:5997:4c73:91ff:fe3e:e2e1) (Ping timeout: 256 seconds) |
2025-10-14 14:12:12 +0200 | Zemy | (~Zemy@syn-076-184-041-021.res.spectrum.com) |
2025-10-14 14:11:02 +0200 | Zemy | (~Zemy@syn-076-184-041-021.res.spectrum.com) (Read error: Connection reset by peer) |
2025-10-14 14:11:02 +0200 | Zemy_ | (~Zemy@2600:100c:b035:5997:4c73:91ff:fe3e:e2e1) |
2025-10-14 14:10:04 +0200 | inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
2025-10-14 14:08:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
2025-10-14 14:08:24 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |