このコードが理解できない・・・

hogehoge.js

var empty = () => {
    return (pattern) => {
        return pattern.empty()
    }
}

var cons = (value, list) => {
    return (pattern) => {
        return pattern.cons(value,list)
    }
}

var match = (data, pattern) => {
    return data(pattern)
}

var isEmpty = (alist) => {
    return match(alist,{
        empty: (_) => {
            return true;
        },
        cons: (head, tail) => {
            return false;
        }
    })
}

console.log(isEmpty(empty()))
console.log(isEmpty(cons(1,empty())))

あーポリモーフィズム的なあれか・・・。

型がないと辛い問題・・・