I was just thinking today that I would, for example, find it useful to have a
(zip ...) function in racket/list that would be equivalent to (map list ...).
Users coming from a Haskell background might even find it useful to have a
zip-with function that is simply an alias for map. Admittedly,
needs to insert the relevant contracts
at the relevant locations.
On Jan 30, 2015, at 07:27, Alexander D. Knauth alexan...@knauth.org wrote:
On Thu, Jan 29, 2015, at 09:03 PM, Alexis King wrote:
It isn’t wrapped in an opaque structure. That wasn’t a part of my proposal,
and while I
I recently ran into a problem in which opaque types (types imported from
untyped code) cannot by parameterized by Typed Racket. I initially encountered
this problem in my attempt to port 2htdp/image to TR
https://github.com/lexi-lambda/racket-2htdp-typed/issues/1.
After some further
at 10:13 PM, Alexis King lexi.lam...@gmail.com
mailto:lexi.lam...@gmail.com wrote:
Or Any for that matter. I know. The fact that it could be literally anything
was sort of the point.
On Jan 29, 2015, at 19:10, Alexander D. Knauth alexan...@knauth.org
mailto:alexan...@knauth.org wrote:
Um
PM, Alexis King lexi.lam...@gmail.com
mailto:lexi.lam...@gmail.com wrote:
I recently ran into a problem in which opaque types (types imported from
untyped code) cannot by parameterized by Typed Racket. I initially
encountered this problem in my attempt to port 2htdp/image to TR
https
:25 PM, Alexis King lexi.lam...@gmail.com
mailto:lexi.lam...@gmail.com wrote:
I recently ran into a problem in which opaque types (types imported from
untyped code) cannot by parameterized by Typed Racket. I initially
encountered this problem in my attempt to port 2htdp/image to TR
https
...@knauth.org wrote:
On Jan 29, 2015, at 11:34 PM, Alexis King lexi.lam...@gmail.com
mailto:lexi.lam...@gmail.com wrote:
But the problem is that if it’s an opaque type then it can’t unwrap it once
the value is returned from make-posn.
Yes, that’s precisely the problem. Your point about
to care.
On Jan 24, 2015, at 09:24, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
On Thu, Jan 22, 2015 at 3:57 PM, Alexis King lexi.lam...@gmail.com wrote:
I can work around this in a variety of ways—I can extract this into an
untyped module and use require/typed, I can use vectors
structure type declarations being a module-wide construct?
Internal function definitions work, and internal type definitions work, so
why shouldn’t internal structure definitions?
On Jan 22, 2015, at 3:57 PM, Alexis King lexi.lam...@gmail.com
mailto:lexi.lam...@gmail.com wrote:
Simple
Simple enough. This works:
#lang racket
(define (make-me-a-struct)
(struct foo ())
(foo))
(make-me-a-struct) ; = #foo
This does not:
#lang typed/racket
(define (make-me-a-struct)
(struct foo ())
(foo)) ; error: cannot apply a function with unknown arity
(make-me-a-struct)
This
cases? (I just followed the link upthread -- sorry if I need
to look somewhere else too.)
Robby
On Mon, Jan 19, 2015 at 3:15 PM, Alexis King lexi.lam...@gmail.com wrote:
Any update on this? If there’s anything that still needs to be changed, let
me know—otherwise, I’ll patiently wait
Any update on this? If there’s anything that still needs to be changed, let me
know—otherwise, I’ll patiently wait for the process to run its course. Just
checking in.
On Jan 16, 2015, at 10:15, Alexis King lexi.lam...@gmail.com wrote:
Ah, that makes sense, fixed.
On Jan 16, 2015, at 05
Ah, that makes sense, fixed.
On Jan 16, 2015, at 05:37, Robby Findler ro...@eecs.northwestern.edu wrote:
One comment. The contract combinators are curried so that you can do
work on the partial applications. So don't write this:
(define ho-val-first-projection
new questions:
There is no impersonate-evt function, so I’m not sure that my implementation
will work. What should I do about this?
I’d assume this needs to be documented/tested as well. Where should those
things be located?
On Jan 14, 2015, at 23:44, Alexis King lexi.lam...@gmail.com wrote
that function from racket/contract and
not an async-channel library?
Robby
On Thu, Jan 15, 2015 at 3:33 PM, Alexis King lexi.lam...@gmail.com wrote:
As an update, I’ve made a bit more progress on this. I’ve implemented an
impersonate-async-channel function, and I’ve actually included
there is some reason to modify the internals of racket/contract
to support them?
Robby
On Thu, Jan 15, 2015 at 4:50 PM, Alexis King lexi.lam...@gmail.com wrote:
Sorry, I wasn’t clear. The chaperone/impersonate-async-channel functions are
exported from racket/async-channel. The async
break anything else? Or can you
possibly implement that change in TR with no issues?
On Jan 12, 2015, at 08:06, Asumu Takikawa as...@ccs.neu.edu
mailto:as...@ccs.neu.edu wrote:
On 2015-01-11 23:29:28 -0800, Alexis King wrote:
This is a real problem, since Typed Racket’s require/typed form
17 matches
Mail list logo
