| 2026-02-15 00:03:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:05:14 +0100 | elarks | (~elarks@user/yerrii) yerrii |
| 2026-02-15 00:08:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 00:09:35 +0100 | elarks | (~elarks@user/yerrii) (Client Quit) |
| 2026-02-15 00:18:14 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-15 00:18:38 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 00:19:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:23:26 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-15 00:23:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 00:24:44 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 00:26:27 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2026-02-15 00:27:42 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 00:29:38 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 00:34:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:36:10 +0100 | tromp | (~textual@2001:1c00:3487:1b00:49b4:8838:6b5e:2a21) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 00:37:06 +0100 | acidjnk | (~acidjnk@p200300d6e700e53408753edc2ee6991b.dip0.t-ipconnect.de) acidjnk |
| 2026-02-15 00:38:10 +0100 | acidjnk | (~acidjnk@p200300d6e700e53408753edc2ee6991b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2026-02-15 00:41:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 00:51:05 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 00:52:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 00:55:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-15 00:57:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 01:04:26 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 01:07:10 +0100 | traxex | (traxex@user/traxex) traxex |
| 2026-02-15 01:08:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:11:01 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-15 01:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 01:18:22 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 255 seconds) |
| 2026-02-15 01:28:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:33:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 01:34:48 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-02-15 01:40:11 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2026-02-15 01:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 01:48:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 01:49:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-15 01:54:02 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) |
| 2026-02-15 01:56:34 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 245 seconds) |
| 2026-02-15 01:59:11 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-15 02:04:04 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-02-15 02:04:06 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 02:04:58 +0100 | <lantti> | oh, QuickCheck function "oneof" is actually "oneof" instead of "oneOf"... This strangely annoys me more than it should |
| 2026-02-15 02:06:46 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 02:07:24 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2026-02-15 02:13:47 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-15 02:14:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:17:09 +0100 | omidmash2 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 02:17:10 +0100 | <humasect> | agree |
| 2026-02-15 02:19:11 +0100 | <Lears> | It's `sizeofFoo` that gets me every time. |
| 2026-02-15 02:19:16 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-02-15 02:19:16 +0100 | omidmash2 | omidmash |
| 2026-02-15 02:20:53 +0100 | <humasect> | oreof |
| 2026-02-15 02:21:05 +0100 | <humasect> | sizEofBar |
| 2026-02-15 02:21:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:32:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-15 02:32:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:33:19 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 02:36:51 +0100 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) (Ping timeout: 250 seconds) |
| 2026-02-15 02:38:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:39:52 +0100 | s3np41 | (~s3np41@078088254000.unknown.vectranet.pl) |
| 2026-02-15 02:40:52 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-15 02:42:02 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 02:48:24 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 02:48:45 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 02:49:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 02:50:29 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-02-15 02:54:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 02:57:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-02-15 02:57:30 +0100 | ridcully | (~ridcully@p508ac876.dip0.t-ipconnect.de) (Quit: WeeChat 4.8.1) |
| 2026-02-15 02:58:28 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-15 03:03:17 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 03:04:22 +0100 | crazazy | (crazazy@tilde.town) (Ping timeout: 265 seconds) |
| 2026-02-15 03:05:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:06:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-15 03:10:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 03:16:17 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2026-02-15 03:16:43 +0100 | crazazy | (~crazazy@tilde.town) crazazy |
| 2026-02-15 03:21:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:21:46 +0100 | crazazy | (~crazazy@tilde.town) (Ping timeout: 246 seconds) |
| 2026-02-15 03:25:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 03:36:10 +0100 | ridcully | (~ridcully@p508acfc8.dip0.t-ipconnect.de) ridcully |
| 2026-02-15 03:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:41:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 03:51:17 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2026-02-15 03:51:29 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-15 03:52:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 03:58:14 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 03:59:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 04:02:34 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-02-15 04:05:37 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-02-15 04:10:59 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-15 04:13:49 +0100 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 264 seconds) |
| 2026-02-15 04:15:17 +0100 | td_ | (~td@i53870902.versanet.de) td_ |
| 2026-02-15 04:16:02 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-02-15 04:20:24 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:20:34 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 04:25:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 04:26:20 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-15 04:26:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:30:16 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:31:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 04:35:49 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 04:39:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 04:41:33 +0100 | terrorjack | (~terrorjac@static.27.101.55.162.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 04:42:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:46:51 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-02-15 04:47:18 +0100 | juri_ | (~juri@217-114-215-140.pool.ovpn.com) juri_ |
| 2026-02-15 04:47:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 04:48:08 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 04:49:05 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 04:51:34 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:993a:6661:111b:de9b) |
| 2026-02-15 04:51:47 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 04:52:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 04:57:02 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-15 04:58:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 04:59:10 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 05:03:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 05:09:12 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-15 05:14:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:16:37 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 05:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 05:19:34 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 05:21:05 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 05:29:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:36:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 05:36:50 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 05:42:33 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 05:45:23 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 05:45:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 05:45:38 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-15 05:47:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 05:52:49 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-15 05:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:02:09 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 06:02:21 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-15 06:03:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:08:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:19:03 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 06:19:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:24:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 06:35:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:37:17 +0100 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 06:37:24 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2026-02-15 06:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 06:41:37 +0100 | ames | (~amelia@offtopia/offtopian/amelia) (Ping timeout: 246 seconds) |
| 2026-02-15 06:49:03 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 2026-02-15 06:51:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 06:51:38 +0100 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-15 06:52:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 06:53:18 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-15 06:55:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-15 06:59:35 +0100 | attlin | (~user@user/attlin) (Ping timeout: 252 seconds) |
| 2026-02-15 07:04:35 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 07:06:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:07:58 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:08:02 +0100 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-02-15 07:08:42 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-15 07:09:00 +0100 | <jreicher> | ski: I've been pondering the Cook paper you posted a few days ago. It's interesting. Does it represent the "latest" on the topic? I saw another paper by Cook on a similar topic with a slightly different presentation. |
| 2026-02-15 07:09:32 +0100 | humasect_ | humasect |
| 2026-02-15 07:09:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-15 07:09:53 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 07:11:09 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 245 seconds) |
| 2026-02-15 07:12:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 07:20:30 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-15 07:23:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:26:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 07:27:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Client Quit) |
| 2026-02-15 07:27:34 +0100 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 265 seconds) |
| 2026-02-15 07:28:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:39:27 +0100 | <ski> | it's a relatively old paper. but some of the ideas (like different uses of existentials, for object-orientation vs. abstract data types) are also in e.g. TaPL |
| 2026-02-15 07:39:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 07:39:54 +0100 | <ski> | ooc, what was the other paper ? |
| 2026-02-15 07:40:24 +0100 | <ski> | @where TaPL |
| 2026-02-15 07:40:24 +0100 | <lambdabot> | "Types and Programming Languages" by Benjamin C. Pierce in 2002-02-01 at <https://www.cis.upenn.edu/~bcpierce/tapl/> |
| 2026-02-15 07:41:52 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 07:44:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 07:47:59 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 07:52:37 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-15 07:55:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:00:30 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 08:00:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:00:47 +0100 | FANTOM | (~fantom@90.251.214.54) |
| 2026-02-15 08:05:45 +0100 | caubert | (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 08:10:20 +0100 | <jreicher> | https://www.cs.utexas.edu/~wcook/papers/OOPvsADT/CookOOPvsADT90.pdf |
| 2026-02-15 08:10:48 +0100 | <jreicher> | I think he might have hit upon the idea of using lambda calculus expressions for object-as-closures after this. |
| 2026-02-15 08:11:10 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 08:11:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:12:18 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-02-15 08:13:37 +0100 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-02-15 08:14:23 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 08:15:39 +0100 | img | (~img@user/img) img |
| 2026-02-15 08:18:13 +0100 | caubert | (~caubert@user/caubert) caubert |
| 2026-02-15 08:18:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 08:20:43 +0100 | AlexZenon | (~alzenon@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:20:43 +0100 | AlexNoo | (~AlexNoo@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 08:20:53 +0100 | AlexNoo | (~AlexNoo@85.174.183.241) |
| 2026-02-15 08:23:25 +0100 | Alex_delenda_est | (~al_test@85.174.182.59) (Ping timeout: 264 seconds) |
| 2026-02-15 08:24:29 +0100 | Square2 | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-02-15 08:25:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 08:26:49 +0100 | AlexZenon | (~alzenon@85.174.183.241) |
| 2026-02-15 08:27:07 +0100 | FANTOM_ | (~fantom@90.251.214.54) |
| 2026-02-15 08:29:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:29:55 +0100 | FANTOM | (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
| 2026-02-15 08:30:37 +0100 | mange | (~mange@user/mange) (Ping timeout: 264 seconds) |
| 2026-02-15 08:34:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:41:53 +0100 | attlin | (~user@user/attlin) (Read error: Connection reset by peer) |
| 2026-02-15 08:43:05 +0100 | karenw_ | karenw |
| 2026-02-15 08:44:42 +0100 | attlin | (~user@user/attlin) attlin |
| 2026-02-15 08:45:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 08:46:54 +0100 | caubert | (~caubert@user/caubert) (Quit: WeeChat 4.8.1) |
| 2026-02-15 08:50:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 09:01:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:01:07 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 09:06:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:06:42 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-02-15 09:08:55 +0100 | youthlic | (~user@user/youthlic) youthlic |
| 2026-02-15 09:10:12 +0100 | youthlic | (~user@user/youthlic) () |
| 2026-02-15 09:15:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 09:16:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:22:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:28:34 +0100 | qqq_ | (~qqq@185.54.22.240) |
| 2026-02-15 09:29:09 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 09:29:25 +0100 | qqq | (~qqq@185.54.22.240) (Ping timeout: 264 seconds) |
| 2026-02-15 09:32:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:37:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 09:45:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-15 09:47:25 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-15 09:48:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-15 09:48:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 09:54:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 09:55:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 09:56:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 10:08:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 10:12:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:17:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 10:18:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-15 10:20:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 10:26:57 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-15 10:27:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:33:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 10:37:20 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-02-15 10:43:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 10:47:50 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-15 10:48:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 10:58:12 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 11:05:06 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-15 11:05:19 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 11:06:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-15 11:11:27 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 11:12:52 +0100 | <Guest83> | Hello |
| 2026-02-15 11:14:37 +0100 | <ski> | hullo |
| 2026-02-15 11:15:02 +0100 | <Guest83> | New to Haskell |
| 2026-02-15 11:15:19 +0100 | <Guest83> | Tried Ocaml but found it difficult |
| 2026-02-15 11:15:20 +0100 | <fgarcia> | putStrLn "hi!" |
| 2026-02-15 11:15:43 +0100 | <ski> | % putStrLn "hi!" |
| 2026-02-15 11:15:43 +0100 | <yahb2> | hi! |
| 2026-02-15 11:15:54 +0100 | <Guest83> | Awesome way of saying Hi |
| 2026-02-15 11:16:04 +0100 | <ski> | do you have access to some introductory learning material ? |
| 2026-02-15 11:16:15 +0100 | wickedjargon | (~user@2605:8d80:5431:85d9:cfea:c35e:7de8:a913) wickedjargon |
| 2026-02-15 11:16:35 +0100 | <Guest83> | I am on the getting started page of Haskell |
| 2026-02-15 11:17:04 +0100 | <ski> | do you know any other programming language ? |
| 2026-02-15 11:17:10 +0100 | <Guest83> | Yes Python |
| 2026-02-15 11:17:35 +0100 | <ski> | if you're new to functional programming, it will be a bit like learning to program from scratch all over again |
| 2026-02-15 11:17:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:17:59 +0100 | <Guest83> | Read about good things of functional programming so thought of giving it a try |
| 2026-02-15 11:18:21 +0100 | <ski> | the book "Haskell : The Craft of Functional Programming" by Simon Thompson is a nice intro |
| 2026-02-15 11:18:23 +0100 | <Guest83> | I don't mind learning from scratch |
| 2026-02-15 11:18:27 +0100 | <ski> | there's other nice books, as well |
| 2026-02-15 11:18:39 +0100 | <Guest83> | Great Ski. Thanks for the guidance |
| 2026-02-15 11:20:02 +0100 | <ski> | you could try "Learn You a Haskell for Great Good!" <https://learnyouahaskell.github.io/>, if you want. it covers basics |
| 2026-02-15 11:20:09 +0100 | <ski> | doesn't have exercises, though |
| 2026-02-15 11:20:15 +0100 | <ski> | @where CIS194 |
| 2026-02-15 11:20:15 +0100 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2026-02-15 11:20:23 +0100 | <ski> | is a course, which has exercises you can try |
| 2026-02-15 11:20:52 +0100 | <ski> | oh, and you can ask here, if you have questions about particular things |
| 2026-02-15 11:21:17 +0100 | <ski> | (do note that it may at times take a little while for people to notice your question, so i'd recommend waiting at least half an hour) |
| 2026-02-15 11:22:14 +0100 | <Guest83> | Sure, Ski. Much appreciated. Do you all use the same nicknames? |
| 2026-02-15 11:22:46 +0100 | <ski> | most people tend to stick to one (or sometimes a few) nicknames |
| 2026-02-15 11:23:06 +0100 | <ski> | well, at least people who stick around, keep chatting, here |
| 2026-02-15 11:23:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-15 11:23:24 +0100 | <ski> | if you type in |
| 2026-02-15 11:23:33 +0100 | <ski> | /nick myNewNickname |
| 2026-02-15 11:23:39 +0100 | <ski> | it should change your nickname |
| 2026-02-15 11:24:29 +0100 | <srazkvt> | i have a few usernames i switch between, either this username, or a variant of it, or just my first name for more casual chats with friends |
| 2026-02-15 11:24:48 +0100 | <srazkvt> | but i don't go much outside of those |
| 2026-02-15 11:24:59 +0100 | <Guest83> | Thank you, Ski. I am liking the functional programming approach. I hope I stick around with Haskell for long because i easily get demotivated if I hit a roadblock in my learning. |
| 2026-02-15 11:25:42 +0100 | <ski> | asking people for help can be quite useful, when you'tr stumbling over something |
| 2026-02-15 11:26:24 +0100 | <Guest83> | I found this resource. Looks like a good start https://www.seas.upenn.edu/~cis1940/spring13/lectures/01-intro.html |
| 2026-02-15 11:26:43 +0100 | <ski> | yea, that's the first lecture of the CIS194 course |
| 2026-02-15 11:26:47 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-15 11:26:51 +0100 | <srazkvt> | yea, from my experience haskell people are generally nice when it comes to helping out newcomers |
| 2026-02-15 11:27:01 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-15 11:27:07 +0100 | <ski> | (well, maybe a variant of it ? .. "1940" ?) |
| 2026-02-15 11:27:42 +0100 | <Guest83> | Thank you for making me feel so welcome here. I am curious to start my journey. |
| 2026-02-15 11:28:16 +0100 | <ski> | you're welcome |
| 2026-02-15 11:33:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:34:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-02-15 11:35:11 +0100 | <tomsmeding> | probie: the playground now has experimental support for {-# OPTIONS -fllvm #-} |
| 2026-02-15 11:35:24 +0100 | srazkvt | (~sarah@user/srazkvt) (Read error: Connection reset by peer) |
| 2026-02-15 11:35:48 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-15 11:36:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 11:39:07 +0100 | <Guest83> | Guys thank you for your help. I will come back with m learnings shortly |
| 2026-02-15 11:40:30 +0100 | <tomsmeding> | I guess also int-e ^ :p |
| 2026-02-15 11:40:46 +0100 | <tomsmeding> | bug reports welcome |
| 2026-02-15 11:40:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 11:41:16 +0100 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2026-02-15 11:41:26 +0100 | <tomsmeding> | it has only llvm 15 for now, which means it ought to work for GHC >= 9.6 |
| 2026-02-15 11:41:41 +0100 | Guest83 | (~Guest83@182.48.209.54) (Quit: Client closed) |
| 2026-02-15 11:51:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 11:53:14 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-15 11:53:54 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 11:54:11 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 11:56:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 12:03:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:08:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-15 12:16:10 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 245 seconds) |
| 2026-02-15 12:16:40 +0100 | natto17 | (~natto@129.154.243.159) (Ping timeout: 256 seconds) |
| 2026-02-15 12:18:09 +0100 | natto17 | (~natto@129.154.243.159) natto |
| 2026-02-15 12:18:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:19:31 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 12:21:34 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-02-15 12:22:27 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-15 12:24:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 12:26:45 +0100 | Digit | digitteknohippie |
| 2026-02-15 12:26:51 +0100 | digitteknohippie | Digit |
| 2026-02-15 12:28:42 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 12:34:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:39:12 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-15 12:39:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 12:50:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 12:50:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2026-02-15 12:51:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-15 12:55:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-15 13:01:55 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-02-15 13:03:47 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-02-15 13:04:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:05:22 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-15 13:05:25 +0100 | karenw_ | (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2026-02-15 13:07:32 +0100 | omidmash0 | omidmash |
| 2026-02-15 13:08:38 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-15 13:11:35 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-15 13:11:58 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 13:12:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 13:12:16 +0100 | omidmash8 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 13:23:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:23:53 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-15 13:28:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 13:28:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-15 13:32:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-15 13:36:07 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-15 13:39:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 13:44:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 13:55:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:00:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 14:05:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:10:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 14:13:25 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-15 14:20:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:25:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 14:35:24 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-15 14:36:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:36:45 +0100 | omidmash8 | omidmash |
| 2026-02-15 14:38:13 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Quit: Bye!) |
| 2026-02-15 14:42:03 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 14:42:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 14:42:16 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 14:42:22 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 14:42:40 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 14:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 14:55:47 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-15 14:56:42 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 14:56:47 +0100 | Guest83 | (~Guest83@182.48.209.54) (Client Quit) |
| 2026-02-15 14:57:21 +0100 | Guest83 | (~Guest83@182.48.209.54) |
| 2026-02-15 14:57:45 +0100 | Guest83 | (~Guest83@182.48.209.54) (Client Quit) |
| 2026-02-15 14:59:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 14:59:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 15:00:27 +0100 | omidmash5 | omidmash |
| 2026-02-15 15:00:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-15 15:05:50 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 15:06:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 15:09:34 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-15 15:11:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-15 15:14:02 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 252 seconds) |
| 2026-02-15 15:14:53 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-15 15:18:31 +0100 | Miroboru | (~myrvoll@188.113.115.67) Miroboru |
| 2026-02-15 15:19:32 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 252 seconds) |
| 2026-02-15 15:21:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 15:22:01 +0100 | timide | (~timide@user/timide) timide |
| 2026-02-15 15:25:32 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-15 15:26:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 15:26:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-02-15 15:27:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-15 15:28:13 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2026-02-15 15:29:29 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-15 15:29:31 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-15 15:29:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 252 seconds) |
| 2026-02-15 15:30:20 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 15:30:51 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-15 15:33:53 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-15 15:33:54 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-15 15:34:20 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-15 15:37:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 15:39:52 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-15 15:42:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 15:43:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-15 15:43:48 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-02-15 15:47:18 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (Quit: Bye!) |
| 2026-02-15 15:50:56 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-15 15:53:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 15:58:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-15 15:59:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 16:00:02 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-15 16:07:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 16:11:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 16:15:06 +0100 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 265 seconds) |
| 2026-02-15 16:15:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-02-15 16:15:33 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-15 16:15:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-15 16:15:41 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 16:15:53 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 16:15:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-15 16:16:13 +0100 | omidmash7 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 16:16:45 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 16:22:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 16:24:07 +0100 | Alex_delenda_est | (~al_test@85.174.183.241) |
| 2026-02-15 16:25:17 +0100 | qqq_ | (~qqq@185.54.22.240) (Remote host closed the connection) |
| 2026-02-15 16:27:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 16:38:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 16:45:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 16:45:36 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-15 16:48:24 +0100 | wickedjargon | (~user@2605:8d80:5431:85d9:cfea:c35e:7de8:a913) (Remote host closed the connection) |
| 2026-02-15 16:48:36 +0100 | wickedjargon | (~user@2605:8d80:5431:85d9:cfea:c35e:7de8:a913) wickedjargon |
| 2026-02-15 16:52:46 +0100 | michalz | (~michalz@185.246.207.197) |
| 2026-02-15 16:52:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2026-02-15 16:56:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 16:56:51 +0100 | michalz | (~michalz@185.246.207.197) (Client Quit) |
| 2026-02-15 16:58:05 +0100 | raincomplex | (~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-02-15 16:58:20 +0100 | raincomplex | (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) |
| 2026-02-15 16:58:20 +0100 | raincomplex | (~rain@pool-173-54-183-192.nwrknj.fios.verizon.net) (Changing host) |
| 2026-02-15 16:58:20 +0100 | raincomplex | (~rain@user/raincomplex) raincomplex |
| 2026-02-15 16:58:27 +0100 | michalz | (~michalz@185.246.207.205) |
| 2026-02-15 17:01:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 17:08:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 17:12:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 17:22:54 +0100 | omidmash7 | omidmash |
| 2026-02-15 17:23:32 +0100 | omidmash | (~omidmash@user/omidmash) (Killed (NickServ (GHOST command used by omidmash_!~root@user/omidmash))) |
| 2026-02-15 17:23:46 +0100 | omidmash3 | (~omidmash@user/omidmash) omidmash |
| 2026-02-15 17:23:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 17:28:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 17:29:36 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2026-02-15 17:29:36 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-02-15 17:29:36 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-15 17:35:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 17:36:44 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-15 17:39:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 17:45:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 17:50:07 +0100 | wickedjargon | (~user@2605:8d80:5431:85d9:cfea:c35e:7de8:a913) (Ping timeout: 246 seconds) |
| 2026-02-15 17:54:50 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-15 17:55:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 18:00:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 18:05:29 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-15 18:05:40 +0100 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2026-02-15 18:08:18 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-15 18:09:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 18:10:36 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:993a:6661:111b:de9b) (Remote host closed the connection) |
| 2026-02-15 18:11:15 +0100 | <monochrom> | I hit roadblocks in my learning too. But they tend to disappear after 5 years, and I would be like "this is obvious, why didn't I understand it 5 years ago?!" :) |
| 2026-02-15 18:14:33 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 18:15:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 18:15:44 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-02-15 18:17:12 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-15 18:18:10 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-15 18:18:33 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-15 18:18:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-15 18:19:20 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 2026-02-15 18:21:35 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-15 18:27:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 18:29:38 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-15 18:31:59 +0100 | Square2 | (~Square@user/square) Square |
| 2026-02-15 18:32:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 18:32:13 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 18:40:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-15 18:42:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 18:47:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 18:48:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-15 18:52:28 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 18:54:21 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-15 18:58:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 19:01:05 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-02-15 19:01:49 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-02-15 19:01:50 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-15 19:03:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 19:06:53 +0100 | krei-se- | (~krei-se@p200300f1cfff3e880001000000000001.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-02-15 19:07:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 19:09:13 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-15 19:10:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 19:11:17 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 19:14:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 19:15:44 +0100 | krei-se | (~krei-se@p5dea1d59.dip0.t-ipconnect.de) krei-se |
| 2026-02-15 19:17:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 19:18:09 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-02-15 19:25:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 19:27:34 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-15 19:29:09 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-15 19:30:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 19:35:11 +0100 | hsw_ | (~hsw@106.104.102.45) hsw |
| 2026-02-15 19:37:13 +0100 | koz_ | (~koz@121.99.240.58) (Ping timeout: 264 seconds) |
| 2026-02-15 19:37:13 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2026-02-15 19:37:30 +0100 | koz | (~koz@121.99.240.58) |
| 2026-02-15 19:37:49 +0100 | hsw | (~hsw@106.104.102.45) (Ping timeout: 264 seconds) |
| 2026-02-15 19:37:56 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2026-02-15 19:38:33 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2026-02-15 19:41:09 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-02-15 19:41:17 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 19:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 19:42:45 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-15 19:47:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-15 19:48:22 +0100 | nisstyre | (wes@user/nisstyre) (Quit: WeeChat 4.7.1) |
| 2026-02-15 19:57:24 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2026-02-15 19:57:35 +0100 | emmanuelux_ | (~em@92-184-96-253.mobile.fr.orangecustomers.net) |
| 2026-02-15 19:57:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 19:59:32 +0100 | dyniec | (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-02-15 19:59:45 +0100 | halloy3316 | (~halloy331@d64-180-5-83.bchsia.telus.net) |
| 2026-02-15 20:00:09 +0100 | dyniec | (~dyniec@dybiec.info) |
| 2026-02-15 20:00:59 +0100 | halloy3316 | (~halloy331@d64-180-5-83.bchsia.telus.net) (Client Quit) |
| 2026-02-15 20:01:13 +0100 | camblsoup | (~camblsoup@d64-180-5-83.bchsia.telus.net) |
| 2026-02-15 20:04:29 +0100 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2026-02-15 20:04:39 +0100 | camblsoup | (~camblsoup@d64-180-5-83.bchsia.telus.net) (Client Quit) |
| 2026-02-15 20:04:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 20:08:24 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2026-02-15 20:11:07 +0100 | <jreicher> | ski: I have a problem with this Cook paper. The model of OO presented here, being based on closures and expressible in lambda calculus, is something that can be done Haskell, but I don't think that's how many people use the term "OO" or think of Haskell. I agree completely with the main point ADTs vs objects, but I suspect it should be explained using a word other than "object", because (IMO) an essential part of OO programming (in |
| 2026-02-15 20:11:08 +0100 | <jreicher> | mainstream languages) is the ability to break referential transparency by having direct control over mutable state. |
| 2026-02-15 20:12:11 +0100 | wickedjargon | (~user@24.83.46.194) wickedjargon |
| 2026-02-15 20:15:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 20:16:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-15 20:18:11 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 252 seconds) |
| 2026-02-15 20:20:13 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-15 20:20:38 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-15 20:20:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 20:22:00 +0100 | myme | (~myme@2a01:799:d5e:5f00:30aa:7e47:3c40:13bd) (Ping timeout: 245 seconds) |
| 2026-02-15 20:23:15 +0100 | myme | (~myme@2a01:799:d5e:5f00:1efd:1fab:dfd5:7518) myme |
| 2026-02-15 20:25:54 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-15 20:27:01 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-15 20:30:56 +0100 | emmanuelux_ | (~em@92-184-96-253.mobile.fr.orangecustomers.net) (Quit: bye) |
| 2026-02-15 20:31:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 20:32:00 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 20:32:07 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-02-15 20:33:14 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-15 20:33:28 +0100 | <EvanR> | jreicher, this is arguably the main issue with OOP as a subject, that people can't agree on what it entails. So in the end it's just easier to discuss the subject matter itself |
| 2026-02-15 20:34:12 +0100 | <EvanR> | attempt to define the terminology jargon "once and for all" is boiling an ocean |
| 2026-02-15 20:34:35 +0100 | <EvanR> | I don't envy someone with a dog in that race xD |
| 2026-02-15 20:34:49 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-02-15 20:35:05 +0100 | oats | (~oats@user/oats) oats |
| 2026-02-15 20:36:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 20:37:59 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-15 20:44:32 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-15 20:45:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2026-02-15 20:45:54 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-15 20:47:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 20:49:50 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-15 20:50:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 20:52:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 20:59:55 +0100 | <EvanR> | wow... you can't use the field name "class" ? |
| 2026-02-15 21:00:18 +0100 | <int-e> | it is a keyword |
| 2026-02-15 21:00:20 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-02-15 21:00:58 +0100 | <EvanR> | and jreicher is trying to claim we're not OOP xD |
| 2026-02-15 21:01:23 +0100 | <int-e> | trait carefully, or something |
| 2026-02-15 21:01:58 +0100 | <EvanR> | *attempts to get around it with NoFieldSelectors |
| 2026-02-15 21:03:17 +0100 | spew | (~spew@user/spew) (Ping timeout: 252 seconds) |
| 2026-02-15 21:03:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:03:23 +0100 | <EvanR> | doesn't work, though it would see that would avoid syntactic collisions |
| 2026-02-15 21:05:35 +0100 | <geekosaur> | I think there's an unimplemented-as-yet proposal for keywords and such to be usable as fields disambiguated by the overloaded dot |
| 2026-02-15 21:06:16 +0100 | <int-e> | > let clаss = 42 in clаss |
| 2026-02-15 21:06:17 +0100 | <lambdabot> | 42 |
| 2026-02-15 21:06:28 +0100 | <int-e> | (you can always play dirty) |
| 2026-02-15 21:08:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 21:14:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 21:14:31 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-15 21:15:02 +0100 | drlkf | (~drlkf@chat-1.drlkf.net) (Quit: WeeChat 3.8) |
| 2026-02-15 21:16:00 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-15 21:18:41 +0100 | spew | (~spew@user/spew) (Ping timeout: 252 seconds) |
| 2026-02-15 21:19:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:21:59 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2026-02-15 21:23:44 +0100 | <monochrom> | Coding OO in Haskell becomes annoying once you start subclassing. (Too much boilerplate.) |
| 2026-02-15 21:24:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 21:25:45 +0100 | <larsivi> | Still learning Haskell here, trying some stuff where I want to return a couple of operations in Left and something else in Right, so like this: Left ((+1):(+0)) However, it fails since +1 and +0 are not the same type. Is there some way yo make this into a more generic type? (in addition to addition, I also have subtractions) |
| 2026-02-15 21:26:53 +0100 | <[exa]> | larsivi: use Left [(+1),(+0)]? the issue is likely the type of (:), it requires a list on the right |
| 2026-02-15 21:27:11 +0100 | <[exa]> | or Left ((+1),(+0)) if you're sure there's always an exact couple |
| 2026-02-15 21:27:37 +0100 | <[exa]> | :t ((+1),(+0)) |
| 2026-02-15 21:27:37 +0100 | <lambdabot> | (Num a1, Num a2) => (a1 -> a1, a2 -> a2) |
| 2026-02-15 21:27:42 +0100 | <[exa]> | :t [(+1),(+0)] |
| 2026-02-15 21:27:43 +0100 | <lambdabot> | Num a => [a -> a] |
| 2026-02-15 21:29:28 +0100 | <[exa]> | (btw you could do something like (+1):[(+0)] to make it work with : , but that doesn't quite look like what you'd want to do) |
| 2026-02-15 21:30:31 +0100 | <larsivi> | exa: In the next step I want to pattern match op1:op2, how does that work with a pair? |
| 2026-02-15 21:30:58 +0100 | <[exa]> | (op1,op2) |
| 2026-02-15 21:31:06 +0100 | <monochrom> | If you have a pair, the pattern is (p,q). If you have a list of length 2, the pattern is [p,q]. |
| 2026-02-15 21:31:23 +0100 | <larsivi> | nice, thanks |
| 2026-02-15 21:31:50 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-15 21:34:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:36:30 +0100 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-02-15 21:40:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 21:42:19 +0100 | ss4 | wootehfoot |
| 2026-02-15 21:43:05 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-15 21:47:42 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:48:01 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:48:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:49:10 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:50:02 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:50:19 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:51:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 21:51:26 +0100 | <larsivi> | Ok, still not fully in place, I now get (only for negative ops): error: [GHC-39999] |
| 2026-02-15 21:51:28 +0100 | <larsivi> | • No instance for ‘Num (Int -> Int)’ |
| 2026-02-15 21:51:30 +0100 | <larsivi> | arising from a use of syntactic negation |
| 2026-02-15 21:51:32 +0100 | <larsivi> | (maybe you haven't applied a function to enough arguments?) |
| 2026-02-15 21:52:21 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:52:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:56:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 21:56:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:56:47 +0100 | <larsivi> | Ah, the unary negation operator - fixed it with wrapping (-) |
| 2026-02-15 21:56:57 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-02-15 21:56:58 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 21:58:52 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-15 21:59:28 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 22:01:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-15 22:04:52 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 255 seconds) |
| 2026-02-15 22:05:35 +0100 | <monochrom> | There is also subtract, i.e., subtract 5 = \x -> x - 5 |
| 2026-02-15 22:07:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:08:42 +0100 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2026-02-15 22:09:53 +0100 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-02-15 22:10:28 +0100 | <larsivi> | Yeah, I saw, but this was shorter :) |
| 2026-02-15 22:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 22:14:03 +0100 | skum | (~skum@user/skum) skum |
| 2026-02-15 22:15:13 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-15 22:22:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:23:21 +0100 | karenw_ | karenw |
| 2026-02-15 22:27:21 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 22:27:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 22:38:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 22:41:33 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kdanl) |
| 2026-02-15 22:41:44 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 252 seconds) |
| 2026-02-15 22:43:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-15 22:44:06 +0100 | <larsivi> | But it turned out that (-)1 didn't actually do anything, so had to use subtract 1 instead. Something I did wrong there? |
| 2026-02-15 22:45:31 +0100 | <int-e> | > (-) 1 4 |
| 2026-02-15 22:45:32 +0100 | <lambdabot> | -3 |
| 2026-02-15 22:45:36 +0100 | <monochrom> | (-) 5 = \y -> (-) 5 y = \y -> 5 - y. sutract 5 = \y -> y - 5 |
| 2026-02-15 22:45:37 +0100 | <int-e> | > flip (-) 1 4 |
| 2026-02-15 22:45:38 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:45:46 +0100 | <int-e> | > (-1+) 4 |
| 2026-02-15 22:45:47 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:46:02 +0100 | <int-e> | (scnr) |
| 2026-02-15 22:46:47 +0100 | <mauke> | > pred 4 |
| 2026-02-15 22:46:48 +0100 | <lambdabot> | 3 |
| 2026-02-15 22:46:50 +0100 | <int-e> | anyway, (-) 1 does *something*. |
| 2026-02-15 22:46:54 +0100 | <dcb> | I don't think you can make (-) into a section (without `flip`, or as mentioned, `subtract`) |
| 2026-02-15 22:47:36 +0100 | <mauke> | > - - 1 |
| 2026-02-15 22:47:37 +0100 | <lambdabot> | <hint>:1:3: error: parse error on input `-' |
| 2026-02-15 22:47:58 +0100 | <mauke> | > 1--1 |
| 2026-02-15 22:47:59 +0100 | <lambdabot> | 1 |
| 2026-02-15 22:48:07 +0100 | <monochrom> | heh |
| 2026-02-15 22:48:26 +0100 | <monochrom> | > - negate 1 |
| 2026-02-15 22:48:27 +0100 | <lambdabot> | 1 |
| 2026-02-15 22:48:54 +0100 | <monochrom> | Haskell is so negative! So many ways to say subtraction. >:) |
| 2026-02-15 22:51:40 +0100 | <mauke> | > id 0 --user |
| 2026-02-15 22:51:41 +0100 | <lambdabot> | 0 |
| 2026-02-15 22:51:53 +0100 | <larsivi> | I returned stuff like [(+1), ((-)1)] that type checked against [Int -> Int]. I was able to [op1,op2] ==> foo (op1 x) (op2 y), but the value was not changed with the subtraction unless I rewrote it to (subtract 1). |
| 2026-02-15 22:52:41 +0100 | <mauke> | that's equivalent to [(1+), (1-)] |
| 2026-02-15 22:53:11 +0100 | <larsivi> | ah, so it is the order that is wrong? |
| 2026-02-15 22:54:00 +0100 | <monochrom> | If x=1/2, then 1-x = x, so (1-) looks like doing nothing. |
| 2026-02-15 22:54:17 +0100 | <mauke> | > sequence [(1+), (1-)] 42 |
| 2026-02-15 22:54:18 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:33 +0100 | <mauke> | > sequence [(+1), ((-) 1)] 42 |
| 2026-02-15 22:54:34 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:59 +0100 | <larsivi> | yeah, that turns out to negate the result |
| 2026-02-15 22:55:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 22:55:33 +0100 | <int-e> | a - b = -(b - a) is elementary |
| 2026-02-15 22:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 22:56:18 +0100 | <mauke> | (-) x = (\y -> x - y) |
| 2026-02-15 23:02:08 +0100 | <larsivi> | ok, so slowly starting to understand this :) At least I have something that works. Thanks again! |
| 2026-02-15 23:03:10 +0100 | <monochrom> | @pl \y -> negate (1 - y) |
| 2026-02-15 23:03:10 +0100 | <lambdabot> | negate . (-) 1 |
| 2026-02-15 23:03:13 +0100 | <monochrom> | >:) |
| 2026-02-15 23:06:04 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 23:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:19:09 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 23:21:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-15 23:22:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-02-15 23:22:34 +0100 | emmanuelux_ | (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 2026-02-15 23:23:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:24:23 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-15 23:29:33 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-02-15 23:32:21 +0100 | michalz | (~michalz@185.246.207.205) |
| 2026-02-15 23:33:19 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds) |
| 2026-02-15 23:33:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 23:35:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:39:57 +0100 | Miroboru | (~myrvoll@84.214.174.190) Miroboru |
| 2026-02-15 23:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 23:43:51 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 23:44:00 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-15 23:44:06 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 23:44:29 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-15 23:44:29 +0100 | polykernel_ | polykernel |