Re: [racket-users] First class compound datatypes that can Racket

2019-05-22 Thread Greg Hendershott
Apparently I was too specific and pragmatic. Let me try the opposite: Maybe more general than you want. :) After spending some years with Racket, I've noticed certain things are very popular targets of extension or customization. One is `define`. Another is `struct`. The catch is, these various

Re: [racket-users] First class compound datatypes that can Racket

2019-05-22 Thread zeRusski
> > p.s. While you "have the hood open", you might also want to do something > similar for `prop:procedure`? > I would agree that it is A solution to this particular problem with this particular prop. The "passthrough" of some form or other works well and is always open to me as the language m

[racket-users] Re: chez-runner plugin

2019-05-22 Thread francesco bennardo
Thank you very much friend Paulo. I think you are right. Maybe really it is an experiment. Eventually, if you have some news about, please let me know at fbenn...@libero.it. Thank you again and a nice day for you. Il giorno mercoledì 22 maggio 2019 15:34:31 UTC+2, francesco bennardo ha scritto

Re: [racket-users] Re: chez-runner plugin

2019-05-22 Thread 'Paulo Matos' via Racket Users
On 22/05/2019 18:00, francesco bennardo wrote: > > > Il giorno mercoledì 22 maggio 2019 15:34:31 UTC+2, francesco bennardo ha > scritto: > > Someone knows home to use the "chez-runner" plugin? I've installed > it but do not works. > > > I use Racket yes, but I use chez scheme too.  

Re: [racket-users] What is the difference between foo/c and foo? when creating contracts?

2019-05-22 Thread David Storrs
Great, thanks. I clearly need to add the section on contracts to my re-read list. I thought I understood them, but apparently there are still bits that I'm missing. On Wed, May 22, 2019 at 1:23 PM Alexis King wrote: > Your intuition is right, but let me make it more precise: foo? is used > whe

Re: [racket-users] First class compound datatypes that can Racket

2019-05-22 Thread Greg Hendershott
Just spitballing here, trying to start with "what's the simplest possible thing that could work?": You could let the user flag a field as the event. I don't know your surface syntax, but maybe using an `#:as-evt` keyword would be OK? You could link/refer the user to the `prop:evt` docs, or, copyp

Re: [racket-users] What is the difference between foo/c and foo? when creating contracts?

2019-05-22 Thread Alexis King
Your intuition is right, but let me make it more precise: foo? is used when something is a flat contract, and foo/c is used otherwise. Flat contracts only check first order properties of values, which is a technical term that captures what you mean by “general nature.” The important distinction

Re: [racket-users] What is the difference between foo/c and foo? when creating contracts?

2019-05-22 Thread Alexis King
Your intuition is right, but let me make it more precise: foo? is used when something is a flat contract, and foo/c is used otherwise. Flat contracts only check first order properties of values, which is a technical term that captures what you mean by “general nature.” The important distinction

[racket-users] What is the difference between foo/c and foo? when creating contracts?

2019-05-22 Thread David Storrs
Is the idea that foo/c is used only when it will specify structure (e.g. (hash/c any/c symbol?)) whereas foo? is used to check that a thing has a general nature? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and

[racket-users] Re: chez-runner plugin

2019-05-22 Thread francesco bennardo
Il giorno mercoledì 22 maggio 2019 15:34:31 UTC+2, francesco bennardo ha scritto: > > Someone knows home to use the "chez-runner" plugin? I've installed it but > do not works. > I use Racket yes, but I use chez scheme too. Anyway they are different. I want to use both. If I do not put #lang

Re: [racket-users] chez-runner plugin

2019-05-22 Thread Matthias Felleisen
Off topic. ~~ It is ironic how 23 years after we started out and had an option for DrRacket, née DrScheme, to run its programs in Chez instead Mz .. and now we’re getting back to that :) > On May 22, 2019, at 11:10 AM, 'Paulo Matos' via Racket Users > wrote: > > Hi, > > It seems you ar

Re: [racket-users] Re: chez-runner plugin

2019-05-22 Thread 'Paulo Matos' via Racket Users
I am talking without running it or even having used that plugin but it looks like it's passing the definitions you have in your window but Chez doesn't know `#l` in line one. I imagine you have something like `#lang racket`? Why not just use Racket then? Also, are you sure you want to run Chez lik

[racket-users] Re: chez-runner plugin

2019-05-22 Thread francesco bennardo
Hello Paulo, thank you for your help. I have the button "Run Chez". I've already installed it. When I press the button I get this error: Exception in read: invalid sharp-sign prefix #l at line 1, char 1 of C:\Users\Francis\AppData\Local\Temp\chezscheme_temp_file15585396541558539654360. I start

[racket-users] First class compound datatypes that can Racket

2019-05-22 Thread zeRusski
This would probably sound like rambling but that's only because I am struggling a little bit. I implemented a little language that offers its own compound data type: first class and users can extend it in various ways. Naturally, it is implemented as a Racket struct. As I started using the langua

Re: [racket-users] chez-runner plugin

2019-05-22 Thread 'Paulo Matos' via Racket Users
Hi, It seems you are referring to this DrRacket plugin: https://github.com/Syntacticlosure/chez-runner Optimally Syntacticlosure should be able to help a lot more than I can and if what I say doesn't make sense, I suggest you open an issue with your question at : https://github.com/Syntacticlosur

[racket-users] chez-runner plugin

2019-05-22 Thread francesco bennardo
Someone knows home to use the "chez-runner" plugin? I've installed it but do not works. -- 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...