Als «static-typing» getaggte Fragen

6
Allmähliche Typisierung: „Fast jede Sprache mit einem statischen Typsystem hat auch ein dynamisches Typsystem“
Diese Behauptung von Aleks Bromfield lautet: Fast jede Sprache mit einem statischen Typsystem hat auch ein dynamisches Typsystem. Abgesehen von C fällt mir keine Ausnahme ein Ist das eine berechtigte Behauptung? Ich verstehe, dass Java mit Reflection- oder Loading-Klassen zur Laufzeit ein bisschen wie folgt wird - aber kann diese …
3
Gibt es empirische Studien zum Einfluss verschiedener Sprachen auf die Softwarequalität?
Die Befürworter der funktionalen Programmiersprachen behaupten, dass die funktionale Programmierung es einfacher macht, über Code nachzudenken. Die Befürworter statisch typisierter Sprachen geben an, dass ihre Compiler genügend Fehler erkennen, um die zusätzliche Komplexität von Typsystemen auszugleichen. Aber alles, was ich zu diesen Themen lese, basiert auf rationalen Argumenten, nicht auf …
3
Gibt es Alternativen zu Typen für die statische Analyse?
Die statische Eingabe in einer Programmiersprache kann hilfreich sein, um bestimmte Garantien beim Kompilieren durchzusetzen. Sind Typen jedoch das einzige Tool für diesen Job? Gibt es andere Möglichkeiten, Invarianten anzugeben? Beispielsweise kann eine Sprache oder Umgebung dazu beitragen, eine Garantie hinsichtlich der Arraylänge oder der Beziehungen zwischen den Eingaben für …
2
(Un-) Vorteile der strukturellen Typisierung
Ich habe gerade diesen Vortrag von Daniel Spiewak gesehen, in dem er über die Vorteile der strukturellen Typisierung im Vergleich zur nominalen Typisierung von Scala und Java spricht . Ein Beispiel für diesen Unterschied wäre der folgende Java-Code public interface Foo { public int length(); } public interface Bar { …
6
Wie ist statisches Tippen in größeren Projekten wirklich hilfreich?
Beim Kuriosieren auf der Hauptseite einer Website einer Skript-Programmiersprache bin ich auf folgende Passage gestoßen: Wenn ein System zu groß wird, um im Kopf zu bleiben, können Sie statische Typen hinzufügen. Dies erinnerte mich daran, dass in vielen Religionskriegen zwischen statischen, kompilierten Sprachen (wie Java) und dynamischen, interpretierten Sprachen (hauptsächlich …
5
Können statische und dynamisch typisierte Sprachen als unterschiedliche Werkzeuge für verschiedene Arten von Jobs angesehen werden?
Ja, ähnliche Fragen wurden gestellt, aber immer mit dem Ziel herauszufinden, welches besser ist. Ich frage, weil ich als Entwickler hauptsächlich in JavaScript aufgewachsen bin und keine wirklich umfangreiche Erfahrung im Schreiben in statisch typisierten Sprachen habe. Trotzdem sehe ich definitiv Wert darin, C zu lernen, um anspruchsvolle Operationen auf …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.