Logs: liberachat/#haskell
| 2021-07-11 22:20:11 | <Atum_> | hmm |
| 2021-07-11 22:20:31 | <dibblego> | note that its return type is itself a function, and what do functions do? they take exactly one argument |
| 2021-07-11 22:21:07 | <Atum_> | I see |
| 2021-07-11 22:21:08 | <dibblego> | that function doesn't have a name |
| 2021-07-11 22:21:24 | <dibblego> | but you could give it one if you applied foldl to an argument |
| 2021-07-11 22:21:40 | <dibblego> | e.g. myfavouritename = foldl (\acc x -> acc + x) |
| 2021-07-11 22:21:53 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-11 22:21:58 | <dibblego> | and follow that reasoning … I feel like I need a whiteboard at this point :) |
| 2021-07-11 22:22:00 | <Atum_> | Got it, thanks dibblego :) |
| 2021-07-11 22:22:13 | <Atum_> | Yea, makes sense what you said |
| 2021-07-11 22:30:31 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-11 22:33:42 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-07-11 22:34:42 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Ping timeout: 240 seconds) |
| 2021-07-11 22:36:11 | <koz> | If I want to generate a function definition like 'foo (A b c) = ... \n foo _ = ....' in TH, do I need to use FunD with two Clauses in the list, or two FunDs? |
| 2021-07-11 22:36:50 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 22:37:44 | → | nchashch joins (~nchashch@37.204.243.148) |
| 2021-07-11 22:38:03 | <janus> | aaah the \n is a newline. i thought it was a lambda and couldn't understand why you had two equals :P |
| 2021-07-11 22:38:11 | <koz> | Yeah, my bad. |
| 2021-07-11 22:38:28 | <koz> | I assume it's 'one FunD, two Clauses'. |
| 2021-07-11 22:38:33 | <koz> | (immature giggle) |
| 2021-07-11 22:39:52 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-07-11 22:40:51 | × | nchashch quits (~nchashch@37.204.243.148) (Client Quit) |
| 2021-07-11 22:41:40 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2021-07-11 22:42:47 | <monochrom> | Yes one FunD. |
| 2021-07-11 22:43:06 | <koz> | OK, that explains the weird errors I am getting. Thank you! |
| 2021-07-11 22:43:55 | <monochrom> | Two FunDs would reproduce the classic beginner error of "at the REPL I entered f 0 = 0 then I entered f n = f (n-1)" |
| 2021-07-11 22:44:44 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 22:49:20 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-11 22:51:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-11 22:51:53 | → | cheater joins (~Username@user/cheater) |
| 2021-07-11 22:52:38 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-07-11 22:54:24 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-11 22:59:54 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-11 23:01:21 | → | retro_ joins (~retro@90.218.175.34) |
| 2021-07-11 23:01:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-11 23:02:10 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-11 23:03:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-11 23:04:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-11 23:04:58 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-07-11 23:04:58 | × | retroid_ quits (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 2021-07-11 23:05:51 | → | retroid_ joins (~retro@90.218.175.34) |
| 2021-07-11 23:06:14 | × | retro_ quits (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 2021-07-11 23:06:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-11 23:10:42 | × | retroid_ quits (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-11 23:11:08 | → | safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru) |
| 2021-07-11 23:11:17 | ← | safinaskar parts (~user@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-07-11 23:12:14 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-11 23:12:43 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 2021-07-11 23:12:44 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-11 23:15:20 | × | acidjnk quits (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-11 23:17:08 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-11 23:17:36 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2021-07-11 23:18:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-11 23:18:28 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-11 23:22:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-11 23:25:02 | ← | polykernel[m] parts (~polykerne@2001:470:69fc:105::ba04) () |
| 2021-07-11 23:25:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-11 23:25:17 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-11 23:28:50 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-11 23:29:12 | → | jao joins (jao@gateway/vpn/protonvpn/jao) |
| 2021-07-11 23:30:26 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-11 23:39:16 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-11 23:40:31 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-07-11 23:42:52 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-11 23:45:38 | → | infinisil joins (~infinisil@mail.infinisil.com) |
| 2021-07-11 23:46:08 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-11 23:52:55 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-11 23:55:13 | × | mikail_ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-11 23:55:19 | × | infinisil quits (~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!) |
| 2021-07-11 23:55:36 | → | mikail_ joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-11 23:56:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-11 23:57:09 | → | infinisil joins (~infinisil@mail.infinisil.com) |
| 2021-07-12 00:00:00 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-12 00:02:13 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 00:03:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 00:05:46 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 00:06:18 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 2021-07-12 00:06:54 | <hololeap> | is there something ready-made out there that will take a type-level list and turn it into a "stream" of arguments, for instance '[Int, Bool] would become (Int -> Bool -> x) |
| 2021-07-12 00:08:28 | <hololeap> | i've made this before and was curious if it was something that should be exported to a library |
| 2021-07-12 00:09:46 | <johnw> | hi, is anyone here on the HIW program committee this year? |
| 2021-07-12 00:10:14 | × | mikail_ quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 255 seconds) |
| 2021-07-12 00:14:00 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:17:27 | <dexterfoo> | Is 'Char' the same as 'Word32' in terms of performance? |
| 2021-07-12 00:18:30 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-07-12 00:19:22 | <geekosaur> | I think so, yes |
| 2021-07-12 00:21:17 | <dexterfoo> | thanks |
| 2021-07-12 00:25:59 | <Axman6> | @src Char |
| 2021-07-12 00:26:00 | <lambdabot> | data Char = C# Char# |
| 2021-07-12 00:26:22 | <Axman6> | IIRC a Char# is a Word#, but worth checking |
| 2021-07-12 00:26:27 | <Axman6> | @src Char# |
| 2021-07-12 00:26:27 | <lambdabot> | Source not found. Listen, broccoli brains, I don't have time to listen to this trash. |
| 2021-07-12 00:26:34 | <Axman6> | Fair |
| 2021-07-12 00:28:54 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-07-12 00:30:21 | → | polykernel joins (~polykerne@user/polykernel) |
| 2021-07-12 00:32:38 | ← | polykernel parts (~polykerne@user/polykernel) () |
| 2021-07-12 00:34:45 | × | jao quits (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 258 seconds) |
| 2021-07-12 00:36:46 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 00:39:27 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 00:39:27 | <geekosaur> | until 9.2 at least |
| 2021-07-12 00:39:42 | <Axman6> | is something changing? |
All times are in UTC.