Softwareentwicklung static-typing

20

Ich fing an, in Python hauptsächlich dort zu programmieren, wo es keine Typensicherheit gibt, und wechselte dann zu C # und Java, wo es gibt. Ich stellte fest, dass ich in Python etwas schneller und mit weniger Kopfschmerzen arbeiten konnte, aber andererseits sind meine C # - und Java-Apps viel …

108 data-types dynamic-typing static-typing type-safety

7

Welche Funktionalität ermöglicht die dynamische Eingabe? [geschlossen]

Ich benutze Python seit ein paar Tagen und ich denke, ich verstehe den Unterschied zwischen dynamischer und statischer Typisierung. Was ich nicht verstehe, ist, unter welchen Umständen es bevorzugt würde. Es ist flexibel und lesbar, jedoch auf Kosten von mehr Laufzeitprüfungen und zusätzlichen erforderlichen Komponententests. Welche Gründe sprechen neben nichtfunktionalen …

91 dynamic-typing static-typing

5

Gibt es einen Zusammenhang zwischen dem Umfang des Projekts und der Strenge der Sprache?

Als ich einem Kollegen den Unterschied zwischen der Strenge von Sprachen und Paradigmen erklärte, stellte ich fest, dass: Tolerante Sprachen wie dynamische und interpretierte Sprachen werden am besten für Prototypen und kleine Projekte oder mittelgroße Webanwendungen verwendet. Bei der Auswahl eleganter dynamischer Sprachen wie Python oder JavaScript mit Node.js ergeben …

72 programming-languages dynamic-typing language-choice static-typing static-analysis

7

Dynamisch vs Statisch getippte Sprachkurse [geschlossen]

Gibt es Studien zur Wirksamkeit von statisch oder dynamisch typisierten Sprachen? Speziell: Messungen der Programmiererproduktivität Fehlerrate Berücksichtigt auch die Auswirkungen der Verwendung von Unit-Tests. Ich habe viele Diskussionen über die Vorzüge beider Seiten gesehen, aber ich frage mich, ob jemand eine Studie darüber durchgeführt hat.

69 productivity comparison type-systems dynamic-typing static-typing

4

Entspricht Haskells Typensystem formal dem von Java? [geschlossen]

Mir ist klar, dass einige Dinge in einer Sprache einfacher / schwieriger sind als in der anderen, aber ich interessiere mich nur für typbezogene Funktionen, die in der einen möglich und in der anderen unmöglich / irrelevant sind. Um es genauer zu machen, lassen Sie uns die Haskell-Typ-Erweiterungen ignorieren, da …

66 java haskell type-systems static-typing

14

Ist es eine schlechte Idee, verschiedene Datentypen von einer einzelnen Funktion in einer dynamisch typisierten Sprache zurückzugeben?

Meine Hauptsprache ist statisch (Java). In Java müssen Sie von jeder Methode einen einzelnen Typ zurückgeben. Sie können beispielsweise keine Methode haben, die bedingt a Stringoder bedingt a zurückgibt Integer. In JavaScript ist dies beispielsweise sehr gut möglich. In einer statisch getippten Sprache verstehe ich, warum dies eine schlechte Idee …

65 javascript dynamic-typing static-typing

10

Warum verhindern die starken statischen OOP-Sprachen des Mainstreams das Erben von Primitiven?

Warum ist das in Ordnung und wird meistens erwartet: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... obwohl das nicht in Ordnung ist und sich niemand beschwert: concrete type Name : string { } concrete type …

53 type-systems static-typing strong-typing

1

Warum scheint die .Net-Welt magische Zeichenfolgen statt statisch typisierter Alternativen zu verwenden?

Also arbeite ich in .Net. Ich mache Open Source Projekte in .Net. Eines meiner größten Probleme ist nicht notwendigerweise .Net, sondern die Community und die Frameworks, die es gibt. Überall scheint es so, als würden magische Namensschemata und Strings als der beste Weg angesehen, alles zu tun. Mutige Aussage, aber …

47 c# .net asp.net-mvc static-typing xaml

11

Warum hat PHP Schnittstellen?

Ich habe festgestellt, dass ab PHP5 der Sprache Schnittstellen hinzugefügt wurden. Da PHP jedoch so lose geschrieben ist, scheinen die meisten Vorteile der Verwendung von Schnittstellen verloren zu gehen. Warum ist das in der Sprache enthalten?

35 php object-oriented interfaces static-typing duck-typing

9

Verdienen dynamische Schriftsprachen jegliche Kritik? [geschlossen]

Ich habe im Internet einige Artikel über die Wahl der Programmiersprache im Unternehmen gelesen. In letzter Zeit waren viele dynamisch geschriebene Sprachen beliebt, z. B. Ruby, Python, PHP und Erlang. Viele Unternehmen bleiben jedoch bei statisch typisierten Sprachen wie C, C ++, C # und Java. Und ja, einer der …

35 programming-languages dynamic-typing static-typing type-systems

3

Gibt es einen echten Vorteil für dynamische Sprachen? [geschlossen]

Zunächst möchte ich sagen, dass Java die einzige Sprache ist, die ich jemals verwendet habe. Entschuldigen Sie bitte meine Unkenntnis zu diesem Thema. Mit dynamisch getippten Sprachen können Sie in jede Variable einen beliebigen Wert eingeben. So könnten Sie zum Beispiel die folgende Funktion schreiben (psuedocode): void makeItBark(dog){ dog.bark(); } …

29 languages dynamic-typing static-typing

7

Ist die ungarische Notation eine Problemumgehung für Sprachen mit unzureichender statischer Schreibweise? [geschlossen]

In Eric Lipperts Artikel What's Up With Hungarian Notation? , erklärt er, dass der Zweck der ungarischen Notation (der guten Art) darin besteht, Erweitern Sie das Konzept von "Typ", um zusätzlich zu Speicherrepräsentationsinformationen auch semantische Informationen zu erfassen. Ein einfaches Beispiel wäre das Präfixieren einer Variablen, die eine X-Koordinate darstellt, …

28 naming type-systems static-typing hungarian

4

Architektonische Unterschiede zwischen dynamischen und statischen Sprachen

Gibt es wesentliche architektonische Unterschiede beim Entwerfen von Anwendungen, die auf statischen Sprachen (wie C # oder Java) und dynamischen Sprachen (wie Ruby oder Python) basieren? Welche Gestaltungsmöglichkeiten bieten sich für einen Typ an, der für den anderen schlecht ist? Gibt es nützliche Funktionen, die mit einem Typ erzielt werden …

22 design architecture dynamic-typing static-typing

2

Typüberprüfung und rekursive Typen (Schreiben des Y-Kombinators in Haskell / Ocaml)

Bei der Erläuterung des Y-Kombinators im Kontext von Haskell wird normalerweise darauf hingewiesen, dass die direkte Implementierung in Haskell aufgrund des rekursiven Typs keine Typprüfung durchführt. Zum Beispiel von Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive type …

21 haskell type-systems static-typing ocaml

5

Verwenden statischer Klassen als Namespaces

Diese Frage wurde von Stack Overflow migriert, da sie in Software Engineering Stack Exchange beantwortet werden kann. Vor 8 Jahren migriert . Ich habe andere Entwickler gesehen, die statische Klassen als Namespaces verwendeten public static class CategoryA { public class Item1 { public void DoSomething() { } } public class …

21 c# c++ object-oriented static-typing namespace

Als «static-typing» getaggte Fragen