Logs: freenode/#haskell
| 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.