takikawa

8 ms·

1.
by takikawa 13y ago
Pyret has lots of nice ideas, looking forward to see it evolve. That said, the title of this post is a bit misleading so I wanted to correct it. The group of people who develop Racket and Pyret are mostly disjoint. I'm not trying to di
2.
by takikawa 13y ago
> but looking through the docs on typed racket it certainly looks like it adds java-style static typing It's unclear what you mean by "Java-style static typing" then, because the Java type system and Typed Racket's ty
3.
by takikawa 13y ago
Typed Racket definitely doesn't add a "Java-style static typing" system at all. Its type system is quite specifically designed to accommodate the kinds of programming idioms you find in Racket programs (via occurrence typing,
4.
by takikawa 13y ago
> Racket is really very complex thing with many man-decades of research behind it and even where it is being advertised, it looks like a typical "academic" thing. As a fellow Racketeer, I'm curious: what do you think can b
5.
by takikawa 13y ago
It does[1], but it's not necessarily preferred. The whole point of Typed Racket is that you can write your program in (untyped) Racket originally (maybe starting out as a small script), and then add types if you need your program to be
6.
by takikawa 13y ago
I use emacs with evil-mode (very good vim emulation) to program in Racket. The advantage of emacs is that it has paredit, geiser, and other useful plugins.
7.
by takikawa 13y ago
> In contrast, SBCL uses tagless float arrays, so that array operations tend to be cache friendly. This is also the case in Racket. http://docs.racket-lang.org/reference/flonums.html#%28part._...
8.
by takikawa 13y ago
> Last time I tried Racket, there wasn't even a library for JSON. That's changed since then: http://docs.racket-lang.org/json/index.html
9.
by takikawa 13y ago
> and a better abstract model for macros than even Racket's stellar syntax-parse. To clarify a little bit, `syntax-parse` is actually not its own model for macros but is a sophisticated front-end for Racket's underlying macro s
10.
by takikawa 13y ago
I would also look at PLAI (Programming Languages: Application and Interpretation): http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04... It's an excellent free undergraduate-level PL textb
11.
by takikawa 13y ago
A good guide to start out with Racket's macro system is Greg Hendershott's excellent Fear of Macros tutorial: http://www.greghendershott.com/fear-of-macros/
12.
by takikawa 13y ago
> The only thing I really miss from Clojure is the syntactic support for maps and vectors, and the pervasive destructuring of said same. What do you mean by syntactic support for maps and vectors?
13.
by takikawa 13y ago
> and Typed Racket seems to be going nowhere. To the contrary, Typed Racket is under active development and new Racket libraries are written using it. I don't know where you got the impression that it's going nowhere, but it&#x
14.
by takikawa 13y ago
> No email, though (yet). Actually, it does do e-mail. :) https://github.com/mflatt/sirmail Or if you want SMTP/IMAP libraries, you can look here: http://docs.racket-lang.org/net/
15.
by takikawa 14y ago
> (which is not to say that Clojure or Racket are not great languages, but they are missing some of the nicer CL features). Any examples? Just curious.
16.
by takikawa 14y ago
> Who's using this in production? Here are two examples that have been presented at CUFP. The Starfire Optical Range[1, 2] uses it in production, I think as part of the control software for their telescopes. Naughty Dog, a major video g
17.
by takikawa 14y ago
> Now, admittedly, not all the productivity gain is from types. However, they certainly help me, not just in making the code robust but also in writing it in the first place. And typeclasses actually do make the language concretely more
18.
by takikawa 14y ago
> AFAICT there is not a well-understood definition of first-class outside of "first-class functions." Why not just the same notion of "first-class" as functions? In other words, that the feature is actually represented by a run-time val
19.
by takikawa 14y ago
In Racket, any custom data type can be turned into a function by using the `prop:procedure` structure type property. It's usually not done with things like maps and sets because this kind of "punning" is not idiomatic. Being a function is n
20.
by takikawa 14y ago
Re: macros, this is why tool support for macros is important. Many good Lisps come with macro debuggers that let you reason about the macro expansion. A good example is Racket's macro stepper: http://www.ccs.neu.edu/racket/pubs/cf-sp09.pdf
21.
by takikawa 14y ago
That's not a problem though: delimited continuations are more expressive than undelimited ones anyway and often are a more natural way to solve programming problems.
22.
by takikawa 14y ago
Probably the best way to learn what an evaluation context is to read the book you've linked to there. Alternatively, it's basically what the Racket reference section on the evaluation model calls a "continuation": http://docs.racket-lang.o
23.
by takikawa 14y ago
The title is misleading since the blog author admits to not having tried Racket recently. IMHO, Racket fixes the author's key complaint about documentation by having a Guide (separate from Reference) with many examples: http://docs.racket-
24.
by takikawa 14y ago
I think you'd be interested in Bootstrap World, which is basically what you described: http://www.bootstrapworld.org/
25.
by takikawa 14y ago
There are two features that take advantage of hardware parallelism: futures & places, which work at different granularities. You can find the guide entry on them here: http://docs.racket-lang.org/guide/performance.html#(part._ef... Th
26.
by takikawa 14y ago
Yes, it does. The JIT compiler doesn't work on ARM, but otherwise it's fine. This blog post explains how one person got Racket on an Android phone w/ARM: http://www.wedesoft.de/racket-on-android.html
27.
by takikawa 14y ago
Last year, someone from Naughty Dog gave a talk at CUFP about using Racket: http://cufp.org/conference/sessions/2011/functional-mzscheme...
28.
by takikawa 14y ago
There are a few tutorials in the docs too, such as the More[1] tutorial. I agree that it could be nice to have "Racket for X programmers" guides. If you get stuck, the community on IRC at #racket on Freenode is friendly & active and so
29.
by takikawa 14y ago
The easiest way to use SICP with Racket is to use the sicp.plt package on the package repository: http://planet.racket-lang.org/package-source/neil/sicp.plt/1...