2024/05/12

2024-05-12 00:01:56 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-05-12 00:02:15 +0200mailman(~mailman@103.166.150.118) (Quit: Client closed)
2024-05-12 00:04:15 +0200mimammh
2024-05-12 00:05:41 +0200yin(~yin@user/zero) (Ping timeout: 240 seconds)
2024-05-12 00:08:25 +0200mmh(~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) (Quit: leaving)
2024-05-12 00:10:53 +0200benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 252 seconds)
2024-05-12 00:11:22 +0200khumba(~khumba@user/khumba)
2024-05-12 00:12:57 +0200AlexZenon(~alzenon@178.34.162.125) (Ping timeout: 272 seconds)
2024-05-12 00:16:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 00:16:48 +0200mima(~mmh@aftr-62-216-211-203.dynamic.mnet-online.de)
2024-05-12 00:17:16 +0200mima(~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) ()
2024-05-12 00:18:32 +0200AlexZenon(~alzenon@178.34.162.125)
2024-05-12 00:20:07 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-12 00:20:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 00:20:20 +0200stef204(~stef204@user/stef204)
2024-05-12 00:27:23 +0200yin(~yin@user/zero)
2024-05-12 00:31:19 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.2)
2024-05-12 00:31:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 00:33:26 +0200mailman(~mailman@103.166.150.118)
2024-05-12 00:36:36 +0200mailman(~mailman@103.166.150.118) (Client Quit)
2024-05-12 00:38:44 +0200mailman(~mailman@103.166.150.118)
2024-05-12 00:48:13 +0200yin(~yin@user/zero) (Ping timeout: 246 seconds)
2024-05-12 00:49:22 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-12 00:51:14 +0200yin(~yin@user/zero)
2024-05-12 01:01:31 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds)
2024-05-12 01:02:51 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-05-12 01:04:09 +0200mailman(~mailman@103.166.150.118) (Ping timeout: 250 seconds)
2024-05-12 01:06:12 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-12 01:08:38 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-12 01:09:51 +0200mailmanw3(~mailmanw3@103.166.150.118)
2024-05-12 01:12:29 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2024-05-12 01:14:01 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-05-12 01:15:53 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-05-12 01:18:30 +0200zesheth(~zesheth@103.166.150.118)
2024-05-12 01:21:28 +0200benjaminl(~benjaminl@user/benjaminl)
2024-05-12 01:22:23 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-05-12 01:22:27 +0200mailmanw3(~mailmanw3@103.166.150.118) (Quit: Client closed)
2024-05-12 01:22:27 +0200zesheth(~zesheth@103.166.150.118) (Client Quit)
2024-05-12 01:26:49 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in)
2024-05-12 01:27:15 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2024-05-12 01:32:48 +0200qqq(~qqq@92.43.167.61) (Remote host closed the connection)
2024-05-12 01:38:27 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-12 01:40:46 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-12 01:42:04 +0200causal(~eric@50.35.88.207)
2024-05-12 01:44:31 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2024-05-12 01:44:47 +0200acidjnk_new(~acidjnk@p200300d6e714dc4619a20da439ab254b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-05-12 01:47:45 +0200mima(~mmh@user/mima)
2024-05-12 01:50:59 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
2024-05-12 01:51:58 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2024-05-12 01:52:55 +0200yin(~yin@user/zero)
2024-05-12 02:13:04 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)
2024-05-12 02:17:57 +0200Lears(~Leary]@user/Leary/x-0910699) (Ping timeout: 256 seconds)
2024-05-12 02:27:51 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
2024-05-12 02:43:14 +0200yin(~yin@user/zero) (Ping timeout: 252 seconds)
2024-05-12 02:47:14 +0200Square2(~Square4@user/square)
2024-05-12 02:50:24 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-05-12 02:55:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-12 03:01:59 +0200madariaga(~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 +0200otto_s(~user@p5de2f4b0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-05-12 03:15:59 +0200otto_s(~user@p4ff27bc4.dip0.t-ipconnect.de)
2024-05-12 03:33:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-12 04:00:08 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-12 04:05:04 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2024-05-12 04:05:34 +0200op_4(~tslil@user/op-4/x-9116473)
2024-05-12 04:16:23 +0200td_(~td@i53870939.versanet.de) (Ping timeout: 268 seconds)
2024-05-12 04:18:05 +0200td_(~td@i53870913.versanet.de)
2024-05-12 04:38:56 +0200ai5lk(~ai5lk@209-188-121-236.taosnet.com)
2024-05-12 05:16:18 +0200philopsos(~caecilius@user/philopsos)
2024-05-12 05:16:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 05:17:10 +0200ai5lk(~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8)
2024-05-12 05:17:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2024-05-12 05:36:58 +0200agent314(~quassel@87.249.134.25) (Ping timeout: 246 seconds)
2024-05-12 05:37:33 +0200agent314(~quassel@c-24-17-4-192.hsd1.wa.comcast.net)
2024-05-12 05:42:51 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-05-12 05:43:04 +0200agent314(~quassel@c-24-17-4-192.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2024-05-12 05:43:13 +0200agent314(~quassel@87.249.134.25)
2024-05-12 05:47:02 +0200Square(~Square@user/square)
2024-05-12 05:50:23 +0200Square2(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-12 05:58:51 +0200aforemny_(~aforemny@i59F516F5.versanet.de)
2024-05-12 05:59:59 +0200aforemny(~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) (Ping timeout: 268 seconds)
2024-05-12 06:30:49 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-12 06:39:29 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-12 06:40:28 +0200philopsos1(~caecilius@user/philopsos)
2024-05-12 06:48:26 +0200agent314(~quassel@87.249.134.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-05-12 07:01:49 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-12 07:02:19 +0200rvalue(~rvalue@user/rvalue)
2024-05-12 07:14:31 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 07:18:29 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-12 07:25:33 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-12 07:32:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 07:54:14 +0200dos__^^(~user@user/dos/x-1723657) (Read error: Connection reset by peer)
2024-05-12 07:55:04 +0200dos__^^(~user@user/dos/x-1723657)
2024-05-12 07:56:11 +0200[Leary](~Leary]@user/Leary/x-0910699)
2024-05-12 07:56:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 07:57:40 +0200dos__^^(~user@user/dos/x-1723657) (Read error: No route to host)
2024-05-12 08:08:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 08:30:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 08:38:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-12 08:55:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 09:00:07 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2024-05-12 09:00:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 09:02:43 +0200tt1231097(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-05-12 09:04:31 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-12 09:08:38 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-12 09:12:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 09:23:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-05-12 09:23:34 +0200acidjnk_new(~acidjnk@p200300d6e714dc538d2f4966c160723d.dip0.t-ipconnect.de)
2024-05-12 09:25:19 +0200mankanor(~mankanor@210.185.176.242)
2024-05-12 09:26:08 +0200mankanor(~mankanor@210.185.176.242) (Read error: Connection reset by peer)
2024-05-12 09:27:32 +0200euphores(~SASL_euph@user/euphores)
2024-05-12 09:29:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 252 seconds)
2024-05-12 09:42:25 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 09:42:39 +0200euleritian(~euleritia@ip-185-104-138-28.ptr.icomera.net)
2024-05-12 09:52:09 +0200cafkafk(~cafkafk@fsf/member/cafkafk)
2024-05-12 09:56:17 +0200syscall1(~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 +0200syscall1(~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Client Quit)
2024-05-12 09:57:58 +0200tromp(~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 +0200syscall1(~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 +0200Tuplanolla(~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 +0200syscall1hash
2024-05-12 10:07:41 +0200hashrogue
2024-05-12 10:08:07 +0200roguedecimal
2024-05-12 10:08:24 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 10:08:26 +0200decimaloatmeal
2024-05-12 10:08:59 +0200oatmealsandbag
2024-05-12 10:09:50 +0200sandbag(~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Quit: WeeChat 4.2.2)
2024-05-12 10:10:13 +0200syscall1(~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52)
2024-05-12 10:10:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 10:10:54 +0200syscall1sandbag
2024-05-12 10:11:32 +0200sandbag(~syscall@2409:40c1:500a:30b2:a353:426b:4b4d:4f52) (Changing host)
2024-05-12 10:11:32 +0200sandbag(~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 +0200gmg(~user@user/gehmehgeh)
2024-05-12 10:21:06 +0200 <mauke> it's 03super green
2024-05-12 10:28:53 +0200euleritian(~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 240 seconds)
2024-05-12 10:29:08 +0200euleritian(~euleritia@ip-185-104-138-28.ptr.icomera.net)
2024-05-12 10:29:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 10:36:18 +0200tromp(~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 +0200Square(~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 +0200euleritian(~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 +0200tromp(~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 +0200tzh(~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 +0200euleritian(~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 +0200cafkafk(~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 +0200mikess(~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 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-12 11:22:28 +0200brox66(~brox66@user/brox66)
2024-05-12 11:23:44 +0200troydm(~troydm@user/troydm) (Ping timeout: 268 seconds)
2024-05-12 11:23:46 +0200mailman1(~mailman1@116.71.176.122)
2024-05-12 11:26:11 +0200euleritian(~euleritia@ip-185-104-138-28.ptr.icomera.net) (Ping timeout: 272 seconds)
2024-05-12 11:27:56 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de)
2024-05-12 11:28:15 +0200mailman1(~mailman1@116.71.176.122) (Client Quit)
2024-05-12 11:29:00 +0200mailman(~mailman@116.71.176.122)
2024-05-12 11:30:07 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 11:31:45 +0200brox66(~brox66@user/brox66) (Quit: Client closed)
2024-05-12 11:33:37 +0200mailman(~mailman@116.71.176.122)
2024-05-12 11:36:00 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 11:36:27 +0200mailman(~mailman@116.71.176.122)
2024-05-12 11:37:24 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 11:37:43 +0200khumba(~khumba@user/khumba) ()
2024-05-12 11:38:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 11:43:29 +0200troydm(~troydm@user/troydm)
2024-05-12 11:47:23 +0200mei(~mei@user/mei) (Ping timeout: 264 seconds)
2024-05-12 11:49:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 11:50:27 +0200mailman(~mailman@116.71.176.122)
2024-05-12 11:52:58 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 11:54:04 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 11:57:58 +0200sandbag(~syscall@user/sandbag) (Ping timeout: 268 seconds)
2024-05-12 12:09:33 +0200mailman(~mailman@116.71.176.122) (Quit: Client closed)
2024-05-12 12:10:28 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-12 12:12:55 +0200madariaga(~madariaga@user/madariaga) (Quit: madariaga)
2024-05-12 12:17:37 +0200mailman(~mailman@116.71.176.122)
2024-05-12 12:21:32 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 12:29:21 +0200mailman(~mailman@116.71.176.122)
2024-05-12 12:30:42 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 12:31:36 +0200mailman(~mailman@116.71.176.122)
2024-05-12 12:31:39 +0200__monty__(~toonn@user/toonn)
2024-05-12 12:35:08 +0200mailman98(~mailman@116.71.176.122)
2024-05-12 12:38:46 +0200mei(~mei@user/mei)
2024-05-12 12:40:07 +0200mailman(~mailman@116.71.176.122) (Quit: Client closed)
2024-05-12 12:40:51 +0200mailman(~mailman@116.71.176.122)
2024-05-12 12:44:05 +0200mailman(~mailman@116.71.176.122) (Client Quit)
2024-05-12 12:46:41 +0200Guest_Plonker(~Guest_Plo@84.67.69.72)
2024-05-12 12:48:15 +0200mailman98(~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 +0200Lord_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 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-12 13:01:41 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 240 seconds)
2024-05-12 13:02:20 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de)
2024-05-12 13:02:39 +0200mrmr1553343(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2024-05-12 13:02:57 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2)
2024-05-12 13:03:23 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21)
2024-05-12 13:10:58 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-12 13:11:46 +0200gmg(~user@user/gehmehgeh)
2024-05-12 13:20:14 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 13:20:34 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 13:28:15 +0200mrmr1553343(~mrmr@user/mrmr)
2024-05-12 13:29:21 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in)
2024-05-12 13:29:54 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Read error: Connection reset by peer)
2024-05-12 13:30:49 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 13:32:03 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2024-05-12 13:33:11 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-05-12 13:42:59 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 272 seconds)
2024-05-12 13:47:02 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-12 13:50:18 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 13:54:43 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds)
2024-05-12 13:55:33 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 14:11:17 +0200micro(~micro@user/micro) (Ping timeout: 252 seconds)
2024-05-12 14:16:11 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 260 seconds)
2024-05-12 14:16:36 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de)
2024-05-12 14:25:15 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-12 14:28:53 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 252 seconds)
2024-05-12 14:32:44 +0200danza_(~francesco@151.35.207.170)
2024-05-12 15:00:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 15:02:12 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 15:02:32 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 15:13:09 +0200laker(~laker78@user/laker78) (Quit: My VPS is down.. email me if you know it)
2024-05-12 15:14:18 +0200laker(~laker78@user/laker78)
2024-05-12 15:17:50 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds)
2024-05-12 15:18:07 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de)
2024-05-12 15:20:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 15:37:48 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-12 15:50:37 +0200ocra8(ocra8@user/ocra8)
2024-05-12 16:00:03 +0200stef204(~stef204@user/stef204)
2024-05-12 16:01:49 +0200stef204(~stef204@user/stef204) (Client Quit)
2024-05-12 16:02:11 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 16:03:10 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 16:04:36 +0200syscall1(~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65)
2024-05-12 16:04:55 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-12 16:07:53 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 252 seconds)
2024-05-12 16:08:02 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de)
2024-05-12 16:12:05 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 16:12:25 +0200syscall1(~syscall@2409:40c1:500a:30b2:fc32:6973:f231:ca65) (Quit: WeeChat 4.2.2)
2024-05-12 16:12:28 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 16:19:37 +0200sandbag(~syscall@user/sandbag)
2024-05-12 16:20:43 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-12 16:23:17 +0200euleritian(~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 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de)
2024-05-12 16:32:52 +0200euleritian(~euleritia@dynamic-176-003-086-150.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 16:33:13 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 16:41:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 16:44:50 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-12 16:48:30 +0200jrm(~jrm@user/jrm) (Quit: ciao)
2024-05-12 16:50:34 +0200jrm(~jrm@user/jrm)
2024-05-12 17:04:32 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
2024-05-12 17:05:24 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 255 seconds)
2024-05-12 17:07:24 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de)
2024-05-12 17:09:37 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 17:09:49 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de)
2024-05-12 17:10:57 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-12 17:11:27 +0200rvalue(~rvalue@user/rvalue)
2024-05-12 17:11:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-12 17:12:32 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 17:13:03 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-05-12 17:21:42 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 256 seconds)
2024-05-12 17:24:32 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 256 seconds)
2024-05-12 17:24:39 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 272 seconds)
2024-05-12 17:25:28 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de)
2024-05-12 17:27:21 +0200Guest87(~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12)
2024-05-12 17:28:45 +0200Guest87(~Guest87@2a02:3100:1463:1900:a93a:7295:4380:6c12) (Client Quit)
2024-05-12 17:29:32 +0200rvalue(~rvalue@user/rvalue)
2024-05-12 17:41:22 +0200doyougnu(~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 +0200yin(~yin@user/zero)
2024-05-12 18:01:39 +0200sandbag(~syscall@user/sandbag) (Ping timeout: 255 seconds)
2024-05-12 18:13:58 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-12 18:16:53 +0200danza_(~francesco@151.35.207.170) (Ping timeout: 240 seconds)
2024-05-12 18:29:49 +0200rvalue(~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
2024-05-12 18:36:46 +0200xdminsy(~xdminsy@117.147.70.240) (Ping timeout: 246 seconds)
2024-05-12 18:37:50 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-12 18:40:40 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-12 18:41:41 +0200destituion(~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece) (Read error: Connection reset by peer)
2024-05-12 18:42:45 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d)
2024-05-12 18:46:35 +0200rvalue(~rvalue@user/rvalue)
2024-05-12 18:52:07 +0200yin_(~yin@user/zero)
2024-05-12 18:54:04 +0200xdminsy(~xdminsy@117.147.70.240) (Ping timeout: 260 seconds)
2024-05-12 18:54:59 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-12 18:56:07 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-05-12 19:17:39 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:18:17 +0200justsomeguy(~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 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-12 19:23:45 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:23:45 +0200justsomeguy(~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 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-12 19:28:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-12 19:29:59 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:31:38 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-12 19:33:13 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 272 seconds)
2024-05-12 19:33:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 19:35:01 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-12 19:35:49 +0200remedan(~remedan@ip-78-102-118-253.bb.vodafone.cz)
2024-05-12 19:37:14 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:37:36 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-12 19:39:20 +0200barak(~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2)
2024-05-12 19:41:29 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
2024-05-12 19:41:40 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Client Quit)
2024-05-12 19:43:27 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:44:11 +0200justsomeguy(~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 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-12 19:50:49 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-05-12 19:51:00 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-12 19:51:01 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-05-12 19:51:18 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-12 19:56:36 +0200euleritian(~euleritia@dynamic-176-003-089-231.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-12 19:56:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
2024-05-12 19:56:55 +0200euleritian(~euleritia@77.22.252.56)
2024-05-12 20:01:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 20:03:16 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-12 20:03:34 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-12 20:12:36 +0200pavonia(~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 +0200wootehfoot(~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 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-12 20:17:59 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-12 20:19:19 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-12 20:26:19 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-12 20:46:02 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-12 20:46:11 +0200ai5lk(~ai5lk@209-188-121-236.taosnet.com)
2024-05-12 20:49:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-12 20:58:12 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 260 seconds)
2024-05-12 20:58:12 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
2024-05-12 20:58:43 +0200destituion(~destituio@2a02:2121:2c4:e7b9:2895:2152:25e1:7ece)
2024-05-12 20:59:37 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-05-12 21:01:14 +0200Raito_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 +0200michalz(~michalz@185.246.207.197)
2024-05-12 21:18:08 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-05-12 21:24:02 +0200Guest_Plonker(~Guest_Plo@84.67.69.72) (Quit: Client closed)
2024-05-12 21:37:53 +0200euleritian(~euleritia@77.22.252.56) (Ping timeout: 252 seconds)
2024-05-12 21:38:10 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-12 21:38:50 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-12 21:39:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-12 21:41:19 +0200ai5lk(~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8)
2024-05-12 21:47:05 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-12 22:01:46 +0200ddellacosta(~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 +0200xdminsy(~xdminsy@117.147.70.240) (Read error: Connection reset by peer)
2024-05-12 23:02:02 +0200michalz(~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-12 23:12:55 +0200Square(~Square@user/square)
2024-05-12 23:18:35 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-12 23:19:31 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-12 23:20:11 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-12 23:22:26 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2024-05-12 23:24:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-12 23:28:16 +0200peterbecich(~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 +0200causal(~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 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)