Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 77 78 79 80 81 82 83 84 85 86 87 .. 17901
— 1,790,055 events total
2021-05-25 17:15:37 → boxscape joins (~boxscape@user/boxscape)
2021-05-25 17:16:41 → nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 17:16:45 × ddellacosta quits (~ddellacos@89.46.62.38) (Ping timeout: 272 seconds)
2021-05-25 17:18:17 → ddellacosta joins (~ddellacos@89.46.62.125)
2021-05-25 17:18:18 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-05-25 17:18:57 <[exa]> klemzi32: ok I finally found the link with the actual error. the first thing in Two needs to be a Monoid for <*> to work
2021-05-25 17:19:06 <[exa]> in your case, `4` is not a monoid
2021-05-25 17:19:13 <klemzi32> thanks! now i have figured it out. it works with for example Two "ab" (+5) <*> Two "cd" 10. it didn't work with Two 5 (+5) <*> Two 4 10 because 4<>5 does not work, it's not a monoid
2021-05-25 17:19:17 <[exa]> (but e.g. `Sum 4` is)
2021-05-25 17:19:25 <monochrom> Yes that's a better example.
2021-05-25 17:22:09 <klemzi32> thanks for the help! now it clicked
2021-05-25 17:22:15 → cheater1__ joins (~Username@user/cheater)
2021-05-25 17:22:15 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
2021-05-25 17:22:17 cheater1__ is now known as cheater
2021-05-25 17:23:28 × brandonh quits (~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) (Quit: brandonh)
2021-05-25 17:27:46 → coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 17:28:27 × nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Read error: Connection reset by peer)
2021-05-25 17:28:48 → nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 17:30:40 → agumonkey joins (~user@88.160.31.174)
2021-05-25 17:31:03 → eal joins (~eal@customer-46-39-107-10.stosn.net)
2021-05-25 17:34:03 × agumonkey quits (~user@88.160.31.174) (Remote host closed the connection)
2021-05-25 17:34:17 × argento quits (~argent0@168.227.96.51) (Ping timeout: 252 seconds)
2021-05-25 17:35:45 × nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds)
2021-05-25 17:36:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-25 17:37:36 × pounce quits (~pounce@user/pounce) (Changing host)
2021-05-25 17:37:36 → pounce joins (~pounce@facebook/engineering/pounce)
2021-05-25 17:39:37 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 17:39:51 → nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-25 17:47:48 × coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 17:48:29 × TimWolla quits (~timwolla@chrono.xqk7.com) (Quit: Bye)
2021-05-25 17:48:32 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-25 17:48:45 → coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 17:52:13 → TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667)
2021-05-25 17:54:48 → um joins (ak84ku0ger@user/um)
2021-05-25 17:55:11 ← um parts (ak84ku0ger@user/um) ()
2021-05-25 17:55:14 × xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2021-05-25 17:55:38 × Techcable quits (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-05-25 17:56:21 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-25 17:56:51 → Techcable joins (~Techcable@168.235.93.147)
2021-05-25 17:57:07 → allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com)
2021-05-25 17:59:11 × geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds)
2021-05-25 17:59:33 allbery_b is now known as geekosaur
2021-05-25 18:03:26 × pretty_dumm_guy quits (~trottel@185.244.212.222) (Ping timeout: 252 seconds)
2021-05-25 18:05:36 × coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-25 18:07:22 × xwx quits (~george@user/george) (Ping timeout: 264 seconds)
2021-05-25 18:07:28 → samhh joins (~samhh@90.252.103.244)
2021-05-25 18:07:36 × alx741 quits (~alx741@186.178.108.78) (Quit: alx741)
2021-05-25 18:07:50 × sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 252 seconds)
2021-05-25 18:11:16 <dsal> > 4 <> 5 :: Sum Int
2021-05-25 18:11:17 <lambdabot> Sum {getSum = 9}
2021-05-25 18:11:55 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5) (Remote host closed the connection)
2021-05-25 18:13:33 → xwx joins (~george@user/george)
2021-05-25 18:14:35 <boxscape> > 4 * 5 :: Sum Int
2021-05-25 18:14:36 <lambdabot> Sum {getSum = 20}
2021-05-25 18:14:43 <boxscape> didn't actually realize it had a Num instance
2021-05-25 18:16:21 <dsal> > fold [1, 2, 3, 4, 5] :: Sum Int
2021-05-25 18:16:22 <lambdabot> Sum {getSum = 15}
2021-05-25 18:16:23 <dsal> > fold [1, 2, 3, 4, 5] :: Product Int
2021-05-25 18:16:25 <lambdabot> Product {getProduct = 120}
2021-05-25 18:16:28 <dsal> It's kind of helpful sometimes.
2021-05-25 18:16:29 → ikex joins (~ash@user/ikex)
2021-05-25 18:17:16 × ryantrinkle quits (~ryan@24.229.199.25.res-cmts.sm.ptd.net) (Ping timeout: 265 seconds)
2021-05-25 18:17:56 → ryantrinkle joins (~ryan@24.229.199.25.res-cmts.sm.ptd.net)
2021-05-25 18:21:00 <boxscape> no Enum instance though :(
2021-05-25 18:21:08 <boxscape> > getProduct $ fold [1..5]
2021-05-25 18:21:09 <lambdabot> error:
2021-05-25 18:21:09 <lambdabot> • No instance for (Enum (Product Integer))
2021-05-25 18:21:09 <lambdabot> arising from a use of ‘e_115’
2021-05-25 18:21:34 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c032:b754:d42c:78b5)
2021-05-25 18:22:22 <boxscape> at least you can do
2021-05-25 18:22:23 <boxscape> > ala Product foldMap [1..5]
2021-05-25 18:22:24 <lambdabot> 120
2021-05-25 18:24:11 <tomsmeding> :t ala
2021-05-25 18:24:12 <lambdabot> (Functor f, Rewrapped s t, Rewrapped t s) => (Unwrapped s -> s) -> ((Unwrapped t -> t) -> f s) -> f (Unwrapped s)
2021-05-25 18:24:15 × samhh quits (~samhh@90.252.103.244) (Ping timeout: 264 seconds)
2021-05-25 18:25:47 × ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds)
2021-05-25 18:26:04 × Franciman quits (~francesco@host-80-180-196-134.pool80180.interbusiness.it) (Quit: Leaving)
2021-05-25 18:28:17 → ru0mad joins (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8)
2021-05-25 18:28:28 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-05-25 18:29:00 → argento joins (~argent0@168.227.96.51)
2021-05-25 18:29:04 <trueboxguy> Haha
2021-05-25 18:29:47 ru0mad is now known as ruomad
2021-05-25 18:31:34 <tomsmeding> that type is so deceiving
2021-05-25 18:32:21 <tomsmeding> 1. 'class Wrapped s => Rewrapped s r' has no methods
2021-05-25 18:33:04 <tomsmeding> and 'Wrapped s' is just an isomorphism between s and Unwrapped s, where Unwrapped (Product s) = s
2021-05-25 18:33:27 → alx741 joins (~alx741@186.178.108.78)
2021-05-25 18:33:32 <tomsmeding> 2. the (Unwrapped s -> s) argument is ignored; instead it uses the isomorphism from the instance
2021-05-25 18:34:17 → jiribenes_ joins (~jiribenes@rosa.jiribenes.com)
2021-05-25 18:34:33 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (Ping timeout: 272 seconds)
2021-05-25 18:36:36 → fart joins (~fart@user/actor)
2021-05-25 18:38:10 → sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no)
2021-05-25 18:38:42 × ruomad quits (~ruomad@2a01:e0a:98f:8270:7460:8d33:efee:e1c8) (Ping timeout: 264 seconds)
2021-05-25 18:40:21 × nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Ping timeout: 272 seconds)
2021-05-25 18:40:31 → atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net)
2021-05-25 18:42:47 → coot joins (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl)
2021-05-25 18:43:18 <edwardk> tomsmeding: we use (#.) and (.#) all over lens too for much the same reason
2021-05-25 18:43:22 × slice quits (~slice@user/slice) (Ping timeout: 264 seconds)
2021-05-25 18:43:45 <edwardk> except there we get to exploit its just a coercion
2021-05-25 18:43:45 → WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-25 18:45:10 × atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 77 78 79 80 81 82 83 84 85 86 87 .. 17901

All times are in UTC.