Re: [racket-users] Rosette variable definitions from an s-expression (I'm new to Rosette)

The recommended way is to write an interpreter to interpret your s-exp. E.g., #lang rosette (define vars (make-hash)) (define (lookup v) (hash-ref! vars v (λ () (define-symbolic* a-var integer?) a-var))) (define (interp e) (match e [(? symbol?

[racket-users] Rosette variable definitions from an s-expression (I'm new to Rosette)

I'm hoping there are readers of this list who are familiar with Rosette , or could at least suggest a better place for me to ask such questions. I'm trying to use Rosette for some symbolic code simplification, and I'd like to be

Re: [racket-users] Differences between execution in DrRacket and Command Line

On Fri, Jul 2, 2021 at 10:25 AM Rhazes Spell wrote: > > Hello- > I have been using Racket for about 18 months for personal projects and > teaching. I have been doing all of my work in DrRacket but I wanted to > interact with a module that I wrote on the interactive command line this > morning.

Re: [racket-users] How to set type signature for recursive lazy list

On 7/11/21, Kiong-Gē Liāu wrote: > Hi, in non-typed racket, I can define a generalized Fibonacci sequence > > X[n+k] = f(X[n], X[n+1], , X[n+k-1]) > > using the following code > > #lang racket > > (require racket/stream) > > (define (gfib f xs) > (define (gfib_t xs) > (stream-cons

Re: [racket-users] How to set type signature for recursive lazy list

On Sun, Jul 11, 2021 at 8:15 PM Kiong-Gē Liāu wrote: > > Hi, in non-typed racket, I can define a generalized Fibonacci sequence > > X[n+k] = f(X[n], X[n+1], , X[n+k-1]) > > using the following code > > #lang racket > > (require racket/stream) > > (define (gfib f xs) > (define (gfib_t xs) >