| 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 |
| 2024-05-12 12:57:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2024-05-12 12:59:19 +0200 | <Guest_Plonker> | MicroHs looks interesting. I'll give it a try. Thanks for the suggestion. |
| 2024-05-12 13:00:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-12 13:01:41 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 240 seconds) |
| 2024-05-12 13:02:20 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 13:02:39 +0200 | mrmr1553343 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-05-12 13:02:57 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
| 2024-05-12 13:03:23 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-05-12 13:10:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-12 13:11:46 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-12 13:20:14 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 13:20:34 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 13:28:15 +0200 | mrmr1553343 | (~mrmr@user/mrmr) |
| 2024-05-12 13:29:21 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in) |
| 2024-05-12 13:29:54 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Read error: Connection reset by peer) |
| 2024-05-12 13:30:49 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 13:32:03 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2024-05-12 13:33:11 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-05-12 13:42:59 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 272 seconds) |
| 2024-05-12 13:47:02 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-12 13:50:18 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 13:54:43 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds) |
| 2024-05-12 13:55:33 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 14:11:17 +0200 | micro | (~micro@user/micro) (Ping timeout: 252 seconds) |
| 2024-05-12 14:16:11 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds) |
| 2024-05-12 14:16:36 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) |
| 2024-05-12 14:25:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-12 14:28:53 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-05-12 14:32:44 +0200 | danza_ | (~francesco@151.35.207.170) |
| 2024-05-12 15:00:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 15:02:12 +0200 | euleritian | (~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 15:02:32 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 15:13:09 +0200 | laker | (~laker78@user/laker78) (Quit: My VPS is down.. email me if you know it) |
| 2024-05-12 15:14:18 +0200 | laker | (~laker78@user/laker78) |
| 2024-05-12 15:17:50 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 15:18:07 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 15:20:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 15:37:48 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-12 15:50:37 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-12 16:00:03 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-05-12 16:01:49 +0200 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2024-05-12 16:02:11 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 16:03:10 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 16:04:36 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65) |
| 2024-05-12 16:04:55 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 16:07:53 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 16:08:02 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 16:12:05 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 16:12:25 +0200 | syscall1 | (~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65) (Quit: WeeChat 4.2.2) |
| 2024-05-12 16:12:28 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 16:19:37 +0200 | sandbag | (~syscall@user/sandbag) |
| 2024-05-12 16:20:43 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-12 16:23:17 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds) |
| 2024-05-12 16:25:14 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-05-12 16:25:52 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) |
| 2024-05-12 16:32:52 +0200 | euleritian | (~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 16:33:13 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 16:41:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 16:44:50 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-05-12 16:48:30 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-05-12 16:50:34 +0200 | jrm | (~jrm@user/jrm) |
| 2024-05-12 17:04:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-05-12 17:05:24 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 255 seconds) |
| 2024-05-12 17:07:24 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 17:09:37 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 17:09:49 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 17:10:57 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-12 17:11:27 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 17:11:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 17:12:32 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 17:13:03 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-05-12 17:21:42 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 256 seconds) |
| 2024-05-12 17:24:32 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 256 seconds) |
| 2024-05-12 17:24:39 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-05-12 17:25:28 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) |
| 2024-05-12 17:27:21 +0200 | Guest87 | (~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12) |
| 2024-05-12 17:28:45 +0200 | Guest87 | (~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12) (Client Quit) |
| 2024-05-12 17:29:32 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 17:41:22 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-05-12 17:43:43 +0200 | <glguy> | Hecate: yeah, send it in |
| 2024-05-12 17:47:08 +0200 | <glguy> | Just ping me here. I haven't used that in a while and it's not on my radar |
| 2024-05-12 17:58:32 +0200 | <Hecate> | glguy: <3 |
| 2024-05-12 17:59:45 +0200 | yin | (~yin@user/zero) |
| 2024-05-12 18:01:39 +0200 | sandbag | (~syscall@user/sandbag) (Ping timeout: 255 seconds) |
| 2024-05-12 18:13:58 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-12 18:16:53 +0200 | danza_ | (~francesco@151.35.207.170) (Ping timeout: 240 seconds) |
| 2024-05-12 18:29:49 +0200 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-05-12 18:36:46 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 246 seconds) |
| 2024-05-12 18:37:50 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-12 18:40:40 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-12 18:41:41 +0200 | destituion | (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) (Read error: Connection reset by peer) |
| 2024-05-12 18:42:45 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-05-12 18:46:35 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-12 18:52:07 +0200 | yin_ | (~yin@user/zero) |
| 2024-05-12 18:54:04 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 260 seconds) |
| 2024-05-12 18:54:59 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-12 18:56:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-05-12 19:17:39 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:18:17 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:22:25 +0200 | <dminuoso> | Yeah, Haskell is not something for the minimalist type. |
| 2024-05-12 19:22:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-12 19:23:45 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:23:45 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:25:41 +0200 | <glguy> | Hecate: I think the main thing is going to be to update it to work on alex-tools 0.6 |
| 2024-05-12 19:26:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 19:28:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 19:29:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:31:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:33:13 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 272 seconds) |
| 2024-05-12 19:33:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 19:35:01 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-12 19:35:49 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-05-12 19:37:14 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:37:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:39:20 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
| 2024-05-12 19:41:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
| 2024-05-12 19:41:40 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Client Quit) |
| 2024-05-12 19:43:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:44:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:46:04 +0200 | <Hecate> | glguy :/9 |
| 2024-05-12 19:46:07 +0200 | <Hecate> | damnit |
| 2024-05-12 19:46:14 +0200 | <Hecate> | glguy: thanks for merging |
| 2024-05-12 19:47:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 19:50:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-05-12 19:51:00 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-12 19:51:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-05-12 19:51:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-12 19:56:36 +0200 | euleritian | (~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-12 19:56:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-12 19:56:55 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-12 20:01:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 20:03:16 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-12 20:03:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 20:12:36 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-12 20:12:56 +0200 | <EvanR> | Guest_Plonker, the C language development tools are also pretty chonky. If they come with your distribution, that may give a false impression of minimalism |
| 2024-05-12 20:13:33 +0200 | <EvanR> | anywhere you look it's hard to miss the tower of support software we rely on |
| 2024-05-12 20:13:50 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 20:13:52 +0200 | <EvanR> | but I guess you have to look over the edge of the tower and it's scary |
| 2024-05-12 20:17:03 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-12 20:17:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 20:19:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 20:26:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 20:46:02 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-12 20:46:11 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2024-05-12 20:49:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-05-12 20:58:12 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 260 seconds) |
| 2024-05-12 20:58:12 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer) |
| 2024-05-12 20:58:43 +0200 | destituion | (~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) |
| 2024-05-12 20:59:37 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-05-12 21:01:14 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2024-05-12 21:05:33 +0200 | <Guest_Plonker> | While i don't disagree with you in general, i'm used to far more lightweight than GBs. gcc and build-essentials is maybe a couple hundred MB at most, on a linux-from-scratch (or equivalent). Then, once you can bootstrap C, you can get a simple Scheme Lisp in a single MB. |
| 2024-05-12 21:07:07 +0200 | <Hecate> | Guest_Plonker: which distro do you use btw? |
| 2024-05-12 21:07:34 +0200 | <Guest_Plonker> | Debian, mostly. |
| 2024-05-12 21:08:06 +0200 | <Hecate> | ok |
| 2024-05-12 21:10:29 +0200 | <masterbuilder> | Guest_Plonker: Do you mean the system package? It's under a GB for me |
| 2024-05-12 21:10:37 +0200 | <masterbuilder> | including libraries |
| 2024-05-12 21:10:54 +0200 | <masterbuilder> | But yeah get used to haskell eating up disk space |
| 2024-05-12 21:12:36 +0200 | <Guest_Plonker> | That's fine, if that's the way it has to be, though i still plan to look into MicroHs |
| 2024-05-12 21:12:46 +0200 | <masterbuilder> | By all means! |
| 2024-05-12 21:15:02 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-05-12 21:18:08 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-05-12 21:24:02 +0200 | Guest_Plonker | (~Guest_Plo@84.67.69.72) (Quit: Client closed) |
| 2024-05-12 21:37:53 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
| 2024-05-12 21:38:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-12 21:38:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-12 21:39:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-12 21:41:19 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2024-05-12 21:47:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-12 22:01:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-05-12 22:29:27 +0200 | <[exa]> | MicroHs is not very production-like but it's extremely <3 lovely <3 |
| 2024-05-12 22:33:32 +0200 | <[exa]> | actually its RTS has a small C interpreter for the combinators, but I found that might be completely unnecessary |
| 2024-05-12 22:45:24 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-12 23:02:02 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-12 23:12:55 +0200 | Square | (~Square@user/square) |
| 2024-05-12 23:18:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-12 23:19:31 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-12 23:20:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-12 23:22:26 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2024-05-12 23:24:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-12 23:28:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-12 23:31:12 +0200 | <dmj`> | [exa]: how so |
| 2024-05-12 23:37:57 +0200 | <raehik> | I have a type synonym `type X :: (a, b, c) -> _`. GHC tells me I can't write `type X '(a, b, c) = _` because type declarations can't look like that. Is there any way around this? |
| 2024-05-12 23:43:24 +0200 | <ncf> | raehik: type family X (x :: (a, b, c)) :: Type where X '(a, b, c) = _ |
| 2024-05-12 23:43:56 +0200 | <raehik> | ncf: yeah that's all I can think of. I can't use a type family here because I need to use this type synonym in a class instance :( |
| 2024-05-12 23:44:36 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-12 23:51:19 +0200 | <ncf> | raehik: what are you trying to achieve? |
| 2024-05-12 23:52:48 +0200 | <raehik> | I wrote a type-level symbol parser lib that passes around parsers made of type-level tuples |
| 2024-05-12 23:52:56 +0200 | <raehik> | https://github.com/raehik/symparsec |
| 2024-05-12 23:53:50 +0200 | <raehik> | I want to permit reifying these type-level parsers, but that limits the form parsers can take. specifically, they can't be type families or "type synonym families" (use type families inside) |
| 2024-05-12 23:54:52 +0200 | <raehik> | doesn't work for combinator parsers because I need to "unwrap" inner parsers and can't do that as above :( |
| 2024-05-12 23:56:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |