Logs: freenode/#haskell
| 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.