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

? 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...@googlegroups.com. For mo

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

e 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 received this message because you ar

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 <lojicdot...@gmail.com&

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

; 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. Let me know if this > didn't help clear things up. > >

[racket-users] Weirdness with typed racket and hashes

o 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 String One)) ; in: t* Regards, Matthew Eri

[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

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

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

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

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

hnical reason 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

[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) *

Re: [racket-users] European Racketeers and conferences

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 >> >> Am 22.08.2017 um 15:1

[racket-users] European Racketeers and conferences

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, send an email

Re: [racket-users] European Racketeers and conferences

: >>>>>> >>>>>> Hi Matthew, >>>>>> >>>>>> I’m based in London and would be interested in a get-together. >>>>>> >>>>>> Kind regards, >>>>>> >>>>>> >&