Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Peaker
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
97 ms
·
961.
▲
by
Peaker
14y ago
Why so fancy? Just COPY CON.
962.
▲
by
Peaker
14y ago
Well, if List<T> is invariant on the T, then you cannot usefully have lists parameterized on interfaces, which is losing a useful ability. I'd say that classifies as a thorny edge case. In Haskell, I can represent the type: (Sho
963.
▲
by
Peaker
14y ago
If you have a class Sub implementing an interface IBase. How does C# handle the case of List<Sub> being used as List<IBase>? If it is allowed, does it let you do: List<IBase> base = subList; base.append(someOth
964.
▲
by
Peaker
14y ago
The edge cases regarding generics have to do with the mixing of inheritance subtyping and generics. The ML family have working generics and they work well. Go made the good decision of avoiding sub-typing, so they should not have a serious
965.
▲
by
Peaker
14y ago
Opaque types like "Integer" don't give a lot of assurance, so either you get a stronger type system (Agda-style) or you have to test. But complicated code may work with non-opaque types, and so it could still be reliable without tests.
966.
▲
by
Peaker
14y ago
Git is a very simple and powerful system covered by a hideous and complicated CLI. The simplicity is simply hidden.
967.
▲
by
Peaker
14y ago
On a touch screen, you only have two primitive gestures from which all gestures are composed: Taps and swipes. Composition may be chronological or simultaneous (multi-touch). This space of gestures is so narrow, that any idea within it can
968.
▲
by
Peaker
14y ago
Haskell has tuples, so it could use an: (a, b) -> c representation. If the uniform/canonical way to use functions is defined to be curried, then flip can simply return them curried.
969.
▲
by
Peaker
14y ago
They seem to simply be missing flip. // Lets curry subtract instead of add var subtract = Udon.curry(function(a, b) { return a - b; }); var five_minus = subtract(5); var minus_five = Udon.flip(subtract)(5)
970.
▲
by
Peaker
14y ago
If you want to write functions that are polymorphic on any monad, they'd have to take a type argument explicitly, which also reduces their cost-effectiveness. I am not sure Monads are a cost-effective abstraction in most languages.
971.
▲
by
Peaker
14y ago
Generalizing Monad in a language without return-type polymorphism is hard. How do you implement "return" (unit)?
972.
▲
by
Peaker
14y ago
[foo, bar, baz, quux] might be problematic if the types of these functions are not homogenous. foo >=> bar >=> baz >=> quux is ok and >=> is not a much-worse separator than , here...
973.
▲
by
Peaker
14y ago
Exceptions can be modeled by a type like "Maybe" that simply also has the error information in it. So instead of a "Nothing", you have "Left err" with the "err" information in it. The nice thing is that the same example using >>= ab
974.
▲
by
Peaker
14y ago
The Pirate party has a good discussion of pharma patents: http://christianengstrom.wordpress.com/2011/03/09/an-alterna...
975.
▲
by
Peaker
14y ago
Again, you refuse to acknowledge that Grads are used. You put words into my mouth. You fail to engage in minimally-honest debate. This does not belong on Hacker News, and we probably both have better things to do.
976.
▲
by
Peaker
14y ago
Claiming Grad rockets are "home-made" and implying they are not a deadly threat (when in fact the reason they killed few people is the Israeli warning system and extensive bomb shelters).
977.
▲
by
Peaker
14y ago
You said "home-made" rockets. True or false?
978.
▲
by
Peaker
14y ago
The post you're replying to is completely factual . His claim was an oft-repeated lie. I corrected it. Apologizing for lies is a litmus test for an honest debater. There's no point debating someone who would lie and when corrected, would y
979.
▲
by
Peaker
14y ago
You've just dodged the subject and went on to talk about something else. Will you first admit that your claim about "home made" rockets or small amount of deaths are inaccurate and misleading? There's no point in debating with someone who's
980.
▲
by
Peaker
14y ago
> Do you know that home-made Palestinian rockets have killed less than 50 people in decades? Now this is an outright lie. Please try to remain honest in this debate, it is full of enough misinformation. The rockets are not home-ma
981.
▲
by
Peaker
14y ago
They may not attack fishermen, but they do kill Israeli families, fire rockets at Israeli civilian cities, and otherwise engage in horrific violence towards Israeli citizens. How could it not be at anyone's expense? There is no free and ope
982.
▲
by
Peaker
14y ago
I am an Israeli - and am quite disheartened that you are bringing /r/worldnews style comments to HN. Let's keep it focused and avoid the useless flame wars, shall we? Whether you agree with Israel's actions or not, it needs its nukes to sur
983.
▲
by
Peaker
14y ago
For Israel, the nukes are almost a survival necessity. Nukes in the hands of Israel are less worrying to many than nuclear technology (that could be translated to nuclear weaponry) in the hands of a theocracy. Additionally, the Palestinian
984.
▲
by
Peaker
14y ago
People who hate programming don't program a lot. Programming is immensely about experience. I have not seen a programmer who hated programming and wrote good code.
985.
▲
by
Peaker
14y ago
Isn't that police complaint worthy?
986.
▲
by
Peaker
14y ago
Didn't Ruby have dynamic scoping in day 1? Dynamically scoped lambdas are different lambdas, and much less useful.
987.
▲
by
Peaker
14y ago
The feature has not been in Java for a long time, because the feature is the nice syntax.
988.
▲
by
Peaker
14y ago
In Haskell, sortBy takes a comparison function: sortBy :: (a -> a -> Ordering) -> [a] -> [a] And Ordering is defined as: data Ordering = LT | EQ | GT If you want to provide a "key" function rather than a compar
989.
▲
by
Peaker
14y ago
They encourage the closed-source model. Closed-software cannot be used as a basis for innovation and improvement by people who could innovate and improve it, if given the chance.
990.
▲
by
Peaker
14y ago
No, that's false -- consider the Maybe case. If you carry around the content of the Maybe, it will still remain valid even after the Maybe itself is overwritten. Races are of course still possible but they don't relate to boolean blindness.
More ›