nequo

15 ms·

121.
by nequo 2y ago
> You seem to be asserting that I'm claiming that Haskell simply can't do the things that imperative languages can do No, that’s not my intention. I responded to your view that monads are hard to understand by saying that they
122.
by nequo 2y ago
I meant it sincerely, not as a joke. > As many philosophers have pointed out, particulars are easier to point out than universals. The latter requires a lot of thought. Fair enough, that’s a good point. You don’t have to use >>= an
123.
by nequo 2y ago
Monads are not hard though. You use them every time you put a ? on something in Rust.
124.
by nequo 2y ago
> because their readers would move to different websites. Yet somehow they don't, and other website adopt the same annoying dialog. I’m a minority on this most likely but if a website does this, I close it, unless my life depends on
125.
by nequo 2y ago
In this case, `RUST_BACKTRACE` is described in Chapter 9 of The Book: https://doc.rust-lang.org/book/ch09-01-unrecoverable-errors-... I would say that this has good discoverability. If you're learning the language
126.
by nequo 2y ago
OCaml[1] and Scala[2] have had this too. [1] https://batsov.com/articles/2024/01/16/learning-ocaml-verify... [2] https://www.scala-lang.org/api/current/scala/annotation&#x2
127.
Denotational Semantics and a Fast Interpreter for jq (2023)(arxiv.org)
4 points by nequo 2y ago|0 comments
128.
by nequo 2y ago
How is it not recursion? def spawn(): take_shop_class() return spawn()
129.
APL Demonstration (1975) [video](youtube.com)
85 points by nequo 2y ago|36 comments
130.
by nequo 2y ago
Debian runs systemd. How does a preference for systemd make Debian a bad recommendation?
131.
A developer’s guide to interviewing (2015)(freecodecamp.org)
1 points by nequo 2y ago|0 comments
132.
A reckless introduction to Hindley-Milner type inference (2019)(reasonableapproximation.net)
140 points by nequo 2y ago|43 comments
133.
Ada Programming Language(ada-lang.io)
5 points by nequo 2y ago|0 comments
134.
by nequo 2y ago
Do you mean greatest entropy? Not if the support is, for example, the positive reals.
135.
by nequo 2y ago
As far as I can tell, Emacs prompts you every time it evaluates code when opening a file, and so does Org Babel. This can be turned off but you need to do it explicitly.
136.
Memory Model: The Hard Bits(ocaml.org)
4 points by nequo 2y ago|0 comments
137.
by nequo 2y ago
That is one reason to use Perl I guess where you can request the feature set of a specific Perl version.
138.
by nequo 2y ago
Conceptually, a tail recursive function represents the body of a loop and we wouldn’t expect a stack trace from a loop either, so this is less of an issue. Am I seeing this incorrectly?
139.
Why are module implementation and signatures separated in OCaml? (2018)(discuss.ocaml.org)
3 points by nequo 2y ago|0 comments
140.
by nequo 2y ago
I assume it means Linux Standard Base: https://refspecs.linuxbase.org/LSB_3.2.0/LSB-Languages/LSB-L...
141.
by nequo 2y ago
This is both vague and speculative though. Vague because you have made no specific claims that could be evaluated one way or the other. Speculative because you have said nothing about Forth. You cannot make engineering decisions based on &q
142.
by nequo 2y ago
I don’t think so. There are many ways to describe how a mind altering experience with LSD would change how you relate to yourself and your environment. I am curious how Forth changed parent’s approach to programming.
143.
by nequo 2y ago
What are your main lessons from Forth for API design? Is it something you could summarize?
144.
by nequo 2y ago
It seems like it’s not only function overloading (which, as you point out, Haskell does too by way of typeclasses) but also the implicit conversion between Int and Double. OCaml, Haskell, and Rust all require you to convert between them exp
145.
by nequo 2y ago
That’s fair. But Debian would also let you mark packages, and I imagine other distributions, too.
146.
by nequo 2y ago
But shouldn’t they inform you and let you opt out of the downgrade even if they know something? Ubuntu at least asks if you want to proceed with a package update, you can look at the changelog to see what the update is about, and you can ma
147.
by nequo 2y ago
Parent is also saying that virtually nobody does it. This is not true. What I linked is one example, given away for free by an engineer at a prop trading firm and a CS professor. Similar to the linked example, we have excellent books on man
148.
by nequo 2y ago
> This is book communism and fails for the same reasons as regular communism. It is in nobody’s interest to do any hard work. If you don’t reward great effort, virtually nobody provides it. Counterpoint that is decidedly not motivated by
149.
by nequo 2y ago
I have search for "VMC" but I am not sure what you mean. Do you have an example of a VMC that you recommend?
150.
by nequo 2y ago
If you are interested in developing your career in that direction, would it have a higher reward in terms of job security and compensation to focus on your soft skills instead of hard skills? If you're already a staff engineer, your le

More ›