From mboxrd@z Thu Jan 1 00:00:00 1970 User-Agent: K-9 Mail for Android In-Reply-To: <20150104005900.d146d56df0f6cdab930a0fc8@eigenstate.org> References: <20150104005900.d146d56df0f6cdab930a0fc8@eigenstate.org> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----E4CCY2G5HRRBAPYT9NEEFH4KBTLSA3" From: Ryan Date: Sun, 4 Jan 2015 09:13:20 -0600 To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net>, Ori Bernstein Message-ID: <2de32b2c-d7e4-47b0-bd2a-77300e79ef0b@email.android.com> Subject: Re: [9fans] New Language [Myrddin] On Plan 9/amd64 Topicbox-Message-UUID: 38615610-ead9-11e9-9d60-3106f5b1d025 ------E4CCY2G5HRRBAPYT9NEEFH4KBTLSA3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable That looks really neat! One question: are runtime bound checks really nec= essary? I would at least like a seperate release mode that gets rid of th= em. 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 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! > >--=20 >Ori Bernstein --=20 Sent from my Android phone with K-9 Mail. Please excuse my brevity. Check out my website: http://kirbyfan64.github.io/ ------E4CCY2G5HRRBAPYT9NEEFH4KBTLSA3 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable That looks really neat! One question: are runtim= e 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> wro= te:
Myrddin is a language that I put together for fun, =
but which has developed
delusions of usefulness. It's a complete rei= nvention of the wheel, from the
ground up. Some of the major things = you'll notice about it:

- Type inference. Types are inferr= ed across the whole program.
- Algebraic data types.
- = And their friend, pattern matching.
- Generics.
- A pac= kage 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 have= n't been able
to get 9atom's amd64 kernel to boot on virtual hardwar= e yet, so it hasn't been
tested there.

The compiler and l= ibstd 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/myrddi= n/getmyr.rc

You can grab the script and run it as follows:=

; hget h= ttp://eigenstate.org/myrddin/getmyr.rc > getmyr.rc
; chmod += x getmyr.rc
; getmyr.rc
...a lot of cloning and building happ= ens...
; sam helloworld.myr

For ease of hacking on Plan = 9, I've added mercurial mirrors of the
compiler and some libraries t= o bitbucket:

http://bitbucket.com/oridb/mc<= br /> http://bitbucket.com/= oridb/libbio
ht= tp://bitbucket.com/oridb/libregex
http://bitbucket.com/oridb/libcryptohash
http://bitbucket.com/ori= db/libdate
http://b= itbucket.com/oridb/mbld

There are a number of TODOs, of co= urse:

- Libdate needs to learn how to parse Plan 9 timezone f= iles.
- Libstd needs to get a smarter allocator for large allocatio= ns.
- 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 t= o the point of day to day usability,
int terms of faster binaries, more libraries, and so on.

Still, if anyone f= inds this interesting/useful -- have at it. If you
manage to do some= thing neat, let me know!

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