That looks really neat! One question: are runtime bound checks really necessary? I would at least like a seperate release mode that gets rid of them. Writing a kernel with bound checks would be a mixed nightmare!

FYI, please tell me I'm not the only person reminded of Rust...

Ori Bernstein <ori@eigenstate.org> wrote:
>Myrddin is a language that I put together for fun, but which has
>developed
>delusions of usefulness. It's a complete reinvention of the wheel, from
>the
>ground up. Some of the major things you'll notice about it:
>
>    - Type inference. Types are inferred across the whole program.
>    - Algebraic data types.
>    - And their friend, pattern matching.
>    - Generics.
>    - A package system.
>    - Low level control over memory and such.
>    - (Almost) no runtime library.
>    - Self contained.
>
>For more details, you can look at the language website:
>
>    http://eigenstate.org/myrddin
>
>Myrddin has been ported to Plan 9/amd64, tested on 9front. I haven't
>been able
>to get 9atom's amd64 kernel to boot on virtual hardware yet, so it
>hasn't been
>tested there.
>
>The compiler and libstd should build out of the box using the provided
>mkfiles. The libs used for mbld currently need either mbld or gnu make
>in
>order to build, or you can run myrbuild by hand. I've provided a script
>that
>does the latter.
>
>Almost all Plan 9 system calls are directly supported in libsys.
>As with Linux/Unix, only amd64 targets are supported at the moment.
>
>To bootstrap the code on Plan 9, the following script is provided:
>
>	http://eigenstate.org/myrddin/getmyr.rc
>
>You can grab the script and run it as follows:
>
>	; hget http://eigenstate.org/myrddin/getmyr.rc > getmyr.rc
>	; chmod +x getmyr.rc
>	; getmyr.rc
>	...a lot of cloning and building happens...
>	; sam helloworld.myr
>
>For ease of hacking on Plan 9, I've added mercurial mirrors of the
>compiler and some libraries to bitbucket:
>
>	http://bitbucket.com/oridb/mc
>	http://bitbucket.com/oridb/libbio
>	http://bitbucket.com/oridb/libregex
>	http://bitbucket.com/oridb/libcryptohash
>	http://bitbucket.com/oridb/libdate
>	http://bitbucket.com/oridb/mbld
>
>There are a number of TODOs, of course:
>
>	- Libdate needs to learn how to parse Plan 9 timezone files.
>	- Libstd needs to get a smarter allocator for large allocations.
>	- More libraries: lib9p, libdraw, etc... all need to be written.
>	- A bit more thought needs to be given nicer, portable APIs.
>	- More Plan 9 integration.
>
>And general work to get Myrddin to the point of day to day usability,
>int terms of faster binaries, more libraries, and so on.
>
>Still, if anyone finds this interesting/useful -- have at it. If you
>manage to do something neat, let me know!
>
>-- 
>Ori Bernstein <ori@eigenstate.org>

-- 
Sent from my Android phone with K-9 Mail. Please excuse my brevity.
Check out my website: http://kirbyfan64.github.io/