Twisol

68 ms·

691.
by Twisol 6y ago
I have a small group of emoji that I turn to for this kind of color. :sweat_smile: for a note of self-aware awkwardness. :thinking: when I'm posing an idea without standing behind it too hard, or when my thoughts are continuing beyond
692.
by Twisol 6y ago
Thanks for the thoughtful response! To be clear, that wasn't a loaded question -- as someone who hasn't thought too hard about this, I really did want to hear your opinion. :)
693.
by Twisol 6y ago
I empathize, but I'm also curious -- does it change anything for you that many bird species are themselves carnivorous?
694.
by Twisol 6y ago
The article was edited in the interim. The error the ancestor posts describes did exist before (I saw it, too), but no longer.
695.
by Twisol 6y ago
Most of those are right, but: IIUC = If I Understand Correctly RTFA = Read The F(ine) Article IANAL = I Am Not A Lawyer IANYL = I Am Not Your Lawyer The only one I had completely no idea on was EAFP, which is apparently "Easier to Ask
696.
by Twisol 6y ago
Then the blueprint is the contents of the communication, not the method of communication itself. The blueprint would be communicated by mail or sneakernet. You can copyright the contents of an email (indeed, I think they have an implicit co
697.
by Twisol 6y ago
In the context of this thread, it seems very much to be the case of "the public needs to be protected from software engineers." The N'th ancestor post very explicitly says that "we" are causing this problem. The ide
698.
by Twisol 6y ago
Before googling: Is this a van Gogh reference? After googling: Yep, that's a van Gogh reference. https://www.vangoghgallery.com/misc/van-goghs-ear.html > Vincent took the ear and wrapped it in newspaper. With a
699.
by Twisol 6y ago
It's interesting that you talk about bugs, when the OP doesn't make that argument. The OP is very clear, actually: > It didn't mean I was free from logic bugs. (Nothing can do that in the general case!) It did mean that a
700.
by Twisol 6y ago
> I believe the encoding was inspired by this paper Just to add some tangential color here: even if you don't intend to use this encoding in production, it can be a fruitful intermediate step in refactoring! I just recently ran into
701.
by Twisol 6y ago
> It might even contain some ideas you can use in C#. I just implemented the Haxl paper in Java as a weekend project (for implementing GraphQL APIs), so it totally does ;)
702.
by Twisol 6y ago
Tagless-final is also closely related to the technique of object algebras [0], which I use pretty often -- at least at the design stage, before flattening out some of the degrees of freedom. See this other blog post [1] for more about both.
703.
by Twisol 6y ago
Yes, but now you've shifted the goalposts, because I think most people would generally consider PL researchers to have an understanding of programming language design.
704.
by Twisol 6y ago
Goodness, the lack of any compiler at all would disqualify a lot of cutting-edge academic research on programming languages, much less the existence of a publically-available compiler. Often all you get is a diagram full of (basically) insc
705.
by Twisol 6y ago
> Booleans Truth values. > Turing Machines Tape automata. (Though there are a lot of variants.) > Liskov Substitution Principle Behavioral subtyping. Even Liskov calls it this, but "SOBID" doesn't have the same ring
706.
by Twisol 6y ago
My all-time favorite is the original LVars paper: https://users.soe.ucsc.edu/~lkuper/papers/lvars-fhpc13.pdf
707.
by Twisol 6y ago
More or less. "Morphism" is defined by the category it lives in, so a functor is a morphism between categories in the category of (small) categories . (Insert technicalities about size concerns and Russell's paradox.) In par
708.
by Twisol 6y ago
> From what I've learned so far, the set theory suffers from Russel's Paradox So-called "naive set theory" does, but my understanding is that this paradox (and others like it) sparked a crisis in mathematics that led
709.
by Twisol 6y ago
> A major purpose of DI is that dependencies should be declared in the signature Yes, and a coeffect system would cause dependencies on dynamic variables to be declared statically, even if they're provided by "the environment&q
710.
by Twisol 6y ago
> Personally I prefer being on the other end of the expression problem I agree, I prefer sum types in general. And you can still get dynamic dispatch from trait objects (in Rust), so you have both approaches at your disposal. (In Java, a
711.
by Twisol 6y ago
On its face, you're right. You can formalize this approach using dynamically-scoped variables, which is a step on the road toward coeffect systems in typed functional languages. But in a coeffect system, the type of `display` would exp
712.
by Twisol 6y ago
> Yet they are robust - all the bugs in the commonly traficked code paths have already been sussed out There are two ways this can be true: if the code paths users traffic are debugged, and if users only traffic code paths that are not b
713.
by Twisol 6y ago
I'll make a stronger statement than "can": I have and do productively use object algebras in my day-to-day in Java. It's a really fantastic tool when you need an "interface" that governs multiple types or a
714.
by Twisol 6y ago
> I mean - who cares about correctness when I'm trying to ship yet another cookie-cutter web application that I don't even know is going to see more than a thousand users in its life. I feel this perspective, but I don't
715.
by Twisol 6y ago
Which, in FP, is all but invisible: the arguments to a function literally are its dependencies. I think OOP has more primitive concepts (and more mutation) than FP, so dependency injection in OOP also includes object construction and often
716.
by Twisol 6y ago
> I respect your personal experience, but you are coming on a little strong in terms of assuming everyone is just like yourself. This was actually a significant point of contention between myself and my advisor, who interpreted my workin
717.
by Twisol 6y ago
This paper won the Most Influential Paper Award just yesterday at ICFP'2020. Award video: https://www.youtube.com/watch?v=WfRqE4NBecM
718.
by Twisol 6y ago
> the recent ICFP2020 paper I'll just note here that this paper is hot off the presses! ICFP is taking place as we speak , this week, Monday to Friday.
719.
by Twisol 6y ago
> Which means their alter-ego is probably the IRL one Another possibility is that they can make claims they don't really stand behind, because there's no personal responsibility for their statements. Trolling, essentially. The
720.
by Twisol 6y ago
The key aspect not captured here is "rendaku" -- the voicing of a normally unvoiced consonant in a compound word. https://en.wikipedia.org/wiki/Rendaku

More ›