User loginNavigation |
Five "laws" of programming paradigmsNow that we are close to releasing Mozart 2 (a complete redesign of the Mozart system), I have been thinking about how best to summarize the lessons we learned about programming paradigms in CTM. Here are five "laws" that summarize these lessons:
Here a "paradigm" is defined as a formal system that defines how computations are done and that leads to a set of techniques for programming and reasoning about programs. Some commonly used paradigms are called functional programming, object-oriented programming, and logic programming. The term "best paradigm" can have different meanings depending on the ultimate goal of the programming project; it usually refers to a paradigm that maximizes some combination of good properties such as clarity, provability, maintainability, efficiency, and extensibility. I am curious to see what the LtU community thinks of these laws and their formulation. By Peter Van Roy at 2013-03-18 10:50 | LtU Forum | previous forum topic | next forum topic | other blogs | 36030 reads
|
Browse archives
Active forum topics
|
Recent comments
15 weeks 25 min ago
19 weeks 1 day ago
20 weeks 6 days ago
20 weeks 6 days ago
23 weeks 3 days ago
28 weeks 1 day ago
28 weeks 1 day ago
28 weeks 4 days ago
28 weeks 4 days ago
31 weeks 3 days ago