shriramkmurthi

16 ms·

31.
by shriramkmurthi 12y ago
The static type system is under development, but it will never be _required_.
32.
by shriramkmurthi 12y ago
In addition to @noelwelsh's reply, I want to add that we are very much working on a type system (we have a working internal prototype). We are also working on a very different kind of type inference, unlike Hindley-Milner. For us, it&#
33.
by shriramkmurthi 12y ago
That is indeed our point. Thanks for explaining it!
34.
by shriramkmurthi 12y ago
Sure. In general there are lots of examples that illustrate the ugliness of using floating points _unnecessarily_.
35.
by shriramkmurthi 12y ago
Precisely!
36.
by shriramkmurthi 12y ago
The difference between you and me is that I've seen enough different notions of object (and defined some of my own) that I don't believe there is any such definition. In class I discuss why, but it's difficult to transcribe s
37.
by shriramkmurthi 12y ago
With PLAI 1/e, I did something much simpler. I made a pay version of the PDF available, making clear it was also available for free, so people would only be buying it to reward the author. I'm pleased to say some number of people
38.
by shriramkmurthi 12y ago
Sorry about the confusion. Looks like you've already found https://code.pyret.org/editor (but the link is here for the information of others). You can run programs by typing them in the interactions area (a.k.a. REPL),
39.
by shriramkmurthi 12y ago
You seem tied up to all the happiness in my life. Come by and visit sometime -- I owe you lunch. (-:
40.
by shriramkmurthi 12y ago
Aaah, YOU are responsible! Well, then I should publicly thank you for notifying me about that. It was a great addition.
41.
by shriramkmurthi 12y ago
Yep, it's written in Scribble [ http://docs.racket-lang.org/scribble/ ]. Which is magical for writing substantial documents. You notice the build time for your book has crept up to 30 seconds because you've for
42.
by shriramkmurthi 12y ago
Diving into the middle of a large and complex document and extrapolating from that is always a dangerous venture. The style of the book is to gradually reveal things as it goes along, often even starting with incorrect statements, because w
43.
by shriramkmurthi 12y ago
Doesn't mean it's not true. There is now hard-core industrial use growing, which has never quite been true in the past two decades. Not to mention, mainstream languages have mostly all now accepted the starting premise of FP (clos
44.
by shriramkmurthi 12y ago
> Wasn't HtDP written to address issues in SICP ? completely or partially ? Absolutely. (Though that wording suggests a stronger causal link than was really present. It was written to address a need, a need that happened to not be a
45.
by shriramkmurthi 12y ago
SICP and HtDP are two very different books that have the unfortunate feature of using somewhat similar languages (which are syntactically very similar, hence causing the confusion). I was recently re-reading SICP, and was amazed by how clev
46.
by shriramkmurthi 12y ago
You should read the chapter. Apparently even Alan Kay doesn't quite agree with your view. Also please note that I did not offer this as a _definition_. What I wrote, quite carefully, was: “pretty much the only thing everyone who talks
47.
by shriramkmurthi 12y ago
No, it doesn't. There is a _lot_ of detail to the design recipe of HtDP. Right now the recipe isn't written down at all, just assumed, in PAPL. Over time PAPL will provide a light introduction to the recipe, but it will never repr
48.
by shriramkmurthi 12y ago
Thanks for your comments; criticism is always welcome! And for your kind words about Pyret, though I actually find parenthetical syntax a bit easier to write. It's still taking me some effort to get used to the irregularities of non-pa
49.
by shriramkmurthi 12y ago
By the way, you've summed up Pyret quite nicely (-:, though it is more than just that sum (with more goodies on the way).
50.
by shriramkmurthi 12y ago
@taeric, by "the book" do you mean SICP or HtDP? HtDP was used for a few years at Georgia Tech, and then that stopped. There are various views on why. (-:
51.
by shriramkmurthi 12y ago
PLAI's license is CC BY-NC-SA (3.0 US). I have not yet decided for sure with PAPL. At any rate, I'm committed to having a full copy of the book available for free to all, as is also true of HtDP (we were one of the pioneers in thi
52.
by shriramkmurthi 12y ago
With all due respect to @pgbovine, it is intended as a spiritual successor to both, but is also its own thing. It is being built atop the design methodology of HtDP, which SICP sorely lacks. It has some topical overlap with SICP. But it has
53.
by shriramkmurthi 12y ago
The paper's premise is a broad one. Its authors are hard-core functional programmers, but believe that eventually students have to learn something beyond just pure FP. Too often, introductory curricula are designed with a "screw w
54.
by shriramkmurthi 12y ago
It's a comment based on our view of the historical record, having been present during the rise and fall of SICP. It is not a formal evidence-based claim.
55.
by shriramkmurthi 12y ago
What @pgbovine said. (-:
56.
by shriramkmurthi 12y ago
PLAI is almost completely subsumed into PAPL. With each revision, though, the PLAI material gets reorganized and distributed across PAPL, so at some point it will no longer be an identifiable subset. The idea is that programming inspires ne
57.
by shriramkmurthi 12y ago
Just because you can algorithmically desugar doesn't mean you can invert that transformation. The property you're looking for is invertibility, not idempotence (which neither follows nor is relevant), and it doesn't follow. A
58.
by shriramkmurthi 12y ago
1. Then you haven't seen very much sugar. Take a look at the transformations used in Racket, for instance. Entire parts of the language that would be built into other languages are seamlessly expressed through extremely sophisticated s
59.
by shriramkmurthi 12y ago
It doesn't matter what you _need_: my point is you can't _have_ one in the general case. As for your 80% and non-TC solutions, see my other response ( https://news.ycombinator.com/item?id=8294806 ). Maybe you'v
60.
by shriramkmurthi 12y ago
I'm not actually unclear on the meaning of these words. There happen to be multiple possible interpretations of what the OP wrote, some demanding problematic things and others impossible ones. As I said in my reply to @JadeNB, we have

More ›