http://www.hyperrealm.com/markl/lego/4031-large.jpg
The default boat is pretty cool, but you can use its pieces to build a
boat of your own design, too.
Robby Findler wrote at 06/15/2011 12:32 AM:
http://mendel.soup.io/post/138357929/If-a-programming-language-was-a-boat
--
http://www.ne
10 minutes ago, Robby Findler wrote:
> http://mendel.soup.io/post/138357929/If-a-programming-language-was-a-boat
http://goo.gl/IUK0Y
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
__
http://mendel.soup.io/post/138357929/If-a-programming-language-was-a-boat
Robby
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
About two weeks ago, Danny Yoo wrote:
> I survived in scribbling some documentation for a simple PLaneT
> package. [...]
>
> It fails because the basic, default evaluator doesn't know about my
> PLaneT package's bindings.
Yes, this is a very-much-intended feature -- you don't want random
example
5 hours ago, Danny Yoo wrote:
> > I can see that an empty file has been constructed:
> >
> >
> > fermi ~/work/whalesong $ ls -l hi
> > -r-xr-xr-x 1 dyoo nogroup 0 Jun 14 15:49 hi*
> >
> >
> > At the very least, the executable
Not bounded poly but still allows the type checker to catch ill typed
attempts to make an undesirable node.
Define the node structure and constructor in a library. Then use
appropriate concrete constructor function(s) as needed.
To make SN nodes etc.
#lang typed/racket
(struct: (α) Node ({lef
On Tue, Jun 14, 2011 at 3:24 PM, Danny Yoo wrote:
>> I can see that an empty file has been constructed:
>>
>>
>> fermi ~/work/whalesong $ ls -l hi
>> -r-xr-xr-x 1 dyoo nogroup 0 Jun 14 15:49 hi*
>>
>>
>> At the very least, t
On Tue, Jun 14, 2011 at 5:48 PM, Matthias Felleisen
wrote:
>
> On Jun 14, 2011, at 5:41 PM, Sam Tobin-Hochstadt wrote:
>
>>>
>>
>> #lang typed/racket
>> (define-type SN (U String Number))
>> (define-predicate sn? SN)
>> (struct: (α) node ({left : α} {right : α}))
>>
>> (: create-node (All (β) (β β
On Jun 14, 2011, at 5:41 PM, Sam Tobin-Hochstadt wrote:
>>
>
> #lang typed/racket
> (define-type SN (U String Number))
> (define-predicate sn? SN)
> (struct: (α) node ({left : α} {right : α}))
>
> (: create-node (All (β) (β β -> (node SN
> (define (create-node x y)
> (if (and (sn? x) (sn?
On Tue, Jun 14, 2011 at 5:14 PM, Matthias Felleisen
wrote:
>
> I would have expected that something like this might approximate what you
> want:
>
> #lang typed/racket
>
> (define-type SN (U String Number))
>
> (define-predicate sn? SN)
>
> (struct: (α) node ({left : α} {right : α}))
>
> (: creat
+1!
-- Éric
On Jun 14, 2011, at 4:03 PM, Grant Rettke wrote:
> On Tue, Jun 14, 2011 at 2:57 PM, Jos Koot wrote:
>> Will it be possible to follow Racketcon via internet?
>
> Great idea.
> _
> For list-related administrative tasks:
> http://list
I would have expected that something like this might approximate what you want:
#lang typed/racket
(define-type SN (U String Number))
(define-predicate sn? SN)
(struct: (α) node ({left : α} {right : α}))
(: create-node (All (β) (β β -> (node SN
(define (create-node x y)
(begin0
(no
> I can see that an empty file has been constructed:
>
>
> fermi ~/work/whalesong $ ls -l hi
> -r-xr-xr-x 1 dyoo nogroup 0 Jun 14 15:49 hi*
>
>
> At the very least, the executable bit is set. I'm about to start
> looking thr
On Tue, Jun 14, 2011 at 2:57 PM, Jos Koot wrote:
> Will it be possible to follow Racketcon via internet?
Great idea.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
Hi
Will it be possible to follow Racketcon via internet?
Jos
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
I've been trying to use the launcher/launcher library:
http://docs.racket-lang.org/raco/exe.html#(mod-path._launcher/launcher)
in order to make nice, executable links. However, I'm running into
some difficulty.
I have a program in the current directory:
$ cat hello.rkt
#lang racket/base
(
On Tue, Jun 14, 2011 at 12:35 PM, Richard Lawrence
wrote:
>
> I have another question about whether something is possible in Typed
> Racket. What I would like to do is define a polymorphic structure where
> the polymorphism is limited to a certain subset of types. Again
This is known as bounded
Hi all,
I have another question about whether something is possible in Typed
Racket. What I would like to do is define a polymorphic structure where
the polymorphism is limited to a certain subset of types. Again, I'm
not sure I'm using the terminology correctly, so here's an example.
Right now
>> One thing that I want to do is upload it somewhere more permanently,
>> and to have all the documentation links work. None of the
>> Racket-bound documentation links are working, and I'd like to redirect
>> those links off to docs.racket-lang.org instead.
>
> You want to use the --redirect-main
On Tue, Jun 14, 2011 at 11:11 AM, Danny Yoo wrote:
> One thing that I want to do is upload it somewhere more permanently,
> and to have all the documentation links work. None of the
> Racket-bound documentation links are working, and I'd like to redirect
> those links off to docs.racket-lang.org
> The dilemma was to choose a language that was simple, and looked
> nothing like Racket. The choice was clear: it had to be brainf*ck.
> Here's the tutorial:
>
>
> http://planet.racket-lang.org/package-source/dyoo/bf.plt/1/2/planet-docs/manual/index.html
One thing that I want to do is uploa
On 2011-06-14 10:43 AM, Matthew Flatt wrote:
I'll look at your patches more soon. In cross-compiling mode, probably
`configure' should just use whatever `racket' is installed rather than
a specific path to some `rakcetcgc'.
The reason for this is that OpenWRT doesn't depend much on what the
sy
At Mon, 13 Jun 2011 17:54:17 -0400, Tony Garnock-Jones wrote:
> I've changed the build script, and now 3M Racket seems to be working on
> the MIPS machine!
Great!
I'll look at your patches more soon. In cross-compiling mode, probably
`configure' should just use whatever `racket' is installed rat
On Mon, Jun 13, 2011 at 12:36 PM, Danny Yoo wrote:
> I've written a tutorial
Thank you.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
It was a very good read. Maybe too many parentheticals to avoid technical
errors? It is hard to comment until I try it myself. In any case, I think I
needed something exactly like this, so thank you very much.
Deren
On Jun 13, 2011 1:38 PM, "Danny Yoo" wrote:
> I've written a tutorial about how t
Removing compiled directory also does not work , same error.
I am upgrading my system and will download the racket again
then check if problem still there.
Thanks.
On Tue, Jun 14, 2011 at 5:46 PM, Sam Tobin-Hochstadt wrote:
> Probably you can fix the problem by removing the `compiled' directory
Probably you can fix the problem by removing the `compiled' directory
from wherever "filename.rkt" is.
On Tue, Jun 14, 2011 at 4:01 AM, Veer wrote:
> Thanks for replying.
> Problem still persist , even after running raco setup .
> I did not compiled the racket from the source, I downloaded the bi
Thanks for replying.
Problem still persist , even after running raco setup .
I did not compiled the racket from the source, I downloaded the binary package.
When I run ~/racket/bin/racket filename.rkt in console , it runs fine
, no problem there,
but in DrRacket it show the same error :
compile: a
28 matches
Mail list logo
