Logs: liberachat/#haskell
| 2025-12-09 15:07:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-12-09 15:16:32 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-09 15:24:22 | → | pebble joins (~pebble@37.63.35.15) |
| 2025-12-09 15:24:57 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-09 15:25:40 | → | Googulator94 joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-09 15:25:52 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-09 15:25:55 | → | spew joins (~spew@user/spew) |
| 2025-12-09 15:28:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-12-09 15:38:49 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-09 15:40:20 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-09 15:40:55 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-09 15:52:37 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-09 15:52:54 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-09 15:56:49 | <kuribas> | Is there a better way to do mconcat (mapMaybe f l) ? |
| 2025-12-09 15:57:00 | → | Square joins (~Square4@user/square) |
| 2025-12-09 15:57:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-12-09 15:58:27 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 2025-12-09 15:58:46 | <kuribas> | hmm, I could use foldMap and use mempty. |
| 2025-12-09 16:06:46 | → | tromp joins (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-09 16:08:43 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-09 16:15:39 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.2) |
| 2025-12-09 16:18:15 | <kuribas> | And of course STAN complains about foldMap over Maybe... |
| 2025-12-09 16:21:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 240 seconds) |
| 2025-12-09 16:26:48 | <kuribas> | @hoogle (Monoid m, Foldable t) => t m -> m |
| 2025-12-09 16:26:49 | <lambdabot> | Data.Foldable fold :: (Foldable t, Monoid m) => t m -> m |
| 2025-12-09 16:26:49 | <lambdabot> | Protolude fold :: (Foldable t, Monoid m) => t m -> m |
| 2025-12-09 16:26:49 | <lambdabot> | Relude.Foldable.Reexport fold :: (Foldable t, Monoid m) => t m -> m |
| 2025-12-09 16:29:32 | → | sindu joins (~sindu@2.148.32.207.tmi.telenormobil.no) |
| 2025-12-09 16:29:42 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-09 16:37:18 | Googulator94 | is now known as Googulator |
| 2025-12-09 16:38:52 | <kuribas> | Man stan is irritating, I find "fold" or "foldMap" over Maybe acceptable. |
| 2025-12-09 16:39:30 | <merijn> | kuribas: Easy solution: Disable it :p |
| 2025-12-09 16:42:35 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-09 16:42:51 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-09 16:45:48 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-09 16:45:56 | → | Googulator joins (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-09 16:50:26 | <ski> | @type foldMap (fromMaybe mempty) |
| 2025-12-09 16:50:27 | <lambdabot> | (Foldable t, Monoid m) => t (Maybe m) -> m |
| 2025-12-09 16:51:50 | <ski> | @type foldMap . (fromMaybe mempty .) |
| 2025-12-09 16:51:51 | <lambdabot> | (Foldable t, Monoid m) => (a -> Maybe m) -> t a -> m |
| 2025-12-09 16:53:32 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2025-12-09 16:53:58 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Client Quit) |
| 2025-12-09 16:56:16 | → | Googulator74 joins (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-09 17:00:15 | × | Googulator quits (~Googulato@85-238-68-117.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-09 17:12:53 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-12-09 17:14:11 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-12-09 17:15:15 | × | pebble quits (~pebble@37.63.35.15) (Read error: Connection reset by peer) |
| 2025-12-09 17:15:32 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-09 17:17:05 | × | spew quits (~spew@user/spew) (Quit: zzz) |
| 2025-12-09 17:20:02 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-12-09 17:22:38 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-09 17:27:22 | <ski> | Zemyla : sounds like you want trailing ? or, yea, maybe something a bit related to `STM', interpreting references in different contexts, as resolving to different values |
| 2025-12-09 17:29:19 | <ski> | the "monadic actions in guards" could be read as just a plea for a less awkward syntax for performing an action, and only then deciding which branch to use, without any rollback. i'm pretty sure my "reflective effectful syntax" could do this |
| 2025-12-09 17:33:53 | <EvanR> | reflectful |
| 2025-12-09 17:34:10 | <EvanR> | you're welcome for the brand makeover |
| 2025-12-09 17:35:57 | <ski> | heh |
| 2025-12-09 17:38:50 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 2025-12-09 17:40:11 | AlexNoo_ | is now known as AlexNoo |
| 2025-12-09 17:42:14 | × | lucabtz quits (~lucabtz@user/lucabtz) (Remote host closed the connection) |
| 2025-12-09 17:43:16 | trickard_ | is now known as trickard |
| 2025-12-09 17:45:46 | → | Googulator72 joins (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) |
| 2025-12-09 17:45:58 | × | Googulator74 quits (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-09 17:46:51 | Googulator72 | is now known as Googulator |
| 2025-12-09 17:56:27 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-09 17:57:43 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-09 17:57:52 | × | trickard quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-09 17:58:06 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-09 18:01:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-09 18:07:15 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-09 18:11:22 | → | ft joins (~ft@p508db844.dip0.t-ipconnect.de) |
| 2025-12-09 18:12:33 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-09 18:13:23 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-09 18:15:51 | → | Googulator8 joins (~Googulato@94-21-139-4.pool.digikabel.hu) |
| 2025-12-09 18:16:30 | × | Googulator quits (~Googulato@2a01-036d-0106-2445-f5ec-8aae-509e-144e.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-09 18:17:42 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-09 18:25:09 | × | Inline quits (~inlinE@2001-4dd6-f0b4-0-de1-ae52-4ef-3df5.ipv6dyn.netcologne.de) (Quit: Leaving) |
| 2025-12-09 18:27:20 | Ikosit2 | is now known as Ikosit |
| 2025-12-09 18:28:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-09 18:29:50 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-09 18:42:38 | × | myxos quits (~myxos@wsip-70-166-126-146.ph.ph.cox.net) (Ping timeout: 256 seconds) |
| 2025-12-09 18:43:08 | → | tromp joins (~textual@2001:1c00:3487:1b00:9873:8ff7:840:18a8) |
| 2025-12-09 18:50:43 | → | myxos joins (~myxos@2001:579:8380:f20:a43c:43a0:b765:7c89) |
| 2025-12-09 19:00:10 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-12-09 19:00:13 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-12-09 19:02:49 | <monochrom> | What is STAN? |
| 2025-12-09 19:02:53 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-09 19:03:18 | <geekosaur> | https://hackage.haskell.org/package/stan |
| 2025-12-09 19:03:30 | <geekosaur> | which is a by-default enabled plugin in HLS |
| 2025-12-09 19:07:43 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-09 19:08:41 | → | califax joins (~califax@user/califx) |
| 2025-12-09 19:18:56 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-09 19:19:54 | → | califax joins (~califax@user/califx) |
| 2025-12-09 19:22:54 | × | Googulator8 quits (~Googulato@94-21-139-4.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-09 19:23:13 | → | Googulator8 joins (~Googulato@94-21-139-4.pool.digikabel.hu) |
| 2025-12-09 19:25:33 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-09 19:26:31 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 2025-12-09 19:27:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-09 19:27:06 | ljdarj1 | is now known as ljdarj |
| 2025-12-09 19:27:26 | → | Square2 joins (~Square@user/square) |
| 2025-12-09 19:31:25 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
All times are in UTC.