On Fri, Jul 5, 2019 at 2:32 PM Jordan Johnson wrote:
>
> Thanks for the reply, Robby.
>
> On Jul 2, 2019, at 19:11, Robby Findler wrote:
> One note not related to what you ask: lines in editor<%> parlance are
> soft-breaking; the methods about paragraphs are the ones you want.
> For which
Thanks for the reply, Robby.
On Jul 2, 2019, at 19:11, Robby Findler wrote:
> One note not related to what you ask: lines in editor<%> parlance are
> soft-breaking; the methods about paragraphs are the ones you want.
For which specific purpose?
The method that c:e is bound to by default
No, for two reasons. One, currently `require/typed` does not support
function types with two cases that have the same number of arguments.
Second, Typed Racket's subtyping treats that type as a subtype of
`(All (a) (-> a a))`, so your program gives "interesting" results if
we add this line at the
In the code below, can `maybe-car` have the given type without using
typed/racket/unsafe?
#lang typed/racket
(require typed/racket/unsafe)
(module untyped racket
(provide maybe-car)
(define (maybe-car x)
(cond
[(pair? x) (car x)]
[else x])))
(unsafe-require/typed
'untyped
> On Jul 5, 2019, at 10:51 AM, Matthew Flatt wrote:
>
> DrRacket hides the other arguments to make the error message initially
> more compact. Click "..." in DrRacket to expose the arguments.
>
Thanks! The explanation has suddenly made it “intuitive” to me :)
Kevin
--
You received this
DrRacket hides the other arguments to make the error message initially
more compact. Click "..." in DrRacket to expose the arguments.
At Fri, 5 Jul 2019 10:49:09 -0700, Kevin Forchione wrote:
> Hi guys,
> Been adding raise-argument-error to my functions to catch errors and have
> noticed that
Hi guys,
Been adding raise-argument-error to my functions to catch errors and have
noticed that the 2nd version of the form doesn’t actually list the other
arguments - even for the example in the docs:
>(define (feed-animals cow sheep goose cat)
(if (not (eq? goose 'goose))
Hi Eric,
The DAW library project sounds interesting. I don't know much about music
production, but a friend has been getting into it, so I've dabbled a bit.
It's always cool to see what people can do with code and music. The other
day I watched some of Chris Ford's talks, and that was neat.
8 matches
Mail list logo