Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 645 646 647 648 649 650 651 652 653 654 655 .. 5022
— 502,152 events total
2020-10-15 05:44:29 <koz_> proofofme: [z, y, x, a] is not an array.
2020-10-15 05:44:31 <koz_> It's a list.
2020-10-15 05:44:55 × xff0x quits (~fox@2001:1a81:5350:d900:c40a:58bd:2676:630d) (Ping timeout: 240 seconds)
2020-10-15 05:45:00 <proofofme> ok, list, I mean
2020-10-15 05:45:05 <koz_> OK, so you have osmething like
2020-10-15 05:45:25 <koz_> whatProofofmeWants :: (Eq a) => [a] -> [a] -> Maybe Int
2020-10-15 05:45:26 <koz_> Right?
2020-10-15 05:45:58 <proofofme> yup!
2020-10-15 05:46:08 → xff0x joins (~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba)
2020-10-15 05:46:14 <koz_> OK, so, this is best written by starting with the more restricted version of it, which is
2020-10-15 05:46:20 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-15 05:46:28 <koz_> whatKozSuggestsYouWriteFirst :: (Eq a) => a -> [a] -> Maybe Int
2020-10-15 05:46:37 <koz_> One thing that may help you:
2020-10-15 05:46:41 <koz_> :t zip [0 ..]
2020-10-15 05:46:42 <lambdabot> (Num a, Enum a) => [b] -> [(a, b)]
2020-10-15 05:46:54 <koz_> Try and write that first.
2020-10-15 05:48:07 <proofofme> hmm
2020-10-15 05:48:25 <koz_> There is a function that'll do this, but I think it'd be very instructional for you to try and write this yourself first.
2020-10-15 05:49:12 <proofofme> ok give me a little bit of time to think about this one. how long do you think it should take me?
2020-10-15 05:49:20 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-15 05:49:25 × taurux quits (~taurux@net-93-151-203-230.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2020-10-15 05:49:29 <koz_> I don't think setting a time limit on a learning task is productive.
2020-10-15 05:49:31 <koz_> Or useful.
2020-10-15 05:49:42 <koz_> Take whatever time your understanding, and your learning pace, needs.
2020-10-15 05:49:44 <proofofme> yeah ... what's the function btw?
2020-10-15 05:49:45 <koz_> If you need help, ask for it.
2020-10-15 05:49:56 <koz_> proofofme: Telling you this would defeat the purpose of this exercise.
2020-10-15 05:50:01 <proofofme> haha ok
2020-10-15 05:50:37 → taurux joins (~taurux@net-188-152-14-176.cust.dsl.teletu.it)
2020-10-15 05:51:42 <dminuoso> hekkaidekapus: Heh, turns out this is an unfortunate consequence https://gitlab.haskell.org/ghc/ghc/-/issues/18836
2020-10-15 05:51:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 05:52:35 <koz_> dminuoso: Yay, bugs!
2020-10-15 05:54:24 → chele joins (~chele@5.53.222.202)
2020-10-15 05:54:41 <dminuoso> Putting us back to "Overlapping instances are just bad"
2020-10-15 05:58:34 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-15 06:00:02 × chendo_ quits (~chendo_@217.146.82.202) ()
2020-10-15 06:03:29 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-15 06:06:54 × howdoi quits (uid224@gateway/web/irccloud.com/x-llljiaghhgnypdze) (Quit: Connection closed for inactivity)
2020-10-15 06:09:41 → zacts joins (~zacts@dragora/developer/zacts)
2020-10-15 06:11:37 × Nik05 quits (~Nik05@unaffiliated/nik05) (Ping timeout: 256 seconds)
2020-10-15 06:12:25 × lucid_0x80 quits (~lucid_0x8@188.253.225.49) (Ping timeout: 240 seconds)
2020-10-15 06:12:26 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 06:15:08 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-15 06:17:46 × falafel quits (~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8) (Remote host closed the connection)
2020-10-15 06:18:45 × plast1k_ quits (~plast1k_@196.207.181.246) (Ping timeout: 240 seconds)
2020-10-15 06:20:25 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 06:20:39 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 06:20:40 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 06:20:40 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 06:21:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 06:22:32 → larsivi joins (~larsivi@s91904426.blix.com)
2020-10-15 06:25:29 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-15 06:26:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 06:26:35 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2020-10-15 06:28:56 → Nik05 joins (~Nik05@85.150.134.175)
2020-10-15 06:29:21 Nik05 is now known as Guest17792
2020-10-15 06:30:39 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-15 06:33:37 × Sanchayan quits (~Sanchayan@171.61.90.104) (Read error: No route to host)
2020-10-15 06:35:05 × dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2020-10-15 06:37:13 → maier joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-15 06:37:29 maier is now known as kenran
2020-10-15 06:38:40 → dave_uy joins (~david@108.61.193.26)
2020-10-15 06:41:49 → coot joins (~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-15 06:42:47 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-10-15 06:43:35 → plast1k_ joins (~plast1k_@196.207.181.246)
2020-10-15 06:45:10 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Remote host closed the connection)
2020-10-15 06:45:30 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 06:45:31 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-15 06:45:39 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-15 06:45:42 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-15 06:45:46 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 06:45:47 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 06:45:47 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 06:47:13 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-15 06:47:47 × tzh quits (~tzh@2601:448:c500:5300::c7f6) (Ping timeout: 260 seconds)
2020-10-15 06:49:18 → bitmagie joins (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 06:50:31 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-10-15 06:50:37 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-15 06:52:56 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-15 06:53:11 <kenran> How can I create haddock documentation for a multi-package cabal-new project such that it's "all in one page"? Is that even possible?
2020-10-15 06:53:19 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-15 06:54:17 × bitmagie quits (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-15 06:55:09 <kenran> It might have to do with the --doc-index-file option, but I don't see how I'd use it yet.
2020-10-15 06:56:20 × nyd quits (~lpy@unaffiliated/elysian) (Read error: Connection reset by peer)
2020-10-15 06:56:31 <kenran> I'd probably need something like https://downloads.haskell.org/~ghc/latest/docs/html/libraries/
2020-10-15 06:57:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 06:58:53 → tzh joins (~tzh@c-73-94-222-143.hsd1.mn.comcast.net)
2020-10-15 07:00:40 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 07:00:42 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-15 07:01:27 × xff0x quits (~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba) (Ping timeout: 244 seconds)
2020-10-15 07:02:36 → Sanchayan joins (~Sanchayan@171.61.90.104)
2020-10-15 07:02:58 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-15 07:05:17 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-15 07:06:17 × tzh quits (~tzh@c-73-94-222-143.hsd1.mn.comcast.net) (Quit: zzz)
2020-10-15 07:07:22 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 07:07:31 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-15 07:09:50 → alp joins (~alp@88.126.45.36)
2020-10-15 07:09:54 → Ariakenom joins (~Ariakenom@h-155-4-221-253.NA.cust.bahnhof.se)
2020-10-15 07:10:21 → danvet joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-10-15 07:14:36 × wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
←Prev  Next→
Page 1 .. 645 646 647 648 649 650 651 652 653 654 655 .. 5022

All times are in UTC.