Newest at the top
| 2024-11-16 20:43:59 +0100 | malte | (~malte@152.89.107.66) (Remote host closed the connection) |
| 2024-11-16 20:40:26 +0100 | <Rembane> | Good luck! |
| 2024-11-16 20:40:23 +0100 | <Rembane> | np! |
| 2024-11-16 20:38:14 +0100 | <RedNifre> | Thanks! |
| 2024-11-16 20:35:06 +0100 | <Rembane> | RedNifre: https://hexdocs.pm/elixir/Enum.html#reduce_while/3 |
| 2024-11-16 20:34:29 +0100 | <RedNifre> | By the way, is this also a good place to talk about dependently typed programming? Or is there a separate channel for it? |
| 2024-11-16 20:33:28 +0100 | <RedNifre> | Oh, interesting! I'll look into reduce_while then to figure out the reason for that name. |
| 2024-11-16 20:33:25 +0100 | <Rembane> | foldrWhile? |
| 2024-11-16 20:32:56 +0100 | <RedNifre> | "reduce" is already a thing in Kotlin, it's kinda foldr for non-empty lists where the first element is used as a parameter to foldr the rest of the list. |
| 2024-11-16 20:32:40 +0100 | <Rembane> | RedNifre: Cool! I have no experience at all with that, but FWIW: Elixir calls it reduce_while. |
| 2024-11-16 20:32:28 +0100 | <RedNifre> | Also, it's a good multi platform language as in KMP (Kotlin Multi Platform) compiles for JVM, iOS and JS. |
| 2024-11-16 20:32:17 +0100 | <lxsameer> | s/anywhere/everywhere |
| 2024-11-16 20:32:03 +0100 | <lxsameer> | "reduce" is generic enough to apply almost anywehere |
| 2024-11-16 20:31:40 +0100 | <RedNifre> | I don't really have a choice, since it's basically the only viable language for Android. |
| 2024-11-16 20:31:17 +0100 | <RedNifre> | It doesn't matter, but it's Kotlin (better Java). |
| 2024-11-16 20:30:31 +0100 | <Rembane> | RedNifre: Out of curiosity, which language are you working in? |
| 2024-11-16 20:28:39 +0100 | <RedNifre> | Or flatReduce |
| 2024-11-16 20:28:22 +0100 | <RedNifre> | Well, if there is no name for such a thing (And since I'm actually programming in a different language where bind is called "flatMap"), I'll probably go with "flatFold" for now. |
| 2024-11-16 20:21:27 +0100 | sprotte24 | (~sprotte24@p200300d16f220900784866affc8a4e1f.dip0.t-ipconnect.de) |
| 2024-11-16 20:17:50 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-16 20:13:47 +0100 | malte | (~malte@152.89.107.66) malte |
| 2024-11-16 20:09:26 +0100 | institor | (~henricus@user/institor) (K-Lined) |
| 2024-11-16 19:59:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-16 19:57:45 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) acidjnk |
| 2024-11-16 19:51:09 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Ping timeout: 252 seconds) |
| 2024-11-16 19:48:27 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.50) Jeanne-Kamikaze |
| 2024-11-16 19:47:29 +0100 | euleritian | (~euleritia@dynamic-176-001-130-146.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-16 19:47:14 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-16 19:46:23 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-16 19:45:39 +0100 | housemate | (~housemate@146.70.66.228) (Max SendQ exceeded) |
| 2024-11-16 19:45:36 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-16 19:45:23 +0100 | euleritian | (~euleritia@dynamic-176-001-130-146.176.1.pool.telefonica.de) |
| 2024-11-16 19:36:12 +0100 | euleritian | (~euleritia@dynamic-176-004-002-246.176.4.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-11-16 19:30:16 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2024-11-16 19:28:16 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-11-16 19:27:26 +0100 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-11-16 19:23:48 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit |
| 2024-11-16 19:23:36 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2024-11-16 19:23:23 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Client Quit) |
| 2024-11-16 19:23:17 +0100 | dostoyev1ky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-11-16 19:23:12 +0100 | MajorBiscuit | (~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit |
| 2024-11-16 19:23:08 +0100 | euleritian | (~euleritia@dynamic-176-004-002-246.176.4.pool.telefonica.de) |
| 2024-11-16 19:22:24 +0100 | euleritian | (~euleritia@dynamic-176-006-147-178.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-16 19:19:42 +0100 | michalz | (~michalz@185.246.207.203) |
| 2024-11-16 19:17:30 +0100 | Digit | (~user@user/digit) Digit |
| 2024-11-16 19:14:11 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-11-16 19:13:32 +0100 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-16 19:13:07 +0100 | hellwolf | (~user@04ed-dbc2-42ba-2a72-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-16 19:12:49 +0100 | hellwolf | (~user@04ed-dbc2-42ba-2a72-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2024-11-16 19:07:31 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |