Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 274 275 276 277 278 279 280 281 282 283 284 .. 5022
— 502,152 events total
2020-09-28 18:42:02 <Rembane> It has a Haskell appendix though, but the things it discusses are true for Haskell too
2020-09-28 18:43:06 → acidjnk_new joins (~acidjnk@p200300d0c72378045c7b1a0a573f1493.dip0.t-ipconnect.de)
2020-09-28 18:43:23 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 18:43:48 → TooDifficult joins (~TooDiffic@139.59.59.230)
2020-09-28 18:43:51 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-gvtsuqkvrqeloqyq)
2020-09-28 18:45:14 <dolio> If you want to know about choices made for GHC, there are lots of papers about the ways the type system has changed. But it likely requires background to read them.
2020-09-28 18:45:32 <ddellacosta> okay, fair enough. Thanks dolio and Rembane
2020-09-28 18:45:43 × coot quits (~coot@37.30.61.70.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds)
2020-09-28 18:45:54 <dolio> And the background required is more general than just Haskell/GHC.
2020-09-28 18:46:00 <Rembane> ddellacosta: No worries, good luck!
2020-09-28 18:48:01 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:48:06 → mu__ joins (~mu@unaffiliated/mu)
2020-09-28 18:49:28 → Dolly joins (585fc8fd@ti0203q160-3035.bb.online.no)
2020-09-28 18:53:25 <AWizzArd> sm[m]: I think the "solution" for this current project is ghc-options: -fno-warn-missing-home-modules
2020-09-28 18:53:50 <AWizzArd> ghci seems to care about that one :)
2020-09-28 18:55:40 × mmohammadi9812 quits (~mmohammad@188.210.120.20) (Ping timeout: 246 seconds)
2020-09-28 18:56:10 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-28 18:56:49 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-09-28 18:57:30 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 18:58:01 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 18:59:38 → FreeBirdLjj joins (~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98)
2020-09-28 19:00:23 → kritzefitz joins (~kritzefit@212.86.56.80)
2020-09-28 19:00:25 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-28 19:01:27 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-28 19:01:30 → Enrico63 joins (5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net)
2020-09-28 19:03:47 × darjeeling_ quits (~darjeelin@122.245.121.113) (Ping timeout: 240 seconds)
2020-09-28 19:04:22 × FreeBirdLjj quits (~freebirdl@240e:388:4f41:dc00:4081:4bbf:4e36:ac98) (Ping timeout: 260 seconds)
2020-09-28 19:04:47 <Enrico63> Hello, I've installed `haskell-language-server` and set things up in Vim for having completions. However I'm not sure how to take advantage of that. Maybe the language server is simply not meant to be useful for completion? Please, give a look at this short screencast: https://asciinema.org/a/Hce9ZH3iRdOUg1wDkuicMNLqy
2020-09-28 19:06:44 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:07:05 → darjeeling_ joins (~darjeelin@122.245.121.113)
2020-09-28 19:07:41 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:08:03 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-28 19:08:22 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 19:08:49 → lucid_0x80 joins (~lucid_0x8@188.253.237.9)
2020-09-28 19:08:57 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-28 19:10:59 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 19:14:06 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Read error: Connection reset by peer)
2020-09-28 19:14:26 → Varis joins (~Tadas@unaffiliated/varis)
2020-09-28 19:14:37 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-28 19:15:55 × Varis quits (~Tadas@unaffiliated/varis) (Client Quit)
2020-09-28 19:16:52 × p-core quits (~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 256 seconds)
2020-09-28 19:17:06 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-28 19:17:06 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-09-28 19:17:24 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:17:55 × knupfer quits (~Thunderbi@i59F7FF46.versanet.de) (Ping timeout: 265 seconds)
2020-09-28 19:17:56 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 19:20:30 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-28 19:21:09 <sm[m]> great!
2020-09-28 19:24:12 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:24:38 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 19:25:50 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:25:58 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-28 19:26:14 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-09-28 19:27:06 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:27:35 → zrythm159 joins (49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122)
2020-09-28 19:27:35 × mu_ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-28 19:27:56 → mu_ joins (~mu@unaffiliated/mu)
2020-09-28 19:28:13 <zrythm159> www.indocron.net
2020-09-28 19:28:15 ← zrythm159 parts (49633d7a@gateway/web/cgi-irc/kiwiirc.com/ip.73.99.61.122) ()
2020-09-28 19:29:46 → argent0 joins (~argent0@168.227.96.7)
2020-09-28 19:30:49 × mu_ quits (~mu@unaffiliated/mu) (Client Quit)
2020-09-28 19:32:19 → mirrorbird joins (~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-28 19:32:42 × Quarl quits (~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-28 19:36:16 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 19:36:51 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-09-28 19:38:12 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-09-28 19:38:52 <argent0> Hi, can somebody explaime what this code does? https://bpa.st/75QWALMVSHDRTW6SR2ASAHI53E. In particular, is line 4 a guard? Seems to match the case level == 1 but what about the `variant == PlainText` part. What about line 8, 19 and 21. Is the ViewPatterns extions at work here?
2020-09-28 19:40:14 <cohn> is there a version of Data.Map that doesn't return a Maybe?
2020-09-28 19:40:18 <Rembane> argent0: Yes, it's a case expression with guards, quite neat. It's defined for Haskell 98, let me find the relevant section of the report for you.
2020-09-28 19:40:30 <Rembane> cohn: Which operations do you want to have no Maybe for?
2020-09-28 19:40:49 × alp quits (~alp@2a01:e0a:58b:4920:898:f28c:1e34:e5ee) (Ping timeout: 272 seconds)
2020-09-28 19:41:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-28 19:41:10 <cohn> Rembane: I'm creating an enumeration of the characters of the alphabet and need to look up a character and get the Integer associated
2020-09-28 19:41:29 <cohn> so, e.g. `lookup 'a' -> 1`, etc...
2020-09-28 19:41:53 <Rembane> argent0: I didn't find any name, but it's in 3.13: https://www.haskell.org/onlinereport/exps.html
2020-09-28 19:42:05 <argent0> Rembane: ok, thanks
2020-09-28 19:42:08 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-28 19:42:21 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-28 19:42:22 <Rembane> argent0: No worries.
2020-09-28 19:42:46 <Rembane> cohn: So, if I do a lookup 'A', how will you handle that?
2020-09-28 19:43:26 <cohn> convert to lowercase since it's case-insensitive
2020-09-28 19:43:26 <argent0> cohn: may want to try Array Char Int
2020-09-28 19:43:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-28 19:44:08 → archaephyrryx joins (~archaephy@straasha.imrryr.org)
2020-09-28 19:44:26 <cohn> good point since I don't need lazy evaluation
2020-09-28 19:44:34 <cohn> :q
2020-09-28 19:44:35 <cohn> bah
2020-09-28 19:44:42 <Rembane> cohn: ord in Data.Char might be useful too
2020-09-28 19:45:14 <cohn> Rembane: true, thanks!
2020-09-28 19:45:16 <archaephyrryx> if I have a list of strict bytestrings and I want to join them and also apply a word8->word8 map over the result, is it better to apply the transformation over the list elements and join, or to join and then transform?
2020-09-28 19:45:49 → dnlkrgr joins (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de)
2020-09-28 19:46:02 <Guest18> Can anybody help me with a little problem i have regarding an implementation of the filter function?
2020-09-28 19:46:13 <Rembane> Guest18: Shoot!
2020-09-28 19:46:13 <archaephyrryx> Guest18: over which type?
2020-09-28 19:46:23 <Guest18> Any type, I guess
2020-09-28 19:46:35 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-28 19:46:36 <archaephyrryx> I am assuming lists
2020-09-28 19:46:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-28 19:46:59 <Guest18> So my thinking was, i use pattern-matching to split into head and tails
2020-09-28 19:47:02 <Guest18> yes, lists
←Prev  Next→
Page 1 .. 274 275 276 277 278 279 280 281 282 283 284 .. 5022

All times are in UTC.