strong-typing

5calore

1risposta

Utilizzo della matrice di tipi astratti in Julia

Sto esplorando Julia quindi sono un principiante. Ora sto esplorando le sue caratteristiche fortemente tipizzate. Quello che sto realizzando è che non riesco a vedere l'uso di tipi astratti per gli ar

arrays julia-lang strong-typing 2016-03-01

---

9calore

5risposta

Lingue lato client fortemente tipizzate?

Esistono molte opzioni per i potenti linguaggi lato server, ma non riesco a pensare a un linguaggio lato client fortemente tipizzato e veramente potente. Javascript fa molto con le forme, la matematic

client-side strong-typing 2012-06-30

---

8calore

7risposta

Accesso fortemente criptato a csv in scala?

Vorrei accedere ai file CSV in scala in modo fortemente digitato. Ad esempio, mentre leggo ogni riga del csv, viene automaticamente analizzata e rappresentata come una tupla con i tipi appropriati. Po

scala csv tuples strong-typing 2013-06-15

---

6calore

4risposta

Il C++ è considerato debolmente digitato? Perché?

Ho sempre considerato il linguaggio C++ come una delle lingue maggiormente tipizzate. Quindi ero piuttosto scioccato per vedere Table 3 of this paper stato che C++ è tipizzato debolmente. Apparentemen

c++ strong-typing reinterpret-cast weak-typing 2014-11-05

---

18calore

4risposta

Riflessione del tempo di compilazione in C#

Scrivo spesso codice C# che deve utilizzare stringhe magiche per esprimere i nomi di proprietà. Tutti conoscono i problemi con le stringhe magiche. Sono molto difficili da refactoring, non hanno il co

c# .net compile-time strong-typing magic-string 2012-02-17

---

5calore

3risposta

Perché non esiste un tipo "elenco non vuoto" nelle librerie di base Haskell?

Questo tipo potrebbe essere data NonEmptyList a = NEL a [a] Le funzioni head, tail, e altri diventeranno metodi di una nuova creazione Listable classe del tipo. Alcune funzioni possono già essere in

list haskell types strong-typing 2014-12-29

---

15calore

1risposta

battitura moduli ricorsive

In Leroy's paper su come moduli ricorsiva vengono digitati in OCaml, è scritto che i moduli vengono controllati in un ambiente fatto di approssimazioni di tipi di moduli: module rec A = ... and B = ..

programming-languages module functional-programming ocaml strong-typing 2012-02-21

---

6calore

3risposta

Come posso creare facilmente un oggetto fortemente tipizzato da un oggetto anonimo in TypeScript?

Ho alcuni oggetti JSON contenenti oggetti anonimi provenienti dal mio lato client. C'è un meccanismo integrato o una libreria esterna per convertire questi oggetti anonimi in oggetti TypeScript fortem

javascript typescript strong-typing anonymous-objects 2013-08-29

---

7calore

1risposta

Tuple e chiusure tipizzate in Groovy

Ho eseguito un po 'di programmazione e Haskell e ho voluto implementare alcune funzioni di elaborazione dell'elenco Haskell in Groovy. Di seguito è una implementazione di unfoldr. Fondamentalmente lo

haskell types groovy strong-typing 2013-05-27

---

5calore

1risposta

mvc4 raggruppamento bundle fortemente tipizzati

Quindi MVC 4 introduce il raggruppamento di script e stile. Che consente per questo: public static void RegisterBundles(BundleCollection bundles) { bundles.Add(new ScriptBundle("~/bundles/mo

asp.net-mvc-4 strong-typing bundling-and-minification asp.net-optimization 2012-06-19

---