| 2024-05-12 00:01:56 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-05-12 00:02:15 +0200 | mailman | (~mailman@103.166.150.118) (Quit: Client closed) |
| 2024-05-12 00:04:15 +0200 | mima | mmh |
| 2024-05-12 00:05:41 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-12 00:08:25 +0200 | mmh | (~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) (Quit: leaving) |
| 2024-05-12 00:10:53 +0200 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 252 seconds) |
| 2024-05-12 00:11:22 +0200 | khumba | (~khumba@user/khumba) |
| 2024-05-12 00:12:57 +0200 | AlexZenon | (~alzenon@178.34.162.125) (Ping timeout: 272 seconds) |
| 2024-05-12 00:16:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 00:16:48 +0200 | mima | (~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) |
| 2024-05-12 00:17:16 +0200 | mima | (~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) () |
| 2024-05-12 00:18:32 +0200 | AlexZenon | (~alzenon@178.34.162.125) |
| 2024-05-12 00:20:07 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-12 00:20:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 00:20:20 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-05-12 00:27:23 +0200 | yin | (~yin@user/zero) |
| 2024-05-12 00:31:19 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.2) |
| 2024-05-12 00:31:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 00:33:26 +0200 | mailman | (~mailman@103.166.150.118) |
| 2024-05-12 00:36:36 +0200 | mailman | (~mailman@103.166.150.118) (Client Quit) |
| 2024-05-12 00:38:44 +0200 | mailman | (~mailman@103.166.150.118) |
| 2024-05-12 00:48:13 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-05-12 00:49:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-12 00:51:14 +0200 | yin | (~yin@user/zero) |
| 2024-05-12 01:01:31 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2024-05-12 01:02:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-05-12 01:04:09 +0200 | mailman | (~mailman@103.166.150.118) (Ping timeout: 250 seconds) |
| 2024-05-12 01:06:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-12 01:08:38 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-12 01:09:51 +0200 | mailmanw3 | (~mailmanw3@103.166.150.118) |
| 2024-05-12 01:12:29 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-12 01:14:01 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-05-12 01:15:53 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-05-12 01:18:30 +0200 | zesheth | (~zesheth@103.166.150.118) |
| 2024-05-12 01:21:28 +0200 | benjaminl | (~benjaminl@user/benjaminl) |
| 2024-05-12 01:22:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-12 01:22:27 +0200 | mailmanw3 | (~mailmanw3@103.166.150.118) (Quit: Client closed) |
| 2024-05-12 01:22:27 +0200 | zesheth | (~zesheth@103.166.150.118) (Client Quit) |
| 2024-05-12 01:26:49 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in) |
| 2024-05-12 01:27:15 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2024-05-12 01:32:48 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-05-12 01:38:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 01:40:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-12 01:42:04 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-12 01:44:31 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-05-12 01:44:47 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc4619a20da439ab254b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-05-12 01:47:45 +0200 | mima | (~mmh@user/mima) |
| 2024-05-12 01:50:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-05-12 01:51:58 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-05-12 01:52:55 +0200 | yin | (~yin@user/zero) |
| 2024-05-12 02:13:04 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-05-12 02:17:57 +0200 | Lears | (~Leary]@user/Leary/x-0910699) (Ping timeout: 256 seconds) |
| 2024-05-12 02:27:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-12 02:43:14 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-12 02:47:14 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-12 02:50:24 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-05-12 02:55:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 03:01:59 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-12 03:10:32 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-05-12 03:12:48 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-05-12 03:14:32 +0200 | otto_s | (~user@p5de2f4b0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-12 03:15:59 +0200 | otto_s | (~user@p4ff27bc4.dip0.t-ipconnect.de) |
| 2024-05-12 03:33:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-12 04:00:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-12 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-05-12 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-05-12 04:16:23 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 268 seconds) |
| 2024-05-12 04:18:05 +0200 | td_ | (~td@i53870913.versanet.de) |
| 2024-05-12 04:38:56 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2024-05-12 05:16:18 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-12 05:16:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 05:17:10 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2024-05-12 05:17:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-05-12 05:36:58 +0200 | agent314 | (~quassel@87.249.134.25) (Ping timeout: 246 seconds) |
| 2024-05-12 05:37:33 +0200 | agent314 | (~quassel@c-24-17-4-192.hsd1.wa.comcast.net) |
| 2024-05-12 05:42:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-12 05:43:04 +0200 | agent314 | (~quassel@c-24-17-4-192.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2024-05-12 05:43:13 +0200 | agent314 | (~quassel@87.249.134.25) |
| 2024-05-12 05:47:02 +0200 | Square | (~Square@user/square) |
| 2024-05-12 05:50:23 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2024-05-12 05:58:51 +0200 | aforemny_ | (~aforemny@i59F516F5.versanet.de) |
| 2024-05-12 05:59:59 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) (Ping timeout: 268 seconds) |
| 2024-05-12 06:30:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-12 06:39:29 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-12 06:40:28 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-12 06:48:26 +0200 | agent314 | (~quassel@87.249.134.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-12 07:01:49 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-12 07:02:19 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 07:14:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 07:18:29 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-12 07:25:33 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-12 07:32:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 07:54:14 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Read error: Connection reset by peer) |
| 2024-05-12 07:55:04 +0200 | dos__^^ | (~user@user/dos/x-1723657) |
| 2024-05-12 07:56:11 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2024-05-12 07:56:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 07:57:40 +0200 | dos__^^ | (~user@user/dos/x-1723657) (Read error: No route to host) |
| 2024-05-12 08:08:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 08:30:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 08:38:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 08:55:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 09:00:07 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-12 09:00:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 09:02:43 +0200 | tt1231097 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-05-12 09:04:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-12 09:08:38 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-12 09:12:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 09:23:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-12 09:23:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de) |
| 2024-05-12 09:25:19 +0200 | mankanor | (~mankanor@210.185.176.242) |
| 2024-05-12 09:26:08 +0200 | mankanor | (~mankanor@210.185.176.242) (Read error: Connection reset by peer) |
| 2024-05-12 09:27:32 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-12 09:29:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-05-12 09:42:25 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 09:42:39 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 09:52:09 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2024-05-12 09:56:17 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 09:56:28 +0200 | <syscall1> | hello |
| 2024-05-12 09:57:37 +0200 | <syscall1> | exit |
| 2024-05-12 09:57:43 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Client Quit) |
| 2024-05-12 09:57:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 09:58:09 +0200 | <mauke> | good syscall |
| 2024-05-12 09:59:32 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 10:03:10 +0200 | <syscall1> | hello, i am new to irc. how do i register a nick on this channel? |
| 2024-05-12 10:03:31 +0200 | <syscall1> | (using weechat client) |
| 2024-05-12 10:06:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-12 10:06:15 +0200 | <mauke> | nicks aren't a channel thing, they're a whole network thing |
| 2024-05-12 10:06:17 +0200 | <mauke> | https://libera.chat/guides/registration |
| 2024-05-12 10:07:04 +0200 | syscall1 | hash |
| 2024-05-12 10:07:41 +0200 | hash | rogue |
| 2024-05-12 10:08:07 +0200 | rogue | decimal |
| 2024-05-12 10:08:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 10:08:26 +0200 | decimal | oatmeal |
| 2024-05-12 10:08:59 +0200 | oatmeal | sandbag |
| 2024-05-12 10:09:50 +0200 | sandbag | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Quit: WeeChat 4.2.2) |
| 2024-05-12 10:10:13 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) |
| 2024-05-12 10:10:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 10:10:54 +0200 | syscall1 | sandbag |
| 2024-05-12 10:11:32 +0200 | sandbag | (~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Changing host) |
| 2024-05-12 10:11:32 +0200 | sandbag | (~syscall@user/sandbag) |
| 2024-05-12 10:12:16 +0200 | <sandbag> | @mauke got it. thanks |
| 2024-05-12 10:12:17 +0200 | <lambdabot> | Unknown command, try @list |
| 2024-05-12 10:12:39 +0200 | <mauke> | lambdabot interprets messages starting with @ as commands :-) |
| 2024-05-12 10:12:57 +0200 | <sandbag> | oops |
| 2024-05-12 10:13:40 +0200 | <mauke> | sandbag: for addressing, I generally just type "sa<Tab>", which my irc client autocompletes to "sandbag: " |
| 2024-05-12 10:14:37 +0200 | <sandbag> | mauke: that worked! thanks for the heads up |
| 2024-05-12 10:14:55 +0200 | <sandbag> | is markdown highlighting supported in irc? |
| 2024-05-12 10:15:30 +0200 | <mauke> | no |
| 2024-05-12 10:15:43 +0200 | <mauke> | remember, IRC is older than the WWW :-) |
| 2024-05-12 10:16:05 +0200 | <sandbag> | bummer. how do I send code snippets in a readable form then? |
| 2024-05-12 10:16:12 +0200 | <mauke> | it's all plain (very plain) text and some client-side extras, like recognizing URLs |
| 2024-05-12 10:16:22 +0200 | <mauke> | external paste sites |
| 2024-05-12 10:16:34 +0200 | <mauke> | like our topic says: Paste code/errors: https://paste.tomsmeding.com |
| 2024-05-12 10:16:55 +0200 | <sandbag> | yes! sorry for not looking at the top :) |
| 2024-05-12 10:17:09 +0200 | <mauke> | don't worry, no one looks there :-) |
| 2024-05-12 10:17:50 +0200 | <mauke> | as a general rule, don't paste into IRC; use a paste site and give us the link to your post |
| 2024-05-12 10:18:02 +0200 | <sandbag> | got it! |
| 2024-05-12 10:19:37 +0200 | <mauke> | hmm... looks like #haskell doesn't filter color codes, so you could annoy everyone by putting random colors in your text |
| 2024-05-12 10:20:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-12 10:21:06 +0200 | <mauke> | it's 03super green |
| 2024-05-12 10:28:53 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 240 seconds) |
| 2024-05-12 10:29:08 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 10:29:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 10:36:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 10:42:46 +0200 | <sandbag> | mauke: nice :) |
| 2024-05-12 10:47:38 +0200 | <sandbag> | https://paste.tomsmeding.com/CFWXtmFm, when i define 'html_ = el "html" content', it gives me an error. why? shouldn't el take 2 arguments? |
| 2024-05-12 10:47:58 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-05-12 10:48:57 +0200 | <mauke> | what's the error message? |
| 2024-05-12 10:50:07 +0200 | <mauke> | in the playground, I get: Main.hs:5:19: error: Variable not in scope: content :: String |
| 2024-05-12 10:50:23 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 264 seconds) |
| 2024-05-12 10:50:37 +0200 | <sandbag> | yeah |
| 2024-05-12 10:50:47 +0200 | <sandbag> | that's what I get |
| 2024-05-12 10:50:49 +0200 | <mauke> | which makes sense to me. 'content' is not defined anywhere |
| 2024-05-12 10:51:13 +0200 | <mauke> | did you mean: html_ content = el "html" content |
| 2024-05-12 10:51:29 +0200 | <sandbag> | oh yes, sorr |
| 2024-05-12 10:52:05 +0200 | <sandbag> | that works as well, I got confused. but if you remove the variable, that will work too |
| 2024-05-12 10:52:28 +0200 | <sandbag> | el needs 2 arguments, and I have given it only one |
| 2024-05-12 10:52:45 +0200 | <mauke> | 2-argument functions are a scam |
| 2024-05-12 10:52:54 +0200 | <mauke> | all haskell functions really only take 1 argument |
| 2024-05-12 10:53:14 +0200 | <mauke> | a "two-argument function" is a function (of one argument) that returns another function (of one argument) |
| 2024-05-12 10:53:47 +0200 | <sandbag> | but it still combines 2 arguments into one right? so initially it was 2 arguments |
| 2024-05-12 10:53:53 +0200 | <mauke> | f x y really means (f x) y |
| 2024-05-12 10:54:23 +0200 | <mauke> | it is the function you get from f x applied to an argument, y |
| 2024-05-12 10:54:37 +0200 | <sandbag> | alright, but how does el function know where to get "content" if I did not pass it? |
| 2024-05-12 10:55:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 10:55:07 +0200 | <mauke> | html_ content = el "html" content -- the original definition, is the same as: |
| 2024-05-12 10:55:16 +0200 | <mauke> | html_ = \content -> (el "html") content |
| 2024-05-12 10:55:48 +0200 | <sandbag> | i meant html_ = el "html" |
| 2024-05-12 10:56:06 +0200 | <mauke> | which says: html_ is defined as a function (of one argument, content) that applies (el "html") to that argument |
| 2024-05-12 10:56:18 +0200 | <mauke> | which means it is functionally equivalent to just el "html" |
| 2024-05-12 10:56:30 +0200 | <mauke> | because all it does is forward its argument to another function |
| 2024-05-12 10:56:54 +0200 | <mauke> | fundamentally, it's like writing 'f = g' instead of 'f x = g x' |
| 2024-05-12 10:56:57 +0200 | <mauke> | it comes to the same thing |
| 2024-05-12 10:57:09 +0200 | <sandbag> | your snippet makes sense. so the one I sent is similar? |
| 2024-05-12 10:57:58 +0200 | <sandbag> | im new to functional programming. forgive me for any kind of silly questions :) |
| 2024-05-12 10:58:17 +0200 | <mauke> | just as in 'f x = g x' you can "cancel" the x on both sides, so in 'html_ content = (el "html") content' you can cancel the content on both sides |
| 2024-05-12 10:59:44 +0200 | <sandbag> | ah, that makes sense. so i can get away by not passing arguments to some middle function which points to a top function which has the same argument |
| 2024-05-12 11:00:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-12 11:00:12 +0200 | <mauke> | doesn't even have to be "middle" or "top" |
| 2024-05-12 11:00:43 +0200 | <sandbag> | oh, could be any function? |
| 2024-05-12 11:01:00 +0200 | <mauke> | any time you have a function whose outermost expression (in the function body) is a function application |
| 2024-05-12 11:01:20 +0200 | <mauke> | well, and the thing it's applying the (inner) function to is the argument of the (outer) function |
| 2024-05-12 11:01:27 +0200 | <sandbag> | in that manner, doesn't that eliminate the need of arguments then? |
| 2024-05-12 11:01:27 +0200 | <mauke> | \x -> (... anything here ...) x |
| 2024-05-12 11:01:46 +0200 | <mauke> | not completely |
| 2024-05-12 11:02:00 +0200 | <mauke> | consider \x -> f x x |
| 2024-05-12 11:02:21 +0200 | <mauke> | here we use the argument x not just as the last argument to some other function |
| 2024-05-12 11:02:44 +0200 | <sandbag> | yeah |
| 2024-05-12 11:02:53 +0200 | <mauke> | or even just \x -> f x 42 |
| 2024-05-12 11:03:10 +0200 | <mauke> | you can't directly get the 'x' out of the middle of an expression |
| 2024-05-12 11:03:23 +0200 | <sandbag> | so, if you are referencing or using some other function, at that time arguments aren't required |
| 2024-05-12 11:03:38 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) |
| 2024-05-12 11:03:38 +0200 | <mauke> | but it turns out you can always do it if you allow some simple helper functions |
| 2024-05-12 11:03:57 +0200 | <sandbag> | true |
| 2024-05-12 11:04:19 +0200 | <mauke> | commonly known as S and K, defined as: K x y = x; S x y z = (x z) (y z) |
| 2024-05-12 11:04:40 +0200 | <mauke> | and now you can write all functions without arguments :-) |
| 2024-05-12 11:04:43 +0200 | <sandbag> | looks like a very complex math equation :| |
| 2024-05-12 11:04:48 +0200 | <sandbag> | and i suck at math |
| 2024-05-12 11:05:19 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Quit: WeeChat 4.2.2) |
| 2024-05-12 11:05:25 +0200 | <sandbag> | anywho, thanks for the explanation. it's much clear now |
| 2024-05-12 11:05:49 +0200 | <mauke> | if you want to get scared, https://en.wikipedia.org/wiki/Combinatory_logic |
| 2024-05-12 11:06:03 +0200 | <sandbag> | i will resume my journey on functional programming |
| 2024-05-12 11:06:09 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-05-12 11:06:09 +0200 | <mauke> | "Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic." |
| 2024-05-12 11:06:21 +0200 | <mauke> | or in our case, to eliminate the need for naming arguments in lambda functions |
| 2024-05-12 11:06:41 +0200 | <sandbag> | that's interesting |
| 2024-05-12 11:07:54 +0200 | <sandbag> | btw, completely offtopic but is ocaml similar to haskell or completely different? |
| 2024-05-12 11:08:02 +0200 | <mauke> | pretty similar in many ways |
| 2024-05-12 11:08:53 +0200 | <sandbag> | ah, that's great. i will pick it up after writing some haskell |
| 2024-05-12 11:08:56 +0200 | <mauke> | very similar syntax and type system |
| 2024-05-12 11:09:39 +0200 | <mauke> | but not lazy and not pure (ad-hoc side effects allowed everywhere) |
| 2024-05-12 11:10:14 +0200 | <[Leary]> | The MLs do share Haskell's parametric polymorphism and some syntax, but Haskell being both pure and lazy is somewhat of an island; there are no widely used programming languages that are genuinely similar. |
| 2024-05-12 11:10:14 +0200 | <sandbag> | functional languages do look a bit similar to python (mostly syntax and less amount of code). if you look at C or Go, you are writing a lot of code. but in python or haskell, it's less |
| 2024-05-12 11:10:51 +0200 | <mauke> | depends on the task and the language |
| 2024-05-12 11:10:59 +0200 | <sandbag> | for python, I can understand because of lots of abstraction. is it similar in haskell? |
| 2024-05-12 11:11:28 +0200 | <sandbag> | [Leary]: true |
| 2024-05-12 11:12:35 +0200 | <sandbag> | mauke: absolutely. |
| 2024-05-12 11:12:49 +0200 | <mauke> | I'd say what python and haskell have in common is fairly high-level abstractions (no need for explicit or manual memory allocation, for example) and an ecosystem of reusable modules |
| 2024-05-12 11:13:07 +0200 | <mauke> | which also applies to perl |
| 2024-05-12 11:14:51 +0200 | <sandbag> | mauke: yeah, perl as well. so is it mostly from C or some other language? |
| 2024-05-12 11:15:19 +0200 | <mauke> | to me, haskell is unique because you can stack abstractions on top of each other to create absolutely brain-breaking code in 3 or 4 lines |
| 2024-05-12 11:16:06 +0200 | <mauke> | java is also famous for being needlessly verbose |
| 2024-05-12 11:16:12 +0200 | <sandbag> | oh, that's interesting |
| 2024-05-12 11:16:43 +0200 | <sandbag> | mauke: absolutely! java is extremely verbose |
| 2024-05-12 11:17:38 +0200 | <sandbag> | i never really understood the importance of OOP. it is just there to complicate things |
| 2024-05-12 11:18:55 +0200 | <mauke> | loeb :: Functor f => f (f a -> a) -> f a; loeb x = y where y = fmap (\f -> f y) x |
| 2024-05-12 11:19:09 +0200 | <Hecate> | glguy: do you accept compat PRs for https://github.com/glguy/language-lua ? I need to work with GHC 9.8 |
| 2024-05-12 11:19:36 +0200 | <mauke> | ^ like this thing. just two lines of code, fairly short; doesn't use any crazy language extensions; and yet ... wtf even is that |
| 2024-05-12 11:20:11 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-12 11:22:28 +0200 | brox66 | (~brox66@user/brox66) |
| 2024-05-12 11:23:44 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2024-05-12 11:23:46 +0200 | mailman1 | (~mailman1@116.71.176.122) |
| 2024-05-12 11:26:11 +0200 | euleritian | (~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 272 seconds) |
| 2024-05-12 11:27:56 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 11:28:15 +0200 | mailman1 | (~mailman1@116.71.176.122) (Client Quit) |
| 2024-05-12 11:29:00 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 11:30:07 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 11:31:45 +0200 | brox66 | (~brox66@user/brox66) (Quit: Client closed) |
| 2024-05-12 11:33:37 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 11:36:00 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 11:36:27 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 11:37:24 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 11:37:43 +0200 | khumba | (~khumba@user/khumba) () |
| 2024-05-12 11:38:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 11:43:29 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-12 11:47:23 +0200 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2024-05-12 11:49:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 11:50:27 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 11:52:58 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 11:54:04 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 11:57:58 +0200 | sandbag | (~syscall@user/sandbag) (Ping timeout: 268 seconds) |
| 2024-05-12 12:09:33 +0200 | mailman | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 12:10:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-12 12:12:55 +0200 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
| 2024-05-12 12:17:37 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 12:21:32 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 12:29:21 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 12:30:42 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 12:31:36 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 12:31:39 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-12 12:35:08 +0200 | mailman98 | (~mailman@116.71.176.122) |
| 2024-05-12 12:38:46 +0200 | mei | (~mei@user/mei) |
| 2024-05-12 12:40:07 +0200 | mailman | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 12:40:51 +0200 | mailman | (~mailman@116.71.176.122) |
| 2024-05-12 12:44:05 +0200 | mailman | (~mailman@116.71.176.122) (Client Quit) |
| 2024-05-12 12:46:41 +0200 | Guest_Plonker | (~Guest_Plo@84.67.69.72) |
| 2024-05-12 12:48:15 +0200 | mailman98 | (~mailman@116.71.176.122) (Quit: Client closed) |
| 2024-05-12 12:50:33 +0200 | <Guest_Plonker> | I'm really intrigued by the idea of learning Haskell, but i'm a software engineering minimalist and the compiler on my linux distro package manager wants to pull in well over a GB of libraries and other programs. Has anyone got advice for getting that figure down to a couple hundred MB at most? |
| 2024-05-12 12:52:15 +0200 | <mauke> | ghc just is that chonky |
| 2024-05-12 12:52:39 +0200 | <mauke> | you could checkout hugs, but that hasn't been maintained in a decade or so |
| 2024-05-12 12:52:57 +0200 | <mauke> | there's also microhs, but no idea how production ready that is |