[racket-users] Get list of all predefined identifiers for use in vim syntax highlighting

2015-06-01 Thread Luke Miles
For those who like to write their racket code in vim, the plugin https://github.com/wlangstroth/vim-racket is pretty essential. Unfortunately, it is outdated and many of the new predefined identifiers (e.g. set-add!) are not highlighted. I added a few of these in my personal settings, but it

Re: [racket-users] Get list of all predefined identifiers for use in vim syntax highlighting

2015-06-01 Thread Jens Axel Søgaard
Hi Luke, This script generates a large list of keywords. It was used to generate the keywords for the Github highlighter. https://github.com/soegaard/racket-highlight-for-github/blob/master/generate-keywords.rkt /Jens Axel 2015-06-01 17:07 GMT+02:00 Luke Miles rashreportl...@gmail.com: For

Re: [racket-users] Get list of all predefined identifiers for use in vim syntax highlighting

2015-06-01 Thread Greg Hendershott
The syntax forms should be in the KEYWORDS list; try un-commenting that line. Some highlighters distinguish keywords and builtins, so Jens' script generates those separately. If Vim doesn't care, you could combine them into one big list. (As my other post says, the distinction is kind of

Re: [racket-users] Get list of all predefined identifiers for use in vim syntax highlighting

2015-06-01 Thread Greg Hendershott
1. Jens' solution is good. I've used for the Pygments highlighter and for racket-mode. I recommend it! You may want to stop reading now. :) 2. Coincidentally very recently I've been taking a fresh look at this for racket-mode. I think a recent commit message sums it up pretty well:

Re: [racket-users] Get list of all predefined identifiers for use in vim syntax highlighting

2015-06-01 Thread Luke Miles
Thank you very much, Jens. This appears to be all the functions. Do you know of anything for special forms? This would include for, for/and, define-values, etc... On Monday, June 1, 2015 at 11:09:31 AM UTC-4, Jens Axel Søgaard wrote: Hi Luke, This script generates a large list of

[racket-users] Racket/gui : append a multi items into multi columns of a list-box%

2015-06-01 Thread mazert
Hello, I try to find a easy way to append a data into a list-box% object. For example, I have 3 columns called (c1 c2 c3), and I want to add a row like (val1 val2 val3). Append method is nice, but only append data on the first column... :p

Re: [racket-users] can't quite reproduce this contract error involving an exported function

2015-06-01 Thread Asumu Takikawa
On 2015-06-01 12:50:33 -0700, 'John Clements' via users-redirect wrote: Contract error: expected “text.rkt”, got #ClassInfo from contract on gather-grades, with contract (“text.rkt” - boolean?) … In other words, the “ClassInfo?” predicate had mysteriously been replaced by one that checked

[racket-users] can't quite reproduce this contract error involving an exported function

2015-06-01 Thread 'John Clements' via users-redirect
I just got an interesting and very scary contract error. I tried to reproduce it, but I can’t quite do it. I think I can see (part of) what’s going on, though. Suppose I have a file called bad1.rkt that is in Typed Racket (I’m guessing this is significant) and exports a structure called

Re: [racket-users] can't quite reproduce this contract error involving an exported function

2015-06-01 Thread Robby Findler
I think that if you don't have up to date .zo files, arbitrary badness can ensue. Robby On Mon, Jun 1, 2015 at 3:16 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2015-06-01 12:50:33 -0700, 'John Clements' via users-redirect wrote: Contract error: expected “text.rkt”, got #ClassInfo from

Re: [racket-users] can't quite reproduce this contract error involving an exported function

2015-06-01 Thread 'John Clements' via users-redirect
On Jun 1, 2015, at 1:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think that if you don't have up to date .zo files, arbitrary badness can ensue. Just to check my development model; generally, when I’m working on multiple interdependent libraries in a collection, my experience

[racket-users] Iteration speed

2015-06-01 Thread John Carmack
I am working on a little project to remotely drive a VR headset with code written in Racket as an attempt to make a significantly faster development environment for certain types of VR apps. I am worried about what appears to be the compile speed. It takes over three seconds from hitting

Re: [racket-users] Iteration speed

2015-06-01 Thread Sam Tobin-Hochstadt
Unfortunately, Typed Racket typechecking is pretty slow, and so the times you have there are not out of the ordinary. The most significant thing that's slow in Typed Racket is type checking numeric operations, because both the numbers themselves and the operations have complicated types. If you

Re: [racket-users] Iteration speed

2015-06-01 Thread Matthew Butterick
I've increasingly been using TR this way (= keeping code in a state where it can be easily toggled between typechecked and not). It works, though I'm still thinking about how to achieve better ergonomics with these issues, which don't have automatic solutions: Q1. How to toggle between `#lang

Re: [racket-users] Iteration speed

2015-06-01 Thread John Carmack
Is there an option to parse all the type annotations, but not do any of the checking? Highly interactive tuning sessions could work without type checking, then turn it back on for structural work. On Jun 1, 2015, at 9:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Unfortunately,

Re: [racket-users] Iteration speed

2015-06-01 Thread William J. Bowman
On Tue, Jun 02, 2015 at 01:06:34AM +, John Carmack wrote: Does Run from DrRacket have a significant time penalty? By default, DrRacket has debugging instrumentation enabled, which can significantly slow down programs that you may expect to run fast. Disabling these will speed things up for

Re: [racket-users] Iteration speed

2015-06-01 Thread William J. Bowman
My mistake! Do you have the same issues if you run program/compile from the command line with just `racket`? -- William J. Bowman On Tue, Jun 02, 2015 at 01:17:45AM +, John Carmack wrote: I meant time-to-compile penalty, not execution speed. None of those options seem to make much

Re: [racket-users] Iteration speed

2015-06-01 Thread Spencer Florence
There is a `#lang typed/racket/base/no-check` On Mon, Jun 1, 2015 at 9:34 PM John Carmack jo...@oculus.com wrote: Is there an option to parse all the type annotations, but not do any of the checking? Highly interactive tuning sessions could work without type checking, then turn it back on for

Re: [racket-users] Iteration speed

2015-06-01 Thread Sam Tobin-Hochstadt
Yes, if you just change `#lang typed/racket/base` to `#lang typed/racket/base/no-check`, that's what you'll get. Sam On Mon, Jun 1, 2015 at 10:34 PM, John Carmack jo...@oculus.com wrote: Is there an option to parse all the type annotations, but not do any of the checking? Highly interactive