Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 991 992 993 994 995 996 997 998 999 1000 1001 .. 18030
— 1,802,942 events total
2021-07-17 23:03:45 × fendor quits (~fendor@77.119.192.173.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-17 23:04:44 <geekosaur> danso, what should such a typeclass do if it would fail?
2021-07-17 23:04:44 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-17 23:04:55 <hpc> maybe you want Foldable? https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Foldable
2021-07-17 23:05:10 <danso> oh you're right geekosaur
2021-07-17 23:05:18 <danso> i made a mistake; i want f a -> a -> a
2021-07-17 23:05:36 <hpc> % sum (Just 5)
2021-07-17 23:05:36 <yahb> hpc: 5
2021-07-17 23:05:40 <hpc> % sum Nothing
2021-07-17 23:05:41 <yahb> hpc: 0
2021-07-17 23:05:52 <hpc> % :t sum
2021-07-17 23:05:52 <yahb> hpc: (Foldable t, Num a) => t a -> a
2021-07-17 23:06:27 <danso> something like foldr (const id) is close maybe
2021-07-17 23:06:34 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-17 23:07:03 <hpc> :t foldMap
2021-07-17 23:07:04 <lambdabot> (Foldable t, Monoid m) => (a -> m) -> t a -> m
2021-07-17 23:07:11 × jushur quits (~human@user/jushur) (Quit: ¯\_(ツ)_/¯)
2021-07-17 23:07:54 <danso> wow, TIL Maybe is Foldable
2021-07-17 23:09:37 <hpc> speaking of, TIL Complex is Foldable
2021-07-17 23:09:59 <hpc> % sum (5 :+ 10)
2021-07-17 23:09:59 <yahb> hpc: 15
2021-07-17 23:10:15 <hpc> and it... just combines the numbers
2021-07-17 23:10:19 <hpc> i don't know what i was expecting
2021-07-17 23:14:30 <geekosaur> o.O
2021-07-17 23:16:59 × _xor quits (~xor@74.215.232.67) (Quit: brb)
2021-07-17 23:18:50 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-17 23:21:57 <xsperry> that's.. interesting
2021-07-17 23:22:18 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
2021-07-17 23:22:32 × acidjnk quits (~acidjnk@p200300d0c72b9505d437a5269bf657ec.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-17 23:22:59 → silverwhitefish joins (~hidden@47.202.102.10)
2021-07-17 23:23:49 × aallen quits (~aallen@072-182-074-253.res.spectrum.com) (Ping timeout: 246 seconds)
2021-07-17 23:27:26 → alphabeta joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-17 23:29:41 → Guest18 joins (~Guest18@2603-8080-6d0d-35bb-0000-0000-0000-0004.res6.spectrum.com)
2021-07-17 23:30:33 × kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 276 seconds)
2021-07-17 23:32:24 × mcfrdy quits (~mcfrdy@user/mcfrdy) (Ping timeout: 268 seconds)
2021-07-17 23:34:25 → spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b)
2021-07-17 23:35:07 <monochrom> That's the natural answer to someone who expects length (x,y) = 2. Use length (x :+ y) instead. >:)
2021-07-17 23:36:48 <geekosaur> > length (1,2) -- "natural"
2021-07-17 23:36:49 <lambdabot> 1
2021-07-17 23:37:05 → mcfrdy joins (~mcfrdy@45.67.96.175)
2021-07-17 23:37:05 × mcfrdy quits (~mcfrdy@45.67.96.175) (Changing host)
2021-07-17 23:37:05 → mcfrdy joins (~mcfrdy@user/mcfrdy)
2021-07-17 23:37:13 geekosaur originally typoed "notural"
2021-07-17 23:37:28 × Ariakenom__ quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer)
2021-07-17 23:39:11 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-17 23:39:13 × euandreh quits (~euandreh@2804:14c:33:9fe5:9d95:c71:11e4:3e0f) (Quit: WeeChat 3.2)
2021-07-17 23:39:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-17 23:39:17 <monochrom> And haha someone was ahead of me, Complex is a Monad too.
2021-07-17 23:39:19 × ph88 quits (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-07-17 23:39:27 × spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 255 seconds)
2021-07-17 23:39:42 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c)
2021-07-17 23:39:43 → dajoer joins (~david@user/gvx)
2021-07-17 23:40:38 → favonia joins (~favonia@user/favonia)
2021-07-17 23:44:07 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-17 23:44:42 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-07-17 23:46:58 × DNH quits (~DNH@2a02:8108:1100:16d8:6178:3a47:8c71:dd89) (Quit: Textual IRC Client: www.textualapp.com)
2021-07-17 23:51:39 → spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b)
2021-07-17 23:54:45 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 255 seconds)
2021-07-17 23:56:13 <boxscape> % :i Complex
2021-07-17 23:56:13 <yahb> boxscape: type Complex :: * -> *; data Complex a = !a :+ !a; -- Defined in `Data.Complex'; instance Applicative Complex -- Defined in `Data.Complex'; instance Eq a => Eq (Complex a) -- Defined in `Data.Complex'; instance Functor Complex -- Defined in `Data.Complex'; instance Monad Complex -- Defined in `Data.Complex'; instance RealFloat a => Floating (Complex a) -- Defined in `Data.Complex'; instance RealFloat a
2021-07-17 23:56:22 × spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 246 seconds)
2021-07-17 23:56:51 <boxscape> so Complex is really just `Pair`, with all the behavior you would expect (and then some, for the number stuff)
2021-07-17 23:56:55 → Null_A joins (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229)
2021-07-17 23:57:31 <geekosaur> so if you ever need that value with a type that's both Num and Monad…
2021-07-17 23:58:19 <boxscape> % (1 :+ 2) >>= (\x -> x :+ x)
2021-07-17 23:58:19 <yahb> boxscape: 1 :+ 2
2021-07-17 23:59:22 <monochrom> :)
2021-07-18 00:07:33 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-18 00:09:40 → spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b)
2021-07-18 00:11:43 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-18 00:14:06 × spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 255 seconds)
2021-07-18 00:16:05 × derelict quits (~derelict@user/derelict) (Ping timeout: 255 seconds)
2021-07-18 00:20:07 → mrus joins (~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-07-18 00:20:15 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-18 00:20:58 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2)
2021-07-18 00:23:40 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-18 00:31:48 → derelict joins (~derelict@user/derelict)
2021-07-18 00:32:12 × Null_A quits (~null_a@2601:645:8700:2290:b55a:33c2:1e1d:f229) (Remote host closed the connection)
2021-07-18 00:35:43 → img joins (~img@user/img)
2021-07-18 00:38:30 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-18 00:44:42 → spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b)
2021-07-18 00:45:18 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-18 00:45:20 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds)
2021-07-18 00:45:47 → kilolympus joins (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net)
2021-07-18 00:45:49 → enemeth79 joins (uid309041@id-309041.tooting.irccloud.com)
2021-07-18 00:48:52 × alphabeta quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Ping timeout: 268 seconds)
2021-07-18 00:49:13 × spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 246 seconds)
2021-07-18 01:00:27 → _xor joins (~xor@74.215.232.67)
2021-07-18 01:00:41 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-18 01:00:43 × _xor quits (~xor@74.215.232.67) (Client Quit)
2021-07-18 01:01:14 → _xor joins (~xor@74.215.232.67)
2021-07-18 01:01:53 → spruit11 joins (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b)
2021-07-18 01:03:01 × derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-07-18 01:06:08 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds)
2021-07-18 01:06:13 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-18 01:07:36 × mcglk quits (~mcglk@131.191.49.120) (Quit: (seeya))
2021-07-18 01:08:07 → mcglk joins (~mcglk@131.191.49.120)
2021-07-18 01:08:36 × _xor quits (~xor@74.215.232.67) (Quit: WeeChat 3.2)
2021-07-18 01:10:05 × spruit11 quits (~quassel@2a02:a467:ccd6:1:b030:6032:2190:671b) (Ping timeout: 255 seconds)
2021-07-18 01:10:06 → lavaman joins (~lavaman@98.38.249.169)
←Prev  Next→
Page 1 .. 991 992 993 994 995 996 997 998 999 1000 1001 .. 18030

All times are in UTC.