typed-racket

15calore

1risposta

Quali sono le somiglianze e le differenze tra le funzionalità di digitazione in Racket digitato e le funzionalità di tipo in Clojure?

Clojure ha alcune caratteristiche interessanti per la rappresentazione di tipi inclusi ma non limitati a deftype, defprotocol, reify e extend. Quali sono le somiglianze e le differenze tra le funziona

5calore

1risposta

Come si scrivono le funzioni di ordine superiore che accettano le funzioni polimorfiche come argomenti in Racket tipizzato?

Ad esempio, come posso scrivere una versione di map che funzionerà con le funzioni polimorfiche in Racket tipizzato? Io uso una semplice funzione id definita come: (: id : (All (A) A -> A)) (define (

5calore

2risposta

Come ottimizzare questo pezzo di codice Racket?

Voglio calcolare la somma di 1 + 1/2 + 1/3 + ... + 1/100000000 (usando doppio float). Con SBCL, questo codice viene eseguito più velocemente in C: (loop for i fixnum from 1 to 100000000 sum (/ 1.0d0 i

5calore

1risposta

Rappresenta la funzione EOF -> False, A -> A ∀ A ≠ EOF in Racket tipizzato?

Sto cercando di definire il tipo di annotazione per la seguente funzione nel tipizzati Racket: (define (neof x) (if (eof-object? x) #f x)) Lasciando non-annotato dà il tipo: (Any -> Any) Util

12calore

1risposta

Come funziona l'inferenza di tipo di Typed Racket?

Che tipo di inferenza di tipo fa Rack tipizzato? Ho trovato il seguente frammento sulla racchetta mailing list: The Typed Racket type system contains a number of features that go beyond what's support