Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 640 641 642 643 644 645 646 647 648 649 650 .. 5022
— 502,152 events total
2020-10-14 22:18:35 <larou> all i learned is how haskell is the best / only language that even comes close
2020-10-14 22:18:47 <monochrom> After I got past that, I noticed that HCodec-0.5.1 had an incompatibility.
2020-10-14 22:18:50 → kip joins (sid71464@gateway/web/irccloud.com/x-omvgxpcumzxoitoj)
2020-10-14 22:19:08 <monochrom> And those were the only two obstacles, it turned out.
2020-10-14 22:19:09 → SrPx joins (sid108780@gateway/web/irccloud.com/x-bqucgfmlfmdjtbdg)
2020-10-14 22:19:29 <monochrom> So, observations, hypotheses, observations again, repeat
2020-10-14 22:19:54 → drbrule joins (sid395654@gateway/web/irccloud.com/x-xwxitsjzvaryowda)
2020-10-14 22:20:09 <monochrom> Yeah I know right, nothing can express cyclic trees.
2020-10-14 22:20:18 → edmundnoble joins (sid229620@gateway/web/irccloud.com/x-gvfutybyprjhwlxz)
2020-10-14 22:20:22 <hekkaidekapus> larou: The standard list type in Haskell is a linked list. You don’t need to extend anything, just use it. (I’m referring to your post in #ghc.)
2020-10-14 22:20:23 <larou> i also learned that in a world of 10 billion people, and a plethora of computing languages - there is not that many people on IRC
2020-10-14 22:20:23 × sajith quits (~sajith@fsf/member/nonzen) (Ping timeout: 258 seconds)
2020-10-14 22:20:42 → sajith joins (~sajith@fsf/member/nonzen)
2020-10-14 22:20:59 <larou> on #ghc i wrote;
2020-10-14 22:21:00 <larou> is there any way to extend the keyword "data" to include cyclic references, such as for expressing linked lists?
2020-10-14 22:21:06 <monochrom> or an unmovable unstoppable data structure for that matter in the same genre.
2020-10-14 22:21:08 <larou> i meant doubly linked lists
2020-10-14 22:21:48 × zebrag quits (~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-10-14 22:22:13 <proofofme> it's still building ... so I think it's going to work. why did this `cabal build clay-sniper:exe:clay-sniper -w ghc-8.6.5` end up working?
2020-10-14 22:22:13 <larou> monochrom: nothing compelling anyway
2020-10-14 22:22:28 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 272 seconds)
2020-10-14 22:22:45 <monochrom> probably because ghc-8.6.5
2020-10-14 22:23:08 <monochrom> an older base version that your dependencies insist
2020-10-14 22:24:07 <hekkaidekapus> larou: In that case too, you don’t need to ‘extend data’.
2020-10-14 22:24:10 <larou> im not sure what to do now...
2020-10-14 22:24:28 <monochrom> I guess I should write an updated tutorial on the cabal model so people don't just treat it as a black box.
2020-10-14 22:24:28 <larou> hekkaidekapus: you do, if you want to express that fucntionality at type level
2020-10-14 22:24:37 <hekkaidekapus> Did you try Hackage?
2020-10-14 22:24:40 <larou> otherwise its just a record filed
2020-10-14 22:24:46 <larou> field*
2020-10-14 22:25:04 <larou> hekkaidekapus: for an alternative data keyword!?
2020-10-14 22:25:18 → zebrag joins (~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr)
2020-10-14 22:25:38 <hekkaidekapus> Okay, I get it. You’re not very familiar with Haskell.
2020-10-14 22:25:54 <hekkaidekapus> @hackage data-cycle
2020-10-14 22:25:54 <lambdabot> https://hackage.haskell.org/package/data-cycle
2020-10-14 22:26:00 <christo> monochrom cool man, cheers
2020-10-14 22:26:06 <hekkaidekapus> larou: ^^^
2020-10-14 22:26:09 <larou> hekkaidekapus: any time i want to "tie the knot" i can only do so using a function. nothing at type level
2020-10-14 22:26:26 <larou> hekkaidekapus: its literally impossible that could be doing what im describing
2020-10-14 22:26:35 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:898b:a67a:695d:4361) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 22:26:41 <hekkaidekapus> larou: paste what you have so far.
2020-10-14 22:26:53 <hekkaidekapus> @where paste -- larou
2020-10-14 22:26:53 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-10-14 22:27:04 <larou> data Cycle a = MkCycle Int (DList a)
2020-10-14 22:27:13 <larou> data DList a = MkDList (DList a) a (DList a)
2020-10-14 22:27:29 <larou> what differentiates the usage of those 2 DLists in data DList?
2020-10-14 22:28:12 <larou> always we have "downwards" references, and any time we want to make it seem like a "backwards" or "upwards" reference, this has to be done by a mechanism at value level
2020-10-14 22:28:16 <larou> not at type level
2020-10-14 22:28:23 <larou> thats why i asked in #ghc
2020-10-14 22:28:27 × ericsagnes quits (~ericsagne@2405:6580:0:5100:f5c6:c62b:43fd:4aa2) (Ping timeout: 260 seconds)
2020-10-14 22:29:15 → alp joins (~alp@2a01:e0a:58b:4920:64b8:ef78:ddd5:6ed9)
2020-10-14 22:29:20 <larou> hekkaidekapus: i dont use anything except pastebin.com and github after i lost about a years worth of references on lpaste
2020-10-14 22:29:28 <monochrom> Then you can give up now. For at least 5 more years Haskell won't have cyclic data structures at the type level.
2020-10-14 22:29:43 <larou> exactly!
2020-10-14 22:29:45 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 22:29:51 <larou> so wft am i supposed to do!?
2020-10-14 22:30:13 <larou> just prepare abstractions that it will satisfy in the mean time?
2020-10-14 22:30:20 <monochrom> That's a question better posed to a counsellor or life coach.
2020-10-14 22:31:00 <larou> yeah, they could prescribe me some dank nugs to help me cope with this existential nightmare
2020-10-14 22:31:34 <larou> well, one other thing i wanted was something like ListT done right but for graphs...
2020-10-14 22:31:59 <larou> so i could have something like IOGraph for emulating interacting servers in the ST monad
2020-10-14 22:32:42 <larou> oh yeah, thats still graphs... i *suppose* i could use Int lookup graphs. but i have done *so much work* to avoid doing that!
2020-10-14 22:33:25 <larou> though i suppose it world force me to get the abstractions, like stencil convolutions, nearest neighbour access, etc. formulated
2020-10-14 22:33:52 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
2020-10-14 22:34:07 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-14 22:34:17 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 22:35:27 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-14 22:35:56 × Thompson quits (~Thompson@2603-6000-9945-c66d-0000-0000-0000-1000.res6.spectrum.com) (Quit: Thompson)
2020-10-14 22:37:23 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2020-10-14 22:38:51 → RusAlex joins (~Chel@unaffiliated/rusalex)
2020-10-14 22:39:14 × Patrick24 quits (4881905c@cpe-72-129-144-92.new.res.rr.com) (Ping timeout: 245 seconds)
2020-10-14 22:41:04 → ericsagnes joins (~ericsagne@2405:6580:0:5100:c0a:1139:7023:580f)
2020-10-14 22:51:13 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-14 22:51:48 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-14 22:52:43 → Thompson joins (~Thompson@cpe-72-129-144-92.new.res.rr.com)
2020-10-14 22:52:57 hackage formatting 7.1.1 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.1.1 (AlexChapman)
2020-10-14 22:54:39 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-14 22:56:02 × tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds)
2020-10-14 22:57:08 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 22:57:40 → tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-14 22:58:07 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-14 22:58:41 × taurux quits (~taurux@net-188-152-69-142.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2020-10-14 22:59:08 → jgt joins (~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-14 22:59:49 → taurux joins (~taurux@net-93-151-203-230.cust.vodafonedsl.it)
2020-10-14 23:00:21 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-14 23:00:38 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 258 seconds)
2020-10-14 23:00:55 × christo quits (516071d5@81.96.113.213) (Remote host closed the connection)
2020-10-14 23:01:28 hackage churros 0.1.1.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.1.0 (LyndonMaydwell)
2020-10-14 23:02:33 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-14 23:03:25 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-14 23:03:51 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-14 23:10:01 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-14 23:13:28 × Thompson quits (~Thompson@cpe-72-129-144-92.new.res.rr.com) (Quit: Thompson)
2020-10-14 23:13:50 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-14 23:13:50 × wroathe_ quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-14 23:14:04 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-14 23:14:24 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-14 23:14:28 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 23:14:29 wroathe_ is now known as wroathe
2020-10-14 23:14:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 640 641 642 643 644 645 646 647 648 649 650 .. 5022

All times are in UTC.