The tag has no wiki summary.

learn more… | top users | synonyms

10
votes
1answer
178 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
191 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
95 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
92 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
757 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
259 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
453 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
229 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
283 views
4
votes
3answers
339 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
241 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?