Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 622 623 624 625 626 627 628 629 630 631 632 .. 5022
— 502,152 events total
2020-10-13 23:20:52 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-13 23:20:52 <Axman6> unary plus++
2020-10-13 23:21:02 × mdunnio quits (~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-13 23:21:04 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-13 23:21:08 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-10-13 23:21:13 <hpc> whoops, you know what i mean
2020-10-13 23:21:25 <hpc> anyhoo
2020-10-13 23:21:35 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 23:21:50 <hpc> when you look at g :: c -> b -> a, it's actually g :: c -> (b -> a)
2020-10-13 23:21:55 × __skn- quits (~sunil@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-13 23:21:57 × incertia quits (~incertia@d60-65-215-180.col.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-13 23:21:58 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-13 23:21:59 × mrus quits (~mrus@128.199.6.232) (Quit: Surfing the great wave off Kanagawa)
2020-10-13 23:22:06 → justache joins (~justache@unaffiliated/justache)
2020-10-13 23:22:10 <hpc> and if you put that side by side with g :: d -> c
2020-10-13 23:22:11 → __skn joins (~sunil@sec.nimmagadda.net)
2020-10-13 23:22:17 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-10-13 23:22:17 → mrus joins (~mrus@128.199.6.232)
2020-10-13 23:22:19 → incertia joins (~incertia@d60-65-215-180.col.wideopenwest.com)
2020-10-13 23:22:31 <hpc> then you have the left (->) lining up with the only (->)
2020-10-13 23:22:39 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 265 seconds)
2020-10-13 23:22:40 <hpc> and c = d, and c = (b -> a)
2020-10-13 23:23:11 <hpc> or well, upper c = lower d, upper (b -> a) = lower c
2020-10-13 23:23:14 <crestfallen> hpc thanks one moment
2020-10-13 23:23:38 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-13 23:23:38 × nyaomi quits (~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 260 seconds)
2020-10-13 23:23:38 × gareth__ quits (~gareth__@104.236.161.134) (Ping timeout: 260 seconds)
2020-10-13 23:23:51 × nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-13 23:24:13 × CindyLinz quits (~cindy_utf@112.121.78.20) (Ping timeout: 260 seconds)
2020-10-13 23:24:13 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-10-13 23:24:13 × jameekim1 quits (~jameekim@mx.nodaplife.me) (Ping timeout: 260 seconds)
2020-10-13 23:24:41 × AWizzArd quits (~code@unaffiliated/awizzard) (Ping timeout: 260 seconds)
2020-10-13 23:24:44 → urdh joins (~urdh@unaffiliated/urdh)
2020-10-13 23:24:46 → CindyLinz joins (~cindy_utf@112.121.78.20)
2020-10-13 23:24:48 <crestfallen> hpc what is the logic behind assigning the whole expression to a on line 3
2020-10-13 23:24:56 → jameekim1 joins (~jameekim@mx.nodaplife.me)
2020-10-13 23:25:23 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-13 23:25:23 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-10-13 23:25:25 × jgt quits (~jgt@77-255-14-254.adsl.inetia.pl) (Ping timeout: 246 seconds)
2020-10-13 23:25:28 → cgfbee joins (~bot@oc1.itim-cj.ro)
2020-10-13 23:25:29 <Axman6> you just need a name for the result of the whole expression, and that type will be the ultimate return type of f
2020-10-13 23:25:45 × esg quits (~emil@esg.xen.prgmr.com) (Ping timeout: 258 seconds)
2020-10-13 23:25:53 <hpc> ^ that
2020-10-13 23:26:04 <hpc> the expression has a type, you just haven't figured out what it is yet
2020-10-13 23:26:04 <Axman6> f :: ? -> ?? -> ??? -> ???? -> a
2020-10-13 23:26:07 <hpc> but you can give it a name
2020-10-13 23:26:13 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-13 23:26:17 <hpc> and that name is a, because why not
2020-10-13 23:26:30 → esg joins (~emil@esg.xen.prgmr.com)
2020-10-13 23:27:27 <hpc> as you dig deeper into the expression you build constraints on what a can actually be
2020-10-13 23:27:31 <hpc> and then you unify those constraints
2020-10-13 23:27:54 <hpc> it's essentially solving a system of equations
2020-10-13 23:28:21 <crestfallen> yeah thanks ok so the g on line 11 is the g in (g x) getting expanded, right?
2020-10-13 23:28:35 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 23:28:47 → gareth__ joins (~gareth__@104.236.161.134)
2020-10-13 23:29:25 → nyaomi joins (~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-13 23:29:30 <crestfallen> then the g on line 14 is the leftmost g in the expression
2020-10-13 23:29:37 × mdunnio quits (~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-13 23:30:12 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-13 23:30:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-13 23:30:54 → ystael joins (~ystael@209.6.50.55)
2020-10-13 23:31:08 <hpc> something like that, that part's weirdly written
2020-10-13 23:31:17 <hpc> but yeah, you're building constraints from two different applciations of g
2020-10-13 23:31:18 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 272 seconds)
2020-10-13 23:31:51 <crestfallen> hpc which part? pls explain why it's weird and better alternative
2020-10-13 23:33:08 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-13 23:33:08 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-13 23:33:13 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-13 23:33:15 → AWizzArd joins (~code@gehrels.uberspace.de)
2020-10-13 23:33:22 <crestfallen> There's this algorithm W in ghci, I'd like to understand this aspect of haskell
2020-10-13 23:35:01 <hpc> just that i can't tell which g is which, but to be fair, i am not reading this paste very carefully, most of explaining this is kind of autopilot for me at this point :P
2020-10-13 23:35:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-13 23:39:37 <crestfallen> hpc it came from this SO : https://stackoverflow.com/questions/50777884/manual-type-inference-in-haskell/50778324
2020-10-13 23:40:03 <crestfallen> it goes on to assign y :: e
2020-10-13 23:40:32 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-13 23:41:40 <crestfallen> I see e in these unifying exercises: does that mean partial application like (-> e) or something?
2020-10-13 23:46:02 → elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-13 23:46:54 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-13 23:48:11 × oisdk quits (~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5) (Quit: oisdk)
2020-10-13 23:53:00 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-10-13 23:54:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 23:54:33 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 23:55:02 → conal joins (~conal@64.71.133.70)
2020-10-13 23:55:28 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-13 23:55:42 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-13 23:57:46 <proofofme> do y'all know any good Haskell bindings for MapBox?
2020-10-13 23:59:07 → mirrorbird joins (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-13 23:59:08 × ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-13 23:59:35 → pera joins (~pera@unaffiliated/pera)
2020-10-14 00:00:02 × BusError1 quits (~BusError@185.163.110.116) ()
2020-10-14 00:00:21 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 00:00:22 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 00:02:13 × xff0x quits (~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372) (Ping timeout: 272 seconds)
2020-10-14 00:02:31 <crestfallen> so if we infer that g :: a ~ (c -> e) is e used just as a symbol for an unknown type?
2020-10-14 00:02:37 → xff0x joins (~fox@2001:1a81:52e4:2a00:832:9834:d4e8:1bdd)
2020-10-14 00:02:40 <crestfallen> hpc Axman6 ?
2020-10-14 00:03:10 → dnlkrgr joins (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de)
2020-10-14 00:04:53 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 246 seconds)
2020-10-14 00:05:21 → conal joins (~conal@64.71.133.70)
2020-10-14 00:05:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
←Prev  Next→
Page 1 .. 622 623 624 625 626 627 628 629 630 631 632 .. 5022

All times are in UTC.