Re: [racket-users] Typed racket and continuations

I tried this approach with Racket 6.5 and still get the type checker error when trying to call the continuation after it has been set. #lang typed/racket (define-type EmptySet (U)) (: d-or-s (U False (-> Number EmptySet))) (define d-or-s #f) (: double-or-same (-> Number Number)) (define (d

Re: [racket-users] Spreadsheet widget?

David, I once made some basic spreadsheet editor for my project. https://groups.google.com/forum/#!msg/racket-users/mtfMgxrite4/5YH3BnVPGm0J raco pkg install spreadsheet-editor Demo: https://github.com/kugelblitz/spreadsheet-editor/blob/master/spreadsheet-editor-demo.rkt I should have sp

Re: [racket-users] Typed racket and continuations

On Mon, Aug 29, 2016 at 04:33:15PM -0400, Matthias Felleisen wrote: > > Continuations don’t return. In a set-oriented type system this means their > result type is the empty set: I tried, but failed, to get this convention into Algol 68 for functinos that don't return. -- hendrik -- You rec

Re: [racket-users] derp-3 not working, could be bug in either derp-3 or racket (I'm guessing it's Racket)

> On Aug 29, 2016, at 5:09 PM, Matthew Flatt wrote: > > Thanks for the report! I think I have a repair, and I'll push as soon > as it passes a build and tests. Thanks! John -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe fr

Re: [racket-users] derp-3 not working, could be bug in either derp-3 or racket (I'm guessing it's Racket)

Thanks for the report! I think I have a repair, and I'll push as soon as it passes a build and tests. At Mon, 29 Aug 2016 19:45:40 -0400, "'John Clements' via Racket Users" wrote: > In Racket v6.6.0.4, it appears that the derp-3 parser-based-on-derivatives > (as > it now exists in the https://bi

[racket-users] derp-3 not working, could be bug in either derp-3 or racket (I'm guessing it's Racket)

In Racket v6.6.0.4, it appears that the derp-3 parser-based-on-derivatives (as it now exists in the https://bitbucket.org/ucombinator/derp-3 bitbucket repo) doesn’t run at the command-line. Specifically, if I download this repo and run racket pyparse.rkt … in the src/ directory, I get this out

[racket-users] Spreadsheet widget?

Is there a spreadsheet in Racket? I dug through the list and found a mailing list thread from 2008 but nothing since then. I also checked the Widget Gallery and didn't see on

Re: [racket-users] Typed racket and continuations

Continuations don’t return. In a set-oriented type system this means their result type is the empty set: #lang typed/racket (define-type EmptySet (U)) (: d-or-s (U False (-> Number EmptySet))) (define d-or-s #f) (: double-or-same (-> Number Number)) (define (double-or-same x) (call/cc (lamb

[racket-users] Typed racket and continuations

Hey everyone, I am a beginner in Racket and recently learned the basic concepts of continuations. I like Racket's support of multiple types of continuations as opposed one type in Scheme. Recently I also started learning about typed Racket. My problem is, I am not sure how I can annotate a cont

Re: [racket-users] Error message from GUI

Hello, Sorry for dropping out of the conversation for a while. Here is the smallest example that I could produce: #lang racket (require racket/gui racket/draw table-panel) (define test% (class table-panel% (super-new (dimensions '(1 1))) ;vertical-panel% (super