Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 187 188 189 190 191 192 193 194 195 196 197 .. 5022
502,152 events total
2020-09-24 18:07:55 Zeb60 joins (3ed8d095@aftr-62-216-208-149.dynamic.mnet-online.de)
2020-09-24 18:08:19 markh parts (~markholme@cpe-76-90-112-105.socal.res.rr.com) ("ok bye")
2020-09-24 18:08:19 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:08:49 mu joins (~mu@unaffiliated/mu)
2020-09-24 18:10:53 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 260 seconds)
2020-09-24 18:10:56 × zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-24 18:11:11 × dyeplexer quits (~lol@unaffiliated/terpin) (Read error: Connection reset by peer)
2020-09-24 18:12:21 p0a joins (~user@unaffiliated/p0a)
2020-09-24 18:12:29 <p0a> Hello what is wrong with "fmap (-3) (Just 2)" ?
2020-09-24 18:12:35 <p0a> I was expecting Just -1
2020-09-24 18:13:11 <geekosaur> haskell oddity with negative numbers
2020-09-24 18:13:29 vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-09-24 18:13:48 <p0a> Oh whoops, thank you I just realized it
2020-09-24 18:14:08 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-09-24 18:14:15 <geekosaur> the Prelude offers "subtract" as a workaround: fmap (subtract 3) (Just 2)
2020-09-24 18:14:32 <p0a> What is the other way to write fmap?
2020-09-24 18:14:53 <p0a> I wanted to negate, so I'll just negate :)
2020-09-24 18:15:20 <p0a> but in fact negate is not defined so I'll use (-1)* for matrices
2020-09-24 18:18:45 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:18:57 mu__ joins (~mu@unaffiliated/mu)
2020-09-24 18:20:36 m4v1 joins (~m4v@185.204.1.185)
2020-09-24 18:23:48 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-09-24 18:24:06 <monochrom> I think "fmap ((-1) *)" does it?
2020-09-24 18:24:57 barzo joins (~barzo@95.70.181.226)
2020-09-24 18:25:02 <monochrom> "the other way to write fmap" maybe you have infix <$> in mind?
2020-09-24 18:25:08 <nshepperd> why isn't negate defined for you matrices
2020-09-24 18:25:35 <merijn> Presumably they're not Num instances?
2020-09-24 18:25:48 <p0a> nshepperd: I'm using hmatrix and it doesn't have it
2020-09-24 18:26:05 <p0a> but I can use ((-1)*) yeah. Thanks, <$> was what I had in mind
2020-09-24 18:27:15 <nshepperd> you sure? the source code on hackage seems to have negate = liftMatrix negate which is pretty much what you'd expect
2020-09-24 18:27:21 snakemasterflex joins (~snakemast@213.100.206.23)
2020-09-24 18:28:01 adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 18:28:18 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:28:56 mu joins (~mu@unaffiliated/mu)
2020-09-24 18:29:27 <p0a> You may be right nshepperd I can't locate it myself, under which name?
2020-09-24 18:31:59 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-24 18:32:04 aarvar joins (~foewfoiew@50.35.43.33)
2020-09-24 18:32:16 <nshepperd> http://hackage.haskell.org/package/hmatrix-0.20.0.0/docs/src/Numeric.Matrix.html#line-48
2020-09-24 18:32:16 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 246 seconds)
2020-09-24 18:33:46 <p0a> I can't get it to work
2020-09-24 18:34:55 <p0a> When I try `negate (2><2)[1,2,3,4]' I get the error No instance for (Num ([Double] -> Matrix Double)) arising from use of 'it'
2020-09-24 18:36:14 <nshepperd> that's because it's parsing it like '(negate (2><2)) [1,2,3,4]'
2020-09-24 18:36:58 <p0a> oooh thank you
2020-09-24 18:37:06 × shad0w_ quits (~shad0w_@160.202.37.157) (Remote host closed the connection)
2020-09-24 18:37:29 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 18:38:04 adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 18:38:29 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:38:49 mu joins (~mu@unaffiliated/mu)
2020-09-24 18:39:15 josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-24 18:40:29 × crobbins quits (~crobbins@2601:2c1:380:ec40:bd12:f09f:f90e:c1af) (Remote host closed the connection)
2020-09-24 18:41:06 crobbins joins (~crobbins@2601:2c1:380:ec40:bd77:93c1:98ad:4de2)
2020-09-24 18:41:36 Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 18:42:01 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 18:42:09 × geekosaur quits (42d52102@66.213.33.2) (Ping timeout: 245 seconds)
2020-09-24 18:43:08 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 272 seconds)
2020-09-24 18:43:25 machinedgod joins (~machinedg@d67-193-126-196.home3.cgocable.net)
2020-09-24 18:44:12 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-24 18:45:37 × crobbins quits (~crobbins@2601:2c1:380:ec40:bd77:93c1:98ad:4de2) (Ping timeout: 260 seconds)
2020-09-24 18:46:40 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 256 seconds)
2020-09-24 18:47:07 bahamas joins (~lucian@188.24.181.166)
2020-09-24 18:47:07 × bahamas quits (~lucian@188.24.181.166) (Changing host)
2020-09-24 18:47:07 bahamas joins (~lucian@unaffiliated/bahamas)
2020-09-24 18:47:16 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-09-24 18:48:45 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:48:51 mu__ joins (~mu@unaffiliated/mu)
2020-09-24 18:50:19 adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 18:50:53 crobbins joins (~crobbins@2600:1700:48eb:8490:49dc:ec8f:58ae:3fb3)
2020-09-24 18:51:50 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-09-24 18:51:59 juuandyy joins (~juuandyy@90.166.144.65)
2020-09-24 18:52:32 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-24 18:52:33 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2020-09-24 18:53:44 × p0a quits (~user@unaffiliated/p0a) (Quit: bye)
2020-09-24 18:54:11 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-24 18:56:07 × aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
2020-09-24 18:56:17 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 265 seconds)
2020-09-24 18:57:06 Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 18:57:12 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 18:58:07 adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 18:58:24 ma489 joins (~textual@2604:2000:1742:c1df:d118:ce3:2cc:fdf9)
2020-09-24 18:58:25 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 18:58:42 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-24 18:58:49 mu joins (~mu@unaffiliated/mu)
2020-09-24 18:59:13 × ma489 quits (~textual@2604:2000:1742:c1df:d118:ce3:2cc:fdf9) (Client Quit)
2020-09-24 18:59:23 × adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-24 18:59:30 LKoen joins (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr)
2020-09-24 18:59:33 Guest_74 joins (0597167b@5.151.22.123)
2020-09-24 18:59:53 Guest_74 parts (0597167b@5.151.22.123) ()
2020-09-24 19:01:24 hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-09-24 19:04:37 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-24 19:04:53 Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-24 19:06:06 macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-24 19:07:27 hackage stm-actor 0.2.2.0 - A simplistic actor model based on STM https://hackage.haskell.org/package/stm-actor-0.2.2.0 (sgschlesinger)
2020-09-24 19:07:40 geekosaur joins (42d52102@66.213.33.2)
2020-09-24 19:08:28 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 19:08:56 mu joins (~mu@unaffiliated/mu)
2020-09-24 19:09:13 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-09-24 19:09:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-24 19:09:33 bennofs joins (~quassel@dslb-094-222-058-240.094.222.pools.vodafone-ip.de)
2020-09-24 19:12:45 × bennofs_ quits (~quassel@dslb-188-106-234-119.188.106.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2020-09-24 19:13:57 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)

All times are in UTC.