Tagged Questions
6
votes
2answers
206 views
Language that can statically ensure a map's fields are present
If data is simple and objects are complex, I'm curious if there are any existing statically typed languages that would be able to augment(?) a map type into a type with guaranteed fields. I realize ...
17
votes
3answers
454 views
Are there any empirical studies on the effect of different languages on software quality?
The proponents of functional programming languages assert that functional programming makes it easier to reason about code. Those in favor of statically typed languages say that their compilers catch ...
10
votes
7answers
708 views
Is there a programming language out there with these qualities?
I'm looking for a programming language that has the following:
static typing
distributed programming across a cluster using actors (no shared memory, message passing)
functional programming
compiled
...
4
votes
5answers
541 views
Functional language with C-like syntax
I've been looking for functional language with C-like syntax and static typing. So far my choice would be Nemerle. Is there anything else/better?
EDIT:
second choice would be Lua or Go.
Any pros ...
