samth

17 ms·

151.
by samth 7y ago
"Until event X, doing <thing that X demonstrated was bad> was not considered controversial" is an explanation of behavior, but not really a defense.
152.
by samth 7y ago
Like many with a background in programming languages and their implementations, the idea that safe languages enforce a proper abstraction boundary, not allowing well-typed programs to read arbitrary memory, has been a guarantee upon which
153.
by samth 8y ago
Interesting. I really like the Beyond Burger (and their sausage) but the one time I had the Impossible Burger, it tasted like a pretty generic veggie burger. Maybe the restaurant ran out and substituted.
154.
by samth 8y ago
Certainly, as in almost every JIT I know of, there are limits on which things get optimized in certain ways, which may be what you saw.
155.
by samth 8y ago
I'm not sure what you mean about a maximum of 3 arguments, but the Racket JIT runs on all functions no matter how many arguments they take.
156.
by samth 8y ago
There was indeed a bug fix to the actual Racket implementation, but in extremely hard-to-find corner cases, which was why it was only found via model-driven random testing.
157.
by samth 8y ago
> Most recent example: I participated in Advent of Code this year, and there was almost never a Racket solution posted that wasn't ten times slower (and in my opinion harder to read) than the simple & idiomatic Python solution.
158.
by samth 8y ago
Yes, pycket now uses significant parts of the code developed as part of Racket-on-Chez, and it's helped us implement lots more of the full system.
159.
by samth 8y ago
`#lang br` is a pretty thin wrapper around the regular Racket tools. And you can use any of the tools with the rest of Racket. For example, in my course which taught building languages with Racket this year, we used the `brag` library that
160.
by samth 8y ago
Source code here: https://gist.github.com/92ed7836508fe15b1e58f840a8d3a534
161.
by samth 8y ago
Performance varies a lot in Racket-on-Chez. For some programs, such as tight loops over simple data, Chez provides a lot of the same benefit as Pycket, but Pycket is often still faster. Here's a simple loop that sums numbers from 1 to
162.
by samth 8y ago
The article is, roughly, about a geologist who studies exactly forams and disagrees.
163.
by samth 8y ago
Yes, this is correct. The recent explosion of work on gradual typing (including Typed Racket) was enabled by the development of contracts.
164.
by samth 8y ago
This is accurate about the US -- in Europe things are quite different. Haskell is regularly taught in first programming courses in the UK, for example, and OCaml is very widely taught in France.
165.
by samth 8y ago
This is somewhat related, but you mention the transition to GitHub Apps in your blog post. For those of us already using Travis via GitHub Services, what's the right way to transition to GitHub Apps?
166.
The Racket School 2018: Create your own language(summer-school.racket-lang.org)
3 points by samth 9y ago|0 comments
167.
by samth 9y ago
Are you thinking of the print edition? Both books are typeset using TeX, and both are printed by MIT press, so this is a pretty surprising claim.
168.
by samth 9y ago
I teach using HtDP, so my opinions are unsurprising here, but this is very wrong. The central ideas in the book are about data-driven design, specifications, systematic design of correct programs, and abstraction of all kinds. These are fun
169.
by samth 9y ago
You put in in a `lang` subdirectory (so `my-lang/lang/reader.rkt`).
170.
A Programmable Programming Language(cacm.acm.org)
283 points by samth 9y ago|114 comments
171.
by samth 9y ago
Note that the Chez startup time isn't that good, and even the current Racket startup time is not great (node is still maybe 5x faster to start up). We'd really like to improve this as well, but it's hard if you don't wan
172.
by samth 9y ago
The license doesn't have anything to do with the behavior of `raco`.
173.
by samth 9y ago
The answer to your question is the entire point of the blog post, which was written by Guy Steele, who worked on the original design of Java.
174.
Glossolalia – A Word Generating Language(robertkleffner.github.io)
1 points by samth 9y ago|0 comments
175.
by samth 9y ago
This isn't quite right -- the parts where you can encode SAT and the parts where we model the numeric tower aren't the same parts. But the broader reason is accurate -- there are a lot of cases, and we model precisely by listing o
176.
by samth 9y ago
It doesn't bypass safety -- all code that's actually run is typechecked. It's just that we don't enforce anything about the macro itself, so the macro might error or produce code that results in a type error.
177.
by samth 9y ago
This talk is right that effect systems aren't popular yet, except the way Haskell does them. But it's wrong about the trajectory of languages. Right now is the best time to be interested in using cutting edge languages in practice
178.
by samth 9y ago
The original developers include Thierry Coquand. Also there's a tradition of naming theorem provers after birds (that might have started with Coq though). But they definitely knew that this pun was there.
179.
by samth 9y ago
While we spent a lot of time on it, I don't think the failures of Fortress were about the time spent on notation. (Source: I wrote the first parser for Fortress, as well as the first type checker and interpreter.)
180.
by samth 9y ago
The web server doesn't really use the object-oriented features. OO is mostly used in the Racket standard library for the GUI, where it models existing single-inheritance GUI libraries.

More ›