Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 120 121 122 123 124 125 126 127 128 129 130 .. 5022
— 502,152 events total
2020-09-21 17:18:47 Lord_of_Life_ is now known as Lord_of_Life
2020-09-21 17:20:33 → Saten-san joins (~Saten-san@ip-83-134-202-127.dsl.scarlet.be)
2020-09-21 17:24:38 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-21 17:24:51 × pingiun quits (~pingiun@ip-213-124-184-182.ip.prioritytelecom.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-21 17:26:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-21 17:26:34 → pera joins (~pera@unaffiliated/pera)
2020-09-21 17:29:57 × thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-21 17:30:24 × stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 2.9)
2020-09-21 17:34:25 → David43 joins (4cd8d0d0@76-216-208-208.lightspeed.wbfdmi.sbcglobal.net)
2020-09-21 17:34:51 × David43 quits (4cd8d0d0@76-216-208-208.lightspeed.wbfdmi.sbcglobal.net) (Remote host closed the connection)
2020-09-21 17:35:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-21 17:36:16 → sfvm joins (~sfvm@37.228.215.148)
2020-09-21 17:36:33 × alp quits (~alp@2a01:e0a:58b:4920:3d6a:1746:8ffe:5c08) (Ping timeout: 272 seconds)
2020-09-21 17:36:59 → geekosaur joins (42d52102@66.213.33.2)
2020-09-21 17:37:33 × jespada quits (~jespada@90.254.241.6) (Quit: Sleeping)
2020-09-21 17:38:10 → koz joins (~koz@2404:4408:4303:8800:4270:af80:81b7:2f9)
2020-09-21 17:38:19 × koz_ quits (~koz@121.99.240.58) (Ping timeout: 246 seconds)
2020-09-21 17:39:03 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-09-21 17:39:05 × plutoniix quits (~q@ppp-27-55-67-24.revip3.asianet.co.th) (Read error: Connection reset by peer)
2020-09-21 17:39:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-21 17:42:26 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Remote host closed the connection)
2020-09-21 17:45:46 → jespada joins (~jespada@90.254.241.6)
2020-09-21 17:46:18 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-21 17:47:08 → mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e)
2020-09-21 17:47:58 × adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-21 17:48:12 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-21 17:49:36 → knupfer joins (~Thunderbi@i5E86B42C.versanet.de)
2020-09-21 17:49:58 × __Joker_ quits (~Joker@180.151.104.210) (Ping timeout: 272 seconds)
2020-09-21 17:52:57 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-09-21 17:53:03 <monochrom> https://jscoq.github.io/node_modules/jscoq/examples/scratchpad.html
2020-09-21 17:53:22 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 246 seconds)
2020-09-21 17:53:50 → thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de)
2020-09-21 17:54:10 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-21 17:55:11 × Saten-san quits (~Saten-san@ip-83-134-202-127.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-21 17:56:11 → plutoniix joins (~q@node-unh.pool-125-24.dynamic.totinternet.net)
2020-09-21 17:56:49 × mpereira quits (~mpereira@2a02:810d:f40:d96:b903:bcf4:35d5:9a35) (Ping timeout: 272 seconds)
2020-09-21 17:57:03 → alp joins (~alp@2a01:e0a:58b:4920:a050:58b3:20bf:5c71)
2020-09-21 17:58:21 <NieDzejkob> is there a better alternative to (const x <$>) <$> xs for replacing all elements of [[a]] by x?
2020-09-21 18:00:01 × Seyaryuki quits (~Seyaryuki@185.204.1.185) ()
2020-09-21 18:00:06 × John20 quits (~John@82.46.59.122) (Ping timeout: 272 seconds)
2020-09-21 18:01:15 <phadej> :t \xs y -> set (mapped.mapped) y xs
2020-09-21 18:01:17 <lambdabot> (Functor f1, Functor f2) => f1 (f2 a) -> b -> f1 (f2 b)
2020-09-21 18:01:17 <monochrom> I think prefix notation is better. fmap (fmap (const x)) xs
2020-09-21 18:02:05 → Thra11 joins (~Thra11@5.1.169.217.in-addr.arpa)
2020-09-21 18:03:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-21 18:03:45 × mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Remote host closed the connection)
2020-09-21 18:04:04 koz is now known as koz_
2020-09-21 18:04:12 × adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-21 18:04:36 <NieDzejkob> I'm just starting to discover lens today, I assume that's where mapped comes from :D
2020-09-21 18:05:03 <monochrom> also "set"
2020-09-21 18:05:13 <NieDzejkob> if I defined, say, foo a b = ... where bar c = a + c, how can I access bar in ghci?
2020-09-21 18:05:29 <monochrom> Cannot.
2020-09-21 18:06:43 <NieDzejkob> even if I provide a specific value of a and b? How can I debug these definitions, then?
2020-09-21 18:07:04 <dolio> fmap (const x) = (x <$)
2020-09-21 18:07:12 → Saten-san joins (~Saten-san@ip-83-134-202-127.dsl.scarlet.be)
2020-09-21 18:07:51 <monochrom> If you're OK with outputting debugging messages, look into Debug.Trace
2020-09-21 18:08:19 <monochrom> My Debug.Trace tutorial: http://www.cs.utoronto.ca/~trebla/CSCC24-2020-Summer/tracing.html
2020-09-21 18:08:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-09-21 18:09:33 <Cale> NieDzejkob: You can of course, edit the definition and lift it out of the definition of foo, but you'd need to add a as a parameter then.
2020-09-21 18:10:27 <NieDzejkob> that's particularily inconvenient as the definition in question is recursive
2020-09-21 18:10:55 → Jaf23o joins (029895e7@2.152.149.231.dyn.user.ono.com)
2020-09-21 18:11:03 <Cale> Of course, addition (and other functions), work the same everywhere, so if you know a and c, you can just add them directly in ghci. (Similarly, you could use the definition of whatever local thing you were looking at to reconstruct what it would be)
2020-09-21 18:11:10 → sepi joins (49dc4892@c-73-220-72-146.hsd1.ca.comcast.net)
2020-09-21 18:11:16 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-09-21 18:11:24 <senri> 10
2020-09-21 18:11:30 <senri> whoops
2020-09-21 18:11:34 <Cale> What's the actual definition you're trying to figure out?
2020-09-21 18:12:07 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-09-21 18:13:34 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-09-21 18:14:04 <NieDzejkob> oh hold on, I added some more type annotations and figured out what's going on :D
2020-09-21 18:14:18 <NieDzejkob> anyway, this is what the code in question looks like: https://gist.github.com/NieDzejkob/ea6e75ee00951fb8a82e51beafa7d7c4
2020-09-21 18:15:06 <NieDzejkob> (I'm investigating bijections f such that g(x) = x + f(x) is also bijective)
2020-09-21 18:16:03 → orion joins (~orion@unaffiliated/orion)
2020-09-21 18:16:26 <orion> Hi. Are there technical reasons why GHC does not support the Power ISA?
2020-09-21 18:16:38 <ski> composition of bijections yields a bijection
2020-09-21 18:16:47 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-21 18:17:03 <NieDzejkob> not sure how that helps here?
2020-09-21 18:17:03 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-09-21 18:17:08 <orion> Sorry, I should probably direct this to #ghc.
2020-09-21 18:17:19 <ski> hm, i guess it doesn't. sorry
2020-09-21 18:17:21 <geekosaur> orion, generally if ghc doesn't support some arch it's because nobody has time or access to it
2020-09-21 18:17:32 <NieDzejkob> ski: I mean, g isn't a composition of bijections
2020-09-21 18:17:56 <NieDzejkob> but composition of bijections does indeed yield a bijection
2020-09-21 18:18:02 <orion> geekosaur: How many hours of labor do you estimate would be involved in porting GHC to another architecture?
2020-09-21 18:18:38 × jespada quits (~jespada@90.254.241.6) (Quit: Sleeping)
2020-09-21 18:18:42 <geekosaur> depends on what tools you can use. it'll be much faster if you can take advantage of the llvm backend instead of going unregisterised, for example
2020-09-21 18:19:52 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-09-21 18:20:04 × Sigyn quits (sigyn@freenode/utility-bot/sigyn) (Quit: i've seen things you people wouldn't believe. spam bots on fire off the shoulder of sigyn. i watched k-line beams glitter in the dark near the Tannhäuser Gate. all these moments will be lost in time, like tears in rain. time to /die)
2020-09-21 18:20:43 → Sigyn joins (sigyn@freenode/utility-bot/sigyn)
2020-09-21 18:20:43 ChanServ sets mode +o Sigyn
2020-09-21 18:21:56 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 265 seconds)
2020-09-21 18:22:21 → machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-21 18:22:23 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-09-21 18:22:29 × Saten-san quits (~Saten-san@ip-83-134-202-127.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-21 18:23:07 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-21 18:26:20 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-21 18:27:06 → Saten-san joins (~Saten-san@ip-83-134-202-127.dsl.scarlet.be)
2020-09-21 18:28:43 × shad0w_ quits (~shad0w_@160.202.36.59) (Remote host closed the connection)
2020-09-21 18:29:29 × senri quits (evlian@gateway/shell/xshellz/x-qfoqhwybgfovdhvb) (Remote host closed the connection)
2020-09-21 18:29:58 → jespada joins (~jespada@90.254.241.6)
←Prev  Next→
Page 1 .. 120 121 122 123 124 125 126 127 128 129 130 .. 5022

All times are in UTC.