Domande con tag 'type-systems'

domande con tag
1
risposta

Qual è la prova che un'API abbia superato la sua ortogonalità nel contesto dei tipi?

Wikipedia definisce l'ortogonalità del software come : orthogonality in a programming language means that a relatively small set of primitive constructs can be combined in a relatively small number of ways to build the control and data str...
posta 31.05.2014 - 01:45
1
risposta

Quali sono alcuni usi pratici dei tipi di dati algebrici generalizzati? [chiuso]

Tutte le esercitazioni su GADT che ho visto (in Haskell, Coq e Idris) usano una stessa versione di un interprete ben tipizzato per mostrare come le GADT possono essere utili, in cui si utilizza l'indice di tipo per codificare il tipo di GADT ter...
posta 27.02.2017 - 16:23
1
risposta

Ci sono solo 2 posti in cui puoi dichiarare nuovi parametri di tipo generico in Java?

È confuso perché la dichiarazione di tipo e l'utilizzo utilizzano entrambi la sintassi <T> . Penso che ci siano solo 2 posti in cui è possibile dichiarare nuovi tipi generici in Java: 1. Nella definizione di una classe o interfaccia...
posta 17.11.2016 - 15:55
3
risposte

Se Scheme non è tipizzato, come può avere numeri e liste?

Si dice che lo schema sia solo un'estensione del Calcolo Lambda non tipizzato (correggimi se sbaglio). Se questo è il caso, come può avere liste e numeri? Quelli, per me, sembrano 2 tipi di base. Quindi direi che Racket è in realtà un'estensione...
posta 29.05.2014 - 22:11
1
risposta

Che cosa significa "poliadico" nel contesto della programmazione funzionale e dei sistemi di tipi?

E in che modo (o non) corrisponde a "polimorfico"? Occasionalmente vedo questa nozione come in: Implementare e rappresentare operazioni poliadiche . Ho controllato Wikizionario ma dà solo un significato generale, non specifico per la programm...
posta 09.12.2012 - 15:20
1
risposta

Una domanda sui tipi statici

Come si scrive staticamente il seguente programma JavaScript function c(str) { c = eval(str); return c(str); } Non sto cercando di iniziare una guerra di fiamma, ma sono sinceramente curioso. Ho sempre pensato che i linguaggi dinamici p...
posta 01.08.2014 - 17:12
3
risposte

Vietare le funzioni a zero argomenti - quali problemi potrebbe causare in un linguaggio ipotetico?

Sto creando un linguaggio di programmazione come hobby, ma ho riscontrato un problema con la progettazione della sua sintassi. Il problema è il conflitto tra la sintassi per definire le funzioni dell'argomento zero e la sintassi per le operazion...
posta 12.07.2015 - 01:17
2
risposte

L'interfaccia a metodo singolo e la definizione del tipo di funzione sono le stesse?

In una lingua in cui è possibile definire interfacce e typedef (utilizzando Dart qui): abstract class Receiver { void receive(int quantity); } typedef void Receive(int quantity); abstract class Transport { void deliver(Receiver receiver)...
posta 21.02.2015 - 18:40
3
risposte

I compilatori possono controllare se certi assiomi sono validi per un tipo definito dall'utente?

Supponiamo che il seguente tipo sia definito (la sintassi C ++, può essere concettualmente applicata a qualsiasi linguaggio tipizzato staticamente.) class T { int val; friend bool operator<(const T& lhs, const T& rhs) {...
posta 27.09.2013 - 13:31
1
risposta

Sistema di tipo C # e tipo dinamico

Sto scrivendo un articolo sul sistema di tipo C # (e Go) con l'accento sull'aspetto dinamico. Qualcuno ha suggerimenti per documenti / letteratura? Le cose che ho trovato non vanno molto nel dettaglio. Vorrei aggiungere alcuni paragrafi su...
posta 08.06.2011 - 15:27