Re: [racket] Question about path/param-path function

On Sun, Feb 16, 2014 at 08:19:48PM -0600, David Novogrodsky wrote: > All, > > First here is the code I entered in the interaction window. The question I > have are about these lines: > > (require xml net/url) > > (define u (string->url "http://localhost:8080/foo/testing";)) > > (url-path u) > '(

[racket] Everything type-checks; on to benchmarking and optimization

I'm teaching a junior-level algorithms course, and assigned my students to implement three different matrix-multiplication algorithms and benchmark them. So I had to do it myself too :-) In untyped Racket, most of the runs took seconds or minutes, but others (only twice as large, so I would ex

Re: [racket] Question about path/param-path function

On Feb 16, 2014, at 9:19 PM, David Novogrodsky wrote: > All, > > First here is the code I entered in the interaction window. The question I > have are about these lines: >> (require xml net/url) >> (define u (string->url "http://localhost:8080/foo/testing";)) >> (url-path u) > '(# #) >> (map

[racket] Question about path/param-path function

All, First here is the code I entered in the interaction window. The question I have are about these lines: > (require xml net/url) > (define u (string->url "http://localhost:8080/foo/testing";)) > (url-path u) '(# #) > (map path/param-path (url-path u)) '("foo" "testing”) I took an online cour

Re: [racket] contracts on liberal function inputs: avoiding duplicate effort

On Feb 16, 2014, at 2:51 PM, Laurent wrote: ... so that they can be deactivated to run the code in faster/less-error- friendly mode if needed ... Is there a way to disable contract checks like this? (a parameter maybe) Or do you have to make your own parameter and make your contracts to us

Re: [racket] Using 5.3.6 preferences on 5.93

On 2/16/14, 12:57 PM, Robby Findler wrote: Font, font-size and font and background color. -- Doug Which preference do you notice it not using? Robby On Sun, Feb 16, 2014 at 1:19 PM, Doug Hockin > wrote: I have Racket 5.3.6 installed and have been using it to l

Re: [racket] applying polymorphic functions in TR

On Feb 16, 2014, at 11:38 AM, Asumu Takikawa wrote: > On 2014-02-16 11:03:34 -0500, Asumu Takikawa wrote: >> It would be nice if inference were smart enough so that this worked: >> >> (time-apply (lambda: ([x : Integer] [y : Integer]) "foo") '(1 2)) > > I just pushed a fix to HEAD that makes t

Re: [racket] contracts on liberal function inputs: avoiding duplicate effort

In my poorly-informed point of view, I use contracts only to make checks, so that they can be deactivated to run the code in faster/less-error-friendly mode if needed and when I'm sufficiently confident the program is good enough, and if the program crashes anyway, restart it in slower/safe mode wi

[racket] Using 5.3.6 preferences on 5.93

I have Racket 5.3.6 installed and have been using it to learn Racket. Yesterday I installed 5.93 as well, but my preference settings from 5.3.6 didn’t show up in 5.93. I did some digging in the documentation and found: http://docs.racket-lang.org/drracket/drracket-files.html#%28part._.Prefer

Re: [racket] DB and named query parameters

But what about stored procedures? I don't seen any examples of calling an SP using DB at all. On Sun, Feb 16, 2014 at 11:14 AM, Sean McBeth wrote: > aaah, okay, thanks. > > > On Sun, Feb 16, 2014 at 11:13 AM, Ryan Culpepper wrote: > >> On 02/15/2014 05:11 PM, Sean McBeth wrote: >> >>> All of th

Re: [racket] racket project idea: viable html5 web browser

Unfortunately I don't think I have enough time to be a serious contributing developer here, but the goals of this project brought to mind another project I had studied some time ago with similar goals of creating a secure browser based on a capability-based security model. The project team used a

Re: [racket] Racket Salon Boston February Meet-Up

Remember, the Racket Salon February meeting takes place this Thursday at Harvard! Details below. On Tue, Feb 11, 2014 at 11:48 PM, Daniel King wrote: > Terribly sorry for the late notice! Things have been hectic. Please > note that we're not at NU this time, we're up at Harvard! > > The third mee

Re: [racket] applying polymorphic functions in TR

On 2014-02-16 11:03:34 -0500, Asumu Takikawa wrote: > It would be nice if inference were smart enough so that this worked: > > (time-apply (lambda: ([x : Integer] [y : Integer]) "foo") '(1 2)) I just pushed a fix to HEAD that makes type inference work for this example. Should also help other fun

Re: [racket] DB and named query parameters

aaah, okay, thanks. On Sun, Feb 16, 2014 at 11:13 AM, Ryan Culpepper wrote: > On 02/15/2014 05:11 PM, Sean McBeth wrote: > >> All of the examples in the documentation for the db package use either >> question-mark placeholders or numbered placeholders, i.e. >> "select * from some_table where so

Re: [racket] DB and named query parameters

On 02/15/2014 05:11 PM, Sean McBeth wrote: All of the examples in the documentation for the db package use either question-mark placeholders or numbered placeholders, i.e. "select * from some_table where some_column = ?" "select * from some_table where some_column = $1" The three databases that

Re: [racket] applying polymorphic functions in TR

Does this help: (define-values (case1_x case1_y case1_z case1_w) ((inst time-apply Integer Integer) (lambda () 10) '())) (define-values (case2_x case2_y case2_z case2_w) ((inst time-apply Integer Integer) (lambda (x) 10) '(10))) (define-values (case3_x case3_y case3_z case3_w) ((inst

Re: [racket] applying polymorphic functions in TR

On 2014-02-16 09:53:21 -0500, Bloch Stephen wrote: >> (define-type A Integer) ; or whatever >> (define-type B String) >> (ann time-apply ((A A -> B) (List A A) -> (Values (List B) >Nonnegative-Integer Nonnegative-Integer Nonnegative-Integer))) You probably want `inst` here instead,

Re: [racket] racket project idea: viable html5 web browser

I'm also interested in working on this. -J On Mon, Feb 3, 2014 at 11:05 PM, Roman Klochkov wrote: > Despite my pessimistic point of view, I'm in. > > Goal is great and useful, so I like it. Give me task, and I'll do my best. > > Hope, we'll find a little more developers. > > Понедельник, 3 феврал

[racket] applying polymorphic functions in TR

OK, I figured out an annotation to get vector-map to work. Now I'm trying to use time-apply, and I don't understand why it's not type-checking. > (:print-type time-apply) (All (b a ...) (case-> ((-> b) Null -> (values (List b) Nonnegative-Integer Nonnegative-Integer Nonnegative-Integer))

Re: [racket] racket on arm/armel linux

Yes. I haven't built all collections (in the main distribution) in a while, since the snapshot builds minimal Racket from source and then installs pre-built packages. At Sat, 15 Feb 2014 22:31:03 -0500, Neil Van Dyke wrote: > Thanks, Matthew. Do you know whether that build been used to compile >