Giulio Canti has recently posted about using Math concepts with Javascript. Math is a fundamental aspect of programming which many, myself included, forget from day to day. His conclusion in part two about Math being proven over the centuries to be a successful paradigm is very true.
Whilst reading, I had to refresh myself in many of the Math concepts, which I haven't touched since my university days many moons ago. Once I grasped them again, the ideas and concepts of defining types by combining sets the same way you can compose functions seems very logical to me. Conceptually it makes sense and could be very handy in creating application data models that require strict types.
To see it in action, check out his library tcomb and his other tcomb libraries such as validation and react integration.
Let me know what you think of the concepts in these articles and tcomb in the comments. Have you come across any similar articles about the benefits and disadvantages of using this approach? If you have, please share in the comments.
Javascript, Types and Sets - Part 1
Javascript, Types and Sets - Part 2
tcomb
tcomb-validation
tcomb-react
28th October, 2014