Re: [racket-users] function to recreate source string from syntax object?

On Jun 11, 2016, at 8:39 PM, Alex Knauth wrote: > > The syntax->string function from syntax/to-string formats a syntax object > with its whitespace and indentation, but doesn't look at the paren-shapes: Ah yes, thank you — I was so close. I think probably it should

Re: [racket-users] Potential small bugs on SEwPR

On Mon, Jun 6, 2016 at 8:15 AM, wrote: > Finally, I'd like to take the opportunity to ask a question: > > The book says that, by default, Redex typesets meta-functions in > small-caps. But, on my tests, running the latest version of Redex, I see > proportional sans-serif

Re: [racket-users] function to recreate source string from syntax object?

> On Jun 11, 2016, at 10:26 PM, Matthew Butterick wrote: > > This seems like something that has been done before, but I'm not sure where > to look for it: > > I need something like `syntax->datum` — call it `syntax->source` — that uses > the source locations and 'paren-shape

Re: [racket-users] Learning by doing Typed Racket

Next example. In Racket: > (sort '((a 45) (b 13) (c 12) (d 16) (e 9) (f 5)) < #:key second) '((f 5) (e 9) (c 12) (b 13) (d 16) (a 45)) In Typed Racket I couldn't get a version using #:key to type-check. Pulling second into a comparison function works: > (sort '((a 45) (b 13) (c 12) (d 16) (e

Re: [racket-users] function to recreate source string from syntax object?

> On Jun 11, 2016, at 10:26 PM, Matthew Butterick wrote: > > This seems like something that has been done before, but I'm not sure where > to look for it: > > I need something like `syntax->datum` — call it `syntax->source` — that uses > the source locations and 'paren-shape

Re: [racket-users] Potential small bugs on SEwPR

> On Jun 6, 2016, at 9:15 AM, lfacc...@jhu.edu wrote: > > 1. On Section 14.4, The CK Machine, on page 243, there is a reference to > /part I(6.4)/, mentioning the specification for the CK Machine: "Comparing > the Redex specification with the specification in part I(6.4)". > > But I

Re: [racket-users] interactive window in slideshow

Just updated to 6.5 on Ubuntu, but I can't get a control to focus. My issue is similar to http://lists.racket-lang.org/users/archive/2011-May/045317.html, I have a dialog with a choice% in it, and no matter when or how I (send choice focus), the choice will never focus without me having to type

Re: [racket-users] Learning by doing Typed Racket

Ah, okay. Well maybe try the Haskell or OCaml versions of the 99 problems? https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems https://ocaml.org/learn/tutorials/99problems.html On Sat, Jun 11, 2016 at 3:28 AM, Daniel Prager wrote: > Hi Ben > > I wrote: > >>

Re: [racket-users] Learning by doing Typed Racket

On Sat, Jun 11, 2016 at 12:46 AM, Daniel Prager wrote: > Do you have an alternative recommendation in mind? I guess you already solved this one, but for later it might help to avoid macros. -- You received this message because you are subscribed to the Google

Re: [racket-users] Learning by doing Typed Racket

Ok, it took me a while to see how to eliminate the apply: (define-syntax-rule (table (a ...) body) (for/list : (Listof (Listof Boolean)) ([b : (Listof Boolean) (boolean-tuple (length '(a ...)))]) (match-define (list a ...) b) (append b (list ((λ ([a : Boolean] ...) : Boolean