Algebraic Data Types in javascript (see http://tech.pro/blog/6885/javascript-and-type-thinking)

adt.js

function eachKey(obj, f) {
  for(var key in obj) {
    if( obj.hasOwnProperty(key) )
      f(key, obj[key]);  
  }
}

function adtcase (base, proto, key) {
  return (...args) => {
    var inst = new base();
    eachKey(proto(...args), (key, val) => { inst[key] = val })
    inst['is'+key] = true;
    return inst;
  }
}

function adt(base, variants) {
  eachKey(variants, (key, v) => {
    if(typeof v === 'function')
      base[key] = adtcase(base, v, key);
    else {
      base[key] = v;
      v['is'+key] = true;
    }
  })
}

Hi Yassine,
Great post!!

There is a minor details that I cannot understand. How is that a List end it up having the property isEmpty equals to true??
You use it en the rest of the function in your post, map, filter, etc.

Thank in advance!
Mictian