samth

41 ms·

361.
by samth 13y ago
The Scala and Haskell type systems are incomparable, and the typeclass aspects that are most relevant to monad usability are doable with implicits.
362.
by samth 13y ago
I think you'll find that (a) Dennett knows a lot of things you're assuming he doesn't, (b) that whether a brain in a vat is plausible is not easily answered by appeal to complex systems theory, and (c) that the role of though
363.
by samth 13y ago
If CL is a union of something at a time where Scheme existed, then it can't have been the "union of all Lisps". I really, truly, wish the CL people would stop claiming that Lisp is restricted to a set that doesn't includ
364.
by samth 13y ago
Not only is this wrong about Racket as soegaard points out, but it's wrong about Datalog too.
365.
by samth 13y ago
Apart from the merits of Racket (which are considerable, you couldn't build Typed Racket in CL), the "most unique programming language in the world" is a joke about the Dos Equis ads [1]. [1] http://en.wikipedia.or
366.
by samth 13y ago
Yes, definitely.
367.
by samth 13y ago
Low-level API design problems are usually of the form "this API is hard to use". For example, XHR. This is (a) work-around-able, as any developer who's used XHR successfully knows, (b) fixable, as witnessed by the numerous l
368.
by samth 13y ago
If you have any more details about this, or even if you don't, please post to es-discuss about it. Currently there is broad consensus on TC39 to add weak references in JS in the future.
369.
by samth 14y ago
Ecma is a standards body, not an implementor. And standardizing things doesn't make them appear in other engines.
370.
by samth 14y ago
These projects are already affecting the spec. Here's a very small example: https://mail.mozilla.org/pipermail/es-discuss/2012-November/... which is used in asm.js and already implemented in Firefox: https://bugzilla.mozilla.org/show_bu
371.
by samth 14y ago
Mobile.
372.
by samth 14y ago
> JavaScript and the DOM have not been incredibly successful at turning the browser into a first-class application development platform. Seriously? From where I stand, it looks like browser-based applications are destroying the desktop-
373.
by samth 14y ago
This is totally incorrect. The majority of Mozilla's current funding comes from a deal with Google to make them the default search engine in Firefox. Google pays for this because search traffic is valuable.
374.
by samth 14y ago
Fortunately, you can write a sound type system for a Lisp without needing to verify individual macros. That's what Typed Racket does, described in this paper: http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf The basic idea is to firs
375.
by samth 14y ago
You can use the `with-type` form to embed typed expressions in larger untyped modules in Racket. Also, submodules let you accomplish more of this as well, without needing to put your modules in separate files.
376.
by samth 14y ago
How will this compare to Typed Racket and Typed Clojure? In particular, Typed Clojure works with Clojure's multi-methods, I believe. Also, you should have a look at Andrew Wright's work on Soft Scheme, which also used row polymorphism to s
377.
by samth 14y ago
Disclaimer: I'm not a Rust developer. One way to think about this is that if you want to implement GitHub, use Go; if you want to implement git, use Rust.
378.
by samth 14y ago
If you read the link dherman points to up-thread, I explain why I think PLT is a bad name, even independent of the confusion with my research group.
379.
by samth 14y ago
That not correct -- no new features are being added to ES6 now. Macros are possible for subsequent versions, though.
380.
by samth 14y ago
The claim that wanting to be able to abstract over types is the same as thinking that programming is about constructing taxonomies is one of the sillier claims I've seen recently.
381.
by samth 15y ago
The whole concept of "curing" cancer is silly, and best abandoned. Cancer is just the name we give to the failure of certain kinds of cell regulatory systems, particularly those relating to growth and cell death. Coming up with a "cure" f
382.
by samth 15y ago
Avoiding innovation in a particular narrow area, while combining others' new idea from other areas in a novel way, is innovation. In fact, it's very rare to see any other form of innovation.
383.
by samth 15y ago
Thinking that women are appropriate as "perks" is way more wrong than thinking that IP is reliable
384.
by samth 15y ago
So one is only allowed to have the "right" opinions? I think it's pretty obvious that everyone should try to have correct ideas. For example, if you think that Mac OS X is the world's most widely-used desktop OS, then you are wrong, and
385.
by samth 15y ago
The point I'm trying to make is that thinking of hiring women staff as a "perk" is sexist and unprofessional, and you shouldn't do it. It assumes that everyone attending is a straight guy, and it also assumes that the straight guys that
386.
by samth 15y ago
Really? If someone at your job expressed the "opinion" that you, personally, should be chained and sold as property, and that they should be allowed to beat, rape, and murder you as they saw fit, that would be acceptable behavior at your j
387.
by samth 15y ago
> For instance, I might have an opinion that we should bring back slavery. A totally offensive opinion, yes, but dammit, I'm entitled to have it. I think this is confusing two very different things. You are "entitled" to have this opin
388.
by samth 15y ago
That link is to a really old ES4 discussion. The proposal for ES6 is at http://wiki.ecmascript.org/doku.php?id=harmony:destructuring and has now been incorporated in the draft ES6 spec.
389.
by samth 15y ago
Template Haskell, which uses an explicit mark at macro calls (a $), doesn't require marking macro definitions explicitly, so it can certainly be done.
390.
by samth 15y ago
The problem with this is that it limits the options of library writers. For example, I can't replace some function with a macro that does something smart, such as check format strings for printf at compile time, because that breaks all cal

More ›