[racket-users] Re: Redex: making a #lang with native lambda, app, etc.

I'm a novice too, but here's my attempt to help. > I'd like to use (define-syntax) to make lambda, #%app, etc. all expand > into terms in my model. > This works for me. Is this what you want? #lang racket/base (require redex) (define-language L (term ::= (TermLambda var term)

[racket-users] Redex: making a #lang with native lambda, app, etc.

I've got a model for a language I'm working on in PLT Redex, but it's auto-generated by another tool (Ott). Because of this, the syntax comes out in somewhat obfuscated format: (define-language L (term ::= (TermLambda var term) var (TermApp term term) ) I've found

Re: [racket-users] Escaping strings for the shell

In a normal command line I would put single quotes around that and it would be fine, or backwhack the /. Unfortunately, Racket disliked both of those solutions, hence the problem. That seems strange, if you're on a Unix like GNU/Linux or a BSD.  I might be misunderstanding, or maybe Racket

[racket-users] Re: pie: dancing around 'U does not have a type'

Hi John, Den søn. 30. dec. 2018 kl. 23.39 skrev John Clements : > I’m having a great deal of fun working through The Little Typer. I’ve run > into a problem that I’m sure has a simple solution, but I don’t know what it > is. To understand my question, let me first give a simple example.

Re: [racket-users] make-output-port events

Hi Curtis, At Fri, 28 Dec 2018 21:22:16 -0500, Curtis Dutton wrote: > I'm trying to create an output port that wraps a set of foreign interface > functions. > > The ffi has a bytes_writable function which tells how many bytes can be > written as well as a write_bytes function that does the