acomar

24 ms·

211.
by acomar 13y ago
Some vim and emacs plugins can give you the type of subexpressions like this. Namely, you want the ghc-mod plugin since it provides the hooks into the compiler to query type information.
212.
by acomar 13y ago
My GF had to go through a round of technical interviews with clients after opting to accept a job with a contracting firm. The firm fills the various contracts they receive with employees, but the clients want to greenlight the employee bef
213.
by acomar 13y ago
If String and None are both valid return types for a function, then you tag that so the inference system knows it's a valid solution -- the inferred type becomes Maybe String. The compiler will even help you get there. > Similarly f
214.
by acomar 13y ago
> But in a dynamically typed language, I don't have to communicate anything; it all happens automatically. Nothing happens automatically, the compiler/interpreter just doesn't check. Eventually you hit the bit of nonsense
215.
by acomar 13y ago
> With static typing, I need to declare a new mixed type for each mix, and keep each declaration up to date. That looks like a programming and maintenance nightmare to me for a non-trivial program. Sounds like you're thinking of Jav
216.
by acomar 13y ago
Your intentions changed, so of course you need to communicate that. In real programs (like the Haskell compiler), the programmers simply make the change they'd like to make at one point. The compiler then spits out a list of issues the
217.
by acomar 13y ago
Except most type systems can deal with that -- if you truly believe that mixing types isn't foolish in a particular case, just tell the compiler that you're doing it intentionally. The OP's example is trivially solved by usin
218.
by acomar 13y ago
> Anyone working in the IT industry who sells software or related services to any business that has any office in Massachusetts. So no, it applies if your client is located in the state.
219.
by acomar 13y ago
You're right on the details, and I agree with your analysis, but the moral question still stands. Do we as a society and nation have any right to do this? Why does our desire for security trump the rights of people at home and abroad?
220.
by acomar 13y ago
> It is a starkly totalitarian measure that is unparalleled in human history. Really...? Come on now, that's totally unbacked by any analysis of history. I agree with you on the immorality, but hyperbole like that doesn't adva
221.
by acomar 13y ago
SEEKING WORK - Remote or Washington D.C. Metro I'm a long time, self taught programmer looking for extra work. I specialize in machine learning, especially computer vision, but I'm also a web developer and general application deve
222.
by acomar 13y ago
Yahoo took the gov't to court over it and lost, and until recently were forbidden from admitting that fact.
223.
by acomar 13y ago
The whole talk is about 45 minutes long, but yea, it's well worth watching. Thanks for sharing that!
224.
by acomar 13y ago
Read up on the bystander effect: people really will ignore others in need if they see others around them capable of helping (and not doing so).
225.
by acomar 13y ago
According to the Wikipedia page, his term expired in February of this year.
226.
by acomar 13y ago
> If he failed to show up for work, officers would be sent out of concern for his wellbeing. Right, but it's dishonest to pretend that's the only motivation. > The whole point of banning him from leaving the country is to t
227.
by acomar 13y ago
I think it's intended more technically than what the other posters are inferring. I.e. the gov't doesn't care if he's dead, disabled, or otherwise unable to continue. Any and all of the above are intended by neutralize,
228.
by acomar 13y ago
It's an employer policy, and it has nothing to do with the passport or no-fly-list. In normal circumstances, flying without declaring his travel would put his clearance in jeopardy and he'd have federal marshals waiting for him up
229.
by acomar 13y ago
Yea, all the three letter agencies do.
230.
by acomar 13y ago
I must be missing something, because it sounds like they're creating one more IM protocol and claiming it will solve protocol fragmentation. If they want an open and federated protocol, why not back XMPP?
231.
by acomar 13y ago
(<=<) is a generalization of (.), and it's one of a number of historical issues that many Haskellers would like to see resolved, but everyone is afraid to try because it would basically break every single available library (many
232.
by acomar 13y ago
Weird is in the eye of the beholder. Let me put it this way, do you understand why matrix multiplication is defined the way it is? That looks weird too if you've never tried to derive it for yourself. That is, it's the lack of intuition and
233.
by acomar 13y ago
You should reread the post. The author lays out a couple of interesting properties and derives the function that satisfies them. It turns out that this function is the usual determinant. Then he shows some examples of applying this new intu
234.
by acomar 13y ago
The determinant is just the thing that satisfies those properties. It's a label we apply to a function that follows certain laws. You might be curious where those laws come from, or why we want those laws to be satisfied, but that's a dif
235.
by acomar 13y ago
You get some nasty ionization effects with shorter pulses, right? I did some work trying to model a fs pulse laser in college.
236.
by acomar 13y ago
If you're going to criticize, criticize. What's your problem with the post? Tear it apart so there's a real discussion on the points brought up.
237.
by acomar 13y ago
Type holes themselves are already included in the HEAD of the GHC trunk, and will be included with the next release I believe. Undefined is useful, but you can't get the types of a specific subexpression easily -- with type holes, you can.
238.
by acomar 13y ago
Can you expand on that? The article is about a man who enjoys meditation and brazilian ju jitsu. What in this article makes you think he's bat-sh*t? I did not catch any such vibe.
239.
by acomar 13y ago
Acute sleep deprivation can apparently make depression better, but the effect only lasts until you go to sleep. That's what this article is about. Chronic sleep deprivation is very different and can cause depression. This article is not
240.
by acomar 13y ago
How much time do you spend instead on unit tests? Is it comparable? The idea with a Haskell (or more powerful) type system is to reduce the amount of unit tests you need to write (because the compiler enforces certain rules). It's all trade

More ›