Test uncaught throw, catchless try* . Fix 46 impls.

[jackhill/mal.git] / r / types.r

..types.. <- TRUE

if(!exists("..env..")) source("env.r")

# General type related functions
concat <- function(..., sep="")  paste(..., collapse="", sep=sep)
concatl <- function(lst, sep="") paste(lst, collapse=sep, sep=sep)

slice <- function(seq, start=1, end=-1) {
    if (end == -1) end <- length(seq)
    if (start > end) lst <- list() else lst <- seq[start:end]
    switch(class(seq),
        list={ new.listl(lst) },
        List={ new.listl(lst) },
        Vector={ new.vectorl(lst) },
        { throw("slice called on non-sequence") })
}

.sequential_q <- function(obj) .list_q(obj) || .vector_q(obj)

.equal_q <- function(a,b) {
    ota <- class(a); otb <- class(b)
    if (!((ota == otb) || (.sequential_q(a) && .sequential_q(b)))) {
        return(FALSE)
    }
    switch(ota,
    "List"={
        if (length(a) != length(b)) return(FALSE)
        if (length(a) == 0) return(TRUE)
        for(i in seq(length(a))) {
            if (!.equal_q(a[[i]],b[[i]])) return(FALSE)
        }
        TRUE
    },
    "Vector"={
        if (length(a) != length(b)) return(FALSE)
        if (length(a) == 0) return(TRUE)
        for(i in seq(length(a))) {
            if (!.equal_q(a[[i]],b[[i]])) return(FALSE)
        }
        TRUE
    },
    "HashMap"={
        ks1 <- ls(a)
        ks2 <- ls(b)
        if (length(ks1) != length(ks2)) return(FALSE)
        for(k in ks1) {
            if (!.equal_q(a[[k]],b[[k]])) return(FALSE)
        }
        TRUE
    },
    {
        a == b
    })
}

.clone <- function(obj) {
    if (.hash_map_q(obj)) {
        new_obj <- new.env()
        for(k in ls(obj, all.names=TRUE)) new_obj[[k]] = obj[[k]]
        class(new_obj) <- "HashMap"
    } else {
        new_obj <- obj
    }
    new_obj
}

# Errors/exceptions
thrown_error = new.env()
thrown_error$val = NULL
throw <- function(obj) {
    thrown_error$val = obj
    stop("<mal_exception>")
}
get_error <- function(e) {
    estr <- e$message
    if (estr == "<mal_exception>") {
        err <- thrown_error$val
        thrown_error$val <- NULL
        err
    } else {
        estr
    }
}

# Scalars
nil <- structure("malnil", class="nil")
.nil_q <- function(obj) "nil" == class(obj)
.true_q <- function(obj) "logical" == class(obj) && obj == TRUE
.false_q <- function(obj) "logical" == class(obj) && obj == FALSE
.string_q <- function(obj) {
    "character" == class(obj) &&
        !("\u029e" == substr(obj,1,1) ||
          "<U+029E>" == substring(obj,1,8))
}

new.symbol <- function(name) structure(name, class="Symbol")
.symbol_q <- function(obj) "Symbol" == class(obj)

new.keyword <- function(name) concat("\u029e", name)
.keyword_q <- function(obj) {
    "character" == class(obj) &&
        ("\u029e" == substr(obj,1,1) ||
         "<U+029E>" == substring(obj,1,8))
}

.number_q <- function(obj) "numeric" == class(obj) || "integer" == class(obj)

# Functions

malfunc <- function(eval, ast, env, params) {
    gen_env <- function(args) new.Env(env, params, args)
    structure(list(eval=eval,
                   ast=ast,
                   env=env,
                   params=params,
                   gen_env=gen_env,
                   ismacro=FALSE), class="MalFunc")
}
.malfunc_q <- function(obj) "MalFunc" == class(obj)

fapply <- function(mf, args) {
    if (class(mf) == "MalFunc") {
        ast <- mf$ast
        env <- mf$gen_env(args)
        mf$eval(ast, env)
    } else {
        #print(args)
        do.call(mf,args)
    }
}

.fn_q <- function(obj) "function" == class(obj) || (.malfunc_q(obj) && !obj$ismacro)
.macro_q <- function(obj) .malfunc_q(obj) && obj$ismacro

# Lists
new.list <- function(...) new.listl(list(...))
new.listl <- function(lst) { class(lst) <- "List"; lst }
.list_q <- function(obj) "List" == class(obj)

# Vectors
new.vector <- function(...) new.vectorl(list(...))
new.vectorl <- function(lst) { class(lst) <- "Vector"; lst }
.vector_q <- function(obj) "Vector" == class(obj)

# Hash Maps
new.hash_map <- function(...) new.hash_mapl(list(...))
new.hash_mapl <- function(lst) {
    .assoc(new.env(), lst)
}
.assoc <- function(src_hm, lst) {
    hm <- .clone(src_hm)
    if (length(lst) > 0) {
        for(i in seq(1,length(lst),2)) {
            hm[[lst[[i]]]] <- lst[[i+1]]
        }
    }
    class(hm) <- "HashMap"
    hm
}
.dissoc <- function(src_hm, lst) {
    hm <- .clone(src_hm)
    if (length(lst) > 0) {
        for(k in lst) {
            remove(list=c(k), envir=hm)
        }
    }
    ls(hm)
    class(hm) <- "HashMap"
    hm
}
.hash_map_q <- function(obj) "HashMap" == class(obj)

# Atoms
new.atom <- function(val) {
    atm <- new.env()
    class(atm) <- "Atom"
    atm$val <- .clone(val)
    atm
}
.atom_q <- function(obj) "Atom" == class(obj)