quchen

51 ms·

241.
by quchen 13y ago
Haskell is not a theorem prover, and I doubt it can be made one. You can encode some properties of data via the type system, but it's still a general purpose language. Agda on the other hand is a theorem prover, but much less general p
242.
by quchen 13y ago
Strict fields are actually standard Haskell, http://www.haskell.org/onlinereport/haskell2010/haskellch4.h... (The similarly looking BangPatterns extension is supported by GHC only.)
243.
by quchen 13y ago
Hello World is mostly the most primitive program you can write in order to check whether your compiler/interpreter is working properly, so you can get started. In case of LYAH (or Haskell in general) you have GHCi at hand, an interacti
244.
by quchen 13y ago
FUD is fear, uncertainty, doubt. I corrected your statement by saying there is no reason for that particular fear, uncertainty, or doubt. I don't see how that qualifies as FUD. (I'm leaving this thread now.)
245.
by quchen 13y ago
Stuff like this is all over LYAH, silly hidden unrelated jokes. Read the tree in the Zipper chapter :-) http://learnyouahaskell.com/zippers
246.
by quchen 13y ago
I don't understand what you said, but it sounds like FUD. - Haskell does not have "a new kind of bugs". It's an ordinary programming language with ordinary bugs. - The bugs you put in your program are not any more or les
247.
Unreal Engine 4.1 to support Linux(unrealengine.com)
1 points by quchen 13y ago|0 comments
248.
by quchen 13y ago
It's up and running for me.
249.
by quchen 13y ago
That's a rather long text to say "it's an arbitrary -- and conveniently chosen -- definition of a special case of the power function similar to how 1 is not prime". I also think the presentation was chosen poorly: lots o
250.
by quchen 13y ago
Whatever the cause - code, compiler, browser - what you have is a NaN in the wrong place, so the usual techniques apply: Test your code (which usually consists of fairly small functions) using Haskell's excellent testsuites, figure out
251.
by quchen 13y ago
Does "Chrome packed" mean I need to have Chrome installed to run it? Does it run in the browser? Do certain libs suffice to run it?
252.
by quchen 13y ago
Elm is a "Haskell-like" to JS compiler, and implemented in Haskell. It's used at Prezi [1], a company that was impressed enough by it to hire Elm's lead developer to work on the language there, and probably make use of i
253.
by quchen 13y ago
It's important to stress that JS is really just the target language "instead of ASM" for Haskell-to-JS compilers, not just a convenient preprocessor. Development happens in Haskell (or Core, an intermediate representation, &q
254.
by quchen 13y ago
> For Haskell, there doesn't seem to be any well-established documentation practices. Oh yes but there is! It's called Haddock. It's widely (and probably exclusively) used. The entirety of the documetation you can find on
255.
by quchen 13y ago
To be fair, if the place you're trying to debug is not evaluated (be it due to laziness or because it's generally dead code) that should be a pretty strong indicator something is wrong.
256.
by quchen 13y ago
- Haskell types often guide development: the error message ("type mismatch: expected blabla") gives you strong hints about what sort of error you've made. The magnitude of this one is hard to convey by merely writing/rea
257.
by quchen 13y ago
The Monad tutorial fallacy is an in-joke in the Haskell community nowadays, born out of what you observed: when people feel like they understand monads, they are so happy about it that they write a bad tutorial about it. My advice: Monad
258.
by quchen 13y ago
Haskell is not about the actor model. It is possible to use it this way, but not what the language is about, or why you should learn it in particular.
259.
by quchen 13y ago
I don't think ProjectEuler is very helpful for learning a language. The first ten problems or so might be useful to learn the basic syntax, but after that it's really just about number theory, or optimizing brute force. If you&#x2
260.
by quchen 13y ago
Original Reddit comment: http://www.reddit.com/r/linux/comments/17x0sh/john_carmack_a...
261.
Zen photon garden(zenphoton.com)
118 points by quchen 13y ago|27 comments
262.
by quchen 13y ago
Sure, but this is a very special application. whitespace and '"' are much more common in normal text, so using dedicated characters for telling entries apart should be superior in almost all cases. (The problem reminds me of
263.
by quchen 13y ago
Idris, one of the candidates to be "the next Haskell", is strict by default. It's not a mature language (+ecosystem) yet, but certainly usable and interesting. If you like exploring new cool concepts, you should have a look a
264.
by quchen 13y ago
For me, the most important selling point of a laptop has become how good the keyboard is. Usually, that starts with an evaluation of its shittiness. Hires version of the keyboard: http://assets.razerzone.com/eeimages/ra
265.
by quchen 13y ago
> I’m sure it’s <name> tl;dr: bullshit article
266.
by quchen 13y ago
Just like C++! (Yes, I too made that up on the spot.)
267.
by quchen 13y ago
It's usually a matter of taste. You shouldn't have types or values with 20 characters, but you also shouldn't do C-style "no vowels" naming. It's also worth mentioning that the "-- ^ comment" syntax i
268.
by quchen 13y ago
Real World Haskell (RWH) [1] is probably what you want, although it may not be as good of a first introduction as other books such as Learn You a Haskell (LYAH) [2] or Programming in Haskell [3]. [1] http://book.realworldhaskell.
269.
by quchen 13y ago
Don't we have a bit too much of a history with clicking/doing things on the internet with "love" in their names? Happy Friday by DigitalOcean, where trusting random people on the internets is company policy.
270.
by quchen 13y ago
Statistically, it compares the single case of Nadella to the statistical blob of people that is the "Indian system". Tough comparison when there are a billion of Indians, and the other dozen examples given don't change that.

More ›