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