Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 336 337 338 339 340 341 342 343 344 345 346 .. 5022
— 502,152 events total
2020-09-30 22:32:27 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 240 seconds)
2020-09-30 22:32:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 22:32:52 <sm[m]> fresheyeball: I think it would find them automatically in either /usr/{include,lib} or /usr/local/{include,lib}
2020-09-30 22:35:25 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 240 seconds)
2020-09-30 22:37:43 × mav1 quits (~mav@p5b02806a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2020-09-30 22:38:07 × heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-30 22:38:20 <hololeap> `P a b × P b c -> P a c` seems more like <*>, although not exactly
2020-09-30 22:39:51 <dolio> Well, looks are deceiving in this case. :)
2020-09-30 22:40:08 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2020-09-30 22:40:41 <dolio> The way it works is that you can consider profunctors as generalizing functors. In this case, they generalize Type → Type functors because both arguments are types.
2020-09-30 22:41:03 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-30 22:41:34 × ziman quits (~ziman@c25-5.condornet.sk) (Ping timeout: 246 seconds)
2020-09-30 22:42:03 <dolio> And the way you compose two profunctors is `(P . Q) a b = exists e. P a e × Q e b`.
2020-09-30 22:42:14 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 22:42:46 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 22:42:51 <dolio> (->) is the identity of that composition, because you can just pull it into the other profunctor by mapping.
2020-09-30 22:42:52 → conal joins (~conal@64.71.133.70)
2020-09-30 22:43:19 × xcmw quits (~textual@dyn-72-33-0-89.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-30 22:43:35 <dolio> So arrow composition is `P . P => P` in this sense.
2020-09-30 22:44:33 <hololeap> what does `P . P => P` mean?
2020-09-30 22:45:09 → kori joins (~kori@arrowheads/kori)
2020-09-30 22:45:16 <dolio> Natural transformation. Like `join : M.M => M` for monads.
2020-09-30 22:45:32 → mirrorbird joins (~psutcliff@2a00:801:3fb:53b9:b09b:cd4e:4e4a:44a9)
2020-09-30 22:45:34 <hololeap> oh ok
2020-09-30 22:45:58 hackage vty 5.31 - A simple terminal UI library https://hackage.haskell.org/package/vty-5.31 (JonathanDaugherty)
2020-09-30 22:46:58 hackage language-dickinson 1.4.0.0 - A language for generative literature https://hackage.haskell.org/package/language-dickinson-1.4.0.0 (vmchale)
2020-09-30 22:47:50 <dolio> There are two ways (at least) to embed functors into profunctors. F goes to either `\a b -> (a -> F b)` or `\a b -> (F a -> b)`. And I think either way you choose will respect composition.
2020-09-30 22:48:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-30 22:48:22 <dolio> So, the embedding of `F.G` is the embedding of F profunctor-composed with the embedding of G.
2020-09-30 22:48:50 <dolio> Because again you can pull one of the function arrows into the other.
2020-09-30 22:49:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-30 22:49:34 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-30 22:50:01 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2020-09-30 22:50:38 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 260 seconds)
2020-09-30 22:50:49 <dolio> The identity functor embeds to the identity profunctor (->). And one of the embeddings takes a monad to its kleisli arrow profunctor, which is an arrow/profunctor-monad.
2020-09-30 22:51:50 → conal joins (~conal@64.71.133.70)
2020-09-30 22:51:54 <dolio> The other embedding flips things around so it probably takes a monad to a profunctor-comonad.
2020-09-30 22:52:37 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 22:52:43 → mu__ joins (~mu@unaffiliated/mu)
2020-09-30 22:59:27 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-09-30 23:01:41 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-30 23:02:22 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:02:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 23:03:58 hackage lift-generics 0.2 - GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation https://hackage.haskell.org/package/lift-generics-0.2 (ryanglscott)
2020-09-30 23:04:00 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-30 23:04:25 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 240 seconds)
2020-09-30 23:04:33 <orzo> When using GADTs, it seems common to have functions pattern matching every GADT constructor but then using the same polymorphic code on the right hand side for each case. There ought to be a way to write that as a single pattern match. Something like _ except that it stands for any of a finite number of GADT cases.
2020-09-30 23:04:38 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2020-09-30 23:04:53 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-09-30 23:05:26 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-30 23:05:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 23:05:59 <orzo> maybe we could abuse the BangPattern syntax and specify it as (foo !_ = polymorphic)
2020-09-30 23:09:45 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-30 23:10:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-30 23:12:37 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:12:43 → mu__ joins (~mu@unaffiliated/mu)
2020-09-30 23:15:27 hackage data-reify 0.6.2 - Reify a recursive data structure into an explicit graph. https://hackage.haskell.org/package/data-reify-0.6.2 (ryanglscott)
2020-09-30 23:16:19 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 23:17:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-30 23:17:53 → Amras joins (~Amras@unaffiliated/amras0000)
2020-09-30 23:20:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-30 23:22:11 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:22:30 × alp quits (~alp@2a01:e0a:58b:4920:d4f2:e84:b07:a9f2) (Ping timeout: 244 seconds)
2020-09-30 23:22:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-30 23:22:41 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 23:23:27 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-30 23:23:27 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-09-30 23:26:25 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-30 23:26:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 23:27:25 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-09-30 23:27:30 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-30 23:28:02 × o1lo01ol_ quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-30 23:28:41 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-30 23:28:46 × son0p quits (~son0p@181.136.122.143) (Remote host closed the connection)
2020-09-30 23:30:25 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-30 23:30:35 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-30 23:31:47 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-09-30 23:31:52 × todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 272 seconds)
2020-09-30 23:32:21 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:32:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 23:33:07 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-30 23:33:13 × dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 264 seconds)
2020-09-30 23:33:22 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 246 seconds)
2020-09-30 23:33:59 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-09-30 23:34:09 → ziman joins (~ziman@c25-5.condornet.sk)
2020-09-30 23:34:10 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-09-30 23:34:27 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-30 23:36:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 23:37:50 → jgt joins (~jgt@188.239.64.32)
2020-09-30 23:38:11 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-09-30 23:39:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-30 23:40:06 × delimax quits (max@gateway/vpn/protonvpn/delimax) (Quit: until next time)
2020-09-30 23:40:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-30 23:40:13 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-30 23:42:14 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-30 23:42:42 → mu_ joins (~mu@unaffiliated/mu)
2020-09-30 23:43:58 hackage intern 0.9.3 - Efficient hash-consing for arbitrary data types https://hackage.haskell.org/package/intern-0.9.3 (ryanglscott)
2020-09-30 23:44:30 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:51c3:9040:83ae:b100)
2020-09-30 23:45:22 → kori joins (~kori@arrowheads/kori)
2020-09-30 23:46:20 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:51c3:9040:83ae:b100) (Client Quit)
←Prev  Next→
Page 1 .. 336 337 338 339 340 341 342 343 344 345 346 .. 5022

All times are in UTC.