Logs: freenode/#haskell
| 2021-04-21 06:12:52 | <joel135> | Or maybe forall a. Monoid (t (Attribute a)). Or just Monoid (t (Attribute a)) without quantification. |
| 2021-04-21 06:13:06 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-21 06:13:06 | <joel135> | I don't know what haskell will accept. |
| 2021-04-21 06:13:27 | <wroathe> | joel135: The a in this case doesn't really matter. It's just an empty container. |
| 2021-04-21 06:13:42 | <wroathe> | But yeah, I'll see what GHC accepts |
| 2021-04-21 06:13:45 | <wroathe> | joel135: Thank you for the ideas! |
| 2021-04-21 06:13:52 | → | ReinH_ joins (sid179972@gateway/web/irccloud.com/x-yfquzpeultndckwv) |
| 2021-04-21 06:14:04 | × | ReinH quits (sid179972@gateway/web/irccloud.com/x-nocjtzmybziqzfuj) (Ping timeout: 245 seconds) |
| 2021-04-21 06:14:04 | ReinH_ | is now known as ReinH |
| 2021-04-21 06:14:06 | × | pent quits (sid313808@gateway/web/irccloud.com/x-mamwukyavontcbfs) (Ping timeout: 245 seconds) |
| 2021-04-21 06:14:06 | × | b20n quits (sid115913@gateway/web/irccloud.com/x-lrxmhixuzcmcfdhe) (Ping timeout: 245 seconds) |
| 2021-04-21 06:14:56 | → | b20n joins (sid115913@gateway/web/irccloud.com/x-qwfuumnekwjdmynk) |
| 2021-04-21 06:15:16 | → | pent joins (sid313808@gateway/web/irccloud.com/x-oyldewujgosrhjtp) |
| 2021-04-21 06:15:34 | → | michalz joins (~user@185.246.204.47) |
| 2021-04-21 06:15:49 | × | leothrix quits (~leothrix@elastic/staff/leothrix) (Ping timeout: 252 seconds) |
| 2021-04-21 06:16:14 | <wroathe> | ...and that requires QuantifiedConstraints |
| 2021-04-21 06:16:20 | <wroathe> | So c_wraith was right all along. |
| 2021-04-21 06:16:24 | <wroathe> | :) |
| 2021-04-21 06:16:50 | × | wpcarro quits (sid397589@gateway/web/irccloud.com/x-xnngigwekxregdfs) (Ping timeout: 245 seconds) |
| 2021-04-21 06:16:50 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-tcgdsfioetpoitie) (Ping timeout: 245 seconds) |
| 2021-04-21 06:16:51 | → | wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-sldapopyxsudveqd) |
| 2021-04-21 06:17:35 | × | stylewarning quits (stylewarni@gateway/web/irccloud.com/x-zhwbhuctetrnaybq) (Ping timeout: 245 seconds) |
| 2021-04-21 06:18:08 | <wroathe> | joel135: c_wraith: That worked like a charm. Thanks! |
| 2021-04-21 06:18:39 | → | stylewarning joins (stylewarni@gateway/web/irccloud.com/x-hfenrszoagpafasl) |
| 2021-04-21 06:18:51 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-qrihjhvmnnmtnggm) |
| 2021-04-21 06:18:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-21 06:19:07 | × | caasih quits (sid13241@gateway/web/irccloud.com/x-uqzvpjpcsslwgwfl) (Ping timeout: 245 seconds) |
| 2021-04-21 06:19:07 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-dylmpfrvghvfrpjf) (Ping timeout: 245 seconds) |
| 2021-04-21 06:19:07 | × | glamas quits (~glamas@107.182.17.237) (Ping timeout: 245 seconds) |
| 2021-04-21 06:20:15 | × | Logio quits (em@kapsi.fi) (Ping timeout: 245 seconds) |
| 2021-04-21 06:20:15 | × | b20n quits (sid115913@gateway/web/irccloud.com/x-qwfuumnekwjdmynk) (Ping timeout: 245 seconds) |
| 2021-04-21 06:20:16 | → | glamas joins (~glamas@107.182.17.237) |
| 2021-04-21 06:20:28 | → | Logio joins (em@kapsi.fi) |
| 2021-04-21 06:20:30 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-pjdnfdcsawunazxf) (Ping timeout: 245 seconds) |
| 2021-04-21 06:20:30 | × | miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Ping timeout: 245 seconds) |
| 2021-04-21 06:20:37 | → | miklcct_ joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) |
| 2021-04-21 06:21:15 | × | pepeiborra quits (sid443799@gateway/web/irccloud.com/x-sswqhnrrevrotjio) (Ping timeout: 245 seconds) |
| 2021-04-21 06:21:19 | → | b20n joins (sid115913@gateway/web/irccloud.com/x-fxwwqjclpbrawyzj) |
| 2021-04-21 06:21:39 | × | thi quits (sid97277@gateway/web/irccloud.com/x-mwvssirlkplfqvqk) (Ping timeout: 245 seconds) |
| 2021-04-21 06:21:39 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-cimltabwsuoipsqn) |
| 2021-04-21 06:21:48 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-lfjncrqckqiqjrhx) |
| 2021-04-21 06:21:57 | → | caasih joins (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) |
| 2021-04-21 06:22:26 | × | dgpratt quits (sid193493@gateway/web/irccloud.com/x-vbszyjrhlyidsuhn) (Ping timeout: 245 seconds) |
| 2021-04-21 06:22:29 | → | thi joins (sid97277@gateway/web/irccloud.com/x-qecopghcofyuqahp) |
| 2021-04-21 06:23:03 | → | pepeiborra joins (sid443799@gateway/web/irccloud.com/x-wwhumdjiavtzqvnj) |
| 2021-04-21 06:23:22 | → | dgpratt joins (sid193493@gateway/web/irccloud.com/x-yujexlmxhvpapqdm) |
| 2021-04-21 06:23:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-21 06:25:53 | <gnumonic> | So I made this class: "class BuildSing (f :: k -> Type) where buildSing :: forall (a :: k). f a -> Sing a" and I'm wondering if it is something that already exists? I don't think it's identical to SingI but I'm tired and not sure |
| 2021-04-21 06:29:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-21 06:30:13 | <juri_> | good: i woke up in the middle of the night, thinking about a way to simplify my program using types. bad: i WOKE UP IN THE MIDDLE OF THE NIGHT, thinking about a way to simplify my program using types. |
| 2021-04-21 06:32:59 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) |
| 2021-04-21 06:33:44 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 2021-04-21 06:34:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-21 06:35:40 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-21 06:37:29 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds) |
| 2021-04-21 06:38:55 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-04-21 06:39:49 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-21 06:44:51 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-21 06:46:52 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-21 06:47:46 | × | michalz quits (~user@185.246.204.47) (Ping timeout: 265 seconds) |
| 2021-04-21 06:48:36 | × | bitmagie quits (~Thunderbi@200116b8063572001499edd4f9d505b9.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-04-21 06:52:53 | <Axman6> | juri_: you sday this like it's a bad thing. this sounds like ecstacy |
| 2021-04-21 06:53:06 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-21 06:57:11 | <juri_> | Axman6: I'd like to sleep. :P |
| 2021-04-21 06:58:14 | <Axman6> | how will you code when you sleep? |
| 2021-04-21 06:58:30 | → | bitmagie joins (~Thunderbi@200116b8063572001499edd4f9d505b9.dip.versatel-1u1.de) |
| 2021-04-21 06:58:50 | <pjb> | Axman6: good question. And here's a possible answer: neuralink, or other mind reading device, so you may record your nocturnal programming activity. |
| 2021-04-21 06:59:08 | <Axman6> | soon... |
| 2021-04-21 07:00:17 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:908a:4a01:c91b:ed2f) (Remote host closed the connection) |
| 2021-04-21 07:02:04 | → | leothrix joins (~leothrix@elastic/staff/leothrix) |
| 2021-04-21 07:05:45 | <guest421> | half x = if even x then Just (x `div` 2) else Nothing |
| 2021-04-21 07:05:55 | <guest421> | traverse half [1..10] == Nothing |
| 2021-04-21 07:06:05 | <guest421> | this time traverse /= sequence . fmap? |
| 2021-04-21 07:06:31 | <guest421> | I saw "The reason is that the <*> function is used to build the result, and when one of the arguments is Nothing, we get Nothing back." |
| 2021-04-21 07:06:40 | <Axman6> | what does sequence . fmap half do? |
| 2021-04-21 07:06:45 | × | benkolera quits (uid285671@gateway/web/irccloud.com/x-wgysqrkvbdmzjzqk) (Quit: Connection closed for inactivity) |
| 2021-04-21 07:07:07 | <Axman6> | because if they weren't _identical_ then the implementation of traverse breaks its own laws |
| 2021-04-21 07:07:35 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-04-21 07:07:39 | <guest421> | fmap half [1..10] will create a list [Nothing 1, Just 1...] |
| 2021-04-21 07:07:44 | <Axman6> | yes |
| 2021-04-21 07:07:49 | <guest421> | sequence [Nothing, Just 1...] |
| 2021-04-21 07:07:51 | <Axman6> | but then sequence will return Nothing |
| 2021-04-21 07:08:45 | <Axman6> | > sequence [Nothing, Just a, Nothing, Just 2] |
| 2021-04-21 07:08:48 | <lambdabot> | Nothing |
| 2021-04-21 07:09:03 | <guest421> | :t sequence |
| 2021-04-21 07:09:05 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2021-04-21 07:09:15 | <guest421> | Evaluate each monadic action in the structure from left to right, and collect the results. |
| 2021-04-21 07:09:29 | <Axman6> | % :t sequence @[] @Maybe |
| 2021-04-21 07:09:29 | <yahb> | Axman6: [Maybe a] -> Maybe [a] |
| 2021-04-21 07:10:07 | <Axman6> | what do you think sequence should do when given [Nothing, Just a, Nothing, Just 2]? |
| 2021-04-21 07:10:11 | <wavemode> | better question - what is your expected behavior? |
| 2021-04-21 07:10:50 | × | leothrix quits (~leothrix@elastic/staff/leothrix) (Remote host closed the connection) |
| 2021-04-21 07:11:32 | <guest421> | > (Just 3) <*> (Just 2) |
| 2021-04-21 07:11:34 | <lambdabot> | error: |
| 2021-04-21 07:11:34 | <lambdabot> | • Could not deduce (Num a0) |
| 2021-04-21 07:11:34 | <lambdabot> | from the context: (Num a, Num (a -> b)) |
| 2021-04-21 07:12:00 | <Axman6> | > (,) <$> Just 1 <*> Just 2 |
| 2021-04-21 07:12:02 | <lambdabot> | Just (1,2) |
| 2021-04-21 07:12:07 | <Axman6> | > (,) <$> Just 1 <*> Nothing |
| 2021-04-21 07:12:09 | <lambdabot> | Nothing |
All times are in UTC.