language-design

11calore

3risposta

Qual è l'uso pratico della pigrizia come caratteristica del linguaggio incorporato?

È abbastanza ovvio perché un linguaggio di programmazione funzionale che vuole essere pigro deve essere puro. Sto guardando alla domanda inversa: se una lingua vuole essere pura, c'è un grande vantagg

programming-languages functional-programming language-design lazy-evaluation 2011-11-26

---

8calore

3risposta

La mancanza di tipi primitivi non firmati di Java è una caratteristica di Java la piattaforma o Java del linguaggio?

Ci sono domande su why Java doesn't support unsigned types e alcune domande su come gestire i tipi senza segno. Ho fatto qualche ricerca, e sembra che Scala non supporti anche i tipi di dati non firma

java types language-design unsigned 2011-12-01

---

70calore

2risposta

Scopo di "let expression" (LetExpr) nel compilatore Java?

Il compilatore Java sembra supportare le espressioni let in com.sun.tools.javac.tree.* (cercare LetExpr). Un commento in JCTree menziona anche qualche sintassi (let int x = 3; in x+2) che naturalmen

java compiler-construction language-design let 2011-12-04

---

6calore

5risposta

moderna supporto della lingua + = ma non && =

La maggior parte (ma solo in realtà conosco un piccolo numero, quindi non consente di ottenere schizzinosi su questo punto) linguaggi di alto livello supportano più operatori di assegnazione different

operators language-design shortcut 2011-10-19

---

24calore

1risposta

Quale proprietà del sistema di tipi Scala lo rende Turing-completo?

Scala utilizza un sistema di tipi basato su Sistema F ω, che normalmente si dice che sia fortemente normalizzante. La forte normalizzazione implica la non completezza di Turing. Tuttavia, il sistema d

scala types language-design type-systems turing-complete 2011-12-13

---

18calore

2risposta

Perché alcuni ordini sono forzati nei vincoli dei parametri generici?

Quando si definiscono i vincoli di un parametro di tipo generico, dobbiamo inserire class() nella parte anteriore e new() alla fine, ad esempio. Perché è questo, perché non riesco a mettere i miei vin

c# generics constraints language-design 2011-12-15

---

36calore

2risposta

Promozione tipo di dati per le persone con problemi di dipendenza

Dopo aver letto il file ghc 7.4. note pre-rilascio e il documento Giving Haskell a Promotion, sono ancora confuso su ciò che effettivamente si fa con i tipi promossi. Ad esempio, il manuale di GHC ha

haskell types language-design dependent-type 2011-12-22

---

19calore

5risposta

Perché dobbiamo assegnare un nome ai parametri del metodo di interfaccia?

In C# dobbiamo nominare i parametri di un metodo di un'interfaccia. ho capito che, anche se non abbiamo dovuto, così facendo aiutare il lettore a capire il significato, ma in alcuni casi non è realmen

c# interface parameters language-design 2011-12-23

---

13calore

1risposta

errore del compilatore su grafico di classe non essendo finitario a causa di un parametro di tipo espansivo ricorsivo

Con questo pezzo di codice: trait B[T] trait C[T] class A[T] extends B[A[C[T]]] ottengo il seguente errore: error: class graph is not finitary because type parameter T is expansively recursive

scala inheritance compiler-construction types language-design 2011-09-24

---

9calore

2risposta

Perché gli argomenti non sono File.new invece di stringhe?

Mi chiedevo perché le persone che hanno scritto la libreria File hanno deciso di creare gli argomenti che determinano in quale modalità il file viene aperto nelle stringhe anziché nei simboli. Per ese

ruby language-design symbols 2011-09-24

---