All Questions
Tagged with semantics functional-programming
6 questions
9
votes
3
answers
540
views
Can Non-termination be considered an algebraic effect?
Non-termination is sometimes considered an effect. I have been reading about algebraic effect systems (What is algebraic about algebraic effects and handlers?), and I suspect non-termination (like ...
- 546
2
votes
0
answers
184
views
Is there is an intuitive explanation why call-by-name PCF is less expressive than both call-by-value PCF and lazy PCF?
J.C. Mitchell cites in his "Expressive power of programming languages" the result in Riecke's "Fully abstract translations between functional languages" about the call-by-value, call-by-name and lazy ...
1
vote
1
answer
155
views
Observational Equivalence of open terms in PCF
The notion of observational equivalence is rather intuitive, but formally I'm having some doubts in the particular case of open terms.
Lets consider the simple case where the terms ...
- 31
11
votes
1
answer
645
views
What exactly does "semantically observable" side-effect mean?
I have question regarding pure functions. According to the Wikipedia page one of the requisites for a pure function is :
Evaluation of the result does not cause any semantically observable side ...
5
votes
2
answers
756
views
Formal representation of algorithm using recursive algebraic data types
I have an algorithm written in Haskell which I am describing in my thesis. In the code for the algorithm I have a recursive data type similar to this:
data Data = A Int | B Data | C Data
Now I am ...
- 211
19
votes
4
answers
1k
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
...
- 407