Questions tagged [terminology]
For questions about words, phrases and definitions that are specific to developing a programming language. Use this tag for questions about existing terminology, including seeking what terms exist for a concept, but not for soliciting new names for things.
6 questions from the last 365 days
6
votes
5
answers
3k
views
What is the term for types that are not type variables?
In a language, some types are actually type variables. I am aware of three kinds of type variables:
Generic Parameter Types: In the declaration of Foo<T>, ...
11
votes
1
answer
541
views
What is "graded modality" in type theory?
I'm referring to these papers:
Graded Modal Dependent Type Theory (The Gerty Language)
Quantitative program reasoning with graded modal types (The Granule Language)
At first glance, it seems graded ...
- 4,284
0
votes
2
answers
147
views
Is it valid to call a configuration-format—with associated JSON-schema—a language?
Say I have a configuration file format that is very well defined; in say JSON format; with a JSON-schema defining what is allowed and how strict to be.
Would it be too generous to call this a Domain ...
- 103
23
votes
4
answers
5k
views
How are "strong" and "weak" typing defined?
According to Wikipedia, the terms "strongly typed" and "weakly typed" do not have agreed-upon formal definitions:
there is no precise technical definition of what the terms mean ...
- 20.8k
1
vote
2
answers
713
views
What is the difference between JS's map and Python's dictionary?
It seems that JS's map and Python's dictionary are equivalent. Is that correct? And if so, why they aren't called the same? Given that JS is newer, why wouldn't the map be called as dictionary as well?...
- 175
13
votes
3
answers
1k
views
What does it mean for a type system or language to be "sound"?
Type systems and programming languages are sometimes described as being sound, or unsound, or sometimes just "not sound". What does being sound actually imply about them? Is it always the ...
- 13.6k