KumaChan/runtime-tools.js

'use strict';


function Lookup (scope) {
    return (string => scope.lookup(string))
}


function FormatString (string, id_ref) {
    check(FormatString, arguments, { string: Str, id_ref: Fun })
    // TODO: need enhancement
    return string.replace(/\${([^}]+)}/g, (_, arg) => id_ref(arg))
}


function Abstract (checker, name) {
    check(Abstract, arguments, {
        checker: FunctionalObject, name: Optional(Str)
    })
    return ConceptObject(name || '{Temp}', checker)
}


function Structure (hash_object) {
    check(Structure, arguments, { hash_object: HashObject })
    let err = ErrorProducer(InvalidDefinition, 'runtime::structure')
    err.if_failed(need(map_lazy(
        hash_object.data,
        (key, value) => suppose(
            is(value, ConceptObject), `${key} is not Concept`
        )
    )))
    let converted = mapval(
        hash_object.data,
        concept_object => $(object => concept_object.checker(object))
    )
    let struct = Struct(converted)
    let struct_object = $n( HashObject, $(x => is(x.data, struct)) )
    let key_list = join(map(converted, key => key), ', ')
    return PortConcept(struct_object, `struct {${key_list}}`)
}


function FiniteSet (list) {
    check(FiniteSet, arguments, { list: ListObject })
    return ConceptObject('{Finite}', function (object) {
        return exists(list.data, e => e === object)
    })
}


function Lambda (context, parameter_names, f) {
    check(Lambda, arguments, {
        context: Scope, parameter_names: ListOf(Str), f: Fun
    })
    // if no parameter provided by user, assume a parameter called "__"
    let normalized = (parameter_names.length > 0)? parameter_names: ['__']
    let parameters = map(normalized, name => ({
        name: name,
        pass_policy: 'natural',
        constraint: K.Any
    }))
    let proto = {
        effect_range: 'local',
        parameters: parameters,
        value_constraint: K.Any
    }
    return FunctionObject('<Lambda>', context, proto, f)
}


function FunInst (context, effect, parameters, target, f, name = '[Anonymous]') {
    // create a function instance
    let normalized = map(parameters, array => ({
        name: array[0],
        constraint: array[1],
        pass_policy: array[2]
    }))
    let proto = {
        effect_range: effect,
        parameters: normalized,
        value_constraint: target
    }
    return FunctionObject(name, context, proto, f)
}


function define (scope, name, effect, parameters, target, f) {
    let create_at = (
        scope => FunInst(scope, effect, parameters, target, f, name)
    )
    let existing = scope.try_to_lookup(name)
    if ( is(existing, OverloadObject) ) {
        // the new function should have access to the overridden old function
        let wrapper_scope = Scope(scope, effect)
        wrapper_scope.set(name, existing)
        scope.set(name, existing.added(create_at(wrapper_scope)))
    } else {
        scope.emplace(name, OverloadObject(name, [create_at(scope)]))
    }
}


function apply (functional) {
    assert(is(functional, FunctionalObject))
    return function(...args) {
        return functional.apply.apply(functional, args)
    }
}


function call (functional, argument) {
    let e = ErrorProducer(InvalidOperation, 'runtime::call')
    assert(is(argument, Hash))
    if ( is(functional, Fun) ) {
        e.assert(
            forall(Object.keys(argument), k => is(k, NumStr)),
            'cannot pass named argument to raw function'
        )
        let pairs = map(argument, (k,v) => ({ key: k, value: v }))
        pairs.sort((x,y) => Number(x.k) - Number(y.k))
        return functional.apply(null, map(pairs, p => K.raw.apply(p.value)))
    } else {
        e.assert(is(functional, FunctionalObject), 'calling non-functional')
        return functional.call(argument)
    }
}


function assert_key (name, err) {
    err.assert(is(name, Str), 'hash key must be string')
    return true
}


function assert_index (name, err) {
    err.assert(is(name, UnsignedInt), 'list index must be non-negative integer')
    return true
}


function get (object, name) {
    let e = ErrorProducer(InvalidOperation, 'runtime::get')
    return transform(object, [
        { when_it_is: HashObject,
          use: h => assert_key(name, e) && K.get.apply(object, name) },
        { when_it_is: ListObject,
          use: l => assert_index(name, e) && K.at.apply(object, name) },
        { when_it_is: RawHashObject,
          use: h => assert_key(name, e) && K.get.apply(object, name) },
        { when_it_is: RawListObject,
          use: l => assert_index(name, e) && K.at.apply(object, name) },
        { when_it_is: Otherwise,
          use: x => e.throw(`except Hash or List: ${GetType(object)} given`) }
    ])
}


function set (object, name, value) {
    let e = ErrorProducer(InvalidOperation, 'runtime::set')
    let msg = 'changing element value of immutable compound object'
    e.if(is(object, ImmutableObject), msg)
    transform(object, [
        { when_it_is: HashObject,
          use: h => assert_key(name, e) && K.set.apply(h, name, value) },
        { when_it_is: ListObject,
          use: l => assert_index(name, e) && K.change.apply(l, name, value) },
        { when_it_is: RawHashObject,
          use: h => assert_key(name, e) && K.set.apply(h, name, value) },
        { when_it_is: RawListObject,
          use: l => assert_index(name, e) && K.change.apply(l, name, value) },
        { when_it_is: Otherwise,
          use: x => e.throw(`except Hash or List: ${GetType(object)} given`) }
    ])
}


function access_raw (object, name) {
    let find_function = function (js_object, name) {
        if(typeof js_object[name] == 'function') {
            return js_object[name]
        } else {
            return NotFound
        }
    }
    let proto = object.__proto__
    let method = find_function(object, name)
    // make method have higer priority than data member
    try {
        method = (method == NotFound)? find_function(proto, name): method
    } catch (err) {
        // TypeError: 'Illegal invocation' may occur
        if (!(err instanceof TypeError)) { throw err }
    }
    if (method != NotFound) {
        return function () {
            return method.apply(object, map(arguments, x => x))
        }
    } else {
        return object[name]
    }
}


function access (object, name, scope) {
    if (is(object, RawHashObject)) {
        return access_raw(object, name)
    }
    function wrap (f) {
        check(wrap, arguments, { f: FunctionObject })
        return OverloadObject(f.name, [f])
    }
    function find_on (overload) {
        check(find_on, arguments, { overload: OverloadObject })
        return overload.find_method_for(object)
    }
    let maybe_method = scope.try_to_lookup(name)
    let method = transform(maybe_method, [
        { when_it_is: FunctionObject, use: f => find_on(wrap(f)) },
        { when_it_is: OverloadObject, use: o => find_on(o) },
        { when_it_is: Otherwise, use: x => NotFound }
    ])
    if (method != NotFound) {
        return method
    } else if (is(object, HashObject)) {
        return get(object, name)
    } else {
        let err = ErrorProducer(ObjectNotFound, 'runtime::access')
        let repr = ObjectObject.represent(object)
        err.throw(`unable to find a method called ${name} for ${repr}`)
    }
}


function assign_outer (scope, key, value) {
    let err = ErrorProducer(InvalidAssignment, 'runtime::assign_outer')
    let result = scope.find_name(key)
    err.if(result.scope === scope, `${key} is not an outer variable`)
    err.if(result.scope === K, `global scope is read-only`)
    err.if(is(result, NotFound), `variable ${key} not declared`)
    err.if(result.is_immutable, `the scope containing ${key} is immutable`)
    result.scope.replace(key, value)
}


function assert_bool (value) {
    assert(typeof value == 'boolean')
    return value
}


function add_module (name) {
    check(add_module, arguments, { name: Str })
    let err = ErrorProducer(NameConflict, 'runtime::add_module')
    let table = KumaExport.ModuleExport
    err.if(has(table, name), `module name ${name} already used`)
    table[name] = {}
    return table[name]
}


function use_module (scope, name, alias) {
    check(use_module, arguments, { scope: Scope, name: Str, alias: Str })
    let err = ErrorProducer(ObjectNotFound, 'runtime::use_module')
    let table = KumaExport.ModuleExport
    err.assert(has(table, name), `there is no module named ${name}`)
    scope.emplace(alias, ImRef(HashObject(table[name])))
}


function use_modules (scope, module_list) {
    map(module_list, item => use_module(scope, item.name, item.alias))
}


function import_module (scope, name) {
    check(import_module, arguments, { scope: Scope, name: Str })
    let err = ErrorProducer(ObjectNotFound, 'runtime::import_module')
    let table = KumaExport.ModuleExport
    err.assert(has(table, name), `there is no module named ${name}`)
    map(table[name], function (key, value) {
        let s = scope.data
        let s_is_overload = has(s, key) && is(s[key], OverloadObject)
        let v_is_overload = is(value, OverloadObject)
        if ( s_is_overload && v_is_overload ) {
            s[key] = s[key].concated(value)
        } else {
            s[key] = value
        }
    })
}


function import_modules (scope, names) {
    map(names, name => import_module(scope, name))
}


function export_name (export_object, scope, name, alias) {
    check(export_name, arguments, {
        export_object: Hash,
        scope: Scope,
        name: Str,
        alias: Str
    })
    let f_name = 'runtime::export_name'
    let err = ErrorProducer(ObjectNotFound, f_name)
    err.assert(has(scope.data, name), `variable ${name} not found in scope`)
    err = ErrorProducer(NameConflict, f_name)
    err.if(has(export_object, alias), `name ${alias} already exported`)
    err = ErrorProducer(InvalidOperation, f_name)
    err.if(is(scope.data[name], RawObject), `cannot export raw object ${name}`)
    export_object[alias] = ImRef(scope.data[name])
}


function export_names (export_object, scope, name_list) {
    map(name_list, x => export_name(export_object, scope, x.name, x.alias))
}


let global = (typeof window == 'undefined')? global: window


global.KumaExport = {
    G: G,
    K: K,
    Scope: Scope,
    HashObject: HashObject,
    ListObject: ListObject,
    Lookup: Lookup,
    FormatString: FormatString,
    Abstract: Abstract,
    Structure: Structure,
    FiniteSet: FiniteSet,
    Lambda: Lambda,
    FunInst: FunInst,
    define: define,
    apply: apply,
    call: call,
    access: access,
    assign_outer: assign_outer,
    assert_bool: assert_bool,
    ModuleExport: {},
    add_module: add_module,
    use_modules: use_modules,
    import_modules: import_modules,
    export_names: export_names
}