chowells

76 ms·

931.
by chowells 12y ago
If you go to the site, you'll find a link to the docs in it. They're not complete, but they do at least list the functions available. One of them renders text as a Picture.
932.
by chowells 12y ago
You mean the one mentioned in the article? Though you and the article both are perpetuating the lie that hash table operations are O(1). What magical hash function distributes n inputs into O(n) buckets in O(1) time? (Hint: distributing int
933.
by chowells 12y ago
Well, Tarjan developed an O(n) worst-case order statistics algorithm, which you could use to implement exact pivot selection and partitioning in O(n) time. The constant factors would be horrid, but it would be a valid implementation of quic
934.
by chowells 12y ago
If they don't know what Firebug is, they're not versed in the tools of the trade. You should consider that to be a very serious red flag about working with them. (Edited for tone)
935.
by chowells 12y ago
You're asking why have consumer protection systems at all, more or less. And the answer is that some people make poor choices that hurt society as a whole - both by putting themselves in vulnerable positions, and by rewarding the explo
936.
by chowells 12y ago
In fact, this title is nonsense. I would describe the current state of the proposal as "actively rejected". That doesn't stop beginners from reinventing it every few months, of course. That's probably the main reason tha
937.
by chowells 12y ago
I felt like there wasn't much content. Some of it was also very misguided, like having an Int => Bool set representation, and then having part of the assignment say "pretend the domain is limited to 0-10000 for this next part&
938.
by chowells 12y ago
I wasn't a fan of the course. For context, I've got a lot of experience in FP, but no experience in Scala. I took the course hoping to learn Scala. The course didn't teach me Scala. I suppose if I was an FP beginner, I would
939.
by chowells 12y ago
The mapping of the symbols onto reality was often missing. Perhaps because it's not a part of math? Math is an art. It's totally unconcerned with things like "reality". If you're so concerned with realit
940.
by chowells 13y ago
What Haskell lacks is hierarchies of subtyping. It certainly can be used for OOP. I've written object-oriented code in Haskell. It's not common, but it's not hard. And on rare occasions it's the best solution to a proble
941.
by chowells 13y ago
The choice of character for unidirectional patterns isn't the greatest, I'll agree. The PatternSynonyms extension enables two new top-level declarations, both declared with "pattern". pattern NestedJust x = Just (J
942.
by chowells 13y ago
Native threads for FFI calls are pooled. It's not cheap , but it's not too expensive either.
943.
by chowells 13y ago
I've been playing around with the new PatternSynonyms extension. In combination with the existing ViewPatterns extension, I'm going to really have to change the way I think about API design. This is actually pretty fantastic.
944.
by chowells 13y ago
Don't. There's no benefit to handcuffing yourself to the platform. Just install ghc and cabal, and enjoy yourself.
945.
by chowells 13y ago
It's not ridiculous. Actions have consequences. A consequence of his action is that he was unable to perform the duties necessary for CEO of Mozilla. Freedom of expression has never meant freedom from the consequences of your express
946.
by chowells 13y ago
Rust is a brilliant idea. Apply some of the last 50 years of programming languages advances to a low-level language. And they're enthusiastic about incorporating more of them, as they have time to implement them. Go is just another lan
947.
by chowells 13y ago
If x is unused, the compiler is allowed to remove the assignment. If it does that optimization after it removes the "redundant" null pointer test, the optimizer has legally altered your program to remove the null pointer check you
948.
by chowells 13y ago
In addition to what nbouscal pointed out, I'd just like to say that I very explicitly did not assume it worked just because it compiled. The last code block doesn't just have the miniature library, it also contains code that use
949.
by chowells 13y ago
Exactly! Syntax matters! Haskell's syntax is radically different because it matters that it is. It's not different to obfuscate or be obstructionist. It's different because it's better , for the features of the languag
950.
by chowells 13y ago
Part of the reason intermediate documentation is a bit lacking is the incredible usefulness of the #haskell freenode IRC channel. If you ever have any questions about haskell, feel free to drop by and ask. There's usually at least one
951.
by chowells 13y ago
Author of the article here. I learned to program very young. I was fluent in BASIC as my first language. I couldn't read the slightest bit of C++ when I first exposed to it. The syntax is hugely different because it's optimized
952.
by chowells 13y ago
I suppose it is a bit ironic that I chose to build a library that really does benefit from higher-level explanation. That's what happens when you build software engineering tools - you have to convince programmers of their value, even
953.
by chowells 13y ago
It's a very good thing that when there's only one way to get the correct result, the compiler forbids everything else. Would you prefer the compiler allow incorrect code?
954.
by chowells 13y ago
To be fair, I was starting from approximately "here is where the pins go" in the types I wanted, and "here is how the pins are arranged" in the form of the libraries that could solve it. The complaint I was addressing wa
955.
by chowells 13y ago
That's why I was very precise in my statement. The great thing about Haskell is that for many purposes, you don't need to understand the math or have a tutorial to use a new library. and But a complaint that you can
956.
by chowells 13y ago
Futamura projections would completely blow this guy's mind. It's amazing what ignorance of computer science causes people to think is new and special. http://en.wikipedia.org/wiki/Partial_evaluation#Futamura_p
957.
by chowells 13y ago
What are "real numbers"? A horribly misnamed fiction. Nearly all of them cannot be represented with a finite amount of information. I strenuously object to naming an uncountable set "real" when only a countable subset
958.
by chowells 13y ago
Monads are number 1 from that list. Numbers 2, 3, and 4 are the result of a powerful static type system, purity, and having typed IO. Nothing you listed has anything to do with being a monad. They're just examples of things you can do
959.
by chowells 13y ago
You could do all that with IO, sure. But the fact that IO happens to be a monad is completely irrelevant to doing that stuff. Monads are important because of the abstraction, not specific use cases. If you're thinking in terms of spec
960.
by chowells 13y ago
For this specific example? This isn't really a research project, in the normal sense of the term. This is a report of a very thorough engineering effort to fix the scaling of the IO manager already in GHC. It doesn't invent anythi

More ›