![[)roi(]](/forum/data/avatars/m/8/8711.jpg?1563828683){kind=avatar}
This is for anyone who is either interested in either Abstract Algebra, Type Theory, Functional Programming or the like...
However what's discussed is not at all complex to appreciate as it deals with some very simple axioms that are finding their way into code; which is where the crux of this post's underlying debate began.
Question: Is there benefit to model applications from very basic algebraic axioms versus more traditional programming patterns?
This debate essentially started on Twitter from this tweet:
Which then led onto the two follow-on articles by Jordan Rose (works on Apple's Swift Compiler), in which he present the ideas and then debates the purity benefits of the approach versus its practicality application / implementation challenges.
The counter argument was summarised by Elviro Rocca in his article entitled: On Abstraction
Anyway hope you found this interesting.
However what's discussed is not at all complex to appreciate as it deals with some very simple axioms that are finding their way into code; which is where the crux of this post's underlying debate began.
Question: Is there benefit to model applications from very basic algebraic axioms versus more traditional programming patterns?
This debate essentially started on Twitter from this tweet:
Which then led onto the two follow-on articles by Jordan Rose (works on Apple's Swift Compiler), in which he present the ideas and then debates the purity benefits of the approach versus its practicality application / implementation challenges.
The counter argument was summarised by Elviro Rocca in his article entitled: On Abstraction
Anyway hope you found this interesting.
Last edited: