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
(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 eric.n.dob...@gmail.com wrote:
No, you cannot define predicates for function types. If you explain
the problem you have, we might be able to explain another solution
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
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
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
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
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
There are actually a couple of C language modes and a JavaScript one in
Planet.
On May 21, 2013 3:28 PM, Tom Schouten t...@zwizwa.be 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
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
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
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 requiring
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
Tom Schouten t...@zwizwa.be 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
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
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/
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
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
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
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
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 matth...@ccs.neu.eduwrote:
Once again, I would like to encourage everyone to check out
Thanks!
Racket Users list:
http://lists.racket-lang.org/users
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
On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay e...@barzilay.org 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?
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
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
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)
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.
However
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
28 matches
Mail list logo