Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 .. 5022
— 502,152 events total
2021-03-17 22:51:59 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 244 seconds)
2021-03-17 22:52:53 hackage persistent 2.10.5.4 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.10.5.4 (parsonsmatt)
2021-03-17 22:54:14 → acidjnk_new joins (~acidjnk@p200300d0c72b959625b3d356e6f65619.dip0.t-ipconnect.de)
2021-03-17 22:54:23 hackage persistent 2.11.0.3 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.11.0.3 (parsonsmatt)
2021-03-17 22:54:23 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 22:55:01 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 22:55:19 → Alleria joins (~textual@2603-7000-3040-0000-99be-88ec-b8de-8f7c.res6.spectrum.com)
2021-03-17 22:55:39 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 246 seconds)
2021-03-17 22:55:42 Alleria is now known as Guest14375
2021-03-17 22:56:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 22:59:31 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 23:00:21 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-17 23:00:26 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-17 23:00:51 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-17 23:00:57 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-17 23:01:06 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-17 23:02:25 → notzmv joins (~zmv@unaffiliated/zmv)
2021-03-17 23:04:17 × jumper149 quits (~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 3.1)
2021-03-17 23:05:06 × ADG1089__ quits (~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 23:05:23 × michalz quits (~user@185.246.204.39) (Remote host closed the connection)
2021-03-17 23:07:46 → Yushida joins (~is_saeed@79.127.84.243)
2021-03-17 23:08:02 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-17 23:08:02 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 23:08:37 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 23:09:57 → ADG1089__ joins (~aditya@106.214.253.186)
2021-03-17 23:10:54 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2021-03-17 23:10:56 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-17 23:11:42 × Yushida quits (~is_saeed@79.127.84.243) (K-Lined)
2021-03-17 23:12:13 → elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 23:12:33 × xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 264 seconds)
2021-03-17 23:16:20 → hvr_ joins (~hvr@haskell/developer/hvr)
2021-03-17 23:16:26 × Synthetica quits (uid199651@gateway/web/irccloud.com/x-ofdesgwrwkzassad) (Quit: Connection closed for inactivity)
2021-03-17 23:17:21 × hvr quits (~hvr@haskell/developer/hvr) (Ping timeout: 264 seconds)
2021-03-17 23:18:01 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-17 23:19:08 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 23:20:07 → xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-03-17 23:21:09 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-17 23:21:55 → Tario joins (~Tario@201.192.165.173)
2021-03-17 23:21:55 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 23:22:13 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 23:23:00 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 23:23:18 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 23:25:45 × dunj3 quits (~dunj3@2001:16b8:3085:a900:c9d7:3fe2:e55d:427a) (Quit: Leaving)
2021-03-17 23:26:22 → Sornaensis joins (~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-17 23:26:32 → frozenErebus joins (~frozenEre@94.128.234.223)
2021-03-17 23:28:55 → ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net)
2021-03-17 23:29:25 × cosimone quits (~user@2001:b07:ae5:db26:e434:bd94:98f9:541d) (Quit: ERC (IRC client for Emacs 28.0.50))
2021-03-17 23:30:18 × Sorny quits (~Sornaensi@85.203.36.112) (Ping timeout: 246 seconds)
2021-03-17 23:30:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-17 23:39:22 × ADG1089__ quits (~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 23:39:40 → pavonia joins (~user@unaffiliated/siracusa)
2021-03-17 23:40:04 × howdoi quits (uid224@gateway/web/irccloud.com/x-dtnuksdjtbsicedj) (Quit: Connection closed for inactivity)
2021-03-17 23:40:09 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-17 23:43:38 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-17 23:47:11 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-17 23:48:18 × frozenErebus quits (~frozenEre@94.128.234.223) (Ping timeout: 260 seconds)
2021-03-17 23:48:20 → bobweb joins (6bb893db@cpe-107-184-147-219.socal.res.rr.com)
2021-03-17 23:49:05 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-17 23:49:15 → frozenErebus joins (~frozenEre@94.128.230.170)
2021-03-17 23:52:21 → Tario joins (~Tario@201.192.165.173)
2021-03-17 23:52:44 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-17 23:53:18 → andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2021-03-17 23:56:55 → hvr joins (~hvr@haskell/developer/hvr)
2021-03-17 23:57:19 × hvr_ quits (~hvr@haskell/developer/hvr) (Read error: Connection reset by peer)
2021-03-17 23:57:33 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds)
2021-03-17 23:58:58 <bobweb> Hi. I have this problem: https://paste.tomsmeding.com/33W7QoKP Please help me solve why monoidRightIdentity (Identity "boo) appears to go into an infinite loop. Thank you.
2021-03-17 23:59:12 <bobweb> "boo"
2021-03-17 23:59:59 <monochrom> Ohai bobweb, I was wrong last time. If you do "instance Semigroup (Or a b)", the exercise can be solved, the book was right.
2021-03-18 00:00:37 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2021-03-18 00:00:56 <nshepperd> uh, mempty = mempty?
2021-03-18 00:01:14 <monochrom> You don't need the assumptions (Semigroup a, Semigroup b) because <> for Or is supposed blindly always prefer the earliest Snd and then the latest Fst.
2021-03-18 00:01:19 <Axman6> This is definitely correct
2021-03-18 00:01:37 <nshepperd> this recursion seems unlikely to terminate
2021-03-18 00:01:45 × frozenErebus quits (~frozenEre@94.128.230.170) (Ping timeout: 264 seconds)
2021-03-18 00:01:54 <monochrom> And for this one, you need "mempty = Identity (mempty)".
2021-03-18 00:02:03 → Nik05 joins (~Nik05@unaffiliated/nik05)
2021-03-18 00:02:05 <Axman6> (<>) mempty (Identity x) = Identity x id definitely wrong
2021-03-18 00:02:07 <bobweb> monochrom: OK, so i'll drop the constraints and try again.
2021-03-18 00:02:10 <monochrom> Similarly for mappend. Exercise for the reader.
2021-03-18 00:02:25 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-18 00:02:54 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-18 00:03:03 <bobweb> monochrom: OK, I was confused about how to define mempty for Monoid (Identity a).
2021-03-18 00:03:13 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2021-03-18 00:03:40 <bobweb> mempty = Identity (mempty) is what I want?
2021-03-18 00:03:45 <Axman6> since Identity only has one constructor, I can guarantee you that you will need mempty = Identity ???
2021-03-18 00:04:34 <Axman6> but to use mempty = Identity mempty, you need more than a Semigroup constraint, because mempty doesn't come from Semigroup
2021-03-18 00:05:35 <monochrom> You're trying to make "mempty :: Identity a".
2021-03-18 00:05:36 <Axman6> bobweb: for your semigroup instance, (<>) mempty (Identity x) = Identity x is _exactly_ the same as writing (<>) literallyAnything (Identity x) = Identity x
2021-03-18 00:05:41 <bobweb> Yeah, I'm pushing the limits of my mental gymnastic ability. LOL. I can't see the identity for (Identity a)!
2021-03-18 00:05:51 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-18 00:06:13 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-18 00:07:29 <Axman6> bobweb: so, big hint time, to define (<>) for Identity, you only need one equation, not three
2021-03-18 00:08:42 <bobweb> Uh, (Identity x) <> (Identity x) == Identity x ?
2021-03-18 00:08:44 <monochrom> You understand that "(<>) mempty (Identity x) = Identity x" just means "(<>) foo (Identity x) = Identity x", right? RIGHT?
2021-03-18 00:08:57 <Axman6> bobweb: that type checks, but it's not very useful
2021-03-18 00:09:30 <Axman6> we want to make use of the fact that a is also a Semigroup
2021-03-18 00:09:31 <monochrom> You need to review "variable shadowing"
2021-03-18 00:09:44 <monochrom> Actually...
2021-03-18 00:10:01 <monochrom> > let {f (Just x) (Just x) = x} in ()
2021-03-18 00:10:03 <lambdabot> error:
←Prev  Next→
Page 1 .. 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 .. 5022

All times are in UTC.