Questions tagged [imperative-programming]
The imperative-programming tag has no usage guidance.
8
questions
-1
votes
1
answer
70
views
Is function composition associative in non-pure programming languages?
We know that function composition is associative in theoretical programming languages such as STλC, and pure functional programming languages such as Haskell. Is the same true for languages where ...
4
votes
2
answers
425
views
Extending Hindley-Milner to type mutable references
I have been trying to implement a programming language from scratch, and have gotten reasonably far. It reads just like Python, other than the fact that let is used ...
- 235
12
votes
3
answers
2k
views
Type inference for imperative statements other than assignment
In my search for research papers about type systems for imperative languages, I only find solutions for a language with mutable references but without genuine imperative control structures such as ...
- 301
2
votes
1
answer
185
views
Have imperative programs been defined like this?
Possibly improper definition $\;$ An imperative program is a labeled directed graph, with every vertices labeled by a command and every edge labeled by a predicate.
Denote an edge labeled by ...
- 333
18
votes
4
answers
995
views
How are imperative languages more different from each other than functional languages?
I'm reading Simon Peyton Jones's The Implementation of Functional Programming Languages and there's one statement that surprised me a little bit (on page 39):
To a much greater extent than is the
...
- 397
25
votes
2
answers
1k
views
What is the folk model of linear logic?
Probably the most common application of linear types in PL is to use them to give languages which control aliasing (i.e., a linear value has a single pointer to it, more or less).
But there's a ...
- 31.6k
19
votes
4
answers
2k
views
How are side effects handled in semantics?
In Anthony Aaby's "Introduction to Programming Languages" section on Semantics, he makes the following observation:
Much of the work in the semantics of
programming languages is motivated by
...
- 2,213
50
votes
12
answers
4k
views
What is the theoretical basis of imperative programming?
Functional programming has a theoretical basis in lambda calculus and combinatory logic. As someone involved with statistical computing, I find these concepts to be very useful for modeling.
Is ...
- 2,213