Abstract | ||
---|---|---|
One of the nice things about purely functional languages is that functions often satisfy simple properties, and enjoy simple algebraic relationships. Indeed, if the functions of an API satisfy elegant laws, that in itself is a sign of a good design—the laws not only indicate conceptual simplicity, but are useful in practice for simplifying programs that use the API, by equational reasoning or otherwise. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-69611-7_1 | PADL |
Keywords | Field | DocType |
good design,conceptual simplicity,simple algebraic relationship,quickcheck testing,elegant law,functional language,equational reasoning,nice thing,simple property,profitability,satisfiability | Algebraic number,Programming language,Computer science,Equational reasoning,Nice,Theoretical computer science,Test execution,Priority queue,Declarative programming,Purely functional | Conference |
Volume | ISSN | ISBN |
4354 | 0302-9743 | 3-540-69608-3 |
Citations | PageRank | References |
46 | 2.02 | 9 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
John Hughes | 1 | 1573 | 174.22 |