Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 527 528 529 530 531 532 533 534 535 536 537 .. 5022
— 502,152 events total
2020-10-09 06:29:45 → xQc joins (b644f401@182.68.244.1)
2020-10-09 06:29:53 <Taneb> lens doesn't use that because it means you can't define lenses while only depending on base
2020-10-09 06:32:06 → Ariakenom joins (~Ariakenom@193.254.193.1)
2020-10-09 06:32:15 <hololeap> it's interesting to me that not all Profunctors are Categories, which means some Profunctors don't compose, i would assume
2020-10-09 06:33:10 <Taneb> Yeah. The composition here uses the (->) in the middle
2020-10-09 06:36:00 <hololeap> could Lenses be generalized to: Lens s t a b = forall cat p. (Category cat, Strong p) => p a b `cat` p s t
2020-10-09 06:36:45 <Taneb> Hmm, sort of? But you get something different to a lens
2020-10-09 06:37:00 <Taneb> Basically, you'll only be able to define ones that are "id"
2020-10-09 06:38:32 <hololeap> (Monad m, Strong p) => Kleisli m (p a b) (p s t) -- could this be useful?
2020-10-09 06:39:07 <Taneb> That doesn't give you anything that (->) doesn't, I think
2020-10-09 06:39:43 <Taneb> Because the only way you can define one of those is essentially with arr somelens
2020-10-09 06:40:17 × HaskellYogi quits (~vivekrama@49.207.212.129) (Remote host closed the connection)
2020-10-09 06:41:07 <xQc> I was trying to define a list recursively. Can someone explain why these two approaches return different result? I think they are defined exactly the same https://pastebin.com/w7BTL1wn
2020-10-09 06:41:13 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 06:41:21 <hololeap> the rabbit hole is deep here :p
2020-10-09 06:43:05 × Dungdv quits (abf4bce2@gateway/web/cgi-irc/kiwiirc.com/ip.171.244.188.226) (Ping timeout: 240 seconds)
2020-10-09 06:44:09 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-09 06:45:47 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 240 seconds)
2020-10-09 06:47:25 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 06:50:34 → Dungdv joins (abf4bce2@gateway/web/cgi-irc/kiwiirc.com/ip.171.244.188.226)
2020-10-09 06:51:48 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 258 seconds)
2020-10-09 06:52:00 <hololeap> myfibs = 1:1:1:2:(1+(0-1)+(2*2)):(1+(0-1)+(2*(1+(0-1)+(2*2)))):(1+(0-1)+(2*((1+(0-1)+(2*(1+(0-1)+(2*2))))))
2020-10-09 06:52:07 <hololeap> ...
2020-10-09 06:53:03 <olligobber> hololeap, parse error (possibly incorrect indentation or mismatched brackets)
2020-10-09 06:53:10 × tzh quits (~tzh@2601:448:c500:5300::143b) (Quit: zzz)
2020-10-09 06:53:42 <hololeap> the applicative instance of [] is a cartesian product
2020-10-09 06:54:14 <olligobber> added an extra bracket and :[] and got [1,1,1,2,4,8,16]
2020-10-09 06:54:18 <olligobber> "fibs"
2020-10-09 06:54:25 × fr33domlover quits (~fr33domlo@fsf/member/fr33domlover) (Quit: fr33domlover)
2020-10-09 06:54:50 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-09 06:54:55 → fr33domlover joins (~fr33domlo@fsf/member/fr33domlover)
2020-10-09 06:55:04 <hololeap> Applicative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d
2020-10-09 06:55:24 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-09 06:55:56 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-09 06:56:09 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-09 06:56:13 <hololeap> for the list instance of Applicative, it will start with the first values of `f a` and `f b`, along with _every value_ of `f c`
2020-10-09 06:56:25 <hololeap> if `f c` is infinite, you can imagine what happens
2020-10-09 06:56:58 <xQc> oh. I think i get the error
2020-10-09 06:57:08 <xQc> I guess I have to use the ZipList class?
2020-10-09 06:57:44 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-09 06:58:01 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 06:59:07 <hololeap> yeah, that might work
2020-10-09 06:59:09 hololeap shrugs
2020-10-09 06:59:17 × poljar quits (~poljar@93-139-70-179.adsl.net.t-com.hr) (Remote host closed the connection)
2020-10-09 06:59:38 <hololeap> it seems like it would, with my brain's limited computing power
2020-10-09 06:59:47 → poljar joins (~poljar@93-139-70-179.adsl.net.t-com.hr)
2020-10-09 07:02:45 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 240 seconds)
2020-10-09 07:04:00 → Super_Feeling joins (~Super_Fee@103.108.4.50)
2020-10-09 07:04:23 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 07:04:41 × Super_Feeling quits (~Super_Fee@103.108.4.50) (Client Quit)
2020-10-09 07:05:16 → berberman joins (~berberman@123.118.111.156)
2020-10-09 07:08:27 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 240 seconds)
2020-10-09 07:08:50 → alp joins (~alp@2a01:e0a:58b:4920:a1ed:32ca:ea5a:70c4)
2020-10-09 07:09:02 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-09 07:09:45 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 07:10:08 × berberman quits (~berberman@123.118.111.156) (Client Quit)
2020-10-09 07:11:10 → berberman joins (~berberman@2408:8207:2563:44a0::a44)
2020-10-09 07:14:20 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 256 seconds)
2020-10-09 07:14:53 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-09 07:15:41 → HaskellYogi joins (~vivekrama@49.207.212.129)
2020-10-09 07:17:38 <dminuoso> 09:02:56 hololeap | [06:32:15] it's interesting to me that not all Profunctors are Categories, which means some Profunctors don't compose, i would assume
2020-10-09 07:17:57 <dminuoso> Hi, out of curiosities, are not all profunctors composable via coends in bicategories?
2020-10-09 07:18:10 → jedws joins (~jedws@121.209.161.98)
2020-10-09 07:18:56 → vilpan joins (~0@mail.elitnet.lt)
2020-10-09 07:19:42 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-09 07:20:00 × HaskellYogi quits (~vivekrama@49.207.212.129) (Ping timeout: 256 seconds)
2020-10-09 07:23:06 → random joins (~random@185.219.70.106)
2020-10-09 07:23:25 <random> hey guys, does anyone know if you can generate a "create table" command with persistent
2020-10-09 07:23:29 × berberman quits (~berberman@2408:8207:2563:44a0::a44) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-09 07:23:34 <random> I know it's doable because the automatic migrations do it but I can't seem to find a way
2020-10-09 07:24:08 → berberman joins (~berberman@2408:8207:2563:44a0::a44)
2020-10-09 07:27:30 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-09 07:27:40 → kaimi1 joins (~kaimi@185.244.214.216)
2020-10-09 07:28:10 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-09 07:31:16 → psygate joins (~psygate@unaffiliated/psygate)
2020-10-09 07:31:17 → fendor joins (~fendor@77.119.131.69.wireless.dyn.drei.com)
2020-10-09 07:31:43 × psygate quits (~psygate@unaffiliated/psygate) (Client Quit)
2020-10-09 07:32:16 → Franciman joins (~francesco@host-95-247-31-62.retail.telecomitalia.it)
2020-10-09 07:34:53 → borne joins (~fritjof@200116b864025d00739dc2dd650b1f65.dip.versatel-1u1.de)
2020-10-09 07:36:38 × jjhoo quits (jahakala@dsl-trebng21-58c19c-166.dhcp.inet.fi) (Ping timeout: 246 seconds)
2020-10-09 07:38:31 → John20 joins (~John@82.46.59.122)
2020-10-09 07:40:27 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-09 07:41:07 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-09 07:41:21 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-09 07:41:21 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-09 07:41:21 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-09 07:41:25 → chaosmasttter joins (~chaosmast@p200300c4a70b4001c004325a2a510724.dip0.t-ipconnect.de)
2020-10-09 07:42:04 × danso quits (~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-09 07:43:01 × sagax quits (~sagax_nb@213.138.71.146) (Read error: Connection reset by peer)
2020-10-09 07:43:48 × toorevitimirp quits (~tooreviti@117.182.180.245) (Ping timeout: 256 seconds)
2020-10-09 07:44:05 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-09 07:44:11 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-10-09 07:44:23 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-10-09 07:44:32 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-09 07:47:53 × remexre quits (~remexre@x-160-94-179-160.acm.umn.edu) (Quit: WeeChat 2.8)
2020-10-09 07:48:02 → remexre_ joins (~nathan@207-153-38-50.fttp.usinternet.com)
2020-10-09 07:48:07 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-09 07:50:06 → todda7 joins (~torstein@2a02:587:d2d:4f00:1158:6d78:eb7d:9777)
2020-10-09 07:50:49 → chele_ joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-09 07:51:24 × xQc quits (b644f401@182.68.244.1) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 527 528 529 530 531 532 533 534 535 536 537 .. 5022

All times are in UTC.