I'm seeing slow expansion (on the order of hundreds of milliseconds) for
the following program:
https://gist.github.com/endobson/e165edf224b4028db48d
It is a single function of generated code. Similar functions that don't use
match as extensively are much faster < 10 milliseconds.
I'm trying to u
On Tuesday, March 1, 2016 at 8:51:58 PM UTC-7, vkelm...@aol.com wrote:
> I recently downloaded Racket version 6.4. I have previously been using
> version 6.1. It is much slower than version 6.1. Several short functions run
> approx 20 times slower on 6.4 than 6.1. These were run at the same time
Once upon a time, I used the handin server for a course.
All the files I used are online.
It is not particularly well-documented, but may serve as reference code:
https://github.com/search?q=@wilbowma+cs2500&type=Repositories&ref=searchresults
--
William J. Bowman
On Wed, Mar 23, 2016 at 02:07:42
I am trying to set up handin-server with the Grading Utilities.
I have read the official documentation, but I must be missing several points
because even when I just copy the checker.rkt function from the documentation
it does not work. ("submit error: checker: undefined; cannot reference an
id
YouTube videos of
U.S. Congress money laundering hearing
of
Saudi Billionaire " Maan Al sanea"
with *bank of America*
and The owner of Saad Hospital and Schools
in the Eastern Province in *Saudi Arabia*
and the Chairman of the Board of Directors of Awal Bank in *Bahrain*
Wit
> I use racket for hackerrank and coding contests all the time, and I find it's
> read syntax really useful. For instance, I would parse this into a list of
> lists by doing
> (for/list ([i (in-range (read))])
> (map (lambda (x) (if (list? x) (cadr x) x)) (read))).
>
> Then, to print out resu
On Wednesday, March 23, 2016 at 12:35:26 PM UTC-4, rom cgb wrote:
> Thanks all for the interesting replies.
>
> About using an external package, there also the case like on
> www.hackerrank.com where you have to run the code in their own environment
> (eg: http://i.imgur.com/iSSPLGy.png).
I us
Ok, that would help
On Wed, Mar 23, 2016 at 2:21 PM, Matthew Flatt wrote:
> Are there other places where you looked that could also use a note?
>
Only pkgs.racket-lang.org, but I think the note in "getting started" should
be enough.
--
You received this message because you are subscribed to
The documentation for package sources is here:
http://docs.racket-lang.org/pkg/Package_Concepts.html#%28part._concept~3asource%29
You want the fifth bullet, on Git repos.
Jay
On Wed, Mar 23, 2016 at 2:13 PM, Benjamin Greenman
wrote:
> Thank you!
>
> Is this documented / is there a good place t
Although it's documented, I can add a note to
http://docs.racket-lang.org/pkg/getting-started.html#%28part._github-deploy%29
which currently mentions branches but not subdirectories.
Are there other places where you looked that could also use a note?
At Wed, 23 Mar 2016 14:16:13 -0400, Jay McC
Great, thank you
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/o
Thank you!
Is this documented / is there a good place to add a note in the docs?
(Maybe the package server should have an FAQ link, besides just linking to
docs.racket-lang.org ?)
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe f
Use
https://github.com/bennn/foo.git?path=pkg
The "path=pkg" part specifies "pkg" within the repo.
At Wed, 23 Mar 2016 13:55:06 -0400, Benjamin Greenman wrote:
> I have a git repo that contains a Racket package. The repo also contains
> other folders related to the package. How do I share the
I have a git repo that contains a Racket package. The repo also contains
other folders related to the package. How do I share the package on
pkgs.racket-lang.org without sharing (or just compiling/installing) the
other folders?
Say I ("bennn") own a repo "foo" with 2 folders, "pkg" and "other". I
Just parametricity. It's not clear how important that is here, tho, in
a world with stateful a->a functions.
Robby
On Wed, Mar 23, 2016 at 12:44 PM, Sam Tobin-Hochstadt
wrote:
> We could certainly implement that, but I don't think we need to to
> enforce the invariants we want. If we think of t
We could certainly implement that, but I don't think we need to to
enforce the invariants we want. If we think of type variables as
supporting something analogous to SML's polymorphic equality, with ''a
in the variables, then `equal?` is a reasonable operation to perform
on them.
Are there invaria
I was thinking that "dynamic parametricity" would imply that
prop:equal+hash should be functions that raise errors. And then the
question is: what does this break in our codebase?
Robby
On Wed, Mar 23, 2016 at 10:54 AM, Sam Tobin-Hochstadt
wrote:
> I think the struct implementing `parameteric->
Unfortunately, the implementation of `match` works in such a way that
figuring that out is beyond the capability of TR. For this specific
case, TR could know when a local binding of a function is
unreferenced, and thus the body is unreachable, but for more
complicated cases the expansion of `match`
> On Mar 23, 2016, at 9:48 AM, Sam Tobin-Hochstadt wrote:
>
> On Wed, Mar 23, 2016 at 12:47 PM, 'John Clements' via Racket Users
> wrote:
>> Is there a way in TR to ensure that a match is exhaustive at type-checking
>> time? It seems to me like the right design would be a special TR form that
On Wed, Mar 23, 2016 at 12:47 PM, 'John Clements' via Racket Users
wrote:
> Is there a way in TR to ensure that a match is exhaustive at type-checking
> time? It seems to me like the right design would be a special TR form that
> goes in expression positions and always signals a type error.
Ind
Is there a way in TR to ensure that a match is exhaustive at type-checking
time? It seems to me like the right design would be a special TR form that goes
in expression positions and always signals a type error.
…
Actually, I did a bit of exploring, and it looks like I can almost "roll my
own
Thanks all for the interesting replies.
About using an external package, there also the case like on www.hackerrank.com
where you have to run the code in their own environment (eg:
http://i.imgur.com/iSSPLGy.png).
--
You received this message because you are subscribed to the Google Groups
"
I think the struct implementing `parameteric->/c` could implement
`prop:equal+hash` appropriately. That wouldn't allow them to compare
equal to the unwrapped value, but it would make this program work.
Sam
On Wed, Mar 23, 2016 at 11:43 AM, Phil Nguyen wrote:
> In the following program, `(p? 1 1)
Unfortunately, this is just a fact of life with the current strategy
we have for implementing parametric contracts. Without changing the
basic idea behind the way parametric contracts work it would, IMO, be
an improvement for the use of p? in the outside to raise an error
(since you tried to learn
In the following program, `(p? 1 1)` returns `#t` or `#f` depending on `p?`
being called from the same or different module:
#lang racket
(module m racket
(provide
(contract-out
[p? (parametric->/c (a) (a a . -> . boolean?))]))
(define p? equal?)
(p? 1 1))
(require 'm)
(p? 1 1)
The goal for the core Urlang language is to be almost 1-to-1 with
JavaScript.
Therefore I haven't used any JavaScript libraries. As Dan's examples
shows (see urlang/urlang-examples) it is straightforward to use existing
JavaScript libraries.
There are a few predefined macros that one can optionall
On Sun, Mar 20, 2016 at 9:44 AM, Matthew Butterick wrote:
> When you put it that way, subjectively it still sounds good. I'd use it.
> But objectively I can't foresee that it would be a wise investment of
> anyone's Racket time. Let's face it: any web framework is lucky to live 5
> yrs before dev
On Tue, 22 Mar 2016 21:06:14 -0700, Alexis King
wrote:
>Would anyone object to a scanf-like function in Racket itself?
No.
But the question is how to specify input patterns to make it really
useful. Racket's native printf is pretty basic. Should scanf mirror
the native printf? Or should i
28 matches
Mail list logo
