Newest at the top
| 2024-11-06 02:54:08 +0100 | <monochrom> | OK that. :) |
| 2024-11-06 02:54:02 +0100 | <haskellbridge> | Is there a good general workaround? |
| 2024-11-06 02:54:01 +0100 | <haskellbridge> | <hellwolf> I really don't like this "The type synonym ‘YulP’ should have 2 arguments, but has been given 1" |
| 2024-11-06 02:53:58 +0100 | <haskellbridge> | <zwro> oh you don't need a plugin. you can just run ghcid directly in a vim buffer :) |
| 2024-11-06 02:53:50 +0100 | <monochrom> | If that doesn't exist, come join us in emacs! >:) |
| 2024-11-06 02:53:39 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 02:53:30 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-06 02:53:11 +0100 | <monochrom> | some haskell plugin for vim so you can also have a ghci session in a vim window/buffer. |
| 2024-11-06 02:52:41 +0100 | <haskellbridge> | <zwro> similar to what? |
| 2024-11-06 02:52:31 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-11-06 02:52:15 +0100 | <monochrom> | I mean why would there be a war (or why it hasn't ended already) if they were not on par. |
| 2024-11-06 02:51:43 +0100 | <monochrom> | I imagine vim should have something similar? |
| 2024-11-06 02:51:30 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2024-11-06 02:51:25 +0100 | <haskellbridge> | <zwro> i'm using vim on my phone >>) |
| 2024-11-06 02:51:18 +0100 | <monochrom> | "go big or go home" |
| 2024-11-06 02:51:08 +0100 | <monochrom> | But you should use emacs on your phone instead. >:) |
| 2024-11-06 02:50:55 +0100 | <monochrom> | Oh, phone. Then I sympathize. |
| 2024-11-06 02:50:26 +0100 | <haskellbridge> | <zwro> Leary: i usually do :) that's why i missed a :save command when i happened to use ghci for something quick on my phone |
| 2024-11-06 02:49:29 +0100 | tabaqui | (~root@91.73.194.130) (Ping timeout: 255 seconds) |
| 2024-11-06 02:49:29 +0100 | <haskellbridge> | <sm> * foreign-store |
| 2024-11-06 02:49:17 +0100 | <Leary> | zwro: Yes, so use ghcid. :) |
| 2024-11-06 02:49:04 +0100 | <haskellbridge> | <sm> zwro: yes rapid is a good find, that's the newer thing built on top of foreign store |
| 2024-11-06 02:48:38 +0100 | <haskellbridge> | <zwro> at that point you might aswell use ghcid |
| 2024-11-06 02:48:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-06 02:48:19 +0100 | <haskellbridge> | <sm> There's quite a few https://hackage.haskell.org/packages/search?terms=debug things, though most of them are not traditional debuggers allowing interactive stepping. https://hackage.haskell.org/package/ghc-debug-brick is the recent one I was thinking of. |
| 2024-11-06 02:48:09 +0100 | <monochrom> | Not currently done but available: I'm in emacs and my ghci session is also in emacs so in principle I would save that buffer content... |
| 2024-11-06 02:47:49 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) |
| 2024-11-06 02:47:16 +0100 | <monochrom> | By creating a "play.hs" file that has all the experimental expressions I want to try out in a session. |
| 2024-11-06 02:46:10 +0100 | <haskellbridge> | <zwro> how do you save a ghci session with your editor? |
| 2024-11-06 02:44:57 +0100 | <monochrom> | Right exactly. I wouldn't change editors just for the language. So I wouldn't need a "save" button in the language's REPL either. My favourite editor already has one. |
| 2024-11-06 02:44:18 +0100 | <haskellbridge> | <zwro> sm: the "plus a capable editor" was implied in my question |
| 2024-11-06 02:44:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-06 02:43:07 +0100 | <haskellbridge> | <sm> a language server is a small internal component that lets IDEs communicate with the language tools |
| 2024-11-06 02:43:04 +0100 | <monochrom> | I talked about lacking a soul, but when you do have a soul, it needs a body too... |
| 2024-11-06 02:42:58 +0100 | <haskellbridge> | <zwro> I don't think people like changing editors just for the language |
| 2024-11-06 02:42:31 +0100 | <monochrom> | A face? :) |
| 2024-11-06 02:42:18 +0100 | <haskellbridge> | <zwro> what can an IDE provide that a language server can't? |
| 2024-11-06 02:41:54 +0100 | <haskellbridge> | <sm> I did see a more recent brick based debugger ui. I'd find it, if hackage wasn't down just now |
| 2024-11-06 02:41:26 +0100 | <monochrom> | The cartoon? Yes I always link to it to rub it into people's faces. |
| 2024-11-06 02:41:14 +0100 | <haskellbridge> | <sm> monochrom: I think those things prove that packaging and integration are also necessary.. so all of those are dead.. except the debugger built in to GHCI, which works perfectly (or anyway, works) |
| 2024-11-06 02:39:52 +0100 | <haskellbridge> | <sm> wait, didn't I see that already... |
| 2024-11-06 02:39:41 +0100 | <monochrom> | Oh it's an extreme case of the 80-20 rule. Or at this extreme it's like a 99.99-0.01 rule. Hat, Buddha, GHCi, and that plug in prove that prototyping a Haskell debugger is easy, sure, and at the same time by their incompleteness and even bitrot, also prove that actually covering all of Haskell is way too annoying for anyone to finish it. |
| 2024-11-06 02:38:45 +0100 | <haskellbridge> | <sm> someone could whip that up in brick |
| 2024-11-06 02:36:19 +0100 | <haskellbridge> | <sm> It doesn't seem _that_ hard. GHCI already has the core of it, and https://marketplace.visualstudio.com/items?itemName=phoityne.phoityne-vscode is an example of a UI on top |
| 2024-11-06 02:36:00 +0100 | <monochrom> | OTOH, a nice IDE that lacks debugging feels like lacking a soul. |
| 2024-11-06 02:35:30 +0100 | <monochrom> | Debugger is extremely hard. I don't really complain about lacking it. |
| 2024-11-06 02:34:51 +0100 | <haskellbridge> | <sm> * UI though, that's what I'm thinking of particularly |
| 2024-11-06 02:34:26 +0100 | <haskellbridge> | <sm> Not a debugger thought |
| 2024-11-06 02:34:23 +0100 | <haskellbridge> | <sm> Ok. That IDE was good as I recall ! Lots of people had a beef with FP Complete so it had an uphill path. |
| 2024-11-06 02:33:11 +0100 | <monochrom> | IIRC the company is precisely FPComplete. |