Orenda: noun
- a supernatural force believed by the Iroquois Indians to be present, in varying degrees, in all objects or persons, and to be the spiritual force by which human accomplishment is attained or accounted for.
This is my attempt at creating a new programming language a bit at a time by experimenting with various ideas.
N.B: Nothing in this language is set in stone right now, it is likely to change.
This documentation will evolve over time until I get to a point whereby a new implementation, and therefore github project, will be started. Expect this documentation to be a bit rambly in places and maybe not even completely thought out.
Having used Ada a fair bit over the last 15 years, I've come to the conclusion that it's time to move to another language, but I want something like Ada, but smaller. There just isn't anything out there like this because every language "designer" out there just wants to remake C, but as Ginger Bill stated, "C is broken."
I have talked with other Ada users before about an Ada like language that takes the type system from Ada and adds it to a more Oberon like language. It's a subject which keeps coming up time and time again, so I have decided to give it a try; every programmer has at least one language they want to write, right?
After finally watching Guy Steele's Growing a language, I realise that whilst the core language should be small, it should provide enough capability to extend the language itself.
- Simple.
- Small.
- Composable.
- Make programming life easier.
- Opt out of safety features.
- Opt into unsafe or performance negative features, i.e. GC.
- Is it possible to create this new language with zero cost abstractions?
- What about returning objects? What makes Ada so different that it requires the secondary stack? OberonX added the ability to return objects of any type, how did they do it? Cannot find the doc.
These are my notes / ramblings:
- What I want
- Oberon
- Lexical elements
- Type system
- Functions
- Modules
- Parallelism and concurrency
- REPL
- Target Specifics
- Lexer Grammar
- Parser Grammar
- Give this thing a name.
- Create an AST.
- Add basic semantic analysis.
- Convert to LLVM IR.
Learn some more programming languages to see what ideas are out there and to also see how they work in that particular language. The following list shows a good selection, but in no way should they all be learnt, only where something of importance can be learned.
- Modula-2 (Imperative, structured, modular, data and procedure hiding, concurrent)
- Modula-3 (Imperative, structured, procedural, modular, concurrent)
- Oberon (Imperative, structured, modular, object-oriented)
- Lisp (Multi-paradigm: functional, procedural, reflective, meta)
- Scheme (Multi-paradigm: functional, imperative, meta)
- S/ML (Multi-paradigm: functional, imperative, modular)
- OCaml (Multi-paradigm: functional, imperative, modular, object-oriented)
- Go (Multi-paradigm: concurrent, functional, imperative, object-oriented)
- Rust (Multi-paradigm: concurrent, functional, generic, imperative, structured)
- F# (Multi-paradigm: functional, imperative, object-oriented, metaprogramming, reflective, concurrent)
- Odin (Imperative)
- Dart (Multi-paradigm: functional, imperative, object-oriented, reflective)
- Swift (Multi-paradigm: protocol-oriented, object-oriented, functional, imperative, block structured, declarative)
- Kotlin (Multi-paradigm: object-oriented, functional, imperative, block structured, declarative, generic, reflective, concurrent)
- Elm (Functional)
- Scala (Multi-paradigm: concurrent, functional, imperative, object-oriented)
- ParaSail (Compiled, concurrent, imperative, structured, object-oriented)
- Idris (Functional)
- D (Multi-paradigm: functional, imperative, object-oriented)
- Nim (Multi-paradigm: compiled, concurrent, Procedural, Imperative, Functional, Object-oriented)
- Julia (Multi-paradigm: multiple dispatch (primary paradigm), procedural, functional, meta, multistaged)
- Haskell (Purely functional)
- Prolog (Logic)
- Mercury (Logic, functional, object-oriented)
- FORTH (Procedural, stack-oriented, reflective, concatenative)
- Smalltalk (Object-Oriented)
- Elixir (Multi-paradigm: functional, concurrent, distributed, process-oriented)
- Bondi (Functional, imperative, query-based and object-oriented)
- APL (Array, functional, structured, modular)
- BQN (Array, functional)
- J (Array)
- Joy (Multi-paradigm: functional, concatenative, stack-oriented)
- Zig (Multi-paradigm: imperative, concurrent, procedural, functional)
- Rebol (Language oriented programming, data exchange, functional, prototype-based, imperative)
- Red (imperative, functional, symbolic)
- Io (Object-oriented prototype-based)
- One set of languages only exist on an emulator, UAE, these are:
$ cmake -DANTLR_EXECUTABLE=<location of your ANTLR4 jar>
- A C++14 compiler.
- ANTLR4 (4.9-complete.jar)
- Clang 10
- GCC 9.3.0
- GCC 10.2.0
v0.0.130
I'm not accepting any PR's but I am happy to take advice, ideas or suggestions.
Copyright (C) 2020-2021 by Luke A. Guest