samth

22 ms·

241.
by samth 11y ago
I think you're confused about implementation-defined and undefined behavior. The former is not a subset of the latter, but excessive left shifts are UB.
242.
by samth 11y ago
> I don't think that they're eliminated because dynamic testing can't eliminate everything—it only finds bugs given its test inputs. I can't think of an example of UB-exploit in the compiler that wouldn't result
243.
by samth 11y ago
I don't think he's making the argument you think he's making. This is clearer in his later comments in the thread, in which he says that UB is much scarier in systems like Fossil. His argument is that achieving the level of q
244.
by samth 11y ago
Other people have taken that approach, for example the HALO project in Haskell. But the imprecision of the defunctionalizaton often makes it hard to prove the properties you want, especially without static types.
245.
by samth 11y ago
That's the idea. We've only done it for Racket so far.
246.
by samth 11y ago
So much of this history is wrong. 1. ECMAScript is called that because Sun (now Oracle) owns the JavaScript trademark, not because anyone wanted to be diplomatic. 2. JavaScript language evolution was not primarily driven by the Firefox team
247.
by samth 11y ago
There is a simple ML-like language implemented in Racket, called plai-typed, which is used by some people for teaching the PLAI programming language book. You can see the implementation here: https://github.com/mflatt/p
248.
by samth 11y ago
Are you looking for general references on implementing type checkers and ML-like languages? Or how to implement those as languages in Racket specifically?
249.
by samth 11y ago
Not sure which part isn't clear. First, syntax objects are data, but with extra information, such as binding information, source location, etc. Second, the #' form (written out it's called `syntax`) is similar to the ' f
250.
Beautiful Racket(beautifulracket.com)
225 points by samth 11y ago|53 comments
251.
by samth 11y ago
Note that we've made big improvements in the performance of Typed Racket's generated contracts just since that paper was written, so many things are now better.
252.
by samth 11y ago
That's not quite right. These days Naughty Dog uses a DSL called DC built in Racket to write all the "data" in the game (everything from cut scenes to character attributes). Running DC produces data files shipped on the DVD o
253.
by samth 11y ago
Are you saying that you never hire anyone at all to work on your project, or that you think so little of the community that created the language your project uses that you lie to them about job openings?
254.
by samth 11y ago
Unfortunately, there's no API access to attachments (such as posting them).
255.
Racket v6.4 released(blog.racket-lang.org)
4 points by samth 11y ago|0 comments
256.
by samth 11y ago
No, this isn't what the Wikipedia article says. To quote: In programming languages, closures (also lexical closures or function closures) are a technique for implementing lexically scoped name binding in languages with f
257.
by samth 11y ago
This paper both introduces a method for evaluation, which the paper's authors say is their primary contribution, and then use the method to identify some performance problems in Typed Racket. Fortunately, we've been able to make s
258.
by samth 11y ago
CS postdocs in the US are certainly not paid $30k. Source: I've been a postdoc in CS, and I currently employ postdocs.
259.
by samth 11y ago
We certainly put effort into documentation, distribution, libraries, tooling, etc, and there are many Racket users who will bring up Racket unprompted. It turns out language adoption is hard, though. And far be it from me to encourage you t
260.
by samth 11y ago
I'm one of the core Racket developers, so I also think we're doing pretty well. :) But what you're suggesting requires persuading a large group of developers to adopt a new language -- if you have a recipe for doing that, lot
261.
by samth 11y ago
I'm glad you like Racket, but it's really not the case that what we need is to spend time in a Google product group to make Racket better.
262.
by samth 11y ago
Of course, there's tons of academic research that does all of those things. And I of course agree that too much academic software is "works on my grad students machine"--an enormous amount of my time on Racket is spent on rea
263.
by samth 11y ago
Academic research that unknowingly (or sometimes even knowingly) duplicates secret industry work is much more valuable than this discussion indicates. Sure, it's not valuable _to Google_ for someone to publish things they already know.
264.
Bindings as sets of scopes: Notes on a new model of macro expansion for Racket(cs.utah.edu)
2 points by samth 11y ago|0 comments
265.
Racket v6.3: With a new macro expander, GTK3 support, and more(blog.racket-lang.org)
15 points by samth 11y ago|1 comments
266.
by samth 11y ago
Did you look at the linked book? The first two examples are of a coffee product and a GPS location. Of course real-world code often is bigger than textbook examples, but this complaint is hardly applicable here.
267.
by samth 11y ago
This book is designed to be taught in the second course of a CS curriculum, after students take a functional-first course based on How To Design Programs. You can see the home page of a course taught using this book here: http://
268.
by samth 11y ago
The [Racket gui toolkit]( http://docs.racket-lang.org/gui/ ) is successfully multithreaded, and manages this despite being implemented on top of existing non-multithreaded and non-thread-safe toolkits. It's hard, bu
269.
by samth 11y ago
Typed Racket (due to different integration into the compiler) is much more incremental -- the speed issues in the blog post would be much reduced. The typechecker still isn't as fast as we would like, though, although we have plans to
270.
by samth 11y ago
There is, however, a long article about Marx, and articles about other Marxists. So I don't think your complaint about "embarrassing" subjects is accurate.

More ›