The language-design tag has no wiki summary.
-1
votes
0answers
77 views
How does “δ:Q×Σ→Q” read in the definition of a DFA (deterministic finite acceptor)? [closed]
How do you say "δ:Q×Σ→Q" in English? Describing what "×" and "→" mean would also help.
4
votes
2answers
512 views
Why isn't it possible to recover/resume after an Exception?
I know that Exceptions as a means of flow-control is generally frowned upon.
But in my opinion, Exceptions have little value short of the flow-control aspect - after all, if you didn't want the ...
5
votes
2answers
237 views
Reynolds: “the basic laws of variable binding”
I recently came across this passage in an article by John Reynolds (emphasis added):
...from designers innocent of the principles of programming language design, we have been given a nearly ...
6
votes
3answers
416 views
Boolean as subtype of integer
In languages oriented towards systems programming, digital logic and hardware design, it's common to treat boolean as a subtype of integer. In languages oriented towards mathematics and type theory, ...
1
vote
2answers
222 views
Any Graph is a Model (! or ?)
I know this could be considered a pointless question. However despite I am quite convinced that any possible model (i.e. UML, SysML, natural language, math, etc.) can be defined by means of a graph I ...
-6
votes
3answers
265 views
How can I call functions that are not “first-class functions”?
I mean, is there an antonym for "first-class function"?
4
votes
3answers
321 views
What language feature allows programs to manipulate themselves?
I am busy researching different languages just for some theoretical knowledge and came across programs that manipulate themselves. What language feature is used for this?
-2
votes
1answer
225 views
Exception handling for flow control ? [closed]
Is it appropriate to use Exception handling for flow control of our programs ?
There are some programming languages/circumstances where we can't avoid it Exception handling for flow control. Should ...
3
votes
0answers
234 views
When designing an explicitly parallel language, what built in functions should be parallelized? [closed]
As stated by the title. Some examples that I would include would be map and conditionals. What other functions should be built in already parallel for users to expand on it?