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.
12
questions
11
votes
1
answer
427
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,124
0
votes
2
answers
135
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.2k
1
vote
2
answers
549
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
10
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.2k
3
votes
3
answers
288
views
What does it mean to implement a language in itself? [closed]
I've often heard that a language is implemented in itself. For example, that Lean is implemented in Lean itself, Idris is implemented in Idris, etc. Haskell also has a library called hint, which when ...
- 447
6
votes
1
answer
752
views
What is a CAS language?
Is it by any chance just this (otherwise Google was no help)? I've seen throwaway remarks on this site by SK_Logic and Jorg-W-Mittag that use this term but I'm not entirely convinced and cannot find ...
- 63
17
votes
1
answer
759
views
What are "interior iteration" and "exterior iteration"?
Another question refers to the terms "interior iteration" and "exterior iteration", and the comments under an answer suggest some disagreement or confusion about the meanings of ...
- 20.2k
6
votes
4
answers
546
views
What are the differences between Unit and Singleton Types?
A Unit Type is one inhabited by exactly one value, and, due to the lack of possible discrimination ("no information able to be held"), is reducible to the 0-tuple.
Meanwhile a Singleton is ...
- 1,883
13
votes
1
answer
248
views
Does the evaluation model & programming paradigm used in jq have a name?
jq is a command-line tool for filtering and transforming JSON data, in the vein of sed and awk, including a bespoke programming language for writing the filters. Its original author described it as
...
- 13.2k
4
votes
6
answers
411
views
How would I describe an expression separately from a statement?
I have thought about how I could specify an expression separate from a statement.
A fragment of code that resolves to a value.
But void expressions are still ...
- 9,063
10
votes
3
answers
654
views
What is implied by the names "sum type" and "product type"?
Algebraic data types include two concepts with names that feel like they imply something clever, but that I can't for the life of me understand:
Sum type: This refers to tagged unions, like Rust's ...
- 4,482