Logs: liberachat/#haskell
| 2021-07-13 08:24:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-13 08:25:09 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-13 08:25:36 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-13 08:26:24 | → | anonymous-haskel joins (~anonymous@78.155.54.115) |
| 2021-07-13 08:26:58 | × | anonymous-haskel quits (~anonymous@78.155.54.115) (Client Quit) |
| 2021-07-13 08:27:27 | → | haskell-anon joins (~haskell-a@78.155.54.115) |
| 2021-07-13 08:27:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2021-07-13 08:27:56 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-13 08:28:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-13 08:29:21 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2021-07-13 08:33:18 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-13 08:34:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-13 08:35:04 | → | michalz joins (~michalz@185.246.204.45) |
| 2021-07-13 08:44:24 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-13 08:45:27 | × | Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-07-13 08:45:44 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-07-13 08:45:56 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-13 08:46:08 | → | tom__ joins (~tom@2a00:23c8:9700:8001:a918:fa2c:4713:fcbd) |
| 2021-07-13 08:46:45 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-07-13 08:48:27 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-13 08:48:39 | × | a6a45081-2b83 quits (~aditya@223.226.229.57) (Remote host closed the connection) |
| 2021-07-13 08:49:39 | → | azeem joins (~azeem@176.201.21.158) |
| 2021-07-13 08:50:01 | × | zincy__ quits (~tom@2a00:23c8:9700:8001:6c68:60ee:e6e9:8a4c) (Ping timeout: 246 seconds) |
| 2021-07-13 08:50:04 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-13 08:51:05 | → | zcombinator joins (~zcombinat@host-80-104-237-159.retail.telecomitalia.it) |
| 2021-07-13 08:51:48 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-13 08:52:15 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-13 08:52:24 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-07-13 08:52:40 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-13 08:52:52 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-13 08:56:10 | ← | hatz_ parts (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) () |
| 2021-07-13 08:57:38 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-07-13 09:02:20 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-07-13 09:03:21 | × | GIANTWORLDKEEPER quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2021-07-13 09:09:36 | × | azeem quits (~azeem@176.201.21.158) (Ping timeout: 255 seconds) |
| 2021-07-13 09:11:25 | → | azeem joins (~azeem@176.201.21.158) |
| 2021-07-13 09:13:41 | → | GIANTWORLDKEEPER joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-13 09:16:34 | × | azeem quits (~azeem@176.201.21.158) (Ping timeout: 272 seconds) |
| 2021-07-13 09:17:35 | → | azeem joins (~azeem@176.201.21.158) |
| 2021-07-13 09:24:02 | → | junkicide joins (~user@2a01:e0a:195:20c0:3def:71a:a949:5adb) |
| 2021-07-13 09:25:23 | <junkicide> | I have the function length . lines <$> readFile "countLines.hs" but it gives an error when I try to fmap it over a list of filenames and I can't understand why |
| 2021-07-13 09:25:46 | <Rembane> | junkicide: What's the error and what's your code? |
| 2021-07-13 09:26:15 | × | azeem quits (~azeem@176.201.21.158) (Ping timeout: 255 seconds) |
| 2021-07-13 09:26:30 | <junkicide> | countLines :: String -> String -> IO () |
| 2021-07-13 09:26:30 | <junkicide> | countLines str ext = do files <- getDirectoryContents str |
| 2021-07-13 09:26:30 | <junkicide> | let filtered = [do y <- readFile x | x <- files, ext == takeWhile (/='.') (reverse x)] |
| 2021-07-13 09:26:30 | <junkicide> | putStrLn $ show $ zip files $ fmap ( length . lines) filtered |
| 2021-07-13 09:27:20 | <junkicide> | hang on, this isn't the right one |
| 2021-07-13 09:28:20 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-07-13 09:28:28 | → | azeem joins (~azeem@176.201.21.158) |
| 2021-07-13 09:28:44 | GIANTWORLDKEEPER | is now known as pj_ |
| 2021-07-13 09:29:22 | <Rembane> | junkicide: Put it in a pastebin instead, like for instance: https://paste.tomsmeding.com/ |
| 2021-07-13 09:30:22 | <junkicide> | ok that's useful, thanks |
| 2021-07-13 09:31:05 | <Rembane> | No worries. :) |
| 2021-07-13 09:31:46 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds) |
| 2021-07-13 09:33:35 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-13 09:33:54 | <junkicide> | here it is |
| 2021-07-13 09:33:55 | <junkicide> | https://paste.tomsmeding.com/vaSgxQD6 |
| 2021-07-13 09:34:01 | <smtnet3> | seems to work on my end |
| 2021-07-13 09:34:03 | → | agua joins (~agua@2804:18:49:ccb3:1:0:1397:e350) |
| 2021-07-13 09:34:35 | <smtnet3> | (length . lines) <$> readFile "Chapter6.hs" |
| 2021-07-13 09:35:11 | <junkicide> | yeah the problem comes when I try to fmap it over a list of filenames |
| 2021-07-13 09:36:12 | <Rembane> | junkicide: You need to use one fmap to do things on IO, and then another fmap to do things on the contents of list. |
| 2021-07-13 09:36:22 | <smtnet3> | try fmap . fmap |
| 2021-07-13 09:36:32 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 268 seconds) |
| 2021-07-13 09:36:53 | <smtnet3> | :t (fmap . fmap) |
| 2021-07-13 09:36:54 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2021-07-13 09:36:57 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-07-13 09:37:30 | × | azeem quits (~azeem@176.201.21.158) (Ping timeout: 255 seconds) |
| 2021-07-13 09:37:41 | → | shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) |
| 2021-07-13 09:38:10 | <junkicide> | oh, fmap . fmap doesn't seem to work right away but I see where the problem is |
| 2021-07-13 09:38:22 | <junkicide> | thanks smtnet3 and Rembane |
| 2021-07-13 09:38:58 | <smtnet3> | junkicide, n/w |
| 2021-07-13 09:41:25 | → | azeem joins (~azeem@176.201.7.106) |
| 2021-07-13 09:42:45 | → | pesada joins (~agua@2804:14c:8793:8e2f:98f1:8c28:1a2b:634a) |
| 2021-07-13 09:44:10 | → | Core8606 joins (~agua@2804:18:49:ccb3:1:0:1397:e350) |
| 2021-07-13 09:44:24 | × | agua quits (~agua@2804:18:49:ccb3:1:0:1397:e350) (Read error: Connection reset by peer) |
| 2021-07-13 09:44:44 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-13 09:46:57 | × | pesada quits (~agua@2804:14c:8793:8e2f:98f1:8c28:1a2b:634a) (Ping timeout: 255 seconds) |
| 2021-07-13 09:47:06 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-13 09:47:28 | × | fef quits (~thedawn@user/thedawn) (Client Quit) |
| 2021-07-13 09:50:02 | <haskell-anon> | how do you make lsp's "jump to definition" work with dependencies |
| 2021-07-13 09:50:32 | → | jippiedoe joins (~david@145.107.129.65) |
| 2021-07-13 09:52:53 | → | lep- joins (~lep@94.31.97.183) |
| 2021-07-13 09:53:16 | × | lep quits (~lep@94.31.86.183) (Read error: Connection reset by peer) |
| 2021-07-13 09:54:00 | → | lep joins (~lep@94.31.86.183) |
| 2021-07-13 09:56:22 | <smtnet3> | w/ emacs, haskell-anon |
| 2021-07-13 09:56:24 | <smtnet3> | *? |
| 2021-07-13 09:56:35 | <haskell-anon> | yes, with emacs |
| 2021-07-13 09:56:52 | <Rembane> | junkicide: np! |
| 2021-07-13 09:57:05 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.2) |
| 2021-07-13 09:57:42 | <smtnet3> | unrelated but why is this the case with multiple shadowing bindings... let seems to take precedence over where https://pastebin.com/XBgTHEvw |
| 2021-07-13 09:57:44 | × | lep- quits (~lep@94.31.97.183) (Ping timeout: 272 seconds) |
| 2021-07-13 09:58:20 | <smtnet3> | haskell-anon, there's an lsp discord if you don't find your answer here |
| 2021-07-13 09:58:47 | <haskell-anon> | ok |
| 2021-07-13 09:58:47 | <smtnet3> | lsp is a pain to setup if you don't know the whole shebang of it all |
| 2021-07-13 09:59:23 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-13 09:59:49 | <tomsmeding> | smtnet3: the where-block is attached to the whole function right-hand side here |
| 2021-07-13 10:00:24 | <tomsmeding> | haskell-anon: there is also #haskell-language-server on this irc network :) |
| 2021-07-13 10:00:53 | → | fef joins (~thedawn@user/thedawn) |
All times are in UTC.