zenscript
zenscript copied to clipboard
keean
A trait based language that compiles to JavaScript
Subtyping
Union types express a subtyping relationship, but I am unclear as to whether typeclasses (i.e. Rust's traits) do? If a `trait B` extends another `trait A` and `B` reuses the...
I will continue the discussion here, until or if @keean can get Github to restore the thread. Luckily I still have a copy of the deleted #35 thread loaded, so...
Syntax summary
I will maintain in this OP a summary of current proposed syntax as I understand it to be. Note this is not authoritative, subject to change, and it may be...
Hello Guy, ive been doing lot of expetimentation lately on parsers, grammar and graph theory, and started to dig the relationship between graph theory and computation theory. Deep down, all...
Mutable Objects
Looking at the mess Rust has created with its handling of mutability, and also the confusion l-values and r-values cause in C/C++ I think a simpler model is needed for...
Concurrency
I have [a long comment](https://users.rust-lang.org/t/rust-as-a-high-level-language/4644/72) at the Rust forum (some of the inspiration came from @keean linking me to Sean Parent's [video](https://youtu.be/32f6JrQPV8c?t=99) presentation) and [another one](https://bitcointalk.org/index.php?topic=1219023.msg14545545#msg14545545) that I posted to...
A [homoiconic](https://en.wikipedia.org/wiki/Homoiconicity) programming language can parse itself to an AST expressed as native data that can be transformed within the language, evaluated, or isomorphically serialized to human readable syntax. I...
Parallelism
Unfortunately this discussion [started in Error handling thread](https://github.com/keean/zenscript/issues/40#issuecomment-390693316). And the discussion derived from [a post I made](https://github.com/keean/zenscript/issues/35#issuecomment-389113445) about C no longer being a low-level language because of its mismatch to...
Why typeclasses?
Is less verbosity the only main benefit of typeclasses over just inputting a set of functions? Typeclasses can do where `bar` is a member of `Function`: ``` foo(x: A) where...