Questions tagged [programming-languages]
Questions related to design, implementation, and analysis of programming languages. NOT for questions about how to program, which are off-topic on this site.
1,008 questions
- Bountied 0
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
3
votes
0
answers
59
views
Are there any meta programming paradigms that cant be implemented through macros?
I would like to know if there are any limitations to macro systems, like the ones that many LISP dialects have. Can all meta programming paradigms be implemented through a LISP-ish macro system? Or ...
0
votes
0
answers
44
views
How to minimize parentheses when stringifying arithmetic AST for right-to-left evaluation languages with different precedence rule?
I'm looking at translations to and from APL, which has right-to-left evaluation and no operator precedence. Is there a known algorithm to minimize parentheses usage when keeping the same operators for ...
1
vote
1
answer
109
views
What is a formal distinction between language feature and library feature, and does such distinction apply to any programming language?
What is a formal distinction between language feature and library feature, and does such distinction apply to any programming language?
In C++, Haskell, and other languages I'm more familiar with:
If ...
3
votes
2
answers
162
views
Is there any research on "fixed points of bugs"?
Is there any research on or at least formulation of the concept of "fixed points of bugs"? That is, suppose we have an implementation $I$ (e.g., a compiler or interpreter) of a programming ...
0
votes
1
answer
79
views
Books for Design Principles Behind C
I'd like to learn more about the finer design principles and choices in the development of C (i.e., of C itself, not using C). Any standard of C (and ideally libc too) will do, though K&R C would ...
2
votes
1
answer
237
views
Language constructs vs. forms in semantic modeling
I saw the following paragraph in a data modeling article:
Semantics relates to the study of references, specifically describing the real meaning between symbols or words. In computer science, ...
1
vote
1
answer
75
views
What is this text trying to convey?
I'm reading this book called Programming languages principles and practices. I stumbled across this text in bold under the title of Computation Without the von Neumann Architecture. I don't understand ...
2
votes
2
answers
292
views
Strongest criticisms of object-oriented languages?
Linus Torvalds has famously attacked the object-oriented language C++, but he didn't offer many specifics about why, besides saying C++ uses "inefficient abstracted programming models". What ...
2
votes
1
answer
257
views
Advanced TAPL Linear Lambda Calculus
I'm reading the chapter on Substructural Type Systems from Advanced TAPL (Chapter 1), and am confused about the notion that "linearly qualified data structures will be used exactly once".
...
1
vote
0
answers
67
views
factual error in the book ' The Formal Semantics of Programming Languages: An Introduction ' by Glynn Winskel
is there any official or unofficial site dedicated to errata on this book ?
This book was published in 1993 and is still prominent in the subject it discusses. No other editions , only one edition. ...
0
votes
3
answers
140
views
Does there exist a decent Python-to-English converter (abstractly, i.e. may not be coded on Earth) that is round-trip?
I was wondering how much Python can be converted in as close as possible a near 1-1 correspondence with English statements?
And how one could go about writing one given that they are able to examine a ...
-3
votes
1
answer
75
views
How to write the Python Program for the following condition?
How to write a Python Program for the following condition:
Let me explain how I tried to write the code.
$a=$ int$($input$($'enter the first integer between 1ドル$ and 9ドル$'$))$
$b=$ int$($input$($'enter ...
user avatar
user176748
0
votes
2
answers
94
views
How does an interpreted language handle forward references?
An interpreted language is executed one statement at a time, as they are encountered, similar to sequential operations on a calculator.
This is as opposed to a compiled language, in which the entire ...
0
votes
0
answers
42
views
I am designing my own modular programming language. Am I right on memory management strategy?
To ease memory management in C, I will move OR let all memory allocation of every module of the program into a single function and expect them to be working without problem. I am not sure if it works ...
0
votes
0
answers
52
views
Why [b] → Int < a → Int holds according to the contravariant manner for function types but length is a counter example for that
In the paper Practical type inference for arbitrary-rank types, the covariance and contravariance rules are essential when dealing with function types. Covariance applies to the return types of ...