[racket-users] Re: expanding to typed/racket using #lang turnstile

Thank you very much for taking the time to help me. I am trying to write an extendable APL with full type inference and optional type annotation. Essentially, I am trying to compile J. J cannot be compiled efficiently because the ambiguities of its grammar lead to combinatory explosion of

Re: [racket-users] expanding to typed/racket using #lang turnstile

As William mentioned, the example conflates Typed Racket types with surface language types, which would probably not be right even if Typed Racket did not complain. Does your custom language have its own type system? If not, you may not need to use Turnstile. Plain macros that expand to Typed

Re: [racket-users] Help me understand FFI callouts in this context?

On Thu, Oct 31, 2019 at 07:00:23AM -0700, Thomas Dickerson wrote: > Hi Sage - > > Does your SIGSEGV MAPERR show up only while attached to a debugger? > If so I noticed similar behavior while debugging my own project this week, > and opened #2882 . >

Re: [racket-users] Help me understand FFI callouts in this context?

Hi Sage - Does your SIGSEGV MAPERR show up only while attached to a debugger? If so I noticed similar behavior while debugging my own project this week, and opened #2882 . It took me quite a bit of head scratching before I realized that (a) it only