Domande con tag 'type-systems'

domande con tag
0
risposte

L'apprendimento automatico può essere utilizzato per la previsione non numerica?

Ho iniziato a leggere un libro di apprendimento automatico da pochi giorni e ho appreso come può essere utilizzato per la classificazione / regressione / ecc. Tuttavia, non sono sicuro se sarà in grado di gestire l'attività che voglio realizzare...
posta 06.01.2018 - 01:10
4
risposte

tipo ha inferito le lingue tipizzate staticamente?

ci sono delle lingue typesafe senza tipo? Per typesafe intendo i tipi controllati in fase di compilazione. Con typeless significo che i tipi non sono dichiarati. So che è più facile di quanto sembri, forse anche impossibile, ma ad esempio se...
posta 19.11.2014 - 22:14
4
risposte

Sui linguaggi strongmente digitati con l'associazione tardiva, hanno senso?

Non ho mai imparato nulla su VB6 (e non voglio) ma volevo cercare cose brutte nei software per computer, quindi il mio primo pensiero era VB6. Quindi, ad esempio, VB6 è stato strongmente digitato con l'associazione tardiva. Ha senso avere...
posta 21.06.2011 - 01:04
1
risposta

TypeScript - Possono coesistere "Structural typing" e "OOP paradigm"?

Da Compatibilità dei tipi - Introduzione : Structural typing is a way of relating types based solely on their members. This is in contrast with nominal typing. Consider the following code: interface Named { name: string; } clas...
posta 07.11.2017 - 05:23
2
risposte

I metodi statici di una parte di classe del suo tipo?

Per quanto ho capito, le classi, come sono supportate in linguaggi OOP come C ++, Java e Scala, definiscono scrivi di ogni oggetto che posso creare con quella classe. Non tutte le funzionalità di una classe sono rilevanti per il tipo delle...
posta 16.05.2015 - 14:21
2
risposte

Possono esserci tipi di valore nelle lingue dinamiche? [chiuso]

Un tipo di valore è uno le cui istanze sono a loro volta salvate in variabili. Un tipo di riferimento è un tipo le cui istanze vengono salvate da qualche parte e le variabili contengono solo gli indirizzi delle istanze. Alcune lingue, come Ja...
posta 24.09.2015 - 22:51
2
risposte

in che modo lo sviluppo basato sui test ci impedisce errori di tipo?

Ho sentito (da Robert C. Martin) un'affermazione secondo cui, poiché i linguaggi dinamici non hanno un controllo ortografico statico, le persone dovrebbero scrivere test unitari per impedirci di digitare errori. Non sono sicuro di seguire il...
posta 05.03.2015 - 23:33
1
risposta

Conversione implicita per la sottotipizzazione della funzione

Le lingue con le coercizioni ( ie conversioni di tipo implicito ) consentono di esprimere cose del genere (indipendentemente da qualsiasi sintassi): f : int32 → int32 = λx.x+x a : int16 = 42 b : int64 = f(a) Dove le conversioni di tipo no...
posta 24.05.2018 - 14:24
1
risposta

GO - Come definire i metodi di tipo denominato?

In GO, rule is, i metodi possono essere definiti solo su named type e puntatore a named type . In C, sotto codice , le operazioni sono definite sul tipo (ad esempio List ) , typedef struct List List; //list.h typedef struct {...
posta 30.01.2017 - 17:31
1
risposta

Avrebbe senso aggiungere all'eredità parametri di un tipo dedotto?

Scriverò questo in PHP (dove questo pensiero ha avuto origine), ma questo è generico per qualsiasi linguaggio orientato agli oggetti. Fondamentalmente, questa è un'aggiunta alle classi astratte che definisce l'implementazione delle sue sottoclas...
posta 30.01.2014 - 19:38