Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 .. 5022
— 502,152 events total
2020-11-14 05:37:11 → hololeap joins (~hololeap@unaffiliated/hololeap)
2020-11-14 05:38:01 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 05:38:26 × christo quits (~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-11-14 05:41:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-14 05:41:47 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-14 05:42:15 → ggole joins (~ggole@2001:8003:8119:7200:25f2:4cfe:81d3:cfb8)
2020-11-14 05:43:31 hackage brick 0.57.1 - A declarative terminal user interface library https://hackage.haskell.org/package/brick-0.57.1 (JonathanDaugherty)
2020-11-14 05:43:34 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-14 05:48:28 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 05:50:33 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-14 05:53:47 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 05:55:11 × jakob_ quits (~textual@p57b0eae0.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-14 05:58:40 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 06:00:01 × daim2k5 quits (~daim2k5@84.39.116.180) ()
2020-11-14 06:01:33 × Guest_30 quits (2a5b6f54@42.91.111.84) (Remote host closed the connection)
2020-11-14 06:03:40 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 06:06:32 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th)
2020-11-14 06:07:47 × PlasmaStrike quits (~mattplasm@38.73.141.198) (Ping timeout: 260 seconds)
2020-11-14 06:08:33 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.189) (Quit: Leaving)
2020-11-14 06:08:45 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 06:10:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-14 06:11:04 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-14 06:11:30 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-14 06:12:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-14 06:13:18 × leungbk`` quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds)
2020-11-14 06:13:26 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-14 06:13:43 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-14 06:17:01 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th) (Max SendQ exceeded)
2020-11-14 06:17:59 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th)
2020-11-14 06:18:17 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-14 06:18:17 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-14 06:18:52 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds)
2020-11-14 06:18:58 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 06:19:50 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 264 seconds)
2020-11-14 06:22:04 → PlasmaStrike joins (~mattplasm@107.72.99.67)
2020-11-14 06:24:06 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-14 06:29:06 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 06:29:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-14 06:29:50 → falafel joins (~falafel@c-73-210-136-48.hsd1.il.comcast.net)
2020-11-14 06:32:44 <dsal> How relevant is recursion-schemes as a library? It seems like catamorphisms are covered really well by Foldable. Is there something similar for anamorphisms?
2020-11-14 06:33:49 <MarcelineVQ> 12 relevant
2020-11-14 06:34:09 keltono is now known as KF0CHQ
2020-11-14 06:34:18 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 06:34:54 KF0CHQ is now known as keltono
2020-11-14 06:35:31 <dsal> Heh. I have a cool data structure that's a functor, foldable, traversable, monoidal, etc... I guess trying to see if I can figure out the fixed point of it would be helpful.
2020-11-14 06:36:11 <MarcelineVQ> it'd be the neutral value of the monoid yeah?
2020-11-14 06:36:52 <dsal> I understand the goals a lot better than I understand the details at this point.
2020-11-14 06:37:29 <MarcelineVQ> a fixed point is 'of' some operation, iiuc, so it'd depend anyway
2020-11-14 06:37:42 <dsal> e.g., the base functor with an extra type is still still a bit confusing to me.
2020-11-14 06:38:48 → mmohammadi9812 joins (~mmohammad@185.186.245.158)
2020-11-14 06:38:57 <MarcelineVQ> What's that? :>
2020-11-14 06:39:12 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 06:39:41 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-14 06:39:56 <dsal> https://hackage.haskell.org/package/recursion-schemes-5.2.1/docs/Data-Functor-Base.html
2020-11-14 06:40:10 <dsal> e.g., `data ListF a b` is the base functor for `[a]`
2020-11-14 06:44:01 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-14 06:44:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-14 06:44:31 → alp joins (~alp@2a01:e0a:58b:4920:a479:4d14:23b0:2e6f)
2020-11-14 06:49:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-14 06:53:50 <MarcelineVQ> ah neato, abstracting the recursive structure to make it not-recurvise
2020-11-14 06:54:01 → ToBeFree joins (~ToBeFree@84.39.117.57)
2020-11-14 06:54:49 <hololeap> dsal: the idea is that you can take a self-referencing recursive structure, like `data Stream a = Stream a (Stream a)`, and replace that self-reference with a type variable, e.g. `data StreamF a b = StreamF a b`
2020-11-14 06:55:38 <hololeap> and thus `Fix (StreamF a)` = `Stream a`
2020-11-14 06:56:26 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:244f:5a51:4f39:cad7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-14 06:56:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-14 06:58:48 <hololeap> anamorphims are covered by `unfold`-like functions
2020-11-14 07:02:50 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-14 07:03:52 <hololeap> dsal, is your data structure recursive?
2020-11-14 07:06:42 × reallymemorable quits (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb) (Ping timeout: 260 seconds)
2020-11-14 07:08:00 × cp- quits (~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-11-14 07:08:46 <dsal> Yeah. I've got this: `data SubTree a = SubTree { subs :: Maybe a, children :: Map Filter (SubTree a) } deriving (Show, Eq, Functor, Traversable)`
2020-11-14 07:09:26 → cp- joins (~cp-@b157153.ppp.asahi-net.or.jp)
2020-11-14 07:10:35 <dsal> I understand unfold is an anamorphism, I'm just wondering if there's a class for that.
2020-11-14 07:13:43 <dsal> I had originally hand-written Functor and Traversable before I figured out ghc would just do it for me.
2020-11-14 07:14:44 <dsal> Oh, `b` is just "me" there?
2020-11-14 07:15:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-14 07:16:55 <bliminse> dsal: there's no Unfoldable class as far as I know, only thing close is the actual Corecursive class in the recursion-schemes package itself
2020-11-14 07:17:00 <hololeap> more or less... it allows for an algebra (StreamF a b -> b) to be used for the catamorphism
2020-11-14 07:17:05 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-14 07:17:16 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 07:17:20 <hololeap> and, dually, a coalgebra (b -> StreamF a b) to be used for the anamorphism
2020-11-14 07:17:28 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-14 07:17:45 <dsal> Makes sense. I guess I should see if I can even implement this.
2020-11-14 07:18:35 <hololeap> the problem that i see is that `SubTreeF a b` would need to be functorial in b, but it's wrapped in a Map
2020-11-14 07:19:19 <hololeap> so, you might not be able to plug it into the recursion-schemes layout
2020-11-14 07:19:38 <dsal> Yeah, I was noticing the lack of Map there.
2020-11-14 07:20:13 <hololeap> still, it is very much possible to write a custom (cata/ana)morphism function for it
2020-11-14 07:20:47 <hololeap> well, i can't guarantee it, since i haven't tried
2020-11-14 07:20:58 → jakalx joins (~jakalx@base.jakalx.net)
2020-11-14 07:21:33 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-11-14 07:21:42 <dsal> Well, this type is "done" -- I'm just trying to understand recursion-types. This might not be the best place to start, but I don't have a lot of just like, proper data types.
2020-11-14 07:22:04 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-14 07:23:57 <hololeap> wait, Map does have a Functor instance! i was thinking of SEt
2020-11-14 07:25:07 × roconnor quits (~roconnor@host-184-164-7-99.dyn.295.ca) (Ping timeout: 256 seconds)
2020-11-14 07:25:11 <dsal> Oh. I thought you meant something specific to recursion-schemes
2020-11-14 07:25:23 × bidabong quits (uid272474@gateway/web/irccloud.com/x-plghuymdrvvlqwlm) (Quit: Connection closed for inactivity)
2020-11-14 07:26:52 <sshine> with stack.yaml, is it possible to add an extra-deps package from github using a tag rather than a commit hash?
2020-11-14 07:27:23 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 07:27:59 ← jakalx parts (~jakalx@base.jakalx.net) ("Disconnected: closed")
2020-11-14 07:28:52 × falafel quits (~falafel@c-73-210-136-48.hsd1.il.comcast.net) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 .. 5022

All times are in UTC.