Tagged Questions
24
votes
3answers
543 views
Applying Denotational Semantics to design of Programs
I've read a bit on denotational semantics (DS) and I'm very intrigued about the process of designing computer programs where types and functions have strong and clear mappings to mathematics.
Are ...
6
votes
3answers
1k views
Fastest Functional Language
I've recently been delving into functional programming especially Haskell and F#, the prior more so. After some googling around I could not find a benchmark comparison of the more prominent functional ...
8
votes
9answers
1k views
OS choice for functional developing
I'm mainly a .NET developer so I normaly use Windows/VisualStudio (that means: I'm spoiled) but I'm enjoying Haskell and other (mostly functional) languagues in my spare time.
Now for Haskell the ...
16
votes
5answers
981 views
How do you encode Algebraic Data Types in a C#- or Java-like language?
There are some problems which are easily solved by Algebraic Data Types, for example a List type can be very succinctly expressed as:
data ConsList a = Empty | ConsCell a (ConsList a)
consmap f ...
1
vote
2answers
604 views
Performance of concurrent software on multicore processors [closed]
Recently I have often read that, since the trend is to build processors with multiple cores, it will be increasingly important to have programming languages
that support concurrent and parallel ...
13
votes
4answers
569 views
Unit testing statically typed functional code
I wanted to ask you people, in which cases it makes sense to unit test statically typed functional code, as written in haskell, scala, ocaml, nemerle, f# or haXe (the last is what I am really ...
4
votes
4answers
503 views
what is the object oriented counterpart to haskell / coq
I have detailed information on the latest developments in functional programming.
I think haskell is quite an advanced and high level programming language. With coq and agda this gets even more ...
9
votes
3answers
906 views
Getters and Setters in Functional Languages
One of the tenets of Functional Programming is the use of Pure Functions. A Pure function is one that is side-effect free and referentially transparent.
Getters are not referentially transparent - ...
31
votes
9answers
3k views
Good videos and podcasts on Functional Programming? [closed]
Can you recommend some good downloadable podcasts and videos on Functional Programming languages. Pure and non pure: Scala, Haskell, ML, Miranda, Scheme, Lisp, Erlang, Clojure, Jaskell, Functional ...
