tel

53 ms·

481.
by tel 10y ago
I'm about 5% into a side project implementing Erlang-like actors in Haskell and it provides an example of this workflow. https://github.com/tel/hotep Note that src/Hotep.hs exports a bunch of undefined functi
482.
by tel 10y ago
It is equivalent to the (a -> Bool) case. In Haskell at least, all "negative type parameters" are ultimately generated by the left side of a function—but this is more a concern for how ideas are modeled (perhaps partially) in H
483.
by tel 10y ago
With profunctors there's not necessarily anything going in or out and especially not necessarily and notion that the thing going in produces a thing going out. That's all roughly true with one kind of profunctor, a function arrow,
484.
by tel 10y ago
Scala got a boost when it was just getting started by being a "Better Java". Now it's less able to stand on that value proposition and its losing supporters. Honestly it was a great adoption strategy.
485.
by tel 10y ago
I mostly agree with you, but I also think a bit part of what Haskell-like FP shows is how often your code is invariant to so many things that the variables no longer have any sense to them whatsoever. That doesn't really excuse badly n
486.
by tel 10y ago
I think much of maths is that translation. You learn a lot of mathematics and you recognize powerful, subtle, deep patterns. Then you spend your time looking for those patterns in the world. It's the same thing with even the most basic
487.
by tel 10y ago
Part of the fun of logic is realizing that there are multiple forms of it which change one's language and ability to express ideas. They also don't dominate one another—some statements' truth depends upon what logic they&#x27
488.
by tel 10y ago
For better and worse, photography is largely an artistic endeavor. Finding emotional appeal is a big part of that. On the other hand, scientific imaging is definitely something where non-emotional performance matters and I doubt people use
489.
by tel 10y ago
That's true for carry on luggage, but checked luggage (I've learned) still fogs.
490.
by tel 10y ago
I went and looked it up to be sure and yeah, looks like empirically I'm off base with the dynamic range question. That said, subjectively I still feel that way. It might have something to do with digital noise and how the experience of
491.
by tel 10y ago
This same argument has been made forever in photography too. There's no hope for "accuracy". Even if you ignore the obvious facts like 2-dimensional representation and tiny form, even just the light itself is something that
492.
by tel 10y ago
Digital is WAAAY easier to get started on, no doubt. It's also much easier to learn the basics of composition and exposure. Unbelievably so! You can "develop" your images in microseconds. With film you have to supplement a lo
493.
by tel 10y ago
It would need to also not let you see your photos for somewhere between 1 and 7 days, take SD cards no larger than 64 Mb, and break when X-rayed in airport security. That all said, I agree with the op.
494.
by tel 10y ago
There's a very interesting book called The Go Consultants ( http://www.slateandshell.com/SSJF003.html ) which describes how professions have worked together during an extended time consultation game (2 v 2).
495.
by tel 10y ago
AlphaGo often plays surprising moves. Typically high-level commentary describes the horizon of "surprising" here as playing wider, faster, and more influence-oriented than current professionals think is appropriate. AlphaGo is rep
496.
by tel 10y ago
All players play to marginally beat their opponent. Playing too aggressively when you're in the lead is "losing a won game" because it gives opportunities for your opponent to create turnarounds. In the end of a well-played g
497.
by tel 10y ago
I'd have to actually read the article to be sure, but I think I can answer both of these. --- Monadic reification has to do with the difficulty of getting a data/AST representation of a monadic value. This seems possible since mon
498.
by tel 10y ago
Groupoids, a generalization of groups, factor heavily into type theory!
499.
by tel 10y ago
That does typecheck though!
500.
by tel 10y ago
A common idea in Go is that a stronger player will play a "teaching game" with a weaker one. The game is sufficiently abstract and complex that the weaker player may not even notice the actions of the stronger player who endeavors
501.
by tel 10y ago
It's not exactly an error. Neither language offers enough tail recursion to handle complex cases though they both offer simple support.
502.
by tel 10y ago
Could be that the relational algebra isn't so much an algebra either. Also could be that the renaming isn't really part of the "core" algebra. I'm not in particular familiar with the relational algebra, though.
503.
by tel 10y ago
Interestingly, the SKI calculus is an algebra.
504.
by tel 10y ago
"Algebra" and "calculus" are often used for historical reasons rather than technical ones. But as it were, LC cannot be expressed as a universal algebra. Not quite. The lambda terms introduce local binding which throws o
505.
by tel 10y ago
It ought to, yes. More specifically, immutability means that you cannot observe sharing. What this means is that it's easy to break sharing and if you rely on it for performance you might face difficulties. But you can create it. Nam
506.
by tel 10y ago
I don't know the details so this could just be hearsay, but one thing I've heard is that Baltimore has an unusually small taxable area due to a quirk in the voting requirments for annexation of outlying counties. Many rich areas e
507.
by tel 10y ago
Sure. Consider the type forall a. a With mild conditions on what the program fragment achieving this type can do I can be certain that this function does not return. It is an error, an infinite loop, or simply does not exist. No co
508.
by tel 10y ago
Profunctor and Monad are heavily studied in CT and many related mathematical fields that use category theory. For instance, algebraic geometry and logic. Algebra is incredibly well studied under the name "abstract algebra" and i
509.
by tel 10y ago
Completely agree! .... except! I really think Lenses are a concept orthogonal to Haskell. They can be implemented anywhere and usually make good sense. I think we have a long way to go before we've come to understand their best place i
510.
by tel 10y ago
> not an ordered list but a graph of the concepts I like this idea a lot

More ›