On May 21, 2013, at 10:05 PM, Lewis wrote:
> Thanks! I didn't know you could construct dates like that.
>
> According to the docs, the #f argument should give UTC. Unfortunately
> on my machine it gives
>
> (date* 0 0 12 22 5 2013 3 141 #f 43200 0 "NZST")
>
> Which is local time for me. Perhap
Thanks! I didn't know you could construct dates like that.
According to the docs, the #f argument should give UTC. Unfortunately
on my machine it gives
(date* 0 0 12 22 5 2013 3 141 #f 43200 0 "NZST")
Which is local time for me. Perhaps this is a bug?
On 22/05/2013, John Clements wrote:
>
> On
On May 21, 2013, at 8:51 PM, Lewis wrote:
> When I use string->date in srfi/19, it defaults to my local time zone.
> I see from the documentation that one can use "~z" to denote the "time
> zone in RFC-822 style". A quick google of RFC-822 suggests "UT" is the
> correct abbreviation for UTC.
>
>
When I use string->date in srfi/19, it defaults to my local time zone.
I see from the documentation that one can use "~z" to denote the "time
zone in RFC-822 style". A quick google of RFC-822 suggests "UT" is the
correct abbreviation for UTC.
However
Welcome to Racket v5.3.4.
> (require srfi/19)
You can sort of fake it if you wrap your function in a structure type. In
lieu of
(define-type T1 (Symbol -> String))
Instead use a struct:.
(struct: T1 ([f : (Symbol -> String)]))
;; predicate is T1? for a wrapped Symbol->String function
(define-type T2 (U Symbol Number T1)) ;; T1 is a boxed
You are correct in this, Shannon, and you have nicely explained all of
the otherwise confusing clues about thunks.
I shall revisit these problems from the point of view of view of the
course.
The section of Dan Grossman's video lectures that deal with Racket are
an excellent introduction to the
On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay wrote:
> (...and therefore having types go through macro-expansion is even more
> obviously missing...)
could the macros+types be something as strong as e.g. metaocaml?
http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages
__
Three hours ago, Neil Toronto wrote:
> Typed Racket has arrived: it is useful to write programs in it in
> which types outnumber code.
(...and therefore having types go through macro-expansion is even more
obviously missing...)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Ba
Thanks!
Racket Users list:
http://lists.racket-lang.org/users
I'm planning on doing it. I have a project in genetic programming for image
generation that I am kind of batting around that would be good for it.
On Tue, May 21, 2013 at 5:27 PM, Matthias Felleisen wrote:
>
> Once again, I would like to encourage everyone to check out
>
> http://lispinsummerp
Once again, I would like to encourage everyone to check out
http://lispinsummerprojects.org/welcome
As you can see from browsing these pages, they list Racket as one of the Lisp
flavors and they expect to see Racket entries.
Undergraduates, graduates, post-docs, and retirees are welcome :-
On May 21, 2013, at 10:58 AM, Danny Heap wrote:
> Thanks for the responses and pointers to projects underway. Matthias
> (and others) have convinced me that being able to open URLs from the
> file menu isn't really necessary --- we can move exercises to-and-from
> the server independently. The
On May 20, 2013, at 3:08 PM, Guillaume Marceau wrote:
> Hi all,
>
>
> In case this might interest some folks here. I now work for a start up in New
> York. We're doing physics-based analysis of green buildings. I just received
> permission to release our JavaScript implementation of Racket's
So I think I have a handle on how to run multiple instances of a compiled
program under Mac OS. I should be able to catch the command-n keyboard input in
my compiled application. But I run into a similar problem when I work in
Windows OS. I compile my source code for distribution. When I double
its in git and will appear in the official manual when the docs are useable
(slowly but surely)
On 05/21/2013 02:50 PM, Neil Van Dyke wrote:
> Anyone know where Honu disappeared to? I don't see it in the current manual,
> nor in PLaneT.
> http://download.racket-lang.org/docs/5.1.3/html/honu/
>
On 05/21/2013 02:45 PM, David Bremner wrote:
> Tom Schouten writes:
>
>> Interesting, but I'm tied to Racket at this point.
>>
> I'd have a look at "Honu" by Jon Rafkind if you haven't seen it
> already. It adds an algol like syntax on top of racket,
>
> It looks a bit javascriptish, I guess
>
>
Anyone know where Honu disappeared to? I don't see it in the current
manual, nor in PLaneT.
http://download.racket-lang.org/docs/5.1.3/html/honu/
BTW, the usual pattern is that someone will think Racket/Scheme/Lisp
needs a C-like syntax, but after they actually start using parens for
idiomati
Tom Schouten writes:
> Interesting, but I'm tied to Racket at this point.
>
I'd have a look at "Honu" by Jon Rafkind if you haven't seen it
already. It adds an algol like syntax on top of racket,
It looks a bit javascriptish, I guess
function quadratic(a, b, c) {
var discriminant = sqr(b
So I think I have a handle on how to run multiple instances of a compiled program under Mac OS. I should be able to catch the command-n keyboard input in my compiled application. But I run into a similar problem when I work in Windows OS. I compile my source code for distribution. When I doub
Patrick,
> I saw that. The requirement for a stream of alternating values was
> clearly stated, but then it confusingly talked about the internal
> structure of a stream. Surely if the stream is constructed by
> stream primitives then it will all be thunked. Or do you read the
> problem as requi
Interesting, but I'm tied to Racket at this point.
On 05/21/2013 03:35 PM, Marc Feeley wrote:
If you are willing to switch Scheme implementations, you could use Gambit that
has an infix syntax (SIX) which is a subset/superset of C.
Marc
On May 21, 2013, at 12:26 PM, Tom Schouten wrote:
Hi
On Tue, May 21, 2013 at 03:26:26PM -0400, Tom Schouten wrote:
>
> Is there anything re-usable out there in Racket land that looks like
> C but with a simpler grammar or a simple map to s-expressions? The
> language I'm implementing is purely functional / single assignment,
> and looks pretty much
There are actually a couple of C language modes and a JavaScript one in
Planet.
On May 21, 2013 3:28 PM, "Tom Schouten" wrote:
> Hi List,
>
> Checking if anyone has any ideas or advice on this.
>
> I'm writing a DSL for (music) DSP low-level algorithm design, and I'd like
> to use some C-like syn
Hi List,
Checking if anyone has any ideas or advice on this.
I'm writing a DSL for (music) DSP low-level algorithm design, and I'd
like to use some C-like syntax front on top of the default s-expr input
to avoid having to confront people with Scheme.
I realize this approach has been tried ma
> I'm fine with large types that happen to be useful theorems. They've caught
> errors, made many dynamic checks unnecessary, and taught me things about the
> code I'm writing. Kudos to the TR team.
i am curious to know what other statically typed + checked languages
you've used, and how you feel
Typed Racket has arrived: it is useful to write programs in it in which
types outnumber code. From my dissertation project:
(: make-rect-list-subtract-one
(All (N1 F1 E1 V1 N2 F2 E2 V2)
((set-sig N1 F1 E1 V1)
(set-sig N2 F2 E2 V2)
-> ((Listof (Nonextremal-P
Thanks for the responses and pointers to projects underway. Matthias
(and others) have convinced me that being able to open URLs from the
file menu isn't really necessary --- we can move exercises to-and-from
the server independently. The fact that John's student is looking
into integrating DrRac
Sorry for the late reply, I was out of home without communication for a
couple days. Indeed, my first impression was that the problem states that
streams are to be constructed with thunks. But as a student it is a very
good thing to try, without forgetting the original form of the exercise,
more th
(And this is not a limitation of Typed Racket but a fundamental problem of CS.)
On May 20, 2013, at 11:07 AM, Eric Dobson wrote:
> No, you cannot define predicates for function types. If you explain
> the problem you have, we might be able to explain another solution
> that will work.
>
> On
Just letting you guys know, I'll search the new package system and put it there
and probably also put it in PLaneT without spaces.
Date: Mon, 20 May 2013 22:15:08 -0500
Subject: Re: [racket] Bug in PLaneT?
From: ro...@eecs.northwestern.edu
To: tomco...@hotmail.com
CC: users@racket-lang.org
I th
30 matches
Mail list logo
