Tag: static-typing
Eine Programmiersprache wird gesagt, um nutzen für die statische Typisierung bei der Typ-Prüfung durchgeführt wird, während der Kompilierung-Zeit im Gegensatz zu run-time.
Nachteile von Scala-Typsystem vs. Haskell?
6 Antworten
Habe ich gelesen, dass Scala ' s Typsystem ist geschwächt durch Java-Interoperabilität und kann daher nicht ausführen einige der die gleichen Befugnisse wie Haskell Typ-system. Ist das wahr? Ist die Schwäche, denn der Typ Löschung, oder bin
zuweisen von Typ zu variable, variable mit generischen statischen Klasse
3 Antworten
Arbeite ich in einer C# - web service mit einem generischen statischen Klasse, die es braucht, geben. Ich Frage mich, warum diese nicht kompilieren: Type type1 = typeof(MySnazzyType); Assert.AreEqual(0, ConnectionPool_Accessor<type1>._pool.Count); Gibt es diese Fehlermeldung: Den Typ oder
Gibt es eine kompilierte* Programmiersprache mit dynamischer, vielleicht sogar schwache Typisierung?
9 Antworten
Fragte ich mich, ob es eine Programmiersprache, die kompiliert wird, um Maschinen-code/binary (kein bytecode dann ausgeführt, indem ein VM, das ist etwas ganz anderes, wenn man bedenkt Eingabe), die mit dynamischen und/oder schwache Typisierung, e.g: Denken Sie
Haskell geben Sie die Signatur mit mehreren Klasse-Einschränkungen
1 Antworten
Wie kann ich mehrere Klasse-Einschränkungen, so dass, wenn A ist ein Eq und B ist ein Num könnte ich auch sagen entweder f :: Eq a => a -> b` oder f :: Num b => a
Schnittstelle vs-Basisklasse
30 Antworten
Wann sollte ich ein interface und Wann soll ich eine base-Klasse? Sollte es immer eine Schnittstelle, wenn ich nicht wollen, um tatsächlich zu definieren, die eine Basis-Implementierung der Methoden? Wenn ich einen Hund habe und Katzen-Klasse. Warum
Gibt es eine Haskell-idiom für die Aktualisierung einer geschachtelten Struktur der Daten?
3 Antworten
Sagen wir, ich habe die folgenden Daten ein Modell, für das verfolgen der Statistiken von baseball-Spieler, teams und Trainer: data BBTeam = BBTeam { teamname :: String, manager :: Coach, players :: [BBPlayer] } deriving (Show) data
Was ist der Unterschied zwischen statisch typisiert und dynamisch typisierte Sprachen?
16 Antworten
Höre ich eine Menge, die neue Programmier-Sprachen sind dynamisch typisierte, aber was bedeutet es eigentlich, wenn wir sagen, eine Sprache ist dynamisch typisierte vs. statisch typisiert? InformationsquelleAutor der Frage Rachel | 2009-10-04
Ist es möglich, den Rückgabetyp einer anonymen Funktion in Scala anzugeben?
3 Antworten
Ich weiß, Sie können erstellen Sie eine anonyme Funktion, und der compiler seine Rückkehr Typ: val x = () => { System.currentTimeMillis } Nur für statische Typisierung Willen, ist es möglich, geben Sie den Rückgabetyp-wie auch? Ich
TypeScript: Probleme mit dem Typ System
3 Antworten
Ich Teste gerade Typoskript in VisualStudio 2012 und haben ein problem mit der Art system. Meine html-Seite hat ein canvas-tag mit der id "mycanvas". Ich versuche ein Rechteck auf das canvas. Hier ist der code var canvas
Werkzeuge für die Überprüfung des statischen Typs in Python
7 Antworten
Arbeite ich mit einem großen vorhandenen Python-Codebasis und würde gerne anfangen in der Art von Anmerkungen, so kann ich einige Niveau der statischen Prüfung. Ich mir vorstelle, so etwas wie ErlangStrongtalkoder Typed Scheme/Racket. Ich habe gesehen, quick-and-dirty-Dekorateure,
Statisch / Dynamisch vs. Stark / Schwach
9 Antworten
Sehe ich diese Bedingungen verbreiteten rund um alle über den Ort, in Programmierung und ich habe eine vage Vorstellung von dem, was Sie bedeuten. Eine Suche zeigt mir, dass solche Dinge gebeten worden ganzen stack overflow in
Führt Java-Casting Overhead ein? Warum?
5 Antworten
Gibt es einen zusätzlichen overhead, wenn wir casten von Objekten von einem Typ in einen anderen? Oder der compiler nur löst alles und es gibt keine Kosten zur Laufzeit? Ist dies eine generelle Dinge, oder gibt es
Warum wird C # statisch eingegeben?
17 Antworten
Ich bin ein PHP-web-Programmierer, der versucht zu lernen, C#. Ich würde gerne wissen, warum C# verlangt von mir, geben Sie den Datentyp beim erstellen einer variable. Class classInstance = new Class(); Warum müssen wir wissen, den Daten-Typ,
Kann mir jemand sagen, was Starkes Tippen und schwaches Tippen bedeutet und welches besser?
8 Antworten
Kann mir jemand sagen, was Starke Typisierung und schwache Typisierung bedeutet und welches ist besser? InformationsquelleAutor der Frage zamfir | 2008-11-27
Gibt es statisch typisierte, einbettbare Skriptsprachen?
4 Antworten
Frage ich mich, ob es irgendwelche statisch typisiert, eingebettetes scripting-Sprachen. Python, JavaScript, etc. sind große Sprachen, aber Sie sind dynamisch typisiert (d.h. Typen werden zur Laufzeit überprüft). Ich Frage mich, ob jemand weiß, jeder statisch typisierten scripting-Sprachen
Python 3 und statische Eingabe
5 Antworten
Ich nicht wirklich zahlen so viel Aufmerksamkeit auf Python 3 ist die Entwicklung wie ich mir gewünscht hätte, und nur gerade aufgefallen, die einige interessante neue syntax-änderungen. Speziell aus diese SO beantworten Funktion parameter Anmerkung: def digits(x:'nonnegative
Was ist der Unterschied zwischen einer stark typisierten Sprache und einer statisch typisierten Sprache?
8 Antworten
Auch, hat man automatisch die anderen? InformationsquelleAutor der Frage JDelage | 2010-04-22
Was ist der Zweck von Typzuschreibungen in Scala?
5 Antworten
Gibt es nicht viel info in der spec auf welche Art Zuschreibung ist, und es ist sicherlich nicht alles, was dort über den Zweck, für den es. Andere als "making übergeben varargs Arbeit", was würde ich geben
Gibt es Unterstützung für statische Typisierung in ECMAScript 6 oder 7?
5 Antworten
Gibt es Unterstützung für statische Typisierung in ECMAScript 6? Wie über ECMAScript 7? InformationsquelleAutor der Frage Mojtaba | 2014-03-14
Ist eine statisch typisierte vollständige Lisp-Variante möglich?
4 Antworten
Ist eine statisch typisierte volle Lisp-Variante möglich? Macht es überhaupt Sinn für so etwas zu bestehen? Ich glaube, einer Lisp-Sprache der Tugenden ist die Einfachheit der definition. Würde die statische Typisierung Kompromiss das core-Prinzip? InformationsquelleAutor der Frage