Functional implementation of the Maybe Monad in JS [closed]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP





.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty margin-bottom:0;







up vote
4
down vote

favorite












A while ago, I really wanted to have the Maybe Monad in my JS projects. I ended up trying to use Promises as a stand-in solution (using Promise.resolve as my unit, then chaining from there), but using resolve and reject for nullable types made it unwieldy and difficult to parse.



I've seen some cool implementations of the Maybe Monad in JS online, but many use classes and seem to mutate state. I wanted to make an immutable and purely functional version (if not only as a proof of concept).



You will see that I also added a last formal parameter to Maybe and Just. This is so that, when a chain falls through, debugging can be made easier by seeing the last value that was valid.



I'm looking for more ways to make this usable and perhaps more abstract. I originally created a symbol for Nothing, but found that null works pretty well too. What are your thoughts and criticisms?






const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6






javascript functional-programming immutability monads optional




share|improve this question













closed as off-topic by πάντα ῥεῖ, Stephen Rauch, Raystafarian, Billal BEGUERADJ, Incomputable Jun 28 at 19:40


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "Lacks concrete context: Code Review requires concrete code from a project, with sufficient context for reviewers to understand how that code is used. Pseudocode, stub code, hypothetical code, obfuscated code, and generic best practices are outside the scope of this site." – πάντα ῥεῖ, Raystafarian, Billal BEGUERADJ, Incomputable
If this question can be reworded to fit the rules in the help center, please edit the question.












  • I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
    – IEatBagels
    Jun 26 at 19:41






  • 1




    I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
    – Kyle Hovey
    Jun 27 at 16:59
















up vote
4
down vote

favorite












A while ago, I really wanted to have the Maybe Monad in my JS projects. I ended up trying to use Promises as a stand-in solution (using Promise.resolve as my unit, then chaining from there), but using resolve and reject for nullable types made it unwieldy and difficult to parse.



I've seen some cool implementations of the Maybe Monad in JS online, but many use classes and seem to mutate state. I wanted to make an immutable and purely functional version (if not only as a proof of concept).



You will see that I also added a last formal parameter to Maybe and Just. This is so that, when a chain falls through, debugging can be made easier by seeing the last value that was valid.



I'm looking for more ways to make this usable and perhaps more abstract. I originally created a symbol for Nothing, but found that null works pretty well too. What are your thoughts and criticisms?






const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6






javascript functional-programming immutability monads optional




share|improve this question













closed as off-topic by πάντα ῥεῖ, Stephen Rauch, Raystafarian, Billal BEGUERADJ, Incomputable Jun 28 at 19:40


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "Lacks concrete context: Code Review requires concrete code from a project, with sufficient context for reviewers to understand how that code is used. Pseudocode, stub code, hypothetical code, obfuscated code, and generic best practices are outside the scope of this site." – πάντα ῥεῖ, Raystafarian, Billal BEGUERADJ, Incomputable
If this question can be reworded to fit the rules in the help center, please edit the question.












  • I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
    – IEatBagels
    Jun 26 at 19:41






  • 1




    I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
    – Kyle Hovey
    Jun 27 at 16:59












up vote
4
down vote

favorite









up vote
4
down vote

favorite











A while ago, I really wanted to have the Maybe Monad in my JS projects. I ended up trying to use Promises as a stand-in solution (using Promise.resolve as my unit, then chaining from there), but using resolve and reject for nullable types made it unwieldy and difficult to parse.



I've seen some cool implementations of the Maybe Monad in JS online, but many use classes and seem to mutate state. I wanted to make an immutable and purely functional version (if not only as a proof of concept).



You will see that I also added a last formal parameter to Maybe and Just. This is so that, when a chain falls through, debugging can be made easier by seeing the last value that was valid.



I'm looking for more ways to make this usable and perhaps more abstract. I originally created a symbol for Nothing, but found that null works pretty well too. What are your thoughts and criticisms?






const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6






javascript functional-programming immutability monads optional




share|improve this question













A while ago, I really wanted to have the Maybe Monad in my JS projects. I ended up trying to use Promises as a stand-in solution (using Promise.resolve as my unit, then chaining from there), but using resolve and reject for nullable types made it unwieldy and difficult to parse.



I've seen some cool implementations of the Maybe Monad in JS online, but many use classes and seem to mutate state. I wanted to make an immutable and purely functional version (if not only as a proof of concept).



You will see that I also added a last formal parameter to Maybe and Just. This is so that, when a chain falls through, debugging can be made easier by seeing the last value that was valid.



I'm looking for more ways to make this usable and perhaps more abstract. I originally created a symbol for Nothing, but found that null works pretty well too. What are your thoughts and criticisms?






const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6








const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6





const MType = Symbol("Maybe");
const isMaybe = x => (x instanceof Object && MType in x);
const isNone = x => x === null || x === undefined;

const Just = (x, last) => (
 valueOr : alternative => isNone(x) ? alternative : x,
 then : f => Maybe(isNone(x) ? x : f(x), x),
 catch : f => Maybe(isNone(x) ? f(last) : x, x),
 type : MType
);


const Maybe = (x, last = null) => isMaybe(x, last) ? x : Just(x, last);

const nested = 
 a : 
 b : 
 c : 
 e : 6
 
 
 


console.log(
 Maybe(nested)
 .then(( a ) => a)
 .then(( b ) => b)
 .then(( c ) => c)
 .then(( d ) => d)
 .catch(last => `Last value: $JSON.stringify(last)`)
 .valueOr()
);

// Output: Last value: "e":6




javascript functional-programming immutability monads optional





share|improve this question












share|improve this question




share|improve this question








edited Jun 26 at 17:53









200_success

123k14143399




123k14143399









asked Jun 26 at 17:45









Kyle Hovey

261




261




closed as off-topic by πάντα ῥεῖ, Stephen Rauch, Raystafarian, Billal BEGUERADJ, Incomputable Jun 28 at 19:40


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "Lacks concrete context: Code Review requires concrete code from a project, with sufficient context for reviewers to understand how that code is used. Pseudocode, stub code, hypothetical code, obfuscated code, and generic best practices are outside the scope of this site." – πάντα ῥεῖ, Raystafarian, Billal BEGUERADJ, Incomputable
If this question can be reworded to fit the rules in the help center, please edit the question.




closed as off-topic by πάντα ῥεῖ, Stephen Rauch, Raystafarian, Billal BEGUERADJ, Incomputable Jun 28 at 19:40


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "Lacks concrete context: Code Review requires concrete code from a project, with sufficient context for reviewers to understand how that code is used. Pseudocode, stub code, hypothetical code, obfuscated code, and generic best practices are outside the scope of this site." – πάντα ῥεῖ, Raystafarian, Billal BEGUERADJ, Incomputable
If this question can be reworded to fit the rules in the help center, please edit the question.











  • I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
    – IEatBagels
    Jun 26 at 19:41






  • 1




    I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
    – Kyle Hovey
    Jun 27 at 16:59
















  • I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
    – IEatBagels
    Jun 26 at 19:41






  • 1




    I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
    – Kyle Hovey
    Jun 27 at 16:59















I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
– IEatBagels
Jun 26 at 19:41




I believe it would be much more interesting to review a concrete application of your code. I fear this will be closed as off-topic because of the example code you used.
– IEatBagels
Jun 26 at 19:41




1




1




I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
– Kyle Hovey
Jun 27 at 16:59




I suppose the example I have at the end of this code is not extremely concrete, but it is the intended use case. My desire is to create a Monad for controlling flow of logic in a chain that could have nullable types in the pipe. If null is ever encountered, logic should fall through to a catch statement that can handle that event.
– Kyle Hovey
Jun 27 at 16:59















active

oldest

votes






















active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
-

Popular posts from this blog

Chat program with C++ and SFML

Image
Clash Royale CLAN TAG #URR8PPP .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty margin-bottom:0; up vote 2 down vote favorite This is my client code: (My server is very similar at the moment but I will upload it below this one just in case somebody wants to run it) #include <SFML/Graphics.hpp> #include <SFML/Network.hpp> #include <thread> int main() sf::RenderWindow main_win(sf::VideoMode(800, 800), "Chatcy!"); main_win.setPosition(sf::Vector2i(sf::VideoMode::getDesktopMode().width/2 -400, sf::VideoMode::getDesktopMode().height/2 -400)); main_win.setVerticalSyncEnabled(true); //chatcy logo sf::Texture chatcy; chatcy.loadFromFile("image_chatcy.png"); sf::Sprite logo; logo.setTexture(chatcy); //200x800 //font sf::Font font; font.loadFromFile("FreeSerif.ttf"); //name sf::String name("Client"); name += ": "; //text input area and background sf::RectangleShape in_backg...
Read more

Function to Return a JSON Like Objects Using VBA Collections and Arrays

Image
Clash Royale CLAN TAG #URR8PPP .everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty margin-bottom:0; up vote 1 down vote favorite My goal is to create a compact function that can create a JSON Like object from JSON string. I want a function with a small footprint that I or anyone who wants to use it, can simply paste into a module and use. At 61 lines of code, I am happy with its size and portability. Here is an image of JSON Object created from string data using a ScriptControl . Although the Locals Window displays the properties and values correctly, the object itself is extremely difficult to work with. This image shows an object created using getJSONCollection . Because it is made of VBA Collections and Arrays, it is very easy to work with. Option Explicit Private Function getJSONCollection(ByVal Value As Variant, Optional ScriptEngine As Object) As Variant Const DELIMITER As String = "||" Dim col As Collection, JSON As Object, KeyNam...
Read more

Will my employers contract hold up in court?

Image
Clash Royale CLAN TAG #URR8PPP up vote 8 down vote favorite 2 When I started a new job back in July of 2017, I signed a contract that had the following bindings or restrictions if I was ever to leave the company: Cannot work for a competitor within 25 miles of current companies location for the next two years Cannot offer my services to any organization within 25 miles of current companies location for the next two years Now, when mentioned “my services” this can be related to my profession of website design. This contract seems incredibly binding, 2 years in length, and I’m looking to see if it would actually hold up in an Arizona court. contract employment non-compete arizona share | improve this question edited Aug 7 at 15:35 feetwet ♦ 13.8k 9 37 85 asked Aug 6 at 19:05 Alex S. 46 2 What does your comp...
Read more