ReleaseCandidat

55 ms·

901.
by ReleaseCandidat 5y ago
> [...] max value (which inherently all integer values should have) No, they shouldn't. Would really prevent many subtle bugs if the default integers of every language would be arbitrary precision ints.
902.
by ReleaseCandidat 5y ago
Dependent types is what you're searching for. Mostly used by (functional) proof 'languages' like Coq, Agda, Idris. For a language to have dependent types, the values that the types depend on must not (like with Rust) only be
903.
by ReleaseCandidat 5y ago
> Fix-it and renames work with lsp+clangd More complex refactoring would be nice I used (the paid version of) Xrefactory a long time ago with Emacs and C++, that really worked well. The Clojure-LSp has many code actions too. > Emacs h
904.
by ReleaseCandidat 5y ago
> What do most here use Clojure for? That's to evade having to use Java, Scala or Kotlin. Clojurescript: because it's the easiest (compared to Elm, Purescript and Rescript) to call JS.
905.
by ReleaseCandidat 5y ago
>Plenty of Emacs plugins invoke a compiler, language server, whatever to get information about the code. Yes, but Emacs (at least the LSP-modes of the languages I use) doesn't offer the same refactorings and code fixes like the same
906.
by ReleaseCandidat 5y ago
> But there's literally nothing I don't have with Emacs that other editors provide. Hmm, refactoring, fixes of Flycheck errors (if the checker/LSP provides them), a Tramp mode that actually works. Oh, and I would like to
907.
by ReleaseCandidat 5y ago
> And modern IDEs support 2 languages at the same time. Heck, they support dozens if not hundreds of languages at the same time. No, they don't. Show me the IDEs with Common Lisp, Coq, Ocaml, Haskell, Elm, ... support. That's a
908.
by ReleaseCandidat 5y ago
I wouldn't use Emacs for that, and I use Emacs since more than 25 years. Emacs shines when using Coq (with Proof General) or Common Lisp or Clojurescript (I guess Clojure too). But for mainstream languages like JS, Go or Python you&#x2
909.
by ReleaseCandidat 5y ago
> My experience with C++ mode in VS Code is extremely rough. That's because you're supposed to use Visual Studio for everything VS can do at all.
910.
by ReleaseCandidat 5y ago
> Our usual estimate was that everything in a F1 car was about 1000x better than in other cars. Well, I can't say that I like cars or enjoy driving them, but the biggest advantage of a car compared to a bike is its roof - at least,
911.
by ReleaseCandidat 5y ago
I'd call return str == "abd" || str == "acd" _way_ more elegant and simple, to be honest. Because the actual code would look like return match("a(b|c)d", str)
912.
by ReleaseCandidat 5y ago
> It definitely seems easier (or is more popular) to start people on imperative programming styles, because it is easier to make analogies There are simply _way_ more 'imperative' programmers/teachersTtutorials/books&
913.
by ReleaseCandidat 5y ago
Actually, there is. Typing `C-x C-s` in a 'normal' Editor. Always happens to me :(
914.
by ReleaseCandidat 5y ago
> There are two origins of CS in German universities: electrical engineering and maths. Ah, I see, thanks for the information. Which university would be an example for the latter?
915.
by ReleaseCandidat 5y ago
He is talking about math studies. Not much maths in engineering/CS in germany either. But nobody is holding you back from visiting 'real' math lectures ;)
916.
by ReleaseCandidat 5y ago
> A vector is pretty much by definition also a matrix, and there is a standard way to multiply matrices. A standard way to multiply a MxN with a NxK matrix, but none for a 1xN with a 1xN or a Nx1 with a Nx1 matrix - the two possible ways
917.
by ReleaseCandidat 5y ago
Well there is Pyright by MS (that's what Pylance is based on) and python-language-server by MS - that one has been superseded by Pyright and is deprecated in Code. https://github.com/microsoft/pyright https:&#x2F
918.
by ReleaseCandidat 5y ago
>> The most important parts of VSCode are not free software. > What do you mean by this? The SSH remote connection stuff, the Pylance Python LSP (you are not allowed to use it - the binary - in any other editor but VS Code, not eve
919.
by ReleaseCandidat 5y ago
/dev/urandom is not part of POSIX. POSIX only defined/dev/null, /dev/tty and /dev/console https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1... But uuencode e