Re: [racket-users] Using Greek Letters

Oh I got it, it should be " \theta " and then " Alt + \ ". Thank you sirs. 2018-04-18 17:22 GMT-03:00 Robby Findler : > On a Mac, it is control-\. On other platforms it is something else. Check > in edit|show active keybindings. Search for "Tex". > > Robby > > On

Re: [racket-users] Using Greek Letters

On a Mac, it is control-\. On other platforms it is something else. Check in edit|show active keybindings. Search for "Tex". Robby On Wed, Apr 18, 2018 at 3:19 PM wrote: > Hey Philip, thanks. > > I don't get it yet, I type " \theta " and then when I type " Ctrl + \ " I >

Re: [racket-users] Using Greek Letters

Hey Philip, thanks. I don't get it yet, I type " \theta " and then when I type " Ctrl + \ " I get a Lamba symbol: " λ " ending with " \thetaλ " and nothing happens. I really would like to be able to type it instead of copying pasting, cause you know. Em quarta-feira, 18 de abril de 2018

[racket-users] Re: Refinement Type, Type Check Error

Hi Ray, Thanks for the report and insight into refinement type usage "in the wild"! =) It looks like this particular program type checks if you add `#:with-refinements` to the #lang line at the top of the file. i.e., make the first line `#:lang typed/racket #:with-refinements` I would

Re: [racket-users] Using Greek Letters

(Forgot to reply all …) Assuming what you are referring to is the "LaTeX and TeX inspired keybindings" for DrRacket (https://docs.racket-lang.org/ drracket/Keyboard_Shortcuts.html#%28part._.La.Te.X_and_. Te.X_inspired_keybindings%29), you can insert the character "θ" by typing "\theta", then,

[racket-users] On Richard P. Gabriel’s “The Structure of a Programming Language Revolution”

Hello all, I have a rather different sort of question to ask about from my usual fare. A month or two ago, I read an essay written by Richard P. Gabriel and published at Onward! 2012 called “The Structure of a Programming Language Revolution”. The essay itself is available here to those

[racket-users] Using Greek Letters

I saw the oficial Racket list of all the LaTeX thing and made some research, but I don't get it. Can someone please explain me how to digite the greek letter Theta for example? And how to use it as the mathematical Theta function if that's possible? Thank you a lot in advance! -- You

[racket-users] Refinement Type, Type Check Error

I'm receiving a type check error when I use a moderately complex predicate, in a Refinement type, where in the same use case a simple predicate works fine. I think it might be a bug. The gist has a working example, followed by the error example.

Re: [racket-users] announcement: racket-peg release 0.2

On 2018-04-14 16:57, David Storrs wrote: Sounds interesting. Is there any documentation on it aside from the README? Yes, It's documented here http://docs.racket-lang.org/peg/index.html and the examples in the repo should be a good resource for using the library too. Don't hesitate to

Re: [racket-users] Is it possible to pass syntax information from bottom up?

Matthias, Thank you for the reference. It turns out that I should have looked into local-expand rather than expand-syntax. Out of the two options (inserting type info into syntax or keeping it in the syntax-property) I chose the latter, because I like thinking of them as properties rather than

Re: [racket-users] announcement: racket-peg release 0.2

Sounds interesting. Is there any documentation on it aside from the README? On Fri, Apr 13, 2018 at 1:26 PM, wrote: > hello! > > I have created a PEG parser library for racket. It's basically regex turned > up to 11. > It lets you write parsers like this: > > (define-peg

Re: [racket-users] Is it possible to pass syntax information from bottom up?

Here's a version of your program that performs as you specified: http://pasterack.org/pastes/91460 But do take a look at the paper, docs [1], or codebase [2], which turns this idea into complete languages. [1]: http://docs.racket-lang.org/turnstile/index.html [2]:

Re: [racket-users] How to obtain the public IP of the sender of an HTTP request?

Wow. Thanks, Greg, that's really helpful. This is what I love about this list -- ask a simple question and you get the answer and also a lot of useful related information from experienced people. On Wed, Apr 18, 2018 at 8:37 AM, Greg Hendershott wrote: >> PS if

Re: [racket-users] Is it possible to pass syntax information from bottom up?

You want to look at Stephen's Turnstile, a DSL for making typed DSLs and macros. Like all type systems, this is exactly what it does. Here is the link to the paper: https://www2.ccs.neu.edu/racket/pubs/#popl17-ckg It obscures what you need, which is a combination of local-expand,

[racket-users] Is it possible to pass syntax information from bottom up?

Hello, I am looking for an advice on how to write a macro that is aware of the information extracted from syntax objects from another macro that is called "inside" the first one. For instance, let it be the (this) macro that detects if its argument is an integer or float, and let it be the

Re: [racket-users] How to obtain the public IP of the sender of an HTTP request?

> PS if you're running the Racket web server as a proxy behind Apache, then > `request-client-ip` will always be the localhost IP. However, Apache stores > the original request IP in special header called X-Forwarded-For [1] which > can be retrieved like so: Same header with nginx or AWS ELB