4 ms·
Three different areas of computer science, highly related to mathematics AND interrelated. Don’t you think these are not just difficult but also complex since a
by nudpiedo 7y ago
Three different areas of computer science, highly related to mathematics AND interrelated. Don’t you think these are not just difficult but also complex since all their rules are combined and compose?
- Certhas 7y agoI would put it like this: Haskell derives from (relatively) simple axioms/concepts that have a rich and complex interplay.
- nudpiedo 7y agoAnd such rich complex interplay isn’t exactly what makes things complex? Interplay plays as synonym for complex in that sentence. Any complex system could be broke down in simple axioms and some concepts and still be complex. By the way I got severely downvoted for an opinion on what is complex and you were the only one open for speak. Thank you for making a better HN somehow.
- Certhas 7y ago"Any complex system could be broke down in simple axioms and some concepts." This is the crux, I don't think that's generally speaking true. I don't think Java and C++ could be broken down into a few simple axioms and concepts in the way Haskell can. Think design by committee, where you often end up with hundreds of concepts and behaviours. Happy to talk.
- nudpiedo 7y agoJava can do it for sure (at least it was originally thought to be this way). With C++ I think you really found the exception that makes the rule since it was built by adding features on top of features without end or direction. I can agree that there are systems which behave with more elegance than others, with fewer exceptions and principles and more regular moving parts, with reciprocal rules or consistent approaches, for example Java on its origins what sort of simple. Now it is more a mess than ever before.