The latest articles on DEV Community by NodeServerless (@nserverless). https://dev.to/nserverless https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F135687%2Fb4be3282-32e8-4b68-974d-3adde25dfe7d.jpg https://dev.to/nserverless en NodeServerless Fri, 19 Apr 2019 06:32:23 +0000 https://dev.to/nserverless/did-functional-programming-get-it-wrong-3k80 https://dev.to/nserverless/did-functional-programming-get-it-wrong-3k80 <p>If FP is based on such solid math, why does it feel so strange?</p> <p>Isn't there a far more natural way to do this... that we already know?</p> <p>Time to revisit category theory for some unexpected answers</p> <p>More info here:<br> <a href="https://medium.com/@reinman/monoids-to-groupoids-492c35105113">https://medium.com/@reinman/monoids-to-groupoids-492c35105113</a></p> monads categorytheory functional NodeServerless Tue, 09 Apr 2019 07:33:50 +0000 https://dev.to/nserverless/did-functional-programming-get-it-wrong-3gn6 https://dev.to/nserverless/did-functional-programming-get-it-wrong-3gn6 <p>We believe the unfolding Scala mess has exposed some mathematical issues in how FP treats the concept of a "monad". We believe that operating systems historically play that orchestration and data handling role, but in a different manifold. Unfortunately O/S innovation has been dead for decades but we hope to change that.<br> <a href="https://medium.com/@reinman/monoids-to-groupoids-492c35105113">https://medium.com/@reinman/monoids-to-groupoids-492c35105113</a></p> NodeServerless Tue, 12 Mar 2019 08:03:53 +0000 https://dev.to/nserverless/notionso-data-sharing-with-transclusion-31mc https://dev.to/nserverless/notionso-data-sharing-with-transclusion-31mc <p>Developers without much of a background in Functional Programming or Category Theory may struggle when first confronted with the idea of a "topology" or "working surface" when doing programming.</p> <p>Usually that sort of creature shows up when trying to debug a program or perform introspection through code and data.</p> <p>The idea of treating the programming medium itself as some sort of walkable "surface" is more common in operating systems (think filesystems) or databases (think spreadsheets or graphs etc.) but this is also how web documents such as XML and HTML etc. operate.</p> <p>In fact, the main reason why we use interim documents like XML and HTML is exactly to allow us to move between programming and topology (actually algebraic geometry).</p> <p>Transclusion is the idea of having the same data show up in multiple places, most famously being Notion.so. The person behind Notion.so is Ted Nelson. It is essentially a way to perform data normalization.</p> <p>Below, we use the NodeServerless REPL to demonstrate some of this 'transclusion' by having the variable "here" also projected to a variable "there". We did this by using the "ln" or "link" command similar to what is found in Linux. Note that in practice, both variables would probably pull from a common location. </p> <p>The linking mechanics are fairly straightforward using JS proxies (as indicated with the pink arrows).</p> <p><a href="https://res.cloudinary.com/practicaldev/image/fetch/s--eADdFI-4--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_880/https://thepracticaldev.s3.amazonaws.com/i/iy5tg53qt7zf5kmwvixu.png" class="article-body-image-wrapper"><img src="https://res.cloudinary.com/practicaldev/image/fetch/s--eADdFI-4--/c_limit%2Cf_auto%2Cfl_progressive%2Cq_auto%2Cw_880/https://thepracticaldev.s3.amazonaws.com/i/iy5tg53qt7zf5kmwvixu.png" alt=""></a></p> <p>I hope this helps explain such a powerful concept without getting into heavy math. Transclusion is key to how spreadsheets work and the functional dependency calculations behind them (which gets more into category theory).</p> <p>NodeServerless is now part of CodeCraft.AI</p>