skrishnamurthi

7 ms·

31.
by skrishnamurthi 4y ago
That's a lovely way to put it.
32.
by skrishnamurthi 4y ago
SICP is mainly a book about how to structure systems. It also tells you how languages work, but in far less detail. PLAI (this book) teaches you how languages work. It also tells you a bit about how to structure systems, but that is not its
33.
by skrishnamurthi 4y ago
I'm afraid I don't really understand this question. I am interpreting it as, "Why is the author giving it away for free instead of charging money for it". If that is not what you meant to ask, sorry! Anyway, if that is
34.
by skrishnamurthi 4y ago
See https://cs.brown.edu/courses/csci1730/2022/assignments.html
35.
by skrishnamurthi 4y ago
If you look at the book, you'll see that is not what it does, and for this reason.
36.
by skrishnamurthi 4y ago
To be accurate, Pyret is a collaboration (primarily) with Joe Politz and Ben Lerner and they deserve most of the credit for it.
37.
by skrishnamurthi 4y ago
Unfortunately, all the follow-up work I know of has been done only by us (the same group of authors). Still waiting for others to pick it up! (-:
38.
by skrishnamurthi 4y ago
More like soundness and completeness. We're comparing two different systems, the executable examples versus the ground truth. Soundness and completeness are statements of comparison between two systems. Whereas consistency means that t
39.
by skrishnamurthi 4y ago
Thanks for the clarification.
40.
by skrishnamurthi 4y ago
Racket's student languages are "mostly an educational tool" and designed to be a "first language". Racket, the whole language, is a large, batteries-included, industrial-strength system. It is not less or more pow
41.
by skrishnamurthi 4y ago
But the question was not "what is the best way to learn computation", it was for the best way to learn Racket .
42.
by skrishnamurthi 4y ago
Sorry, I have no idea what you mean. DrRacket is a binary you download and run on your desktop. What parts of Racket are "cower[ing] behind Cloudflare"?
43.
by skrishnamurthi 4y ago
See the presentations at the annual RacketCon's. That gives you a sense of some of the industrial uses.
44.
by skrishnamurthi 4y ago
The third edition will be a while coming, though. I'm driving the third edition a lot more from computing education research that we are doing, and that research is informing a lot about the design and even the approach.
45.
by skrishnamurthi 4y ago
Yeah, it's definitely not for beginners. It assumes you have a fairly good understanding of programming, and now care to make sense out of languages .
46.
by skrishnamurthi 4y ago
We created a MOOC version of it that is archived here, for anyone who wants to follow it: https://cs.brown.edu/courses/cs173/2012/OnLine/
47.
by skrishnamurthi 5y ago
Because we didn't want to limit people's thinking to current type systems. In my experience, people who have only been exposed to rather weak type systems tend to have strong (negative) beliefs about what types supposedly can and
48.
by skrishnamurthi 5y ago
We spent a long time on the choice. But it was really important in this setting to avoid the word "type", and sort is a technically correct term too — e.g., as used in many-sorted logics [ https://en.wikipedia.org&#x2F
49.
by skrishnamurthi 5y ago
Thank you for these. I didn't think anyone would read it, but since I've been proven wrong, I actually ran a spell-checker. (-: Wouldn't have (and didn't) catch the first typo, though!
50.
by skrishnamurthi 5y ago
You have to also take into account the cost of living. I've lived in Zürich. It was almost literally twice what it costs me to live in New England, which is one of the most expensive parts of the US. So that 2x stipend will not get you
51.
by skrishnamurthi 5y ago
Endowments don't pay for PhD students. Students are largely paid out of grant funding.
52.
by skrishnamurthi 5y ago
No, students do not pay to get a PhD in CS. It's literally in the FAQ you're commenting on. You'd know that if you read it.
53.
by skrishnamurthi 5y ago
But if you write instead a := b+c * d you aren't going to get an error. You're just going to get awfully surprising behavior, because you may think you were expressing one precedence with the spaces but the language has its
54.
by skrishnamurthi 5y ago
It doesn't read fluidly. We care a lot about how our programs are verbalized. We were well aware of the Haskell use, but most of our users have not seen or even heard of Haskell before. So that's not a real problem here. People wh
55.
by skrishnamurthi 5y ago
It's been working great, actually. https://news.ycombinator.com/item?id=28265117
56.
by skrishnamurthi 5y ago
I understand where you're coming from. Feedback and engagement noted and appreciated. But I stand by my remarks from 2013 in 2021. I've now had well over 1000 students go through Pyret (in addition to tens of thousands elsewhere).
57.
by skrishnamurthi 5y ago
Because `def` suggests there is only one kind of thing we're defining (functions), when we could be defining any number of things: functions, type aliases, algebraic datatypes, tests, etc. So we use `fun` for functions, and different k
58.
by skrishnamurthi 5y ago
You should try it and see what it does when you force it to use floats. You may find it interesting in light of your "leaky abstraction" comment. Pyret is designed precisely to make that point clear.
59.
by skrishnamurthi 5y ago
Partial, not as full as Scheme.
60.
by skrishnamurthi 5y ago
They are indeed checked at compile-time if you use the optional type checker. It's not on by default because there are still a few odd corner-case bugs in it. But the Run button remembers which state you are in, so once you switch to u

More ›