Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 .. 5022
— 502,152 events total
2020-11-26 06:49:42 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-26 06:51:05 × alp quits (~alp@2a01:e0a:58b:4920:fde0:51bd:f252:73ea) (Ping timeout: 272 seconds)
2020-11-26 06:51:30 × jespada quits (~jespada@90.254.245.49) (Ping timeout: 265 seconds)
2020-11-26 06:51:31 hackage wai-extra 3.1.3 - Provides some basic WAI handlers and middleware. https://hackage.haskell.org/package/wai-extra-3.1.3 (MichaelSnoyman)
2020-11-26 06:53:31 → jespada joins (~jespada@90.254.245.49)
2020-11-26 06:56:39 × thatlinuxguy quits (~sand49@2001:8003:8431:d200:8d49:ec:3d23:9521) (Quit: Leaving)
2020-11-26 06:57:30 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-26 06:59:24 <MarcelineVQ> place ur bets
2020-11-26 07:00:10 → plutoniix joins (~q@ppp-223-24-94-50.revip6.asianet.co.th)
2020-11-26 07:00:30 hackage data-as 0.0.0.1 - Simple extensible sum https://hackage.haskell.org/package/data-as-0.0.0.1 (incertia)
2020-11-26 07:01:31 hackage typson-beam 0.1.0.0 - Typson Beam Integration https://hackage.haskell.org/package/typson-beam-0.1.0.0 (aaronallen8455)
2020-11-26 07:03:03 <jle`> woo hoo
2020-11-26 07:03:08 <incertia> apparently haddock hates my life
2020-11-26 07:06:10 × plutoniix quits (~q@ppp-223-24-94-50.revip6.asianet.co.th) (Quit: Leaving)
2020-11-26 07:06:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-26 07:10:36 → adm__ joins (~adm@43.229.89.234)
2020-11-26 07:10:45 × adm_ quits (~adm@43.229.88.197) (Ping timeout: 240 seconds)
2020-11-26 07:11:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-26 07:12:25 × texasmynsted quits (~texasmyns@212.102.45.112) (Ping timeout: 240 seconds)
2020-11-26 07:12:32 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2020-11-26 07:13:06 × vg quits (~vg@139.59.59.230) (Quit: vg)
2020-11-26 07:13:22 → vg joins (~vg@139.59.59.230)
2020-11-26 07:13:48 × vg quits (~vg@139.59.59.230) (Client Quit)
2020-11-26 07:14:07 → vg joins (~vg@139.59.59.230)
2020-11-26 07:14:37 × vg quits (~vg@139.59.59.230) (Client Quit)
2020-11-26 07:15:01 → vg joins (~vg@139.59.59.230)
2020-11-26 07:15:17 × vg quits (~vg@139.59.59.230) (Remote host closed the connection)
2020-11-26 07:15:30 → vg joins (~vg@139.59.59.230)
2020-11-26 07:15:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-26 07:17:34 <incertia> does hackage not build haddock automatically on upload?
2020-11-26 07:17:43 <dminuoso> Correct
2020-11-26 07:18:17 <incertia> ok maybe that is why no links are showing up
2020-11-26 07:18:17 <dminuoso> 2Well
2020-11-26 07:18:24 <dminuoso> Hackage *tries* to build the documentation
2020-11-26 07:18:26 <dminuoso> But it can fail
2020-11-26 07:18:40 <dminuoso> incertia: https://hackage.haskell.org/upload
2020-11-26 07:19:23 → solonarv joins (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr)
2020-11-26 07:19:24 <incertia> nvm it generated i just had to give it like 15min
2020-11-26 07:20:10 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-26 07:21:53 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-26 07:22:08 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-26 07:22:45 × adm__ quits (~adm@43.229.89.234) (Remote host closed the connection)
2020-11-26 07:30:24 → coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-26 07:32:12 → We joins (5fa448e7@95.164.72.231)
2020-11-26 07:32:16 <We> cleanup
2020-11-26 07:32:25 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 256 seconds)
2020-11-26 07:32:26 coot_ is now known as coot
2020-11-26 07:32:37 We is now known as Guest77209
2020-11-26 07:34:41 → adm_ joins (~adm@43.229.89.234)
2020-11-26 07:35:38 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-26 07:36:23 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 256 seconds)
2020-11-26 07:37:52 → MarcelineVQ joins (~anja@198.254.202.72)
2020-11-26 07:39:13 × adm_ quits (~adm@43.229.89.234) (Ping timeout: 260 seconds)
2020-11-26 07:39:28 <dminuoso> What would you call an operation `Tree (Maybe a) -> Maybe (Tree a)`?
2020-11-26 07:39:58 <jle`> could it be done for any Applicative instead of Maybe?
2020-11-26 07:40:02 <jle`> if so, i'd call it sequence
2020-11-26 07:40:21 <jle`> s/instead of/and not just
2020-11-26 07:40:40 <jle`> sequence :: Applicative f => Tree (f a) -> f (Tree a)
2020-11-26 07:40:47 × vg quits (~vg@139.59.59.230) (Quit: vg)
2020-11-26 07:40:47 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-26 07:40:56 <dminuoso> Sure, I mean the actual types involved make it slightly more specialized, as I have
2020-11-26 07:41:02 → vg joins (~vg@139.59.59.230)
2020-11-26 07:41:09 <dminuoso> Oh well, its the same.
2020-11-26 07:41:12 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-11-26 07:41:16 × vg quits (~vg@139.59.59.230) (Remote host closed the connection)
2020-11-26 07:41:23 <jle`> ah i meant, if you don't treat it in any way specific to Maybe that couldn't be done generically for all Applicative
2020-11-26 07:41:29 → vg joins (~vg@139.59.59.230)
2020-11-26 07:41:37 × vg quits (~vg@139.59.59.230) (Remote host closed the connection)
2020-11-26 07:41:51 → vg joins (~vg@139.59.59.230)
2020-11-26 07:41:53 <dminuoso> Right. Well I was just thinking of specifically calling that specialized function `hasLabel`
2020-11-26 07:42:11 × vg quits (~vg@139.59.59.230) (Remote host closed the connection)
2020-11-26 07:42:12 <dminuoso> I dont want to revisit later wondering about the uses of `sequence` here
2020-11-26 07:42:25 <incertia> probably fine to give it a specific name if its use case in that location is specific
2020-11-26 07:42:26 <jle`> the behavior of sequence would be more or less "allJust", maybe
2020-11-26 07:42:26 → vg joins (~vg@139.59.59.230)
2020-11-26 07:42:33 <incertia> yeah
2020-11-26 07:42:36 <jle`> i guess it depends on your use case too
2020-11-26 07:42:43 <jle`> maybe 'validate'
2020-11-26 07:43:11 <dminuoso> So I build up a patricia tree, and then I want to ensure it's also a valid regular labeled tree
2020-11-26 07:43:28 <dminuoso> *patricia trie
2020-11-26 07:43:52 <jle`> it sounds like you are describing a specific operation, then
2020-11-26 07:44:04 <jle`> and not just "a thing of type Tree (Maybe a) -> Maybe (Tree a)"
2020-11-26 07:44:15 <dminuoso> Well, internally it's very much just sequence..
2020-11-26 07:44:23 <jle`> so i would give it a name to whatever describes what you are doing, semantically :)
2020-11-26 07:44:28 <jle`> apart from just what the types tell you
2020-11-26 07:44:36 <dminuoso> Right. Leading us back to my original question
2020-11-26 07:44:38 <dminuoso> What would you call it :p
2020-11-26 07:44:57 <jle`> toValidRegularLabeledTree ?
2020-11-26 07:45:10 <dminuoso> heh
2020-11-26 07:45:14 <incertia> i probably would just do let allJust = sequence in and go on from there
2020-11-26 07:45:15 → asheshambasta joins (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be)
2020-11-26 07:45:27 <incertia> but giving it a more apt name
2020-11-26 07:45:41 <jle`> give a name based on the type = i'd say sequence, probably. but give it a name based on how you are using it, toValidRegularLabeledTree is something i'd use
2020-11-26 07:45:46 <dminuoso> incertia: Yeah no, the reality is slightly more annoying. I have `Tree (ann, Maybe a) -> Maybe (Tree (ann, a))`
2020-11-26 07:45:52 <MarcelineVQ> wwcd ::​Tree (Maybe a) -> Maybe (Tree a)
2020-11-26 07:46:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-26 07:46:33 <dminuoso> So I need some double sequence/traverse
2020-11-26 07:46:37 <dminuoso> With flip
2020-11-26 07:46:46 <dminuoso> MarcelineVQ: wwc?
2020-11-26 07:46:46 → plutoniix joins (~q@ppp-223-24-94-50.revip6.asianet.co.th)
←Prev  Next→
Page 1 .. 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 .. 5022

All times are in UTC.