The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
75 views

How to analyze the quality of data definition language? [closed]

I know that DDL is most often used when talking about databases, but I see no reason why XML, PDF or even to some extent Prolog shouldn't belong to this category. It looks like branches of CS ...
10
votes
1answer
241 views

What are the practical issues with intersection and union types?

I'm designing a simple statically typed functional programming language as a learning experience. It appears that the type system I have implemented so far could (with a little extra work) ...
3
votes
3answers
199 views

Is there a language with strong typed interfaces where types resolution are “delayed”?

I know that this question it not entirely theoretical, but I think that's the place where is more probable that someone knows the answer. The question is: is there any OO strong typed language where ...
1
vote
1answer
98 views

Type, operation and function, and their limits

First of all, sorry for my English. I would like to know, when I want to define a new type (I'm currently developing a computer interpreted language), how can I determine which "functions" are ...
-1
votes
0answers
93 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.
5
votes
2answers
1k 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
285 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
469 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
232 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
289 views
4
votes
3answers
348 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
229 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 ...
4
votes
0answers
244 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?