Logs: liberachat/#haskell
| 2025-09-24 03:25:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 03:30:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 03:31:05 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-24 03:31:53 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-24 03:32:30 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-24 03:39:11 | → | comonad joins (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) |
| 2025-09-24 03:40:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 03:42:17 | × | sp1ff quits (~user@2601:1c2:4900:8209::a41) (Remote host closed the connection) |
| 2025-09-24 03:44:47 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-09-24 03:45:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 03:47:15 | → | dutchie joins (~dutchie@user/dutchie) |
| 2025-09-24 03:49:18 | <haskellbridge> | <Liamzee> fff, kimi is right, no? |
| 2025-09-24 03:49:30 | <haskellbridge> | <Liamzee> I always thought map was a metamorphism, according to kimi, it's an anamorphism |
| 2025-09-24 03:51:23 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-09-24 03:51:33 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-24 03:51:42 | → | pyrex joins (~pyrex@user/pyrex) |
| 2025-09-24 03:53:18 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-09-24 03:55:08 | <Leary> | You can write `map` with both `cata` and `ana`. I don't know what a metamorphism is supposed to be. |
| 2025-09-24 03:55:18 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-09-24 03:56:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 03:59:30 | × | aforemny_ quits (~aforemny@2001:9e8:6ce6:7800:dd29:c11d:38d8:740d) (Ping timeout: 244 seconds) |
| 2025-09-24 03:59:56 | → | aforemny joins (~aforemny@2001:9e8:6cc5:d100:3ace:2858:c703:5d88) |
| 2025-09-24 04:00:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-24 04:00:43 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2025-09-24 04:00:54 | <haskellbridge> | <Liamzee> metamorphism is unfold . fold |
| 2025-09-24 04:01:15 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 258 seconds) |
| 2025-09-24 04:02:02 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2025-09-24 04:02:08 | <haskellbridge> | <Liamzee> i always thought of it as the definitive metamorphism, because you fold and unfold a data structure at the same time, but it seems you need discrete steps |
| 2025-09-24 04:03:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-24 04:09:08 | <pyrex> | :t fold |
| 2025-09-24 04:09:09 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 2025-09-24 04:09:14 | <pyrex> | :t unfold |
| 2025-09-24 04:09:15 | <lambdabot> | error: |
| 2025-09-24 04:09:15 | <lambdabot> | • Variable not in scope: unfold |
| 2025-09-24 04:09:15 | <lambdabot> | • Perhaps you meant one of these: |
| 2025-09-24 04:10:22 | × | kerxphilox__ quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Ping timeout: 265 seconds) |
| 2025-09-24 04:10:43 | × | Googulator53 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-24 04:10:50 | → | Googulator6 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-24 04:11:50 | → | kerxphilox__ joins (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) |
| 2025-09-24 04:12:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 04:17:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 04:19:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-09-24 04:20:40 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-09-24 04:24:20 | <fgarcia> | :t 1/0 |
| 2025-09-24 04:24:20 | <lambdabot> | Fractional a => a |
| 2025-09-24 04:24:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-24 04:28:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 04:30:56 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-24 04:31:09 | <pyrex> | :t :t |
| 2025-09-24 04:31:10 | <lambdabot> | error: parse error on input ‘:’ |
| 2025-09-24 04:32:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 04:34:10 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-09-24 04:37:05 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-24 04:37:36 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-24 04:37:39 | × | pyrex quits (~pyrex@user/pyrex) (Ping timeout: 258 seconds) |
| 2025-09-24 04:38:47 | × | kerxphilox__ quits (~kerxphilo@2603:8001:9100:2aab:1432:3f88:100a:2952) (Quit: Leaving) |
| 2025-09-24 04:39:09 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-24 04:43:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 04:46:18 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 248 seconds) |
| 2025-09-24 04:46:35 | → | tt12310978324354 joins (~tt1231@syn-075-185-104-199.res.spectrum.com) |
| 2025-09-24 04:47:37 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-24 04:48:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-24 04:52:58 | → | pyrex joins (~pyrex@user/pyrex) |
| 2025-09-24 04:56:03 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 258 seconds) |
| 2025-09-24 04:56:25 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-24 04:57:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-09-24 04:58:18 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-24 04:59:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 05:03:40 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-24 05:04:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 05:11:17 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build2 - https://znc.in) |
| 2025-09-24 05:13:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-09-24 05:15:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 05:15:32 | × | ec__ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-09-24 05:16:22 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2025-09-24 05:19:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-24 05:26:24 | → | monochrom joins (trebla@216.138.220.146) |
| 2025-09-24 05:30:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 05:34:33 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-09-24 05:34:55 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-09-24 05:37:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-24 05:41:35 | → | hylisper joins (~hylisper@user/hylisper) |
| 2025-09-24 05:46:02 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 248 seconds) |
| 2025-09-24 05:47:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-24 05:48:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 05:51:17 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 2025-09-24 05:53:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-24 05:54:56 | × | jreicher quits (~user@user/jreicher) (Read error: Connection reset by peer) |
| 2025-09-24 05:56:09 | → | jreicher joins (~user@user/jreicher) |
| 2025-09-24 06:04:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 06:07:35 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-09-24 06:08:09 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 244 seconds) |
| 2025-09-24 06:09:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-24 06:13:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-24 06:14:48 | rvalue- | is now known as rvalue |
| 2025-09-24 06:16:52 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 2025-09-24 06:16:52 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 2025-09-24 06:16:52 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 2025-09-24 06:16:52 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 256 seconds) |
| 2025-09-24 06:17:26 | × | rselim quits (ce261f06ff@user/milesrout) (Ping timeout: 256 seconds) |
All times are in UTC.