Newest at the top
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. |
2024-09-24 20:07:49 +0200 | <Athas> | And logging I guess. |
2024-09-24 20:07:42 +0200 | <Athas> | Important examples were memoisation and async. |
2024-09-24 20:07:34 +0200 | <Athas> | [exa]: these ones: https://diku-dk.github.io/ap-notes/chapter_4.html |
2024-09-24 20:07:18 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
2024-09-24 20:03:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-24 20:03:01 +0200 | <geekosaur> | https://hoogle.mangoiv.com makes a good alternative, as does stackage's hoogle |
2024-09-24 19:59:55 +0200 | <raehik> | for me too ;_; |
2024-09-24 19:59:26 +0200 | <[exa]> | btw hoogle seems very down recently |
2024-09-24 19:59:08 +0200 | <[exa]> | Athas: what did you use as examples btw? |
2024-09-24 19:58:49 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
2024-09-24 19:58:44 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-24 19:58:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-24 19:56:48 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
2024-09-24 19:55:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-24 19:55:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-24 19:53:08 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
2024-09-24 19:51:38 +0200 | athan | (~athan@146.newark-18rh15rt.nj.dial-access.att.net) (Ping timeout: 245 seconds) |
2024-09-24 19:50:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-24 19:49:57 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
2024-09-24 19:49:26 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Read error: Connection reset by peer) |
2024-09-24 19:48:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-09-24 19:46:56 +0200 | sdrfan123 | (~sdrfan123@2607:fb90:df8d:eacb:60ed:f19e:406e:c9e9) (Quit: Client closed) |
2024-09-24 19:45:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-09-24 19:45:23 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
2024-09-24 19:44:57 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5) |
2024-09-24 19:44:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Read error: Connection reset by peer) |
2024-09-24 19:40:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-24 19:39:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-24 19:39:56 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-24 19:38:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-24 19:38:06 +0200 | rosco | (~rosco@175.136.158.234) (Quit: Lost terminal) |
2024-09-24 19:34:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-24 19:34:19 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
2024-09-24 19:33:57 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.3.5) |
2024-09-24 19:31:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-09-24 19:23:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-24 19:23:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-09-24 19:22:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-24 19:21:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |