Newest at the top
| 2024-09-24 21:17:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 21:13:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-24 21:09:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-09-24 21:09:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-24 21:08:14 +0200 | AlexNoo | (~AlexNoo@178.34.162.53) |
| 2024-09-24 21:07:01 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-09-24 21:06:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-24 21:04:08 +0200 | AlexNoo | (~AlexNoo@178.34.162.53) (Ping timeout: 245 seconds) |
| 2024-09-24 21:03:40 +0200 | AlexZenon | (~alzenon@178.34.162.53) (Ping timeout: 265 seconds) |
| 2024-09-24 21:01:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 21:01:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-24 21:00:39 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-09-24 21:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-09-24 20:57:25 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-09-24 20:56:32 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-09-24 20:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 20:50:41 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-24 20:49:54 +0200 | rvalue- | rvalue |
| 2024-09-24 20:45:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:44:26 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-24 20:43:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-09-24 20:42:42 +0200 | <[exa]> | Athas: well, I guess that if anyone wanted to learn, they managed. :) |
| 2024-09-24 20:41:57 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2024-09-24 20:41:55 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-24 20:41:47 +0200 | bsima- | bsima |
| 2024-09-24 20:41:01 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-09-24 20:34:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-24 20:34:22 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-24 20:33:01 +0200 | <Athas> | [exa]: my initial explanatio for why this was interesting was also as a more principled form of mocking. I just hope the students are sufficiently versed in software engineering to grasp that concept. Sadly, I doubt it. |
| 2024-09-24 20:30:33 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-24 20:30:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:29:48 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Client Quit) |
| 2024-09-24 20:29:41 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
| 2024-09-24 20:29:38 +0200 | ft | (~ft@p508db65d.dip0.t-ipconnect.de) ft |
| 2024-09-24 20:29:11 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-09-24 20:28:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-24 20:27:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-24 20:25:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-24 20:21:10 +0200 | <[exa]> | Athas: I was explaining these once and kinda started with "join without actual join" and then I was mocking IO ("for the unit tests, if you'd ever want to do that") which went pretty well, I think people saw that as a very annoying thing in general so some relief was welcome |
| 2024-09-24 20:19:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-24 20:16:15 +0200 | <ski> | (if you think of `Functor' as a dictionary data type, then its data constructor would be higher-rank, yes. also, operations on higher-order data types would often be higher-rank (just as operations on parameterized data types would often be polymorphic, but that data type is still not itself polymorphic)) |
| 2024-09-24 20:15:55 +0200 | <[exa]> | Athas: the fibs memo example is super nice |
| 2024-09-24 20:14:31 +0200 | <ski> | s/e by itself/f by itself/ |
| 2024-09-24 20:14:20 +0200 | <[exa]> | Athas: o nice |
| 2024-09-24 20:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-24 20:13:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-24 20:12:52 +0200 | <Athas> | That's right, that's a typo. |
| 2024-09-24 20:12:18 +0200 | <ski> | "This is an instance of "\higher-rank polymorphism\", where we abstract not over types , but type constructors ." -- no, this is just a higher-order type, it's not higher-rank at all |
| 2024-09-24 20:09:17 +0200 | lucy | (~lucy@user/lucy) lucy |
| 2024-09-24 20:07:52 +0200 | <Athas> | Nothing very fancy. |