Skip to main content

Questions tagged [language-design]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
18 votes
3 answers
1k views

Type-based memory safety without manual memory manage or runtime garbage collection?

Let's say we wanted a typeful, pure functional programming language, like Haskell or Idris, that is aimed at systems programming without garbage collection and has no runtime (or at least not more ...
analogyschema's user avatar
3 votes
0 answers
100 views

Expressive power of computer languages: it's all about the syntax/logic?

When analyzing the theoretical expressive power of programming languages (not the verbosity of the programming languages or how concise programs are) are there further criteria besides the class of ...
Denise Radi's user avatar
3 votes
0 answers
112 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 ...
wvxvw's user avatar
  • 167
22 votes
1 answer
1k 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) ...
mikera's user avatar
  • 323
3 votes
3 answers
298 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 ...
castarco's user avatar
  • 143
1 vote
1 answer
130 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 ...
ABu's user avatar
  • 111
-1 votes
0 answers
119 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.
trusktr's user avatar
  • 99
6 votes
3 answers
4k 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 ...
mindplay.dk's user avatar
6 votes
2 answers
423 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 endless ...
kjo's user avatar
  • 531
6 votes
3 answers
787 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, ...
rwallace's user avatar
  • 307
1 vote
2 answers
287 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 ...
Andrea Sindico's user avatar
-6 votes
3 answers
458 views

How can I call functions that are not "first-class functions"?

I mean, is there an antonym for "first-class function"?
The Student's user avatar
4 votes
2 answers
407 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?
Etienne Marais's user avatar
-2 votes
1 answer
242 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 ...
Xinus's user avatar
  • 97
6 votes
0 answers
261 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?
Greg's user avatar
  • 181