the entire racket machine ?
Thanks,
--
Matthew Eric Bassett | http://mebassett.info
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...
This is great Neil. I am running a London study group on SICP and we can help
test this after the easter holiday.
Many thanks to everyone who has worked on this.
Matthew Eric Bassett | https://mebassett.info
> On Mar 21, 2016, at 14:55, Brian Adkins wrote:
>
>> On Friday, March 1
e? Is there some hidden knowledge
required to use
hash tables here?
Note that the following also does not work:
-> (ann t* (HashTable Symbol (U String Integer)))
; readline-input:31:5: Type Checker: type mismatch
; expected: (HashTable Symbol (U Integer String))
; given: (HashTable Symbol (U S
after all, that's t*'s type) could be
> surprised with a non-One Integer.
>
> Commingling mutable and immutable hash tables into the same type is
> definitely confusing in TR. Hopefully we can tease them apart in the
> future to remove at least some of the confusion.
ract typed
parameters from some json input in a reasonable way. But perhaps I'm
abusing match.
For the moment set that problem aside - why doesn't my match work in
typed racket? What am I not understanding?
Thanks,
M.e.
--
Matthew Eric Bassett | http://mebassett.info
--
You rec
orrect" way to handle these sorts of cases?
Thanks!
Matthew Eric
--
Matthew Eric Bassett | http://mebassett.info
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, sen
;> I use a similar pattern to call the untyped db library from typed code,
>> say with
>> (require/typed db [#:opaque Sql-Null] [sql-null Sql-Null]), which would
>> bring up a similar warning.
>>
>> Is there a "correct" way to handle these sorts of case
t; when they flow from typed-to-untyped. That way typed racket would know how to
> protect the values.
we will be eagerly awaiting such a change to typed racket, as unsafe
requires are worrisome. If a lay-programmer could contribute do let me
know, though I am not sure I know where to star
why my example HAS TO fall back to
> (Number Number -> Number)? Or is this simply an oversight?
>
> Regards,
>
> Tim
>
> Version: 6.6.0.4--2016-09-08(-/f) [3m].
>
--
Matthew Eric Bassett | http://mebassett.info
--
You received this message because you are subscribe
Hi everyone,
I have a strange example for you. The following code throws an error in
typed/racket 6.7:
> (define (list1) : (Listof (Setof Positive-Byte))
(list (set 2) (set 3 2)))
(apply set-union (list1))
Type Checker: Bad arguments to function in `apply':
Domain: (Setof e) (Setof e) *
A
naware of (I am already
familiar with the European lisp symposium)
Best,
--
Matthew Eric Bassett | http://mebassett.info
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it,
o be precise. I learned Racket back in
> version 53 - that was something around 1999. On and off for a few years
> and now I am using in commercially in my own company.
>
> Happy to join a European Racket gathering.
>
> Paulo Matos
>
>> Best wishes,
>> Daniel
>
t;>>>
>>>>>
>>>>>
>>>>>
>>>>>
>>>>>> On Aug 22, 2017, at 10:44 AM, Tim Jervis wrote:
>>>>>>
>>>>>> Hi Matthew,
>>>>>>
>>>>>> I’m base
proxy implementation for https? Or any major
obstacles preventing such? I know very little about the dark
innerworkings of ssl.
Thanks,
Matthew Eric
--
Matthew Eric Bassett | http://mebassett.info
Racket Users list:
http://lists.racket-lang.org/users
box. and the binaries work great, too).
Regards,
Matthew Eric
--
Matthew Eric Bassett | http://mebassett.info
Racket Users list:
http://lists.racket-lang.org/users
l-put pl "hi!")
(*channel-get pl)))
; gives same result as above.
Any ideas what I'm doing wrong or what I'm missing?
Many thanks,
--
Matthew Eric Bassett | http://mebassett.info
Racket Users list:
http://lists.racket-lang.org/users
Just to update, also tried this on v5.3.1 using
spawn-node-supervise-place-at with #:thunk set. same result.
On 12/14/2012 03:31 PM, Matthew Eric Bassett wrote:
Hey folks,
I was playing around with distributed places and I ran into a some
problems. I'm using racket v5.3 and am foll
-at "localhost"
#:listen-port 7000 "hello-world-place.rkt" 'hello-world))
(*channel-put pl "Hello bozo")
(*channel-get pl)
#;(message-router node)
)
On 12/15/2012 02:16 AM, Matthew Eric Bassett wrote:
Just to update, also tried this on v5.3.1 using
repl/xrepl.rkt:1342:0
; /usr/local/lib/racket/collects/racket/private/misc.rkt:87:7
Thanks,
Matthew
On 12/15/2012 10:22 PM, Matthew Eric Bassett wrote:
Kevin,
Many thanks for your response.
The only significant difference between your code and mine is the use
of localhost (which makes di
(From the looks of things, since you're spawning a node on localhost, I
think you might have to get 'ssh localhost' working the same way. Maybe
something like cat .ssh/id_rsa >> .ssh/authorized_keys might help?)
Matthew Eric Bassett writes:
Kevin,
Thanks again for your ti
yself, like you
suggested, and the process did fail, being unable to find the file. I
moved the file into the home directory and that seemed to get things
working. I'll checkout the new code from git later on - thanks for your
help!
--
Matthew Eric Bassett | h
reading core
dumps).
I've not included any of our racket code, as we don't know which part
is causing the problem.
Thanks for reading,
--
Matthew Eric Bassett | http://mebassett.info
Racket Users list:
http://lists.racket-lang.org/users
I've not
reached
enlightenment. Again, I have little experience with reading core
dumps).
I've not included any of our racket code, as we don't know which
part
is causing the problem.
Thanks for reading,
--
Matthew Eric Bassett | http://mebassett.info
__
23 matches
Mail list logo