Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 .. 5022
— 502,152 events total
2020-11-17 02:05:44 <sshine> (and yeah, the fact that "in" is omissible in list-comprehension syntax is a side-effect of this, I think, since you don't have the actual indentation problem there.)
2020-11-17 02:07:39 <sshine> maybe dolio thinks it's more of a problem somehow.
2020-11-17 02:08:01 <sshine> I don't really ever use list-comprehensions, so maybe that's the case. :)
2020-11-17 02:08:05 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-11-17 02:08:39 × lucasb quits (uid333435@gateway/web/irccloud.com/x-ezcrumvhrckwfdja) (Quit: Connection closed for inactivity)
2020-11-17 02:09:20 <dolio> Well, presumably you can do `[ (y, z) | x <- ... , let y = ..., ...]` But turning that into nested comprehensions is annoying.
2020-11-17 02:10:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-17 02:10:25 <dolio> It would be something like `[ p | x <- ..., p <- let y = ... in [ (y, z) | ... ]]`
2020-11-17 02:12:05 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2020-11-17 02:12:51 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-17 02:15:57 → christo joins (~chris@81.96.113.213)
2020-11-17 02:16:12 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-17 02:17:18 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-11-17 02:20:43 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-11-17 02:20:55 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-17 02:21:08 × _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer)
2020-11-17 02:21:59 → _xor joins (~xor@74.215.46.133)
2020-11-17 02:22:40 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 265 seconds)
2020-11-17 02:24:42 → vacm joins (~vacwm@70.23.92.191)
2020-11-17 02:25:11 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-17 02:29:35 × moet quits (~moet@mobile-166-137-178-187.mycingular.net) (Ping timeout: 256 seconds)
2020-11-17 02:30:21 → conal joins (~conal@66.115.176.210)
2020-11-17 02:31:21 × conal quits (~conal@66.115.176.210) (Client Quit)
2020-11-17 02:31:24 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-17 02:32:52 → conal joins (~conal@66.115.176.210)
2020-11-17 02:36:32 <koz_> Someone in here (maybe monochrom?) mentioned recently that the {mega,atto}parsec 'satisfy' can be implemented in the context of Selective (i.e. not full Monad). They claimed this is backed by research - could I please get a link?
2020-11-17 02:36:48 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-17 02:37:25 × conal quits (~conal@66.115.176.210) (Client Quit)
2020-11-17 02:37:26 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-17 02:41:16 <MarcelineVQ> idk if it covers satisfy deeply but https://mpickering.github.io/papers/parsley-icfp.pdf is about parsers which use Selective to inform compile-time decisions
2020-11-17 02:42:13 <koz_> MarcelineVQ: Thanks - it's a start.
2020-11-17 02:42:55 × xff0x quits (~fox@2001:1a81:529e:a500:7f56:5167:60df:e24a) (Ping timeout: 272 seconds)
2020-11-17 02:44:31 → xff0x joins (~fox@2001:1a81:52d5:6a00:5952:5bb0:2bc9:4930)
2020-11-17 02:53:25 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 240 seconds)
2020-11-17 02:55:54 → haritz joins (~hrtz@62.3.70.206)
2020-11-17 02:55:54 × haritz quits (~hrtz@62.3.70.206) (Changing host)
2020-11-17 02:55:54 → haritz joins (~hrtz@unaffiliated/haritz)
2020-11-17 02:59:54 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-paizsduyeybkbeqa) (Quit: Connection closed for inactivity)
2020-11-17 03:00:01 × ironmarx quits (~ironmarx@139.28.218.148) ()
2020-11-17 03:00:46 × toorevitimirp quits (~tooreviti@117.182.180.118) (Remote host closed the connection)
2020-11-17 03:01:15 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-17 03:01:55 → Guest48480 joins (~luka@217.146.82.202)
2020-11-17 03:04:44 → drbean joins (~drbean@TC210-63-209-59.static.apol.com.tw)
2020-11-17 03:06:50 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-17 03:09:32 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-17 03:14:39 × shatriff_ quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-17 03:14:55 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-17 03:15:10 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-17 03:15:27 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-17 03:15:46 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-17 03:16:16 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-17 03:16:18 <monochrom> That was me alright. I learned of Selective from https://dl.acm.org/doi/10.1145/3341694
2020-11-17 03:16:31 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-17 03:17:04 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-17 03:17:24 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-17 03:17:53 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-17 03:18:41 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-17 03:18:45 <monochrom> "satisfy pred = anyChar >>= \c -> if pred c then pure c else empty" is pretty much in line with the ping-pong example.
2020-11-17 03:19:53 → conal joins (~conal@66.115.176.210)
2020-11-17 03:20:05 × rzmt quits (~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 240 seconds)
2020-11-17 03:22:26 → rzmt joins (~rzmt@87-92-180-112.rev.dnainternet.fi)
2020-11-17 03:23:48 → jedws joins (~jedws@101.184.175.183)
2020-11-17 03:24:02 × acidjnk_new quits (~acidjnk@p200300d0c718f648045012e87868ed0b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-17 03:24:39 × cgfuh quits (~cgfuh@181.167.191.58) (Quit: WeeChat 2.9)
2020-11-17 03:26:30 × argent0 quits (~argent0@168.227.98.83) (Remote host closed the connection)
2020-11-17 03:27:03 → Shadowraith joins (~user@192.12.149.141)
2020-11-17 03:29:11 × Shadowraith quits (~user@192.12.149.141) (Read error: Connection reset by peer)
2020-11-17 03:30:10 → Shadowraith joins (~user@192.12.149.141)
2020-11-17 03:30:28 → acidjnk_new joins (~acidjnk@p200300d0c718f647bc583fb9dc736f42.dip0.t-ipconnect.de)
2020-11-17 03:30:53 <Shadowraith> hi! im trying to convert output of a monad to a string (which it already should be) so im confused
2020-11-17 03:31:14 <Axman6> that sounds like quite a confused question, cah you share some code?
2020-11-17 03:31:17 <Axman6> can*
2020-11-17 03:31:26 <Shadowraith> here is what the code is, i want to have it out put to a file
2020-11-17 03:31:28 <Shadowraith> yeh ofc
2020-11-17 03:31:34 <Shadowraith> http://0x0.st/i51b.txt
2020-11-17 03:31:35 <Axman6> @where paste
2020-11-17 03:31:35 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-11-17 03:31:41 <Axman6> thanks, too quick for me :)
2020-11-17 03:31:51 <Shadowraith> ;)
2020-11-17 03:32:18 <Axman6> I can;t see anything monadic there
2020-11-17 03:32:21 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-17 03:32:21 <monochrom> There is no monad in that code.
2020-11-17 03:32:23 <Shadowraith> oh what
2020-11-17 03:32:29 <Shadowraith> the \x isnt a monad??
2020-11-17 03:32:32 <Axman6> it's just a function
2020-11-17 03:32:34 <Axman6> no
2020-11-17 03:32:37 <Shadowraith> i thought that was a lambda... XD
2020-11-17 03:32:37 <monochrom> It's just a lambda.
2020-11-17 03:32:37 <Axman6> that's a lambda
2020-11-17 03:32:39 <Shadowraith> frk me
2020-11-17 03:32:40 <Shadowraith> im sorry
2020-11-17 03:32:49 <Shadowraith> i still dont know how to get it to work tho.. Xd
2020-11-17 03:33:01 <Axman6> your code is the same as writing: ppLayout x = case x of ...
2020-11-17 03:33:11 <Axman6> what isn't working?
2020-11-17 03:33:25 <Shadowraith> io $ appendFile "/tmp/.xmonad-layout-log" (ppLayout)
2020-11-17 03:33:29 <Shadowraith> trying to do this
2020-11-17 03:33:37 <Shadowraith> but its saying something bout a string
2020-11-17 03:33:40 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds)
2020-11-17 03:33:50 <monochrom> What is "io"?
2020-11-17 03:33:54 <Axman6> what is the tyoe of appendFile?
←Prev  Next→
Page 1 .. 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 .. 5022

All times are in UTC.