Logs: freenode/#haskell
| 2021-03-10 03:17:54 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 2021-03-10 03:18:48 | → | topos joins (sid467876@gateway/web/irccloud.com/x-vhlxkhesrjutejsr) |
| 2021-03-10 03:19:29 | topos | is now known as tapas |
| 2021-03-10 03:25:19 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-10 03:27:13 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2021-03-10 03:31:19 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-10 03:31:48 | × | toorevitimirp quits (~tooreviti@117.182.183.154) (Ping timeout: 256 seconds) |
| 2021-03-10 03:33:12 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.251) (Ping timeout: 265 seconds) |
| 2021-03-10 03:33:31 | × | c_wraith quits (~c_wraith@adjoint.us) (Ping timeout: 256 seconds) |
| 2021-03-10 03:35:45 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-10 03:37:23 | × | ubert1 quits (~Thunderbi@p200300ecdf25d9d5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-10 03:37:23 | → | ubert joins (~Thunderbi@p200300ecdf25d90ce6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-10 03:37:24 | × | theDon quits (~td@muedsl-82-207-238-174.citykom.de) (Ping timeout: 260 seconds) |
| 2021-03-10 03:37:48 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-10 03:38:26 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-10 03:39:03 | → | theDon joins (~td@muedsl-82-207-238-252.citykom.de) |
| 2021-03-10 03:41:25 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-03-10 03:41:44 | → | conal joins (~conal@192.145.118.107) |
| 2021-03-10 03:42:06 | → | rameau joins (~mirc.one1@196.75.212.214) |
| 2021-03-10 03:42:23 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-10 03:43:09 | × | arun_karikalan quits (3b6364cc@59.99.100.204) (Quit: Connection closed) |
| 2021-03-10 03:43:09 | × | mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-iwkvoqzlrnkzeagp) (Quit: Connection closed for inactivity) |
| 2021-03-10 03:43:20 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-10 03:44:47 | <justsomeguy> | What does the interchange law of applicative mean? a <*> pure v = pure (\f -> f v) <*> a |
| 2021-03-10 03:46:05 | <justsomeguy> | Is it saying that an applicative containing functions applied to an applicative of values in the same context is the same as applying that function to every member element of the applicative containg values? (Does that even make sense?) |
| 2021-03-10 03:46:15 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 2021-03-10 03:48:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-10 03:48:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-10 03:48:31 | × | conal quits (~conal@192.145.118.107) (Quit: Computer has gone to sleep.) |
| 2021-03-10 03:49:53 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-10 03:52:22 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-10 03:54:10 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-10 03:54:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-10 03:55:04 | × | rameau quits (~mirc.one1@196.75.212.214) (Ping timeout: 245 seconds) |
| 2021-03-10 03:55:38 | → | rameau joins (~mirc.one1@196.75.212.214) |
| 2021-03-10 03:56:01 | → | joehillen joins (~joehillen@unaffiliated/joehillen) |
| 2021-03-10 03:56:33 | → | christo joins (~christo@2601:647:4c80:1e00:a15b:207e:615f:1056) |
| 2021-03-10 03:56:36 | ← | joehillen parts (~joehillen@unaffiliated/joehillen) ("Konversation terminated!") |
| 2021-03-10 03:57:30 | × | christo quits (~christo@2601:647:4c80:1e00:a15b:207e:615f:1056) (Client Quit) |
| 2021-03-10 03:58:48 | <inkbottle> | Right, `pure` doesn't have an effect, so whichever side of the `<*>` you put it has no influence on the effectfull side of it (not really answering your question, but part of it maybe) |
| 2021-03-10 04:00:03 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-10 04:00:07 | <inkbottle> | For instance if it is a parser, `pure` won't consume any input |
| 2021-03-10 04:00:31 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-10 04:01:29 | <inkbottle> | effectfull aspect* |
| 2021-03-10 04:03:58 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-10 04:08:09 | <inkbottle> | > parse ((,) <$> (char 'a') <*> (pure 3)) "hello" "a" |
| 2021-03-10 04:08:11 | <lambdabot> | error: |
| 2021-03-10 04:08:11 | <lambdabot> | Variable not in scope: |
| 2021-03-10 04:08:11 | <lambdabot> | parse :: f0 (a0, a1) -> [Char] -> [Char] -> t |
| 2021-03-10 04:08:58 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-10 04:09:06 | × | uberj quits (~uberj@unaffiliated/uberj) (Remote host closed the connection) |
| 2021-03-10 04:09:39 | → | uberj joins (~uberj@unaffiliated/uberj) |
| 2021-03-10 04:09:40 | <inkbottle> | > Text.Parsec.parse ((,) <$> (char 'a') <*> (pure 3)) "hello" "a" |
| 2021-03-10 04:09:41 | <lambdabot> | error: |
| 2021-03-10 04:09:42 | <lambdabot> | Not in scope: ‘Text.Parsec.parse’ |
| 2021-03-10 04:09:42 | <lambdabot> | No module named ‘Text.Parsec’ is imported. |
| 2021-03-10 04:10:14 | → | Lycurgus joins (~niemand@98.4.114.199) |
| 2021-03-10 04:11:16 | <inkbottle> | Anyway it would have had the same result as |
| 2021-03-10 04:11:27 | <inkbottle> | parse (pure ($ 3) <*> ((,) <$> (char 'a'))) "hello" "a" |
| 2021-03-10 04:12:12 | <justsomeguy> | Hmm, thanks for that, inkbottle |
| 2021-03-10 04:12:22 | justsomeguy | sets up a project to try it out |
| 2021-03-10 04:12:45 | × | mmaruseacph2 quits (~mihai@198.199.100.72) (Ping timeout: 272 seconds) |
| 2021-03-10 04:13:10 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-10 04:13:37 | <inkbottle> | And that mostly because `pure` doesn't touch the input thingy. |
| 2021-03-10 04:14:59 | → | guest39`` joins (~user@49.5.6.87) |
| 2021-03-10 04:16:21 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-10 04:16:42 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) |
| 2021-03-10 04:17:08 | <inkbottle> | "hello" is just a string passed to give a name to the parser. "a" is the input string. I should have found a better way to run the parser without that unnecessary "hello" string. |
| 2021-03-10 04:18:06 | × | guest39` quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-03-10 04:18:19 | → | mmaruseacph2 joins (~mihai@198.199.100.72) |
| 2021-03-10 04:20:07 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-03-10 04:20:43 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-10 04:20:55 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 2021-03-10 04:21:59 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-fqbegxygueqsadzs) (Quit: Connection closed for inactivity) |
| 2021-03-10 04:22:57 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ougcqwzeuzpljorc) |
| 2021-03-10 04:24:55 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-10 04:28:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-10 04:40:32 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-10 04:45:55 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-10 04:47:33 | × | jophish quits (~jophish@li1766-207.members.linode.com) (Ping timeout: 245 seconds) |
| 2021-03-10 04:47:58 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 260 seconds) |
| 2021-03-10 04:51:36 | × | vodkaInferno quits (~wormphleg@104.131.156.184) (Read error: Connection reset by peer) |
| 2021-03-10 04:51:47 | → | vodkaInferno joins (~wormphleg@104.131.156.184) |
| 2021-03-10 04:52:30 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-10 04:53:21 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-10 04:55:04 | × | guest39`` quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-03-10 04:55:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-03-10 04:55:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-10 04:55:40 | → | guest39`` joins (~user@49.5.6.87) |
| 2021-03-10 04:57:18 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-10 05:01:16 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-10 05:01:45 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 2021-03-10 05:02:39 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-10 05:04:40 | → | conal joins (~conal@209.58.139.5) |
| 2021-03-10 05:05:27 | × | CodeAlways quits (uid272474@gateway/web/irccloud.com/x-iwrstjeuktuytxyi) (Quit: Connection closed for inactivity) |
| 2021-03-10 05:05:58 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-10 05:10:53 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-10 05:15:38 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 264 seconds) |
| 2021-03-10 05:15:59 | × | thunderrd quits (~thunderrd@183.182.115.72) (Ping timeout: 272 seconds) |
| 2021-03-10 05:16:21 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-108-207.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
All times are in UTC.