Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 .. 5022
— 502,152 events total
2020-11-25 02:08:08 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz)
2020-11-25 02:08:31 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-11-25 02:09:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-25 02:11:04 × darjeeling_ quits (~darjeelin@122.245.219.209) (Ping timeout: 272 seconds)
2020-11-25 02:11:09 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Client Quit)
2020-11-25 02:11:31 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-11-25 02:12:13 → alp joins (~alp@2a01:e0a:58b:4920:ed97:230b:9822:a509)
2020-11-25 02:12:14 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Client Quit)
2020-11-25 02:12:31 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-11-25 02:14:25 <guest1125> how to get epoch time in haskell?
2020-11-25 02:14:26 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Client Quit)
2020-11-25 02:14:44 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-11-25 02:15:05 <Axman6> https://hackage.haskell.org/package/time-1.11.1/docs/Data-Time-Clock-POSIX.html?
2020-11-25 02:16:59 <guest1125> getCurrentTime :: IO UTCTime
2020-11-25 02:17:17 <Axman6> getPOSIXTime :: IO POSIXTime?
2020-11-25 02:17:51 <guest1125> every call on those functions will get different values, wow
2020-11-25 02:17:59 <guest1125> actions
2020-11-25 02:18:25 <guest1125> get time through IO
2020-11-25 02:18:38 <Axman6> yes...
2020-11-25 02:18:57 <Axman6> by definition it pretty much has to run in IO
2020-11-25 02:18:58 <guest1125> but could make it out of IO?
2020-11-25 02:19:01 → christo joins (~chris@81.96.113.213)
2020-11-25 02:19:09 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-ymoheyyesupwsnta) (Quit: Connection closed for inactivity)
2020-11-25 02:19:12 <Axman6> have you used IO before?
2020-11-25 02:19:22 → forell joins (~forell@unaffiliated/forell)
2020-11-25 02:19:34 <guest1125> yes
2020-11-25 02:19:45 <Axman6> do { now <- getPOSIXTime; let result = f now; print result }
2020-11-25 02:20:27 <guest1125> I mean IO POSIXTime -> POSIXTime
2020-11-25 02:20:30 <ezzieyguywuf> is there anything in base that can turn "~/Some/Path/" into "/home/me/Some/Path"?
2020-11-25 02:20:58 <Axman6> guest1125: that's not something you can do, but in the code I wrote above, now :: POSIXTime
2020-11-25 02:20:58 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-11-25 02:20:59 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 265 seconds)
2020-11-25 02:21:38 → toorevitimirp joins (~tooreviti@117.182.183.18)
2020-11-25 02:22:00 <guest1125> Axman6: I'd like name some files with the time when they're created, so I have to do it all in IO?
2020-11-25 02:22:02 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-25 02:22:52 <Axman6> of course, there is nothing pure about the current time
2020-11-25 02:23:10 <guest1125> ok
2020-11-25 02:23:57 → earthy joins (~arthurvl@deban2.xs4all.space)
2020-11-25 02:24:13 <Axman6> do { now <- getPOSIXTime; let fileName = "foo-" ++ show now ++ ".txt"; writeFile fileName content }
2020-11-25 02:24:22 <Axman6> if you're writing files you're already working in IO
2020-11-25 02:24:28 × Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 260 seconds)
2020-11-25 02:25:44 <guest1125> what about using time as seed to generate random number? is a good idea?
2020-11-25 02:25:55 <Axman6> it's an idea :)
2020-11-25 02:26:15 <Axman6> there's lots of "it depends" responses to that question
2020-11-25 02:27:20 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 260 seconds)
2020-11-25 02:28:26 <frdg> it helped me to shift my thinking from the idea that I have to do something _in_ IO to realizing that what I am doing _is_ IO.
2020-11-25 02:29:26 <guest1125> is anyone familiar with the term "double-barrelled CPS"?
2020-11-25 02:29:33 <guest1125> what is it?
2020-11-25 02:30:04 <Axman6> never heard the term, where did you find it?
2020-11-25 02:30:14 <guest1125> twitter...
2020-11-25 02:30:25 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-25 02:33:07 × xff0x quits (~fox@2001:1a81:526f:8600:55b6:62c6:bb3b:dc43) (Ping timeout: 272 seconds)
2020-11-25 02:34:44 → xff0x joins (~fox@2001:1a81:52a6:7b00:9da5:3842:e762:e94b)
2020-11-25 02:35:01 <guest1125> "As I've told you youngsters before, that type system can be done with double-barrelled CPS, and the folks at Microsoft have already tried it out at http://sml.net. I'll have a paper to show you when I get to that point!"
2020-11-25 02:35:02 <Axman6> twitter is a lot of context to have to process
2020-11-25 02:35:24 <Axman6> ask for the paper
2020-11-25 02:35:43 <guest1125> there's not one yet
2020-11-25 02:36:32 <guest1125> he is a scheme player, good at compiler stuff
2020-11-25 02:37:29 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-25 02:38:14 <Digit> i dont think https://www.urbandictionary.com/define.php?term=CPS was helpful. nsfw.
2020-11-25 02:38:27 × heatsink_ quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-25 02:39:51 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-25 02:41:24 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-11-25 02:42:00 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-25 02:42:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-25 02:42:25 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 02:44:00 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-25 02:44:26 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2020-11-25 02:44:53 → conal joins (~conal@64.71.133.70)
2020-11-25 02:45:03 ← frdg parts (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) ()
2020-11-25 02:45:51 <koz_> Digit: It's a real pro move to look for compsci terms on UD.
2020-11-25 02:47:16 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2020-11-25 02:50:03 <monochrom> Wait, what is double-barrelled CPS? I ought to teach it to my students and confuse them!
2020-11-25 02:50:13 <keltono> seems to come from this paper
2020-11-25 02:50:14 <keltono> https://www.cs.bham.ac.uk/~hxt/research/HOSC-double-barrel.pdf
2020-11-25 02:50:43 <Digit> koz_: sometimes you get lucky. n_n
2020-11-25 02:51:41 <keltono> the key excerpt being
2020-11-25 02:51:42 <keltono> > This transform is double-barrelled in the sense that it always passes two continuations.
2020-11-25 02:51:44 <lambdabot> <hint>:1:36: error: <hint>:1:36: error: parse error on input ‘in’
2020-11-25 02:51:49 → Sonolin joins (~Sonolin@184.103.179.49)
2020-11-25 02:52:03 <keltono> whoops
2020-11-25 02:54:16 <monochrom> Ah, thanks.
2020-11-25 02:55:30 → puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2020-11-25 02:55:50 × Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 256 seconds)
2020-11-25 02:56:40 → Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-25 02:56:42 <guest1125> would it be useful for something?
2020-11-25 02:56:50 <Sonolin> hmm so I'm playing with FRP and I'm probably not getting things but this doesn't seem too helpful for things that aren't very interactive (like turn based games/roguelikes)?
2020-11-25 02:57:43 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2020-11-25 02:58:17 <guest1125> Sonolin: what FRP is short for?
2020-11-25 02:58:24 <Sonolin> functional reactive programming
2020-11-25 02:59:00 <guest1125> Frech Representitive?
2020-11-25 02:59:44 <guest1125> representative
2020-11-25 02:59:57 <Axman6> I was thinking recently what it would look like to implement election vote counting systems in FRP to get live data from results (We use the HAre-Clarke system here, so the processing is actually quite interesting)
2020-11-25 03:01:02 <guest1125> Axman6: could it avoid election fraud?
2020-11-25 03:02:31 × Suntop1 quits (~Suntop@193.56.252.12) (Remote host closed the connection)
2020-11-25 03:03:17 → olligobber joins (~olligobbe@unaffiliated/olligobber)
2020-11-25 03:07:02 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-yowroavlostcpsuo) (Quit: Connection closed for inactivity)
2020-11-25 03:07:51 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-25 03:08:22 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2020-11-25 03:08:49 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
←Prev  Next→
Page 1 .. 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 .. 5022

All times are in UTC.