Questions tagged [dynamic-typing]
Dynamic Typing is a property of a programming language where type checks are performed mostly at run time.
105 questions
0
votes
3
answers
331
views
Is JSON Schema-based runtime validation more practical than static type hints in real-world Python applications?
Question Body
I'm currently developing a Python coding standard for use in enterprise-level internal systems. Our typical use cases include:
API input/output validation
Reading from databases, ...
- 77
10
votes
7
answers
3k
views
Is it an anti-pattern to support different parameter types when using a dynamically-typed language?
In the Python code base we inherited there are several functions that check parameter types and try to "accommodate" different types. Example:
def process_data(arg):
json_ = {}
if ...
- 229
12
votes
9
answers
7k
views
At what point does using a statically typed language gain more benefit than using a dynamically typed language with optional type declaration? [closed]
In my understanding, the strengths of not using type are flexible and newbie-friendly, and the strengths of using type are easier to debug and reading code. However now you can use types on ...
- 335
0
votes
1
answer
113
views
Domain Models in dynamic languages?
I create Hexagonal Architecture based software with TypeScript or C#. The heart of Hexagonal Architecture is the Domain Model.
For example, for a user of application y, the domain model might look ...
- 103
0
votes
1
answer
368
views
Are there any general purpose visual programming "languages"? [closed]
Lately I've been surveying the programming language landscape and one of the languages I looked at was Pharo, a modern Smalltalk.
Programming using a living system that runs in a virtual machine seems ...
- 177
1
vote
3
answers
361
views
Are interchangeable types a security vulnerability? Are they good vectors for attack?
Suppose you are given a python API:
def onArgumentReceived(x):
doWhatever(x) # expects a unicode string
I am not a security expert by any stretch of the imagination, however on the face of this, ...
- 3,649
4
votes
5
answers
588
views
Converting Dynamic Typing To Static Programatically
See: Type inference with duck typing - does this work? Why is it not used?
And: General approach for proving decidability/undecidability
Hello, I wanted to ask a theoretical question about type system ...
2
votes
3
answers
291
views
Where is the boundary between things which can be statically typechecked, and those which must be typechecked dynamically?
I am brain storming on how to create a type system for a programming language, and what the compiler will do with the typing information. Here is what I have found, followed by the main question, ...
- 2,817
0
votes
0
answers
111
views
c# class structuring and appropriate coding techniques
I have 2 classes that share some properties
public class SportsUser
{
public string errorCode { get; set; }
//the sportsuser and SportsAdminUser is from a different database hence the long and ...
- 11
4
votes
2
answers
2k
views
How are dynamic and static typings implemented?
As I understand, every programming language is either statically type checked or dynamically type checked (and there are cases where these two approaches are mixed, but for simplicity I won't mention ...
- 57
0
votes
0
answers
350
views
value-based function dispatch
Problem to solve
I have a method parse_doc that should dynamically determine a parsing function to parse document_id based on the value of the document_id string:
# list of files that may have ...
- 117
1
vote
1
answer
1k
views
Benefits of Dynamic Mocks over Static Mocks?
I'm not sure if static vs. dynamic mock is the terminology used to describe this comparison, but I got this terminology from types of mocking static vs dynamic and Hand-rolled mocks made easy. To ...
- 434
4
votes
4
answers
2k
views
Ahead-of-time compilation to native machine code of dynamically typed languages
It is my understanding that:
It's particularly difficult to compile ahead of time, to efficient native machine code, a dynamically typed language like Python.
Largely as a result of the above, the ...
0
votes
1
answer
388
views
What is the correct way to dynamically declare the type of a variable (in Java)? [closed]
Disclaimer: I previously posted this on Stack Overflow, but it seems that perhaps that was not the correct site for the question. If this is still not the correct site, please let me know.
I'm ...
- 11
7
votes
3
answers
485
views
Is checking for unexpected types in dynamic languages in an untyped project necessary?
In statically typed languages or dynamically typed languages that use a type checking system you can guarantee that the input type is the type that you specified in the contract.
However, in ...
- 1,263