Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
tel
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
64 ms
·
601.
▲
by
tel
11y ago
Scala I don't have too too significant experience with but it continues to feel like a functional language with commitment issues to me. I think Prolog counts here, too. But it's a weirder one.
602.
▲
by
tel
11y ago
Just to double down on the points of some other commenters here: "Functional" is a pretty difficult word to pin down these days. That said, there seems to be a clear camp in what might be better called "denotational" pro
603.
▲
by
tel
11y ago
Ok, total agreement there. I think denotations are pretty identical to languages in the sense that you pick one you like then defend it to the death but, should you choose, could always learn to use more and would profit massively from doin
604.
▲
by
tel
11y ago
I think it's rather universal that, for instance, a depth-first tree traversal is best done recursively. In my experience, I almost always prefer recursion since it allows me to work more closely with the structure of the original data
605.
▲
by
tel
11y ago
I think this POV is limiting. In my experience, many people who take the "maths model" respect and use the "machine model" quite often as well. The formal term of note here is "denotation" in that "a langu
606.
▲
by
tel
11y ago
You build against a fixed set of packages defined by "Stackage" so that you only need to build them all once. While this set evolves over time, if many (or all?) of your projects target the same Stackage LTS then you won't ne
607.
▲
Failure to Report: A STAT investigation
(statnews.com)
1 points
by
tel
11y ago
|
0 comments
608.
▲
by
tel
11y ago
Good related article from Stat News http://www.statnews.com/2015/12/13/clinical-trials-investiga...
609.
▲
by
tel
11y ago
Ah, yep! Thanks! Fixed
610.
▲
by
tel
11y ago
Here's a simple description. It's stripped down by removing the application, but gets to the heart of things. --- Normally, you think of something as recursing by referencing its own name. sum(l) = if empty(l) then 0 else he
611.
▲
by
tel
11y ago
I think that was always implicit and intentional. There really is a tension here. Artful programming rides that tension and understands when (1) is worse than (2) or visa versa. A standard rule of thumb for this tension is the old "rul
612.
▲
by
tel
11y ago
Thanks!
613.
▲
by
tel
11y ago
I'm not sure I understand your 1940s point, but generally Bayesians would like to communicate (edit) likelihoods instead of posteriors so that they can be combined like you ask. Edit: autocorrect ¯\_(ツ)_/¯
614.
▲
by
tel
11y ago
Bayesian technique says that "probability" is a way of representing our collective knowledge and opinions about some matter. To say that there's a 1/2 chance of heads is to say that to the best of our knowledge and under
615.
▲
by
tel
11y ago
This is pretty close to fundamentally a monadic approach. Arrow approaches to effect management are sometimes similar and sometimes very different. It's hard to be more clear since unifying these things as effects is perhaps tenuous th
616.
▲
by
tel
11y ago
It's similar and there's some endless debate over comparisons of various effect handlin systems. I like the one the op recommends because it's fast and lightweight, but free works just the same. Free is really necessary if yo
617.
▲
by
tel
11y ago
Meh, that's an odd statement since it unifies the classes of bugs which pass varying qualities of (1) and (2). Certainly, "what's true of all bugs (seen in production) is that they passed the unit tests and type checkers levi
618.
▲
by
tel
11y ago
I think the idea of exploratory work is very similar to what I mention going on in small scopes, but I think this evolution occurs at large scales, too. All the development branch isolation in the world can't and shouldn't stop th
619.
▲
by
tel
11y ago
I understand and sympathize with the idea you suggest here, but I also wonder about the fine tuning. We accept that both duplication and dependency are bad (and certainly that the minimal, maximally stable dependency set is best) but when m
620.
▲
by
tel
11y ago
Reify Health | Boston, MA | On site | Software Engineer | recruiting@reifyhealth.com Reify Health builds products that accelerate and make accessible world class clinical research. Our engineers construct products that aid both the leaders
621.
▲
by
tel
11y ago
Ah, gotcha! Didn't realize his rank was from the Chinese association.
622.
▲
by
tel
11y ago
It's worth clarifying your use of the "p" rating scale alongside the "dan" rating scale. Essentially, there's an "amateur dan" scale which is what's measured on public servers like KGS. Under thi
623.
▲
by
tel
11y ago
I'm not sure if that's always the best way of looking at it since I think most professional dan titles are accomplishment based instead of a measurement of comparative skill. That said, Europe is not the top of the world in Go pla
624.
▲
by
tel
11y ago
It sounds like you're already aware of this from your question and others have already beat me to the punch, but: OCaml modules are best of breed. Better than anything else. Nothing else even comes close. They're weird and differe
625.
▲
by
tel
11y ago
Typeclasses play poorly with Modules. One is the picture of a global phenomenon and the other the essence of forsaking global phenomena. There's current work under the name "modular implicits" to solve this problem, though.
626.
▲
by
tel
11y ago
On the flip side, Idris is listed depite - a wiki article, - a book, "Type-Driven Development with Idris" by the language author, and - a subreddit So I'm guessing it's just not a super well-maintained l
627.
▲
by
tel
11y ago
Maybe it's a legal position if the numbers spiral out from the center. Or, more precisely, I'd be okay with any sort of "nice" arrangement of digits which made it work.
628.
▲
by
tel
11y ago
A1 and b1 too
629.
▲
by
tel
11y ago
Generally the rule is that you can't return the board to the position it was last in, but some rule sets extend it to any position it was ever in to avoid a few pathological scenarios. Without this infinite loops can exist.
630.
▲
by
tel
11y ago
Loops are usually disallowed intentionally in this sort of thing, the so-called "superko" rule.
More ›