[racket-users] Re: [Shameless self-promotion] Articles about programming-language theory for working programmers in Racket

2017-04-17 Thread lfacchi2
Hi Alexander, Thank you for the nice words, neighbor  -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more

Re: [racket-users] Request for comments: An embedded DSL for CSS in Racket

2016-10-29 Thread lfacchi2
> I'd be interested in trying a working prototype. It's hard to evaluate the > wisdom of the technical choices without enjoying the benefits of the new > interface. Thank you for your interest. The implementation needs some fixes that I expect to finish by the end of the week that starts

Re: [racket-users] Request for comments: An embedded DSL for CSS in Racket

2016-10-28 Thread lfacchi2
> I just meant: it's an approach that has worked before. "Better"? That's for > you to decide. Alright :) Regarding the syntax of the DSL, I was intentionally vague about it in the original post because I wanted to focus on the technical choices I made. But let me expand on it a bit the means of

[racket-users] Re: Request for comments: An embedded DSL for CSS in Racket

2016-10-28 Thread lfacchi2
Hi, all. Greg Trzeciak: I did not know about Garden, thank you for the reference. In particular, I liked the way he talks about decoupling selectors and declarations. It is something I have been doing in my CSS for a long time: previously with SASS mixins, now with my library and calls to Racket

[racket-users] Request for comments: An embedded DSL for CSS in Racket

2016-10-27 Thread lfacchi2
Hi, all. I am working on an embedded DSL for CSS in Racket. I want to get feedback from the community regarding the project’s goals and my choice of tools for implementing it. LANGUAGE I want to use Racket to generate CSS for me. I am not interested in a “#lang” language, but in a DSL that

[racket-users] Potential small bugs on SEwPR

2016-06-06 Thread lfacchi2
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 believe /part I(6.4)/ is about the CEK Machine. The CK Machine is the

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Thanks for adding the entry to the errata. It was fun finding the bug in my version: I forgot to /unfreeze/ (call) the function that represents the branches of the `if' statement. I used DrRacket's visual tools—the stepper, the tracer and the debugger—to figure the issue. Not only that, but I

Re: [racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Thanks for the blazing fast response and for clarifying it for me. Also, thanks for acknowledgment; my name is Leandro Facchinetti. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from

[racket-users] Possible bug in SEwPR, Exercise 15.1

2016-06-01 Thread lfacchi2
Hi, all, and authors of SEwPR in particular. I believe Exercise 15.1 has the following problems: 1. The function passed to the Y combinator should have an parameter before `x' called `tri'. 2. `ifz' is not a construct in ISWIM as presented in the previous chapters. I could extend the

[racket-users] Question about type annotations in `define' form

2016-04-25 Thread lfacchi2
Hi, all. Why does the following typecheck: #lang typed/racket (provide group) (define #:forall (A) (group [list : (Listof A)] [count : Exact-Positive-Integer]) : (Listof (Listof A)) (: group-step (All (A) ((Listof A) (Listof A) (Listof (Listof A)) ->