Re: [racket-users] Typed Racket and struct

On 2015-11-20 16:02:32 +, Antonio Menezes Leitao wrote: >That would be great! >I don't mind testing it on a snapshot build. Just so you know, the pre-release version of TR's struct should now support this option:

Re: [racket-users] Typed Racket and struct

Hi, On Thu, Nov 19, 2015 at 8:29 PM, Asumu Takikawa wrote: > On 2015-11-19 09:11:08 +, Antonio Menezes Leitao wrote: > >So, my questions are: > >1. Are there any plans to support #:constructor-name in Typed Racket? > > I haven't tried to implement support for it,

Re: [racket-users] Typed Racket and struct

Hi, On Fri, Nov 20, 2015 at 1:59 AM, WarGrey Gyoudmon Ju wrote: > > > On Fri, Nov 20, 2015 at 3:27 AM, Antonio Menezes Leitao < > antonio.menezes.lei...@ist.utl.pt> wrote: > >> Hi, >> >> On Thu, Nov 19, 2015 at 11:36 AM, WarGrey Gyoudmon Ju < >> juzhenli...@gmail.com>

Re: [racket-users] Typed Racket and struct

On 2015-11-20 16:02:32 +, Antonio Menezes Leitao wrote: >That would be great! >I don't mind testing it on a snapshot build. I created an issue for it on the TR repo so you can follow that for progress: https://github.com/racket/typed-racket/issues/253 Cheers, Asumu -- You

[racket-users] Typed Racket and struct

Hi, I've been using Typed Racket in the last few months and it has been an interesting experience. However, there are a few helpful features of "normal" Racket that are not yet available in Typed Racket. One of them is the ability to use #:constructor-name in struct type definitions. I used

Re: [racket-users] Typed Racket and struct

Hi, On Thu, Nov 19, 2015 at 11:36 AM, WarGrey Gyoudmon Ju wrote: > 1. define structs in untyped racket; > 2. (require/typed/provide) it with #:constructor-name option. > > Thanks for the suggestion. Meanwhile, I thought about a different approach. Here is one example:

Re: [racket-users] Typed Racket and struct

On Fri, Nov 20, 2015 at 3:27 AM, Antonio Menezes Leitao < antonio.menezes.lei...@ist.utl.pt> wrote: > Hi, > > On Thu, Nov 19, 2015 at 11:36 AM, WarGrey Gyoudmon Ju < > juzhenli...@gmail.com> wrote: > >> 1. define structs in untyped racket; >> 2. (require/typed/provide) it with #:constructor-name

Re: [racket-users] Typed Racket and struct

On 2015-11-19 09:11:08 +, Antonio Menezes Leitao wrote: >So, my questions are: >1. Are there any plans to support #:constructor-name in Typed Racket? I haven't tried to implement support for it, but I can't think of anything off the top of my head that would make it difficult. I

Re: [racket-users] Typed Racket and struct

1. define structs in untyped racket; 2. (require/typed/provide) it with #:constructor-name option. On Thu, Nov 19, 2015 at 5:11 PM, Antonio Menezes Leitao < antonio.menezes.lei...@ist.utl.pt> wrote: > Hi, > > I've been using Typed Racket in the last few months and it has been an > interesting