type-constraints

12calore

1risposta

Cosa significa questo vincolo di tipo generico in Swift?

Guardate la definizione per il sovraccarico di += operatore in Swift che consente di aggiungere elementi a una raccolta: /// Append the elements of rhs to lhs func +=<T, C : Collection where T == T>(

6calore

2risposta

Esiste un modo per vincolare i tipi di unione?

In Haskell, esiste un modo per raggruppare diversi vincoli di tipo, in modo che l'unione sia soddisfatta se uno di essi è soddisfatto? Per esempio, supponiamo ho avuto un GADT parametrizzato da un Dat

6calore

1risposta

Cercando di capire vincoli tipo derivato

le seguenti rese Questo costrutto causa il codice di essere meno generico di quelli indicati dalle annotazioni di tipo. La variabile di tipo 'P è stata vincolata per essere di tipo' bool '. per il lat

5calore

1risposta

F # implementazione di metodo di interfaccia con il tipo di vincolo

ho un problema stupido, ho bisogno di implementare in F # di classe l'interfaccia che sono seguente metodo: public interface IMyInterface { T MyMethod<T>() where T : class; } E mi sto lottand

6calore

1risposta

Priorità di più vincoli su un parametro di tipo generico

Nell'esempio seguente, ho due vincoli, Foobar e IFoobar<T>, su tipo T in classe generica FoobarList<T>. Ma il compilatore dà un errore: non è possibile convertire implicitamente il tipo "Foobar" in "T

8calore

2risposta

Puoi creare un'istanza di una classe non per un tipo ma per un'intera classe in Haskell?

Supponiamo di voler rendere tutti i numeri un'istanza di Monoid. Invece di dover creare un'istanza per ogni Num come questo: instance Monoid Int where mappend = (+) mempty = 0 instance Mon

6calore

2risposta

Impossibile rendere l'oggetto con un vincolo di tipo ricorsivo?

Questa è una domanda puramente accademica, ma riffing di this question sui vincoli di tipo. L'intervistatore ha fornito questo esempio: type Something<'a, 'b when 'b :> seq<'b>>() = member __.x =

9calore

1risposta

Utilizzando propria classe come vincolo parametro di tipo nella dichiarazione di classe

Ho la seguente dichiarazione di una classe a Delfi XE8: TestClass = class; TestClass = class function test<T: TestClass>(supplier: TFunc<T>): T; // Compiler error end; che getta il seguente e

21calore

3risposta

Perché questo viola il vincolo di tipo?

Sto cercando di personalizzare ASP.NET Identità 3 in modo che utilizza chiavi intere: public class ApplicationUserLogin : IdentityUserLogin<int> { } public class ApplicationUserRole : IdentityUserRol

7calore

2risposta

Haskell tipo istanza famiglia con vincoli di tipo

Sto cercando di rappresentare espressioni con famiglie di tipi, ma non riesco a capire come scrivere i vincoli che voglio, e sto iniziando a sentire come se non fosse possibile. Ecco il mio codice: cl