[racket-users] Call for Sponsorships: ICFP 2018

2017-10-30 Thread 'Lindsey Kuper' via users-redirect
ICFP 2018 The 23rd ACM SIGPLAN International Conference on Functional Programming https://icfp18.sigplan.org Call for Sponsorships Web version of this call for sponsorships: https://icfp18.sigplan.org/attending/supporting-

Re: [racket-users] New wiki page ‘friends of Racket’

2017-10-30 Thread Stephen De Gabrielle
it was nice to see Alex and Philip contribute too! Stephen On Mon, Oct 30, 2017 at 4:20 PM, Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote: > Thanks Stephen for giving our wiki some much-needed love! > > Vincent > > > On Sat, 28 Oct 2017 04:56:37 -0500, > Stephen De Gabrielle wrote: >

[racket-users] Racket v6.11

2017-10-30 Thread Vincent St-Amour
Racket version 6.11 is now available from http://racket-lang.org/ * Typed Racket supports refinement types and dependent function types. Previously an experimental feature, refinement types allow types to describe more interesting properties of values, especially integers. For example,

Re: [racket-users] Multiple namespaces in Racket

2017-10-30 Thread Anthony Carrico
> https://lexi-lambda.github.io/blog/2017/10/27/a-space-of-their-own-adding-a-type-namespace-to-hackett/ Nice summary. Whoever writes the great macro programming book in the sky would do well to review this post. Good work as usual Alexis. -- Anthony Carrico -- You received this message becaus

Re: [racket-users] namespace-variable-value thinks functions are bound to syntax

2017-10-30 Thread Shu-Hung You
Yes, because keyword functions expand to macro definitions that try to optimize keyword applications. namespace-require and namespace-variable-value are relatively low-level operations on modules and namespaces. Using dynamic-require could be a bit easier: #lang racket (module p racket (provid

Re: [racket-users] New wiki page ‘friends of Racket’

2017-10-30 Thread Vincent St-Amour
Thanks Stephen for giving our wiki some much-needed love! Vincent On Sat, 28 Oct 2017 04:56:37 -0500, Stephen De Gabrielle wrote: > > I created a new wiki page > https://github.com/racket/racket/wiki/Friends-of-Racket > (yes, I got the idea from rust-lang) > > I did it because it is a questio

Re: [racket-users] demande d'aide

2017-10-30 Thread Matthias Felleisen
> On Oct 30, 2017, at 9:43 AM, Masto Fine wrote: > > bonjour , pouvez vous m'expliquer concretement comment utiliser require et > provide , et comment extraire seulement une partie d'un teachpack. Good style proposes to use provide like this: #lang racket ;; ‘server’ module (provide ;

Re: [racket-users] demande d'aide

2017-10-30 Thread David Storrs
Vous obtiendrez de meilleures réponses en anglais pour cette liste, mais je vais essayer avec l'aide de google translate. nécessitent des modules pulls dans votre script, fournissent les rend disponibles pour être requis. Les détails sur require sont ici: https://docs.racket-lang.org/reference/requ

[racket-users] demande d'aide

2017-10-30 Thread Masto Fine
bonjour , pouvez vous m'expliquer concretement comment utiliser require et provide , et comment extraire seulement une partie d'un teachpack. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emai