Very close to some sort of "Type Classes" for structures if
a) Ability to define and label a set of typed generic methods.
b) Declare a structure as satisfying a given set of typed generic methods.
c) TR verify said satisfaction.
I've successfully attached a TR typed writer method to a struct:'s #
On 2012-08-13 13:28:07 -0700, Jordan Johnson wrote:
> I'm curious: what use cases call for the new generics as opposed to
> the old class & interface system? I'm trying to get a clearer picture
> of the motivation for the new functionality, and the differences
> between old-style class-based OO c
I'm curious: what use cases call for the new generics as opposed to the old
class & interface system? I'm trying to get a clearer picture of the
motivation for the new functionality, and the differences between old-style
class-based OO code and this struct-based kind.
Best,
jmj
--
Sent from
Hello,
as usual, a "portable" variant of the 32bit Windows binaries of the shiny
new Racket version can be found at
https://bitbucket.org/chust/racket-portable/
Ciao,
Thomas
--
When C++ is your hammer, every problem looks like your thumb.
smime.p7s
Description: S/MIME Cryptographic Signa
Yes, this ought to work, but it doesn't. You can have typed
submodules in typed modules, though:
#lang typed/racket
(define: x : Integer 1)
(module+ main (displayln x))
I'll look into why your original program doesn't work.
Sam
On Tue, Aug 7, 2012 at 6:03 PM, Ray Racine wrote:
> Looks like I'
On Tue, Aug 7, 2012 at 9:31 PM, Ray Racine wrote:
> But then I don't have a typed submodule in a typed module. I think the
> original should work as well.
>
>
>
Yes, you are right.
It works using two separate files, but not with submodules on the same file.
Racket Users l
But then I don't have a typed submodule in a typed module. I think the
original should work as well.
On Aug 7, 2012 7:40 PM, "Rodolfo Carvalho" wrote:
> The following code works and prints "Tony".
> Notice changing from #lang typed/racket to #lang racket/base.
>
>
> #lang racket/base
>
The following code works and prints "Tony".
Notice changing from #lang typed/racket to #lang racket/base.
#lang racket/base
(module zoo typed/racket
(provide tiger)
(: tiger String)
(define tiger "Tony"))
(require 'zoo)
tiger
[]'s
Rodolfo
Racket Use
Hi,
On Tue, Aug 7, 2012 at 7:03 PM, Ray Racine wrote:
> Looks like I'm still missing something.
> Built off of GIT master. About Racket shows.
> Welcome to DrRacket, version 5.3.0.17--2012-08-07(c03daba7/d/list)
>
>
> #lang typed/racket
>
> (module zoo typed/racket
> (provide tiger)
>
>
Looks like I'm still missing something.
Built off of GIT master. About Racket shows.
Welcome to DrRacket, version 5.3.0.17--2012-08-07(c03daba7/d/list)
#lang typed/racket
(module zoo typed/racket
(provide tiger)
(: tiger String)
(define tiger "Tony"))
(require 'zoo)
tiger
. .
My bad. Let me try them (submodules) again. Must have been one of my
between the chair and the keyboard phenomena.
On Tue, Aug 7, 2012 at 5:06 PM, Sam Tobin-Hochstadt wrote:
>
> On Aug 7, 2012 4:34 PM, "Ray Racine" wrote:
> >
> > Nice release guys.
> >
> > DrRacket is buttery smooth and looks
On Aug 7, 2012 4:34 PM, "Ray Racine" wrote:
>
> Nice release guys.
>
> DrRacket is buttery smooth and looks nicer than ever. Emacs withdrawal
symptoms almost gone when Racket coding. Though the left hand stills tends
to spontaneously break out into an organ Fugue every now and then.
>
> Need to
Nice release guys.
DrRacket is buttery smooth and looks nicer than ever. Emacs withdrawal
symptoms almost gone when Racket coding. Though the left hand stills tends
to spontaneously break out into an organ Fugue every now and then.
Need to play with racket/generic and #:methods combined with TR
Racket version 5.3 is now available from
http://racket-lang.org/
* Submodules are nested module declarations that can be loaded and
run independently from the enclosing module. For an overview of
submodules, see
http://blog.racket-lang.org/2012/06/submodules.html
* The futures visual
14 matches
Mail list logo
