Logs: freenode/#haskell
| 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.