Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 206 207 208 209 210 211 212 213 214 215 216 .. 5022
502,152 events total
2020-09-25 17:56:32 <nshepperd> i wish for a ghc which can produce platform independent STG
2020-09-25 17:56:53 <nshepperd> so i can just write an STG interpreter in java to make things run on phones :>
2020-09-25 17:57:12 <fluturel> IoT with haskell actually sounds really interesting
2020-09-25 17:57:24 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 17:57:54 mu joins (~mu@unaffiliated/mu)
2020-09-25 17:58:10 <davean> Theres the ghci bytecode? I don't know a ton about it. Bytecode isn't really enough - you need the RTS.
2020-09-25 17:58:31 <monochrom> "just write an STG interpreter" is also easier said than done.
2020-09-25 17:59:05 <davean> And why you'd do all that to run Haskell on a phone I don't know
2020-09-25 17:59:09 <davean> You CAN compile to target a phone
2020-09-25 17:59:19 <davean> a lot of the hard part is the PDK component
2020-09-25 17:59:41 <monochrom> which is also what davean said and I had in mind. Interpeter or compiler, you need an RTS or equivalent that does all the amazing multi-green-threading and I/O multiplexing and...
2020-09-25 17:59:59 <dolio> What happened to the GHC fork that ran on JVM?
2020-09-25 18:00:02 × ccallahan1 quits (~ccallahan@195.140.213.38) ()
2020-09-25 18:00:18 <davean> dolio: which one? eta?
2020-09-25 18:00:22 <davean> There were a few
2020-09-25 18:00:41 <dolio> Were there? I was thinking of eta, I think.
2020-09-25 18:00:58 hackage polysemy-test 0.3.0.0 - Polysemy effects for testing https://hackage.haskell.org/package/polysemy-test-0.3.0.0 (tek)
2020-09-25 18:01:19 <dolio> Running STG on JVM seems non-trivial anyway, because of the 'fixing space leaks in a garbage collector' thing that the JVM's garbage collector won't be doing.
2020-09-25 18:01:32 <monochrom> But consider translating hugs from C to Java. :)
2020-09-25 18:01:48 <nshepperd> dolio: what's that
2020-09-25 18:02:13 oisdk joins (~oisdk@2001:bb6:3329:d100:fd58:7633:8b1d:97)
2020-09-25 18:02:27 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 18:02:28 <dolio> nshepperd: It's the title of a paper by Wadler, I think.
2020-09-25 18:02:36 <monochrom> <bad pun time> eta has an ETA of "indefinite" </bad pun time> :)
2020-09-25 18:04:05 × lucid_0x80 quits (~lucid_0x8@188.253.236.126) (Ping timeout: 240 seconds)
2020-09-25 18:04:17 × strangeglyph quits (~strangegl@boreeas.net) (Quit: User terminated)
2020-09-25 18:04:48 <phadej> nshepperd: TL;DR when GC find a value which is fst (a, b); i.e. selector applied to already evaluated constructor, it evaluates it
2020-09-25 18:05:04 <phadej> thus `b` could be possibly freed
2020-09-25 18:05:58 strangeglyph joins (~strangegl@37.120.174.35)
2020-09-25 18:06:08 jlamothe joins (~jlamothe@dev.jlamothe.net)
2020-09-25 18:07:24 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:07:45 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 240 seconds)
2020-09-25 18:07:54 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:08:58 hackage polysemy-test 0.3.0.1 - Polysemy effects for testing https://hackage.haskell.org/package/polysemy-test-0.3.0.1 (tek)
2020-09-25 18:10:03 × mirrorbird quits (~psutcliff@m83-187-173-228.cust.tele2.se) (Quit: Leaving)
2020-09-25 18:10:41 <phadej> I *guess* if JVM had native notion of thunks, its GCs would do that optimization
2020-09-25 18:10:44 jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-09-25 18:12:26 <nshepperd> interesting
2020-09-25 18:13:52 thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-25 18:14:34 <dsal> Is polysemy still a thing?
2020-09-25 18:14:34 <davean> the 'eta' idea was to use the RTTI/Debugging support to do that optimization, right?
2020-09-25 18:15:35 cgfuh joins (~cgfuh@181.167.191.58)
2020-09-25 18:16:06 mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-25 18:16:15 <phadej> davean: I don't know
2020-09-25 18:16:40 howdoi joins (uid224@gateway/web/irccloud.com/x-aqxmdshelfofznzr)
2020-09-25 18:17:11 DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-09-25 18:17:32 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:17:53 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:18:41 × coot quits (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-25 18:18:52 <pie_> man I dont know if parser combinators are hard to debug or just parsy as a python parser combinator library...
2020-09-25 18:19:02 <pie_> i make prgress and get stuck on some self induced bug for hours
2020-09-25 18:19:31 × esp32_prog quits (yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Ping timeout: 256 seconds)
2020-09-25 18:19:33 reppertj joins (~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-25 18:19:44 coot joins (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl)
2020-09-25 18:19:49 × coot quits (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-09-25 18:21:33 m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-09-25 18:21:48 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-25 18:22:10 lucid_0x80 joins (~lucid_0x8@188.253.236.126)
2020-09-25 18:23:28 hackage wai-session-postgresql 0.2.1.3 - PostgreSQL backed Wai session store https://hackage.haskell.org/package/wai-session-postgresql-0.2.1.3 (hc)
2020-09-25 18:23:32 coot joins (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl)
2020-09-25 18:23:42 × solonarv quits (~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-09-25 18:23:57 × knupfer quits (~Thunderbi@200116b82c8bb80079b1331ba61465fc.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-25 18:24:40 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2020-09-25 18:25:09 × micro quits (~micro@unaffiliated/micro) (Remote host closed the connection)
2020-09-25 18:26:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-25 18:26:25 <nshepperd> was your problem too much backtracking or not enough backtracking
2020-09-25 18:26:46 <monochrom> I think parser combinators are harder to debug (than ordinary recursive functions). I tried to add Debug.Trace messages, and quickly realized I couldn't design useful debugging messages.
2020-09-25 18:27:24 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:27:37 × lucid_0x80 quits (~lucid_0x8@188.253.236.126) (Read error: Connection reset by peer)
2020-09-25 18:28:00 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:31:45 × coot quits (~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-25 18:35:44 kritzefitz joins (~kritzefit@212.86.56.80)
2020-09-25 18:36:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-25 18:36:25 <sm[m]> I have a dbgparse function that I stick into megaparsec parsers. megaparsec itself provides a dbg, also. Such things are definitely needed at times
2020-09-25 18:37:23 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:37:53 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:37:59 × geekosaur quits (42d52102@66.213.33.2) (Ping timeout: 245 seconds)
2020-09-25 18:38:01 × ubert quits (~Thunderbi@91.141.0.190.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2020-09-25 18:40:13 hiptobecubic joins (~john@unaffiliated/hiptobecubic)
2020-09-25 18:43:48 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 2.9)
2020-09-25 18:47:23 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-ppgacbnpjvcoyxiy) (Quit: Connection closed for inactivity)
2020-09-25 18:47:24 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:47:53 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:48:01 × Saten-san quits (~Saten-san@ip-62-235-73-121.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-25 18:50:18 × nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 272 seconds)
2020-09-25 18:54:13 × oisdk quits (~oisdk@2001:bb6:3329:d100:fd58:7633:8b1d:97) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-25 18:55:07 micro joins (~micro@unaffiliated/micro)
2020-09-25 18:56:05 crobbins_ joins (~crobbins@2601:2c1:380:ec40:2d4a:f96c:b859:c0ae)
2020-09-25 18:56:36 landonf1 joins (~landonf@193.56.252.210)
2020-09-25 18:57:23 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-25 18:57:54 mu joins (~mu@unaffiliated/mu)
2020-09-25 18:59:52 × crobbins quits (~crobbins@2601:2c1:380:ec40:cf6:f95e:2b94:e5c5) (Ping timeout: 260 seconds)
2020-09-25 19:00:27 × crobbins_ quits (~crobbins@2601:2c1:380:ec40:2d4a:f96c:b859:c0ae) (Ping timeout: 260 seconds)
2020-09-25 19:01:03 abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-09-25 19:01:25 Thra11 joins (~Thra11@5.1.169.217.in-addr.arpa)
2020-09-25 19:02:07 frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-25 19:03:00 <glguy> parser combinators turn you into the parser compiler. using them for more than simple parsers generates debugging challenges and makes it hard to know what the grammar you actually support is
2020-09-25 19:03:27 Lycurgus joins (~niemand@98.4.96.130)
2020-09-25 19:06:48 geekosaur joins (42d52102@66.213.33.2)
2020-09-25 19:07:44 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)

All times are in UTC.