Re: [racket-users] European Racketeers and conferences

t;>>> >>>>> >>>>> >>>>> >>>>> >>>>>> On Aug 22, 2017, at 10:44 AM, Tim Jervis wrote: >>>>>> >>>>>> Hi Matthew, >>>>>> >>>>>> I’m base

Re: [racket-users] European Racketeers and conferences

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 >

[racket-users] European Racketeers and conferences

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,

[racket-users] `apply`ing polymorphic functions in typed/racket

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

Re: [racket-users] TR issue with the type of expt

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

Re: [racket-users] warnings for requiring opaque types in typed racket 6.6

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

Re: [racket-users] warnings for requiring opaque types in typed racket 6.6

;> 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

[racket-users] warnings for requiring opaque types in typed racket 6.6

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

[racket-users] typed racket, pattern matching, and hash tables

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

Re: [racket-users] Weirdness with typed racket and hashes

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.

[racket-users] Weirdness with typed racket and hashes

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

Re: [racket-users] Re: new #lang sicp

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

[racket-users] hot reloading code and html templates for web app development

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...

Re: [racket] Racket 6.0 does not work

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

[racket] net/url current-proxy-servers implementation for ssl?

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

Re: [racket] SIGSEGV MAPERR si_code 1 fault on addr 0x7...; can't isolate or consistently reproduce in source code; stack trace points to scheme_uncopy_stack

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 __

[racket] SIGSEGV MAPERR si_code 1 fault on addr 0x7...; can't isolate or consistently reproduce in source code; stack trace points to scheme_uncopy_stack

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

Re: [racket] distributed places - throwing dcgm-type contract violation on *channel-get

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

Re: [racket] distributed places - throwing dcgm-type contract violation on *channel-get

(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

Re: [racket] distributed places - throwing dcgm-type contract violation on *channel-get

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

Re: [racket] distributed places - throwing dcgm-type contract violation on *channel-get

-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

Re: [racket] distributed places - throwing dcgm-type contract violation on *channel-get

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

[racket] distributed places - throwing dcgm-type contract violation on *channel-get

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