Twisol

71 ms·

721.
by Twisol 6y ago
`Long` is a boxed (reference) type, but small numbers are interned so you get the same reference when boxing a primitive value. Larger numbers aren't interned, so you get fresh boxes. https://stackoverflow.com/questions
722.
by Twisol 6y ago
If that bothers you, you'll love the nLab's page on the red herring principle :) > The mathematical red herring principle is the principle that in mathematics, a “red herring” need not, in general, be either red or a herring.
723.
by Twisol 6y ago
The point I took from it is that "apply" is normally given by your programming system, and its cases are spread out over your whole program. but there's no reason you can't build your own "apply" on your own fu
724.
by Twisol 6y ago
Fair! Sorry for belaboring an unnecessary point ^_^;
725.
by Twisol 6y ago
To be super clear, the quoted sentence continues, including the typeset formula below it. (It's an academic convention that I'm not a particular fan of.) > Product is functorial in both arguments so, in particular, we can defin
726.
by Twisol 6y ago
> When you’re implementing a function, you are, in a sense, telling apply what to do with it – what code to execute. You’re implementing individual chunks of apply . These chunks are usually scattered all over your program, sometimes
727.
by Twisol 6y ago
It looks like all of these papers are Open Access -- click on the "DOI" link for any entry and you'll reach a page where you can download the PDF directly. Although PLs are traditionally closely associated with compilers and
728.
by Twisol 6y ago
I think the idea is to recontextualize the coordinate system of your object as not being the global coordinate system in the first place. The matrix defines the orientation of your object relative to the global coordinate system. The ques
729.
by Twisol 6y ago
> An effective PhD advisor/thesis isn't wandering the woods to find something. It's a guided coaching exercise, with an outcome in mind. If your advisor doesn't know this, maybe time to find a new advisor... You don&#
730.
by Twisol 6y ago
I can appreciate that "canon" is used in religious contexts, but its meaning and origin go back further than that. Wiktionary (hardly the best source, I know) lists three secular meanings before the religious ones begin. The mos
731.
by Twisol 6y ago
I saw somebody on Twitter call theirs "canon", which I've really taken a liking to. It fits nicely in regular speech too :D
732.
by Twisol 6y ago
> As far as I can tell from reading Evans' DDD, there's nothing forbidding network calls inside a service. You're quite right. > [...] defining how those contexts should be allowed to layer [...] This, however, seems to
733.
by Twisol 6y ago
Thanks for the paper. Where do you find that it discusses decoupling the concepts of network calls and system boundaries? I must be honest: aside from the context in which it was linked, I came away terribly unimpressed by this paper. I fou
734.
by Twisol 6y ago
Depending on what angle you come at this from, you could say that DOMA groups services into clusters ("domains"), as Uber has done here, or that services always should have been domain-driven, and DOMA welcomes the networking laye
735.
by Twisol 6y ago
> Some people learn that you push the stalk up to indicate your intent to turn left, or down to turn right. I was very confused for a good moment, because the turn signal in my car (which I drive in California) is on the left side of t
736.
by Twisol 6y ago
I have it on good authority that this actually dates back to 2003! See the schedule of Tcl'03 [0], or the index page for this document at JPL's Technical Report Server [1] [0] https://www.tcl.tk/community/tcl2
737.
by Twisol 6y ago
Ah, so for "DSA-like helpers" you're suggesting additional helpers that will take care of binding the given object, making manipulations, and unbinding it?
738.
by Twisol 6y ago
Could you expand on what you mean by "DSA-like helpers"?
739.
by Twisol 6y ago
> the whole "code should be self-explanatory" ethos seems to me just as susceptible to encouraging bad behavior. I hope it's clear from what I wrote that I don't think code can be perfectly self-explanatory. I don&#x2
740.
by Twisol 6y ago
> you should write comments such that if the code was removed, someone could use the comments to completely reconstruct it. I understand that this is just a rule of thumb, but it's so far from anything I could expect to happen in re
741.
by Twisol 6y ago
> The only place where I couldn't find a zero cost abstraction was enum encoding, where enums are of different sizes. Unfortunately, variable-sized types interact poorly with arrays -- you can no longer access any element in constan
742.
by Twisol 6y ago
Thanks! Always interested in learning more about the historical PL landscape ^_^
743.
by Twisol 6y ago
Yes -- sum types have historically not been present in imperative languages, whereas products types have essentially always been present. Imperative languages have correspondingly good support for various uses of product types, but even if
744.
by Twisol 6y ago
Everyone else pretty much said it for me. To elaborate more personally: the distilled expression of pure functions as _the_ basic entity of modular engineering is such a huge selling point for me. Lazy evaluation is also surprisingly valuab
745.
by Twisol 6y ago
As a Rustacean, I find that silly. There's a lot to love about Haskell. I'd be interested in hearing from your Haskellers what it is about Rust that renders Haskell obsolete. As it stands, I can only construct straw men, and I&#x2
746.
by Twisol 6y ago
Bases only need to be linearly independent and spanning; non-orthogonality is already permitted. Not all bases are orthogonal.
747.
by Twisol 6y ago
LVars are one of my favorite concepts, and they have roots in Vijay Saraswat's thesis on concurrent constraint programming, which is parametric over a choice of lattice. I second the recommendation for the LVars series of papers, and I
748.
by Twisol 6y ago
Registers are simply the fastest, closest kind of memory for a CPU to use. They're still memory, in that you can put something there and re mem ber it for later.
749.
by Twisol 6y ago
"call-by-reference" already has a technical meaning, and it is widely-misunderstood because "reference" is an overloaded term. Variables are cells that contain values. A better name for "call-by-reference" se
750.
by Twisol 6y ago
The memoization capability only disappears in the very last step, which I would argue is not the meat of the post. Up to that point, very valuable refactorings and simplications have been applied. One could very well have replaced the fin

More ›