Domande con tag 'static-typing'

domande con tag
1
risposta

Gestione delle maschere di campo sul client tipizzato staticamente

Diciamo che ho un'API REST, che ha la capacità di fornire una maschera di campo (ad esempio, l'API può restituire M di attributi N dove M è un sottoinsieme di N). Se un client tipizzato staticamente (esempio: uno scritto in Java) richiede i d...
posta 05.12.2018 - 03:28
3
risposte

Quali sono gli svantaggi di non dichiarare un metodo di classe statico?

Sulla traccia "Interfacce" sul sito Web di Oracle, viene presentato il seguente scenario: Imagine a futuristic society where computer-controlled robotic cars transport passengers through city streets without a human operator. Automobile...
posta 17.03.2014 - 15:23
2
risposte

è JS un linguaggio digitato gradualmente?

Stavo facendo ricerche su concetti tipizzati staticamente e tipizzati dinamicamente e ho scoperto che esiste un altro tipo di sistema chiamato gradualmente digitato. Da wikipedia Gradual typing is a type system in which variables may b...
posta 23.06.2014 - 07:39
1
risposta

Tipizzazione statica e battitura dinamica [chiusa]

Sto sviluppando il mio linguaggio di programmazione nel mio tempo libero come hobby. È un linguaggio interpretato. Attualmente la sintassi per le variabili è questa: %<variable> = <value> Ecco alcuni esempi: %test = 10 %some...
posta 16.09.2014 - 19:50
2
risposte

L'ereditarietà gerarchica appartiene al passato? [chiuso]

Recentemente ho notato che l'ereditarietà gerarchica può essere una reliquia del pensare alle classi come "strutture con funzioni" piuttosto che a una mentalità legata al contratto di prodotto. Considerare, come semplice esemplare, l'implemen...
posta 27.09.2011 - 08:23
2
risposte

Uso delle classi statiche per definire i metodi per la gestione degli oggetti di classe POCO

Sono abbastanza nuovo per il paradigma OOP e per questo progetto in corso, ho bisogno di progettare e sviluppare un back-end di applicazioni Web in .NET MVC usando C #. Un mio amico mi ha detto che gli oggetti di classe che usiamo principalme...
posta 02.04.2015 - 11:42
1
risposta

Definizione formale di "concetti / tipo di sistema" per tipi parametrici - Da dove cominciare?

Sarei interessato a definire formalmente (e di conseguenza a dimostrare) un "sistema di tipi" per, beh, un sistema di tipi. Più specificamente, vorrei esplorare l'idea di ciò che C ++ chiama concetti per la mia tesi di laurea. Come si dovrebb...
posta 01.06.2013 - 03:02
1
risposta

Passare attorno a token impl-specific in algoritmi generici in un sistema di tipo statico / strong

Ero interessato a risolvere diversi problemi non collegati usando tecniche di ricerca di grafi generici, quindi, dopo un po 'di giocherellando, ho sviluppato il seguente schema: ogni problema implementa un'interfaccia generica "Problema" che ha...
posta 23.02.2014 - 19:00
2
risposte

Devo testare gli aspetti che digitano le coperture di controllo?

Ad esempio, dovrei provare in questo modo: // it shouldn't even compile since I'm using a static type-checking expect(addTen('string')).toThrowError() quando è già selezionato come segue: function addTen(n: number): number { return n...
posta 20.05.2017 - 20:32
1
risposta

Come gestirò un insieme di classi di eventi differenti con interfacce di gestori differenti in un singolo processore di eventi?

Sto lavorando su un framework di processore di eventi per un semplice gioco che sto scrivendo, in cui più tipi di eventi sono gestiti in un loop. Dato che questi eventi portano distinti dati (ad esempio, uno trasporta un giocatore e una posizion...
posta 01.03.2014 - 21:52