Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 225 226 227 228 229 230 231 232 233 234 235 .. 5022
— 502,152 events total
2020-09-26 13:37:11 × magog quits (~wee@unaffiliated/magog) (*.net *.split)
2020-09-26 13:37:11 × maralorn quits (maralornma@gateway/shell/matrix.org/x-ezvabzjgnlwkefwo) (*.net *.split)
2020-09-26 13:37:12 × Majoo quits (~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda) (*.net *.split)
2020-09-26 13:37:12 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:e98f:8381:852e:ca0) (*.net *.split)
2020-09-26 13:37:12 × vnz quits (~vnz@unaffiliated/vnz) (*.net *.split)
2020-09-26 13:37:12 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-bugyajrlynkkcpgn) (*.net *.split)
2020-09-26 13:37:12 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-wxsxhqlajtqicyiz) (*.net *.split)
2020-09-26 13:37:12 × alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-imhylowfnwnyorun) (*.net *.split)
2020-09-26 13:37:12 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-djatmabmxnhvvvhf) (*.net *.split)
2020-09-26 13:37:12 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-acshcfgqgpxmjkwb) (*.net *.split)
2020-09-26 13:37:12 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-exxcchwgrqwwfgam) (*.net *.split)
2020-09-26 13:37:12 × Jon quits (jon@dow.land) (*.net *.split)
2020-09-26 13:37:12 × Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (*.net *.split)
2020-09-26 13:37:12 × byorgey quits (~byorgey@155.138.238.211) (*.net *.split)
2020-09-26 13:37:12 × nopf quits (~frosch@static.179.17.76.144.clients.your-server.de) (*.net *.split)
2020-09-26 13:37:12 × M2tias quits (m2@seri.fi) (*.net *.split)
2020-09-26 13:37:21 → vnz joins (~vnz@51.15.143.225)
2020-09-26 13:37:21 → byorgey joins (~byorgey@155.138.238.211)
2020-09-26 13:37:21 × vnz quits (~vnz@51.15.143.225) (Changing host)
2020-09-26 13:37:21 → vnz joins (~vnz@unaffiliated/vnz)
2020-09-26 13:37:24 → Jon joins (jon@dow.land)
2020-09-26 13:37:25 → MVQq joins (~anja@198.254.202.72)
2020-09-26 13:37:36 → Majiir joins (~Majiir@2601:18c:ca00:a400:211:32ff:fe42:6eda)
2020-09-26 13:37:40 → debugloop joins (~danieln@unaffiliated/debugloop)
2020-09-26 13:37:44 → oisdk joins (~oisdk@2001:bb6:3329:d100:3937:264b:c180:39d6)
2020-09-26 13:38:11 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-26 13:39:28 × jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Ping timeout (120 seconds))
2020-09-26 13:40:05 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-26 13:40:25 × deu quits (de@uio.re) (Ping timeout: 264 seconds)
2020-09-26 13:40:29 → maralorn joins (maralornma@gateway/shell/matrix.org/x-jcjdlorwwncednaz)
2020-09-26 13:40:43 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 260 seconds)
2020-09-26 13:41:18 <tomjaguarpaw> Is there some option I can set to convince cabal to minimize rebuilds?
2020-09-26 13:41:20 → sureyeaah joins (shauryab98@gateway/shell/matrix.org/x-ixgowzetgwdpalkm)
2020-09-26 13:41:24 → chreekat[m] joins (chreekatma@gateway/shell/matrix.org/x-linhirjvdrhofayv)
2020-09-26 13:41:33 → rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-pxthlvwirdzkfldr)
2020-09-26 13:41:44 → alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-qdsezkyvjisttceh)
2020-09-26 13:42:30 → xzax_[m] joins (xzaxmatrix@gateway/shell/matrix.org/x-vlvhwzrgsdarqxvk)
2020-09-26 13:42:42 → themsay[m] joins (themsaymat@gateway/shell/matrix.org/session)
2020-09-26 13:42:42 → jkaye[m] joins (jkayematri@gateway/shell/matrix.org/session)
2020-09-26 13:42:42 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:c494:5a0b:fe0f:9b26)
2020-09-26 13:42:42 → coeus joins (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de)
2020-09-26 13:42:42 → magog joins (~wee@unaffiliated/magog)
2020-09-26 13:42:42 → Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2020-09-26 13:42:42 → nopf joins (~frosch@static.179.17.76.144.clients.your-server.de)
2020-09-26 13:42:42 → M2tias joins (m2@seri.fi)
2020-09-26 13:42:43 × jkaye[m] quits (jkayematri@gateway/shell/matrix.org/session) (Changing host)
2020-09-26 13:42:43 → jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-rpmuernsphlxsxxq)
2020-09-26 13:42:43 × themsay[m] quits (themsaymat@gateway/shell/matrix.org/session) (Changing host)
2020-09-26 13:42:43 → themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-mjbquguhfulgkgro)
2020-09-26 13:43:26 ← xzax_[m] parts (xzaxmatrix@gateway/shell/matrix.org/x-vlvhwzrgsdarqxvk) ("User left")
2020-09-26 13:44:36 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 272 seconds)
2020-09-26 13:44:55 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-26 13:45:14 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-26 13:45:17 × drbean quits (~drbean@TC210-63-209-57.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-09-26 13:47:17 <whataday> what's the different meaning between Reader and Cont?
2020-09-26 13:47:28 → deu joins (de@uio.re)
2020-09-26 13:47:55 <whataday> or effects?
2020-09-26 13:48:39 → berberman joins (~berberman@2408:8207:256c:d310::a44)
2020-09-26 13:48:41 <whataday> both related to callbacks?
2020-09-26 13:49:06 <tomjaguarpaw> What do you mean? Reader and Cont are completely different.
2020-09-26 13:49:11 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-09-26 13:49:40 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-09-26 13:49:55 <whataday> I mean in function form, not the type structure form
2020-09-26 13:49:56 <Cale> whataday: Reader just gives you access to a single immutable value. Reader r a is essentially the same thing as r -> a
2020-09-26 13:50:36 <Cale> whataday: Cont on the other hand abstracts over the continuation of the computation, and lets you do stuff like callCC
2020-09-26 13:51:01 <Cale> Cont r a is effectively (a -> r) -> r
2020-09-26 13:51:41 <whataday> basically Reader give a access to a single value, and Cont can access an unary function?
2020-09-26 13:52:16 <whataday> they're both related to function callback, right?
2020-09-26 13:53:11 <whataday> Reader is simple, like we do function compose
2020-09-26 13:53:49 <whataday> what's the abstract meaning of Cont?
2020-09-26 13:54:23 <tomjaguarpaw> Hmm, not really
2020-09-26 13:54:28 <tomjaguarpaw> Reader r a is a -> r
2020-09-26 13:54:41 <tomjaguarpaw> *Reader r a is r -> a
2020-09-26 13:54:43 <whataday> monad is a->
2020-09-26 13:54:51 <tomjaguarpaw> Cont r a is (a -> r) -> r
2020-09-26 13:54:57 <whataday> cont monad is (a->r)->
2020-09-26 13:55:13 <tomjaguarpaw> No, cont monad is (_ -> r) -> r
2020-09-26 13:55:20 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-26 13:55:22 <tomjaguarpaw> Reader monad is r -> _
2020-09-26 13:55:34 × berberman quits (~berberman@2408:8207:256c:d310::a44) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-26 13:55:35 <tomjaguarpaw> The parameter _ is in a completely different place in each case. They are nothing like each other.
2020-09-26 13:56:00 <whataday> but monad has kind *->*?
2020-09-26 13:56:05 → berberman joins (~berberman@123.118.109.217)
2020-09-26 13:56:12 <whataday> r->_ kind is?
2020-09-26 13:56:42 <whataday> and _ is a magic stuff just in ghci?
2020-09-26 13:56:54 × CrazyPython quits (~crazypyth@71-135-5-88.lightspeed.rlghnc.sbcglobal.net) (Remote host closed the connection)
2020-09-26 13:57:23 <tomjaguarpaw> "_" is just the syntax I'm using to indicate the type parameter
2020-09-26 13:57:53 <tomjaguarpaw> Reader r a is r -> a so it is "an a that has access to an r"
2020-09-26 13:57:57 <whataday> I'm confused
2020-09-26 13:57:58 <tomjaguarpaw> r
2020-09-26 13:58:10 <tomjaguarpaw> Cont r a is (a -> r) -> r so it is not "an a" in any sense
2020-09-26 13:58:24 → jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-26 13:58:27 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1)
2020-09-26 13:59:57 <whataday> what's the meaning when concat Cont?
2020-09-26 14:00:08 <whataday> I mean use >>= to bind Cont
2020-09-26 14:00:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-26 14:00:36 <whataday> f . g = \x -> f (g x)
2020-09-26 14:00:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-26 14:01:15 <whataday> function composing I understand
2020-09-26 14:01:26 <whataday> what's about Cont?
←Prev  Next→
Page 1 .. 225 226 227 228 229 230 231 232 233 234 235 .. 5022

All times are in UTC.