4 ms·
> You do know that statically typed languages have REPLs too? Like the ML family, including Haskell. I do, but that I don't see how that relates to the bit of
by throwaway894345 5y ago
> You do know that statically typed languages have REPLs too? Like the ML family, including Haskell.
I do, but that I don't see how that relates to the bit of my post which you've quoted. I certainly didn't claim or imply that REPL and static type systems were mutually exclusive, only that REPLs are a poor substitute for many static analysis tasks.
> And when using something like a Jupyter notebook with a kernel for your compiled language https://github.com/gopherdata/gophernotes https://github.com/gopherdata/gophernotes you can do similar interactive programming.
Yeah, I'm aware. I operate a large JupyterHub cluster (among many other things) at work. :)
> Lisp REPLs take that a step further, as you interact with and in your whole actually running program.
That sounds nice, but it's too abstract to persuade IMHO. Personally, it seems like REPLs can make certain feedback loops a bit faster, and to that extent they seem like a modest quality of life improvement; however, considering how lisp folks positively rave about them, I assume I'm missing something.
- ReleaseCandidat 5y ago> that REPLs are a poor substitute for many static analysis tasks. Maybe I should have asked you what you use the REPLs of statically typed languages for. I actually never used REPLs for that (neither in Python, CL, Clojurescript nor Elixir). > That sounds nice, but it's too abstract to persuade IMHO. Of course it is. I also didn't get it until I've tried it myself. That actually has been the main cause why I tried (Common) Lisp at all (well I had been using Emacs Lisp before, but that doesn't really count ;).
- FPGAhacker 5y agoI use repls a lot, both when I used clojure and now when I mainly use python. The reason for me is language exploration. I write my program and don’t always know how to do something and the internet is ambiguous. With a nice repl I can rapidly iterate trying different things and doing micro in-situ experiments to explore and understand how the language (or library more frequently) works. It’s very edifying.
- throwaway894345 5y ago> Maybe I should have asked you what you use the REPLs of statically typed languages for. I don't really use them, which is kind of my point. Once in a great while I'll do some quick testing in the rare case that using a REPL is actually faster than just running the program, but to even call that a marginal improvement in my quality of life would risk overemphasis.
- dunefox 5y ago> I assume I'm missing something. You are indeed, Rackets REPL is very barebones. Use Common Lisp with either SLime or Sly and Emacs.
- igouy 5y ago> You are indeed… How puzzling that you do not spell-out exactly what you believe they are missing.
- dunefox 5y agoIt should be obvious? He uses Racket, Racket has a very simple REPL, as opposed to CL which allows him to use the features he has heard mentioned about Lisp. Interactivity, short feedback loop, etc. This has been written thousands of times on here, I don't intend to repeat it here.