Tag: static-typing


Found 45 results for 'static-typing'.


1) programming-languages - What is the difference between statically typed and dynamically typed languages?
2) domain-driven-design - Where to convert primitive types in meaningful types in Clean Architecture / Onion Architecture
3) c# - Using static classes to define methods for handling POCO class objects
4) design - Benefits of Dynamic Mocks over Static Mocks?
5) compiler - Where is the boundary between things which can be statically typechecked, and those which must be typechecked dynamically?
6) dynamic-typing - How can a statically typed language support duck typing?
7) design - Designing shared subtype functionality with correct type annotations in Python
8) java - What are the drawbacks of not declaring a class-method static?
9) java - In Java, would you sacrifice type safety for a nicer programming interface
10) architecture - Dynamic typing across the whole technology stack - where to enforce data validity?
11) c# - C# static practices coming from dynamic background
12) haskell - Type checking and recursive types (Writing the Y combinator in Haskell/Ocaml)
13) python - Is dynamically hiding specific parts of the input data passed to a function pythonic?
14) dynamic-typing - Is an Optional/Maybe type useful in dynamic languages?
15) c# - Why does the .Net world seem to embrace magic strings instead of staticly typed alternatives?
16) dynamic-typing - Can static and dynamically typed languages be seen as different tools for different types of jobs?
17) business-logic - Using static type checking to protect against business errors
18) programming-languages - Are there alternatives to types for static analysis?
19) languages - Gradual Typing: "Almost every language with a static type system also has a dynamic type system"
20) static-typing - Taking strong, static typing to an extreme?
21) javascript - in dynamic language like javascript how do you know what the argument is?
22) programming-languages - What is the difference between statically typed and dynamically typed languages?
23) computer-science - Formal definition of "concepts / type system" for parametric types - Where to start?
24) dynamic-typing - How should I program with dynamic typing language even no type is noted on documentation?
25) programming-languages - Is there a correlation between the scale of the project and the strictness of the language?
26) class - Are there any static duck-typed languages?
27) php - Is using static-typing the solution to domain-driven design and decreasing the number of errors?
28) agile - Are dynamic languages at disadvantage for agile development?
29) object-oriented - Are there any languages that allow the static context of a method call to be available at runtime?
30) c# - Using a superset DTO for a number of methods in a class
31) design - Architectural differences between dynamic and static languages
32) static-typing - Why is Invariance, Covariance and Contravariance necessary in typed languages
33) programming-languages - What is the difference between statically typed and dynamically typed languages?
34) unit-testing - Should I test the aspects that type checking covers?
35) programming-languages - is JS a gradually typed language?
36) data-types - Is static typing worth the trade-offs?
37) languages - Is there a real advantage to dynamic languages?
38) java - (Dis-)advantages of structural typing
39) tdd - TDD with predesigned static types
40) compiler - Confusion about data types, compilers, hardware data representation and static vs dynamic typing
41) dynamic-typing - Are there programming languages that support both static and dynamic typing?
42) java - Using Map in Java (or other strongly-typed languages) to work with unstructured data
43) programming-languages - Static typing vs. dynamic typing
44) php - Why does PHP have interfaces?
45) static-typing - Passing around impl-specific tokens in generic algorithms in a static/strong type system