Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 175 176 177 178 179 180 181 182 183 184 185 .. 5022
— 502,152 events total
2020-09-24 04:12:28 <glguy> I think my next lens package would be: yall (yet another lens library)
2020-09-24 04:12:52 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-09-24 04:12:53 day_ is now known as day
2020-09-24 04:12:56 <koz_> lens-2-electric-boogaloo
2020-09-24 04:12:56 <glguy> but that one is taken; it's also a lens library
2020-09-24 04:13:01 <MarcelineVQ> and it's support pakcage y'all yet' another lens library
2020-09-24 04:13:06 × martin____ quits (uid411878@gateway/web/irccloud.com/x-cggakmbaikigvgzv) (Quit: Connection closed for inactivity)
2020-09-24 04:13:06 × martin___ quits (uid411878@gateway/web/irccloud.com/x-erkznfebkxmjtljg) (Quit: Connection closed for inactivity)
2020-09-24 04:13:18 <glguy> davean: One of those first 4 didn't exist (on Hackage) yet
2020-09-24 04:13:43 → z0_ joins (~z0@bl17-248-65.dsl.telepac.pt)
2020-09-24 04:13:46 × buckworst quits (~nate@125.161.70.37) (Client Quit)
2020-09-24 04:14:05 <edwardk> i really want to break lens internally into multiple public sublibraries using cabal 3.4, but i can't yet.
2020-09-24 04:14:27 <davean> I can't wait either
2020-09-24 04:14:28 <edwardk> but once i can? then you'd be able to depend on smaller pieces of it if you know what you're doing
2020-09-24 04:14:35 <davean> I've got a lot of code moving to do once that works well
2020-09-24 04:14:47 <edwardk> of course, i think there is still a stack issue on multiple component support
2020-09-24 04:14:53 <dmwit> How does back-compat work for that? What does cabal-3.3 do if you ask it to install a 3.4 package?
2020-09-24 04:14:58 <davean> Its one of the most exciting features in a while.
2020-09-24 04:15:01 <edwardk> it won't
2020-09-24 04:15:04 <davean> dmwit: who cares?
2020-09-24 04:15:16 <davean> dmwit: theres not any reason to care at all about old cabals.
2020-09-24 04:15:18 <dmwit> "It won't" seems like a pretty sane answer.
2020-09-24 04:15:42 <davean> No one should be held back on cabal.
2020-09-24 04:15:52 <edwardk> in theory i might be able to make the whole shebang work with cabal 3.0 and you only get to access the sub-components with 3.4
2020-09-24 04:15:56 <edwardk> but i'm not holding my breath
2020-09-24 04:16:02 <edwardk> and that is a LOT of compatibility testing
2020-09-24 04:16:23 <glguy> That's good, because most people can't hold their breath quite as long as that is likely to take
2020-09-24 04:16:42 <edwardk> i'd code like my life depended on it, for sure
2020-09-24 04:16:53 <edwardk> but that might be beyond me
2020-09-24 04:17:02 <glguy> Maybe a new Twitch series?
2020-09-24 04:17:11 <glguy> How much can edward program on a single breath
2020-09-24 04:17:11 <edwardk> i should start twitching again
2020-09-24 04:17:22 × z0 quits (~z0@bl15-163-199.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-09-24 04:17:38 <dolio> I don't know. That sounds bad.
2020-09-24 04:17:40 × gienah quits (~mwright@gentoo/developer/gienah) (Quit: Lost terminal)
2020-09-24 04:17:41 dibblego twitches
2020-09-24 04:17:41 <glguy> It would be a shorter series than your usual stuff, but possible a good format ;)
2020-09-24 04:19:36 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-24 04:22:37 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-09-24 04:22:39 <fresheyeball> map :: (forall a. f a -> g a) -> h f b -> h g b
2020-09-24 04:22:43 <fresheyeball> what would you call this?
2020-09-24 04:22:43 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-24 04:23:11 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-24 04:23:19 <dolio> Is that what people call 'hoist'?
2020-09-24 04:24:10 <fresheyeball> oh nice, yes
2020-09-24 04:24:13 × alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 272 seconds)
2020-09-24 04:24:22 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-09-24 04:26:09 <fresheyeball> dolio: do you think it's worth depending on mmorph for it?
2020-09-24 04:26:18 <dolio> Not really.
2020-09-24 04:27:48 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-24 04:27:49 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-09-24 04:30:01 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-09-24 04:31:01 → sagax joins (~sagax_nb@213.138.71.146)
2020-09-24 04:31:48 → shad0w_ joins (~shad0w_@160.202.37.157)
2020-09-24 04:34:50 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-24 04:38:33 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-24 04:38:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-24 04:39:09 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-24 04:42:22 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-24 04:42:32 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-09-24 04:43:28 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-09-24 04:48:45 × drbean quits (~drbean@TC210-63-209-144.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-09-24 04:49:33 → kori joins (~kori@arrowheads/kori)
2020-09-24 04:49:41 → jedws joins (~jedws@2001:8003:337f:1b00:3979:4558:7f46:aa85)
2020-09-24 04:50:08 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-24 04:52:35 × solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-09-24 04:52:50 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-24 04:53:24 → y joins (~tooreviti@117.182.182.201)
2020-09-24 04:53:49 y is now known as Guest94226
2020-09-24 04:54:19 × toorevitimirp quits (~tooreviti@117.182.182.201) (Ping timeout: 265 seconds)
2020-09-24 04:55:55 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-24 05:00:16 × alexm_ quits (~AlexM87@161.8.233.138) (Read error: Connection reset by peer)
2020-09-24 05:00:35 → alexm_ joins (~AlexM87@161.8.233.138)
2020-09-24 05:01:08 × polyrain quits (~polyrain@130.102.13.66) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-24 05:01:56 × kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-09-24 05:03:47 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-24 05:07:22 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 265 seconds)
2020-09-24 05:07:25 × asan quits (~yan4138@58.37.8.8) (Ping timeout: 240 seconds)
2020-09-24 05:08:47 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-24 05:09:02 → polyrain joins (~polyrain@130.102.13.66)
2020-09-24 05:09:26 → asan joins (~yan4138@58.37.8.8)
2020-09-24 05:09:34 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-24 05:10:45 × alexm_ quits (~AlexM87@161.8.233.138) (Remote host closed the connection)
2020-09-24 05:13:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-24 05:14:27 × sudden quits (~lax@unaffiliated/laxask) (Ping timeout: 260 seconds)
2020-09-24 05:15:44 × pera quits (~pera@unaffiliated/pera) (Quit: leaving)
2020-09-24 05:15:53 → mpereira joins (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e)
2020-09-24 05:18:14 → _vaibhavingale_ joins (~Adium@110.172.22.172)
2020-09-24 05:20:29 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-24 05:20:30 × jedws quits (~jedws@2001:8003:337f:1b00:3979:4558:7f46:aa85) (Read error: Connection reset by peer)
2020-09-24 05:20:35 × mpereira quits (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e) (Ping timeout: 272 seconds)
2020-09-24 05:21:03 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-09-24 05:22:40 <Axman6> @hoogle hoist
2020-09-24 05:22:40 <lambdabot> Pipes hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b
2020-09-24 05:22:40 <lambdabot> Control.Monad.Morph hoist :: (MFunctor t, Monad m) => (forall a . m a -> n a) -> t m b -> t n b
2020-09-24 05:22:41 <lambdabot> Streaming hoist :: (MFunctor t, Monad m) => (forall a . () => m a -> n a) -> t m b -> t n b
2020-09-24 05:23:22 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 05:23:37 → kori joins (~kori@arrowheads/kori)
2020-09-24 05:25:55 → elliott_ joins (~elliott_@pool-108-51-85-122.washdc.fios.verizon.net)
2020-09-24 05:26:40 × elliott_ quits (~elliott_@pool-108-51-85-122.washdc.fios.verizon.net) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 175 176 177 178 179 180 181 182 183 184 185 .. 5022

All times are in UTC.