Logs: liberachat/#haskell
| 2026-02-15 04:45:35 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-15 04:45:38 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2026-02-15 04:47:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 04:52:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-15 04:53:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 05:02:09 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-15 05:02:21 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-15 05:03:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 05:08:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 05:19:03 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-15 05:19:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 05:24:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 05:35:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 05:37:17 | × | remexre quits (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-02-15 05:37:24 | → | remexre joins (~remexre@user/remexre) |
| 2026-02-15 05:39:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 05:41:37 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Ping timeout: 246 seconds) |
| 2026-02-15 05:49:03 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 250 seconds) |
| 2026-02-15 05:51:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 05:51:38 | × | Vizious quits (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-15 05:52:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-15 05:53:18 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 05:55:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-15 05:59:35 | × | attlin quits (~user@user/attlin) (Ping timeout: 252 seconds) |
| 2026-02-15 06:04:35 | → | attlin joins (~user@user/attlin) |
| 2026-02-15 06:06:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 06:07:58 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 06:08:02 | → | tcard__ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-02-15 06:08:42 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-02-15 06:09:00 | <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 | humasect_ | is now known as humasect |
| 2026-02-15 06:09:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-15 06:09:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-15 06:11:09 | × | tcard_ quits (~tcard@2400:4051:5801:7500:1e90:74c3:2754:ce8a) (Ping timeout: 245 seconds) |
| 2026-02-15 06:12:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-15 06:20:30 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-15 06:23:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 06:26:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 06:27:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Client Quit) |
| 2026-02-15 06:27:34 | × | FANTOM quits (~fantom@87.75.185.177) (Ping timeout: 265 seconds) |
| 2026-02-15 06:28:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:39:27 | <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 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 06:39:54 | <ski> | ooc, what was the other paper ? |
| 2026-02-15 06:40:24 | <ski> | @where TaPL |
| 2026-02-15 06:40:24 | <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 | → | karenw_ joins (~karenw@user/karenw) |
| 2026-02-15 06:44:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 06:47:59 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-02-15 06:52:37 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-15 06:55:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 07:00:30 | → | caubert joins (~caubert@user/caubert) |
| 2026-02-15 07:00:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 07:00:47 | → | FANTOM joins (~fantom@90.251.214.54) |
| 2026-02-15 07:05:45 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 250 seconds) |
| 2026-02-15 07:10:20 | <jreicher> | https://www.cs.utexas.edu/~wcook/papers/OOPvsADT/CookOOPvsADT90.pdf |
| 2026-02-15 07:10:48 | <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 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-15 07:11:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 07:12:18 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds) |
| 2026-02-15 07:13:37 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2026-02-15 07:14:23 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 07:15:39 | → | img joins (~img@user/img) |
| 2026-02-15 07:18:13 | → | caubert joins (~caubert@user/caubert) |
| 2026-02-15 07:18:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-02-15 07:20:43 | × | AlexZenon quits (~alzenon@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 07:20:43 | × | AlexNoo quits (~AlexNoo@85.174.182.59) (Read error: Connection reset by peer) |
| 2026-02-15 07:20:53 | → | AlexNoo joins (~AlexNoo@85.174.183.241) |
| 2026-02-15 07:23:25 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Ping timeout: 264 seconds) |
| 2026-02-15 07:24:29 | × | Square2 quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 2026-02-15 07:25:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-15 07:26:49 | → | AlexZenon joins (~alzenon@85.174.183.241) |
| 2026-02-15 07:27:07 | → | FANTOM_ joins (~fantom@90.251.214.54) |
| 2026-02-15 07:29:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 07:29:55 | × | FANTOM quits (~fantom@90.251.214.54) (Ping timeout: 265 seconds) |
| 2026-02-15 07:30:37 | × | mange quits (~mange@user/mange) (Ping timeout: 264 seconds) |
| 2026-02-15 07:34:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 07:41:53 | × | attlin quits (~user@user/attlin) (Read error: Connection reset by peer) |
| 2026-02-15 07:43:05 | karenw_ | is now known as karenw |
| 2026-02-15 07:44:42 | → | attlin joins (~user@user/attlin) |
| 2026-02-15 07:45:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 07:46:54 | × | caubert quits (~caubert@user/caubert) (Quit: WeeChat 4.8.1) |
| 2026-02-15 07:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-15 08:01:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 08:01:07 | × | tt12316070 quits (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-15 08:06:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 08:06:42 | → | tt12316070 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2026-02-15 08:08:55 | → | youthlic joins (~user@user/youthlic) |
| 2026-02-15 08:10:12 | ← | youthlic parts (~user@user/youthlic) () |
| 2026-02-15 08:15:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) |
| 2026-02-15 08:16:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 08:22:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 08:28:34 | → | qqq_ joins (~qqq@185.54.22.240) |
| 2026-02-15 08:29:09 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-02-15 08:29:25 | × | qqq quits (~qqq@185.54.22.240) (Ping timeout: 264 seconds) |
| 2026-02-15 08:32:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-15 08:37:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 08:45:19 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-15 08:47:25 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-02-15 08:48:15 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
All times are in UTC.