Newest at the top
| 2024-11-06 02:24:54 +0100 | <haskellbridge> | <sm> I could imagine integrating an already-maintained TUI editor (yi ?) could also be the way to improve GHCI's debugger, because a more visual UI is what it needs |
| 2024-11-06 02:24:50 +0100 | <zero> | which wraps it "nicely" |
| 2024-11-06 02:23:51 +0100 | <zero> | foreign-store is hacky. i would be more interested in something like https://hackage.haskell.org/package/rapid-0.1.4/docs/Rapid.html |
| 2024-11-06 02:22:07 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 02:21:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-06 02:19:53 +0100 | <haskellbridge> | <sm> just saying |
| 2024-11-06 02:19:35 +0100 | <haskellbridge> | <sm> dev time doesn't always have to be zero sum in FOSS.. motivated new devs / funders sometimes show up |
| 2024-11-06 02:18:36 +0100 | <monochrom> | In the particular case of GHCi, given that dev time is a zero-sum game, when (not if, it's a certainty) the devs have to choose between improving GHCi's debugger and adding an editor to GHCi, why would anyone want the latter? Isn't debugger a much higher priority? Editors already exist, plentiifully. |
| 2024-11-06 02:18:35 +0100 | <constxd> | but yeah i wouldn't want to implement that and maintain it as a part of a REPL |
| 2024-11-06 02:18:15 +0100 | <constxd> | wouldn't be the end of the world imo if it's "for free" by virtue of being built into libreadline or something |
| 2024-11-06 02:16:53 +0100 | <haskellbridge> | <sm> +how it goes |
| 2024-11-06 02:16:33 +0100 | <haskellbridge> | <sm> try it out, let us know ? |
| 2024-11-06 02:15:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-06 02:15:41 +0100 | <zero> | ooh is this hot reloading? |
| 2024-11-06 02:15:26 +0100 | <monochrom> | Instead, since iPython and iHaskell exist, there is no point duplicating the effort in the basic REPL. |
| 2024-11-06 02:14:37 +0100 | <constxd> | ah |
| 2024-11-06 02:14:29 +0100 | <monochrom> | This is different from iPython and iHaskell. I have no quarrel with them. |
| 2024-11-06 02:13:29 +0100 | <monochrom> | tl;dr the python REPL is now its own editor. |
| 2024-11-06 02:12:57 +0100 | <monochrom> | constxd: This: https://discourse.haskell.org/t/multiline-interpreter-with-editing-of-previous-lines/10551 |
| 2024-11-06 02:12:18 +0100 | <haskellbridge> | <sm> https://chrisdone.com/posts/ghci-reload maybe |
| 2024-11-06 02:11:22 +0100 | <haskellbridge> | <sm> zero: there has been a blog post or two about a way to save/restore ghci state, by chris done I think |
| 2024-11-06 02:10:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 02:10:16 +0100 | <zero> | anyways i just want something like node's repl where it basically saves the session history to a file. i guess i can go edit .ghci_history manually... |
| 2024-11-06 02:09:57 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-11-06 02:08:19 +0100 | Guest7 | (~Guest7@137.79.192.219) (Ping timeout: 256 seconds) |
| 2024-11-06 02:07:59 +0100 | <haskellbridge> | <zwro> monochrom: (: https://nbviewer.org/github/gibiansky/IHaskell/blob/master/notebooks/IHaskell.ipynb |
| 2024-11-06 02:06:35 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 02:05:35 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-11-06 02:04:14 +0100 | <constxd> | what do u mean python absurdity? ipython? |
| 2024-11-06 02:03:31 +0100 | <constxd> | yes i think the actual members of the ISO working groups are essentially volunteers |
| 2024-11-06 02:03:28 +0100 | <monochrom> | zwro: There is no plan to follow Python absurdity and evolve GHCi into its own IDE. |
| 2024-11-06 02:01:40 +0100 | <monochrom> | To the point even Knuth is sufficiently fed up to write an article to complain and advocate everyone to jump ship and start free online journals. |
| 2024-11-06 02:00:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-06 01:59:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-06 01:59:21 +0100 | <monochrom> | Right? I'm taking inspiration from the way academic journals work. The journal publishers get all the money. The editors and the peer reviewers do it all for free. |
| 2024-11-06 01:58:32 +0100 | <monochrom> | I am not even convinced that the authors of the standards are compensated at all. |
| 2024-11-06 01:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 01:53:15 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 01:53:15 +0100 | Versality | (~Versality@84.237.180.62) (Changing host) |
| 2024-11-06 01:53:15 +0100 | Versality | (~Versality@84.237.180.62) |
| 2024-11-06 01:49:36 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 01:48:18 +0100 | <haskellbridge> | <zwro> is there a way to save the current ghci session? |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@84.237.180.62) (Changing host) |
| 2024-11-06 01:47:33 +0100 | Versality | (~Versality@84.237.180.62) |
| 2024-11-06 01:46:34 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 01:44:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-06 01:43:47 +0100 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-11-06 01:42:38 +0100 | sprotte24_ | (~sprotte24@p200300d16f3f2c00b0d50a9d74dbbab9.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-06 01:39:21 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |