Twisol

67 ms·

661.
by Twisol 6y ago
Although I agree with the core of your argument, I think this position is a little reductionist. Yes, you really do need to understand what's going on under the hood (though, choose your hood). But you're also almost-but-not-expli
662.
by Twisol 6y ago
Yeah, both this and the original question are good points. I wonder what the paper itself has to say. The early bits are pretty readable so far [0], but I doubt it calls the original question out quite as succinctly as it was asked. Lots to
663.
by Twisol 6y ago
Science is about testable, falsifiable hypotheses. It's important to question what we think we know, and how we know it. "Argument from authority" isn't scientific. We can simultaneously believe (a) that well-respected r
664.
by Twisol 6y ago
In "Part 2: The Calculus Definition", f and g switch roles a couple times. Before the colorized formula, "f" is described as "the plan to use", and "g" as "the list of inputs"; and after the
665.
by Twisol 6y ago
So that's where the lens notation comes from... https://github.com/ekmett/lens/wiki/Examples > ("hello","world")^._2
666.
by Twisol 6y ago
> I was concerned about the heat in Pasadena and the piles of snow in Boston As a native Californian living in Pasadena, I also hate the heat -- but, unlike Boston (in my experience), air conditioning is standard, and makes the outside s
667.
by Twisol 6y ago
You can imagine "1 + 1 = 2" not as an important question in this context, but rather a proof of concept for the system they devised. It's a bit like the story about a "black triangle" [0]: a rather useless model pas
668.
by Twisol 6y ago
> Every time I read about it, I keep thinking "there's probably a much easier way to explain this" and it's frustrating. That's my sentiment, too. The descriptions I've seen give primacy to the code-related
669.
by Twisol 6y ago
> The simplest explanation of DDD gaining more and more popularity is that it’s a dead-simple pattern that in most cases leads to significant improvements in one of the hardest and most painful areas of programming - code maintainability
670.
by Twisol 6y ago
I especially like this metaphor! A codebase doesn't exist in a vacuum; a team of developers work on it and also produce auxiliary artifacts like configuration and documentation. The software only "works" so long as the whole
671.
by Twisol 6y ago
The example of "integer vs. string" is too low-level to explain why algebraic data-types are useful. It's much more valuable when trying to model a particular domain. As a concrete example, consider assembly: often you can ei
672.
by Twisol 6y ago
Java's is particularly weaksauce, and has problems chaining inferences within even the same expression, but it's definitely way better than not having it at all.
673.
by Twisol 6y ago
> Unfortunately this is only a marginal improvement, as the team remains devoid of engineering discipline. :/ This strikes me as the crux here, along with this line from the article: > There were three main reasons for the initia
674.
by Twisol 6y ago
> The effect systems using free monads seem to keep applying a functor to itself an unlimited amount of times and I really didn't get it. I can't help with the "effect systems" side of this, but I might be able to elu
675.
by Twisol 6y ago
> There's no need to think about 'algebraic effects' or anything like that. Re-frame itself would disagree with you -- although that may be because it does its job well enough that you've not needed to worry about alg
676.
by Twisol 6y ago
> In general business problems that we deal with do not Require higher order functions. I cannot agree here, being currently involved in modeling and simulation work that would heavily benefit from more advanced type systems. A user woul
677.
by Twisol 6y ago
> Writing functions that receive other functions as input can lead to over complicated code that's really hard to read. Although your opinion is more extreme than I can get behind, I don't entirely disagree. I find monads and a
678.
by Twisol 6y ago
> Second, and more substantively, it is not the case that mathematical fields inevitably turn into algebra. Not to fully justify the OP (though it rings both true and not quite true to me), but I think topology is a good positive example
679.
by Twisol 6y ago
> Managers seem to expect systems to live forever all while constantly patching with very small refactoring budgets. It's completely insane. Preach it! I don't know where this mentality comes from, but it seems to treat softwar
680.
by Twisol 6y ago
> Really you have little choice in how to do things as the current structure dictates your options. I really like this framing. The architecture of the code should reflect the flexible and rigid parts of the domain, and how they interact
681.
by Twisol 6y ago
Would it be fair to call this a kind of "pervasive eval"?
682.
by Twisol 6y ago
I'm having a hard time reading your question as anything other than "But what if I want to not do functional programming?" As stated, functional programs tend to be shallower. There's less "higher" and "lo
683.
by Twisol 6y ago
> Easy. The formal definitions are straightforward enough, but the definitions alone don't really motivate themselves. A lot of mathematical maturity is about recognizing that a good definition gives a lot more than is immediately a
684.
by Twisol 6y ago
> You still have to pass your logging code to every function that does logging right? Yes, but no. Again, there are functional patterns you can apply. First, functional programs tend to be more horizontally composed than vertically. Side
685.
by Twisol 6y ago
Inheritance is a kind of implicit adapter pattern -- instead of implementing a (complex or low-level) interface directly, you can implement a slightly simpler or better-tuned interface, and the inheritance machinery takes care of adapting t
686.
by Twisol 6y ago
> That said, I still think passing the world in and out of every function is too onerous for most real world programs [...] This is a bit of a strawman. At least in my limited experience, functional programmers think so too. Part of what
687.
by Twisol 6y ago
Sibling of someone like you here -- I absolutely got fed up with reading Animal Crossing dialogue for my sister, and I maintain that's the only reason she finally learned to read. Motivation is one thing -- necessity is another. If y
688.
by Twisol 6y ago
> That #tagging/#threading feature available on the other slack/discord/teams competitor I can’t think of right now is something I really want. Zulip, by any chance?
689.
by Twisol 6y ago
Apropos of nothing, that page suggests that the identity (with the 1 shifted across the equals sign) is beautiful because it relates e, pi, i, 1, and 0. I always felt 1 and 0 were shoehorned in, because they're clearly nonessential whe
690.
by Twisol 6y ago
Worth noting that this carries a lot better in a medium like IRC or Slack, where the message framing implies an "end" in its own right. It looks a little strange in an HN comment, because they all come in the same single message.

More ›