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/require.html

Exemples:

---- hi_bye.rkt
#lang racket
(provide (all-defined-out))  ; tout ce qui est défini sera disponible
pour d'autres scripts
(define (say-hi)   (displayln "hi!"))

(define (say-bye)    (displayln "bye!"))
----- end

---- foo_bar.rkt
#lang racket
(provide say-foo say-bar)  ; seulement ces deux fonctions sont disponibles

(define (do-nothing) #t)

(define (say-foo)   (displayln "foo!"))

(define (say-bar)    (displayln "bar!"))
---- end

---- baz_jaz.rkt
#lang racket
(provide (all-defined-out))

(define (say-baz)   (displayln "baz!"))

(define (say-jaz)    (displayln "jaz!"))
---- end


--- my_script.rkt
(require "hi_bye.rkt"   ;; apporte toutes les fonctions fournies par
hi_bye.rkt, car ils ont tous été fournis
             "foo_bar.rkt"  ;; n'apporte que say-foo et say-bar parce
que c'est tout ce qui a été fourni
             (except-in "baz_jaz.rkt" ;; apporter tout ce que
baz_jaz.rkt fournit ....
                             say-jaz))         ;; sauf pour la
fonction 'say-jaz'
---- end

On Mon, Oct 30, 2017 at 9:43 AM, Masto Fine
<thomaspierrard1...@gmail.com> wrote:
> 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 emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 more options, visit https://groups.google.com/d/optout.

Reply via email to