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

2016-01-06 Thread Matthew Eric Bassett
? 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

2016-06-13 Thread Matthew Eric Bassett
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

2016-03-21 Thread Matthew Eric Bassett
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

2016-05-23 Thread Matthew Eric Bassett
; 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

2016-05-23 Thread Matthew Eric Bassett
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

2016-08-19 Thread Matthew Eric Bassett
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

2016-08-24 Thread Matthew Eric Bassett
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

2016-08-24 Thread Matthew Eric Bassett
;> 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

2016-09-27 Thread Matthew Eric Bassett
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

2017-01-04 Thread Matthew Eric Bassett
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

2017-08-23 Thread Matthew Eric Bassett
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

2017-08-22 Thread Matthew Eric Bassett
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

2017-09-04 Thread Matthew Eric Bassett
: >>>>>> >>>>>> Hi Matthew, >>>>>> >>>>>> I’m based in London and would be interested in a get-together. >>>>>> >>>>>> Kind regards, >>>>>> >>>>>> >&