Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 335 336 337 338 339 340 341 342 343 344 345 .. 5022
— 502,152 events total
2020-09-30 22:08:12 → Tristan- joins (~tristan@luna.whatbox.ca)
2020-09-30 22:08:25 → Xnuk- joins (~xnuk@vultr.xnu.kr)
2020-09-30 22:08:25 × Xnuk quits (~xnuk@45.76.202.58) (Ping timeout: 240 seconds)
2020-09-30 22:08:26 <maerwald> stack has the worse philosophy, cabal the worse codebase. Now, I could have phrased that positively somehow...
2020-09-30 22:08:34 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-30 22:08:55 × _Tristan_ quits (~tristan@luna.whatbox.ca) (Ping timeout: 240 seconds)
2020-09-30 22:09:07 <Guest56> I'm so h0rny now. Wanna trade. Add me here >> https://bit.ly/3iiA2Ef <<
2020-09-30 22:09:15 <maerwald> nah, we're good
2020-09-30 22:09:26 <monochrom> Well I'm OK with phrasing negatively such as "my course has the least difficult monad tutorial" because it is not goiing to be easy.
2020-09-30 22:09:36 <sm[m]> heebo: there are.. partisans
2020-09-30 22:09:48 ChanServ sets mode +o monochrom
2020-09-30 22:09:52 monochrom sets mode +b *!*@gateway/web/cgi-irc/kiwiirc.com/ip.147.135.116.81
2020-09-30 22:09:52 Guest56 is kicked by monochrom (Guest56)
2020-09-30 22:10:01 <maerwald> sm[m]: :D
2020-09-30 22:10:06 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-09-30 22:10:11 <Rembane> maerwald: I guess cabal has too few coders, stack has too few philosophers and you have too few positivelers. I think this might be one of my worst puns.
2020-09-30 22:10:12 <fresheyeball> hey out there
2020-09-30 22:10:21 <fresheyeball> I am not a stack user and I have an issue
2020-09-30 22:10:32 <fresheyeball> I need to get regex-pcre to build
2020-09-30 22:10:41 <fresheyeball> https://gitlab.com/fresheyeball/Shpadoinkle-snowman/-/jobs/766428404#L1684
2020-09-30 22:10:57 <fresheyeball> anyone know how to debug this?
2020-09-30 22:10:59 <maerwald> fresheyeball: on windows?
2020-09-30 22:11:06 <fresheyeball> linux
2020-09-30 22:11:19 <heebo> i really dont care what the code base is like , i just want the tool that is easiest to use and most reliable
2020-09-30 22:11:31 <heebo> i guess that makes me a phillistine
2020-09-30 22:11:33 <sm[m]> fresheyeball: * Missing (or bad) C library: pcre
2020-09-30 22:11:56 <sm[m]> it's a hard to pick out the signal from these build logs
2020-09-30 22:12:08 → wroathe_ joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-30 22:12:10 <fresheyeball> how. did. you. see that?
2020-09-30 22:12:13 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 22:12:27 <sm[m]> searched from the top for pcre
2020-09-30 22:12:27 × son0p quits (~son0p@181.136.122.143) (Ping timeout: 240 seconds)
2020-09-30 22:12:35 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-09-30 22:12:35 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-09-30 22:12:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 22:12:50 <hololeap> `Profunctor p => (b -> a) -> (a -> b) -> p a a -> p b b`
2020-09-30 22:12:54 <hololeap> is there a name for this?
2020-09-30 22:13:03 <sm[m]> if someone could make those errors more apparent, they would make a lot of haskell users happy
2020-09-30 22:13:11 ← kish parts (~oracle@unaffiliated/oracle) ("Leaving")
2020-09-30 22:13:34 → son0p joins (~son0p@181.136.122.143)
2020-09-30 22:13:38 <maerwald> Rembane: hm well... the thing is... improving on philosophy is usually something that never happens. Improving on code... every few decades it happens
2020-09-30 22:13:45 <dolio> dimap
2020-09-30 22:13:55 × mirrorbird quits (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9) (Quit: Leaving)
2020-09-30 22:14:07 <Rembane> maerwald: Yeah, I think that was my point, I didn't really tell it to anyone though
2020-09-30 22:14:17 <hololeap> dolio: yeah, i know that one
2020-09-30 22:14:26 <hololeap> also, are Arrows and Profunctors isomorphic to each other?
2020-09-30 22:14:54 <dolio> No.
2020-09-30 22:15:44 <hololeap> what is a good counter-example?
2020-09-30 22:16:01 <Cheery> ok.. so now I think I start understanding what I want here.. First of all I got a document, then I got queries that selects portions of that document.
2020-09-30 22:16:23 <EvanR> heh, if they were isomorphic, what nonsense could you cause
2020-09-30 22:16:29 <Cheery> then when it's time to fetch, I would like to combine queries and run a "fold" on the document.
2020-09-30 22:16:31 <EvanR> weird direction to go at it from
2020-09-30 22:16:54 <Cheery> Another case is that I want to rewrite or replace contents in that document and reconstruct it.
2020-09-30 22:17:10 wroathe_ is now known as wroathe
2020-09-30 22:17:16 <Cheery> is it possible that I should look into profunctor optics or lenses with this thing?
2020-09-30 22:17:22 → ericsagnes joins (~ericsagne@2405:6580:0:5100:ed19:5da:9d69:c63c)
2020-09-30 22:17:58 <Cheery> or is there some other notion of combining queries, then fetching with a query.
2020-09-30 22:18:11 <Cheery> or well, combining fetches, then applying them in one fold.
2020-09-30 22:18:16 <hololeap> well, there is the WrapArrow newtype, which seems to signify that any Arrow can become a Profunctor rather trivially
2020-09-30 22:18:28 hackage pointed 5.0.2 - Pointed and copointed data https://hackage.haskell.org/package/pointed-5.0.2 (ryanglscott)
2020-09-30 22:18:29 <dolio> Arrows are profunctors, but not vice versa.
2020-09-30 22:19:40 <hololeap> i'm having a hard time imagining a counter-example
2020-09-30 22:20:12 × fendor quits (~fendor@77.119.131.134.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-30 22:20:32 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-09-30 22:20:37 <fresheyeball> sm[m]: any idea how I can provide pcre to stack?
2020-09-30 22:20:42 <fresheyeball> It is on the system
2020-09-30 22:21:02 <hololeap> or maybe i don't understand the two concepts well enough
2020-09-30 22:21:09 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-09-30 22:21:32 × bitmagie quits (~Thunderbi@200116b806af9800a5686823a67cc6e9.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-30 22:21:49 <EvanR> demonstrating "not isomorphic" would mean if you had a hypothetical isomorphism you could use it to make true = false or similar
2020-09-30 22:21:50 <dolio> Well, it's probably relatively easy to produce a counter example with some sort of 'free profunctor on T :: * -> * -> *'.
2020-09-30 22:22:32 <heebo> Cheery: it seems all of the above , you should be able to decompose and reconstruct html builders within the html builder monad
2020-09-30 22:22:33 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 22:22:44 → mu__ joins (~mu@unaffiliated/mu)
2020-09-30 22:23:17 <dolio> Where T is allowed to be a GADT that only has values for certain choices of (pairs of) types.
2020-09-30 22:23:20 <heebo> hololeap: being able to transform one way isnt isomorphic though
2020-09-30 22:23:46 <dolio> The 'free' part would add the ability to map each side, but not the other arrow stuff.
2020-09-30 22:24:35 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-09-30 22:24:36 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-09-30 22:24:39 <dolio> Arrows are actually the profunctor equivalent of monads.
2020-09-30 22:24:44 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 256 seconds)
2020-09-30 22:25:08 × aldessa quits (~Hugh@host-2-103-12-241.as13285.net) (Quit: Leaving)
2020-09-30 22:25:12 <dolio> (Slightly beyond that, really, but close.)
2020-09-30 22:25:15 × kori quits (~kori@arrowheads/kori) (Ping timeout: 272 seconds)
2020-09-30 22:25:30 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:51e3:d2:c653:ccbb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-30 22:25:52 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-09-30 22:26:03 <hololeap> huh, interesting stuff
2020-09-30 22:27:32 <dolio> Because (->) is like an identity profunctor, so `(a -> b) -> P a b` is like the monad unit, and `P a b × P b c -> P a c` is like the monad join.
2020-09-30 22:28:03 × ziman quits (~ziman@c25-5.condornet.sk) (Ping timeout: 265 seconds)
2020-09-30 22:28:25 → ziman joins (~ziman@c25-5.condornet.sk)
2020-09-30 22:28:32 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-09-30 22:28:55 → andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
2020-09-30 22:29:07 <sm[m]> fresheyeball : in some non-standard place on the system ? probably you need the --extra-include-dir and/or --extra-lib-dir options
2020-09-30 22:31:07 × xff0x quits (~fox@2001:1a81:53e7:fb00:a420:19f5:c0d1:188d) (Ping timeout: 260 seconds)
2020-09-30 22:31:23 → DataComp_ joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-30 22:31:36 × tzh quits (~tzh@2601:448:c500:5300::4b20) (Remote host closed the connection)
2020-09-30 22:31:36 → xff0x joins (~fox@2001:1a81:53e7:fb00:f5c9:5f72:d493:76cb)
2020-09-30 22:31:57 <fresheyeball> sm[m]: what would be the standard place?
2020-09-30 22:32:08 → tzh joins (~tzh@2601:448:c500:5300::4b20)
2020-09-30 22:32:13 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 335 336 337 338 339 340 341 342 343 344 345 .. 5022

All times are in UTC.