Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-21 05:49:07 <perry69420> I found a minor error here - https://wiki.haskell.org/Dynamic_programming_example . How can I edit the page? (I do not have an account, making the account is a long process)
2020-11-21 05:50:45 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 240 seconds)
2020-11-21 05:53:53 <perry69420> This line "Optional: If you know Applicatives and that Maybe is an Applicative, you can write it in a more regular way: " should be using Alternative, not Applicative
2020-11-21 05:55:11 day_ joins (~Unknown@unaffiliated/day)
2020-11-21 05:57:34 × vhs_ quits (~vhs@41.46.228.159) (Ping timeout: 256 seconds)
2020-11-21 05:58:16 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 240 seconds)
2020-11-21 05:58:16 day_ is now known as day
2020-11-21 06:00:00 gproto023 is now known as gproto23
2020-11-21 06:00:17 Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-21 06:01:00 siloxid joins (~user@unaffiliated/siloxid)
2020-11-21 06:03:56 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 240 seconds)
2020-11-21 06:04:31 × Alleria_ quits (~AllahuAkb@69.202.254.168) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-21 06:04:52 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 256 seconds)
2020-11-21 06:05:08 × et09 quits (~et09@unaffiliated/endolphin) (Ping timeout: 260 seconds)
2020-11-21 06:05:10 bbro joins (~bbro@c-24-4-176-204.hsd1.ca.comcast.net)
2020-11-21 06:06:05 × siloxid quits (~user@unaffiliated/siloxid) (Ping timeout: 260 seconds)
2020-11-21 06:06:10 pfurla joins (~pfurla@64.145.79.196)
2020-11-21 06:06:14 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-21 06:08:16 × SanchayanMaity quits (~Sanchayan@122.167.90.144) (Ping timeout: 256 seconds)
2020-11-21 06:08:31 SanchayanMaity joins (~Sanchayan@106.200.237.128)
2020-11-21 06:09:04 × jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb1 - https://znc.in)
2020-11-21 06:10:41 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-21 06:13:00 jamestmartin joins (~james@jtmar.me)
2020-11-21 06:13:37 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-21 06:16:47 siloxid joins (~user@unaffiliated/siloxid)
2020-11-21 06:17:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-21 06:18:43 <ski> perry69420 : what wording do you think would be more appropriate ?
2020-11-21 06:18:58 × Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Quit: Ping timeout (120 seconds))
2020-11-21 06:19:18 Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-21 06:19:18 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-11-21 06:20:15 nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-11-21 06:20:34 <ski> replacing both occurances of "Applicative" with "Alternative" ?
2020-11-21 06:20:57 × Sarma quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-21 06:21:47 × siloxid quits (~user@unaffiliated/siloxid) (Ping timeout: 260 seconds)
2020-11-21 06:21:52 darjeeling_ joins (~darjeelin@122.245.211.11)
2020-11-21 06:22:24 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-11-21 06:24:48 <perry69420> ski yeah, I think both should be swapped. I guess it should be mentioned that Alternative required Applicative for clarity but that's a secondary issue
2020-11-21 06:25:50 <ski> perhaps saying "If you know Applicatives & Alternatives and ..." for the first one ?
2020-11-21 06:26:10 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 246 seconds)
2020-11-21 06:26:58 × jedws quits (~jedws@101.184.150.93) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-21 06:27:55 <perry69420> That seems good. But should it mention Functor as well then?
2020-11-21 06:28:36 <ski> could say "Applicative and Alternative functors", i suppose
2020-11-21 06:28:37 SanchayanM joins (~Sanchayan@223.226.47.98)
2020-11-21 06:28:49 <perry69420> That sounds better!
2020-11-21 06:29:31 andos joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-11-21 06:29:48 × nados quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-11-21 06:30:26 × SanchayanMaity quits (~Sanchayan@106.200.237.128) (Ping timeout: 256 seconds)
2020-11-21 06:33:12 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:a4db:c497:ce73:79ee) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-21 06:34:00 <ski> ("is an Alternative" or "is Alternative" ?)
2020-11-21 06:35:01 <perry69420> I'm not sure, sorry! English isn't my first language
2020-11-21 06:35:10 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-21 06:35:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-11-21 06:36:36 <perry69420> "If you know Applicative and Alternative Functor classes and that Maybe is an Alternative". Is this fine?
2020-11-21 06:36:38 <ski> i think people tend to say "Applicative functor", and not just "Applicative", as a noun. but "Applicative"/"Alternative" as an adjective could work
2020-11-21 06:37:45 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 240 seconds)
2020-11-21 06:38:54 darjeeling_ joins (~darjeelin@122.245.211.11)
2020-11-21 06:38:55 <ski> i think i'd lean towards the adjectival form here. if someone objects, they can change it
2020-11-21 06:38:57 <perry69420> then "is Alternative" makes more sense
2020-11-21 06:39:01 <perry69420> Sounds good
2020-11-21 06:40:09 <ski> (for "Monad", i don't think it works using it as an adjective. "monadic" is used, but not for quite the corresponding thing)
2020-11-21 06:41:30 <ski> (now i'm wondering whether to say "know about" or just "know")
2020-11-21 06:41:30 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-21 06:41:41 chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-21 06:41:52 <perry69420> haha I think you're overthinking.
2020-11-21 06:42:34 <ski> perry69420 : refresh
2020-11-21 06:43:12 <perry69420> Thanks ski. I'll mail them to make me an account as well
2020-11-21 06:44:57 ski nods
2020-11-21 06:49:34 × Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 272 seconds)
2020-11-21 06:52:49 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-21 06:57:38 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-21 07:03:00 chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-21 07:07:40 conal joins (~conal@64.71.133.70)
2020-11-21 07:08:10 × pfurla quits (~pfurla@64.145.79.196) (Ping timeout: 260 seconds)
2020-11-21 07:10:03 lemmih joins (~lemmih@2406:3003:2072:44:1424:8740:3970:71a)
2020-11-21 07:11:52 n0042 joins (d055ed89@208.85.237.137)
2020-11-21 07:12:06 pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-21 07:13:20 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-21 07:15:08 jedws joins (~jedws@101.184.150.93)
2020-11-21 07:15:14 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-21 07:17:31 × jedws quits (~jedws@101.184.150.93) (Client Quit)
2020-11-21 07:18:20 Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-21 07:19:20 × alx741 quits (~alx741@181.196.68.156) (Ping timeout: 256 seconds)
2020-11-21 07:19:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-21 07:19:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-21 07:20:36 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-11-21 07:23:09 × bbro quits (~bbro@c-24-4-176-204.hsd1.ca.comcast.net) (Quit: Leaving)
2020-11-21 07:24:16 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-21 07:25:16 AIM` joins (~AIM`@185.163.110.116)
2020-11-21 07:25:16 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-21 07:25:47 chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-21 07:26:16 × Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds)
2020-11-21 07:28:12 falafel__ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-21 07:28:29 isBEKaml joins (~isBEKaml@unaffiliated/isbekaml)
2020-11-21 07:29:30 newbeee joins (6c1d4e90@pool-108-29-78-144.nycmny.fios.verizon.net)
2020-11-21 07:31:30 hackage pandora 0.3.2 - A box of patterns and paradigms https://hackage.haskell.org/package/pandora-0.3.2 (iokasimovmt)
2020-11-21 07:31:45 × vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 240 seconds)
2020-11-21 07:32:21 alx741 joins (~alx741@181.196.69.47)
2020-11-21 07:35:10 × n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection)
2020-11-21 07:37:02 chkno_ joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-21 07:37:02 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)

All times are in UTC.