Nessun F # generico con "argomenti modello" costanti?

Question

Mi è appena venuto in mente che i generici di F # non sembrano accettare valori costanti come "parametri modello".

Supponiamo di voler creare un tipo RangedInt tale che si comporti come un int ma è garantito che contenga solo un sottointervallo di valori interi.

Un possibile approccio potrebbe essere un'unione discriminata, simile a:

type RangedInt = | Valid of int | Invalid 

Ma questo non funziona neanche, in quanto non v'è alcuna "memoria specifica il tipo di informazioni range". E 2 istanze RangedInt dovrebbero essere di tipo diverso, anche se l'intervallo è diverso.

Essere ancora un po 'C++ infestata sarebbe simile a:

template<int low,int high> 
class RangedInteger { ... }; 

Ora la domanda, derivante è duplice:

1. Mi sono perso qualcosa e valori costanti per F # generics esiste?
2. Se non mi mancasse quello, quale sarebbe il modo idiomatico per realizzare un tale RangedInt<int,int> in F #?

Dopo aver trovato Tomas Petricek's blog about custom numeric types, l'equivalente alla mia domanda per questo articolo del blog sarebbe: E se non ha fatto un, ma un tipo di famiglia IntegerZn<int> personalizzato IntegerZ5?

Answer 1

La funzione della lingua richiesta è denominata Dependent Types e F # non dispone di tale funzionalità.

Non è una funzionalità di linguaggio particolarmente comune, e persino Haskell (che la maggior parte degli altri linguaggi di programmazione Functional 'guarda fino a') in realtà non ce l'ha.

Lì sono lingue con tipi dipendenti là fuori, ma nessuno di loro considererei mainstream. Probabilmente quello che sento di più è Idris.

Answer 2

Mi sono perso qualcosa e i valori costanti per i generici F # esistono?

Mentre F # ha inferenza di tipo molto forte rispetto ad altri linguaggi .NET, nel suo cuore è costruito su .NET.

E i generici .NET supportano solo un piccolo sottoinsieme di ciò che è possibile con i modelli C++. Tutti gli argomenti tipo per i tipi generici devono essere tipi e non esiste nemmeno l'impostazione predefinita degli argomenti tipo.

Se non mi mancasse quello, quale sarebbe il modo idiomatico per realizzare un tale RangedInt in F #?

Dipenderebbe dai dettagli. Impostare i limiti in fase di esecuzione è una possibilità - questo sarebbe il solito approccio in .NET. Un altro sarebbe unità di misura (questo sembra meno probabile che sia un adattamento).

E se non fosse un IntegerZ5 ma una famiglia di tipo personalizzato IntegerZn<int>?

Vedo due motivi:

• Si tratta di un esempio, ed evitando generici mantiene le cose più semplici concentrarsi permettendo sul punto dell'esempio.
• Quale altro tipo di sottostruttura si userebbe comunque? Sui sistemi moderni di tipo più piccolo (byte, Int16 ecc.) sono meno efficienti (a meno che lo spazio in fase di esecuzione non sia una preoccupazione travolgente); long aggiungerebbe dimensioni senza benefici (si manterranno solo 5 valori possibili).