Re: [9fans] New Language [Myrddin] On Plan 9/amd64
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 o...@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 o...@eigenstate.org -- Sent from my Android phone with K-9 Mail. Please excuse my brevity. Check out my website: http://kirbyfan64.github.io/
[9fans] New Language [Myrddin] On Plan 9/amd64
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 o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
i am getting a build error: ../myrbuild/6.out -C../6/6.out -M../muse/6.out -l sys sys.myr systypes.myr ifreq.myr syscall.s util.s ../6/6.out systypes.myr ../6/6.out sys.myr /tmp/tmp7109d3e2d-sys.myr.s:2 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:2 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:4 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:4 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:6 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:6 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:8 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:8 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:10 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:10 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:12 syntax error, last name: zd too many errors Couldn't run assembler - erik
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
Ah, I forgot about that: This is a bug with Ape's printf; It's missing the %z specifier to print size_ts. The below patch fixes it, although I seem to remember that 9atom has a rewritten ape -- I'm not sure if this will apply: diff -r 40f67c7db147 sys/src/ape/lib/ap/stdio/vfprintf.c --- a/sys/src/ape/lib/ap/stdio/vfprintf.c Thu Dec 11 17:03:01 2014 +0100 +++ b/sys/src/ape/lib/ap/stdio/vfprintf.c Sun Dec 21 23:32:04 2014 -0800 @@ -75,7 +75,7 @@ 0, 0, 0, 0, 0, 0, 0, 0, /* ` a b c d e f g */ SHORT, 0, 0, 0, LONG, 0, 0, 0, /* h i j k l m n o */ 0, 0, 0, 0, 0, 0, 0, 0, /* p q r s t u v w */ -0, 0, 0, 0, 0, 0, 0, 0, /* x y z { | } ~ ^? */ +0, 0, LONG, 0, 0, 0, 0, 0, /* x y z { | } ~ ^? */ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, On Sun, 4 Jan 2015 11:08:37 -0800 erik quanstrom quans...@quanstro.net wrote: i am getting a build error: ../myrbuild/6.out -C../6/6.out -M../muse/6.out -l sys sys.myr systypes.myr ifreq.myr syscall.s util.s ../6/6.out systypes.myr ../6/6.out sys.myr /tmp/tmp7109d3e2d-sys.myr.s:2 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:2 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:4 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:4 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:6 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:6 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:8 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:8 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:10 syntax error, last name: zd nam: LNAME offset.( pointer ) saw ; /tmp/tmp7109d3e2d-sys.myr.s:10 syntax error, last name: zd offset: +.con saw LNAME /tmp/tmp7109d3e2d-sys.myr.s:12 syntax error, last name: zd too many errors Couldn't run assembler - erik -- Ori Bernstein o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
I could do it pretty easily, although I'd be curious to see what you think makes it harder to write a kernel with bounds checks. At least for me, I'd rather keep them the same. At least on with Intel's current out of order processors, they are shockingly cheap, and can be made much cheaper with (not-yet-implemented) optimizations like value range propagation. If it actually does make a significant performance difference (benchmarks, please), I'd gladly add in a flag. For doing the benchmarks, just delete line 780 of 6/simp.c On Sun, 04 Jan 2015 09:13:20 -0600 Ryan rym...@gmail.com wrote: 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 o...@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 o...@eigenstate.org -- Sent from my Android phone with K-9 Mail. Please excuse my brevity. Check out my website: http://kirbyfan64.github.io/ -- Ori Bernstein o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
interesting; i especially liked the Why Myrddin section :) i didn't see the obligatory 9P implementation in it; is there one? On Sun Jan 04 2015 at 1:07:47 AM Ori Bernstein o...@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 o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
Not yet. I haven't needed a 9p implementation yet; no file servers have bubbled to the top of my queue of code to write at this point, and I'm wary of writing APIs without at least some user in mind. On Sun, 04 Jan 2015 19:51:38 + Skip Tavakkolian skip.tavakkol...@gmail.com wrote: interesting; i especially liked the Why Myrddin section :) i didn't see the obligatory 9P implementation in it; is there one? On Sun Jan 04 2015 at 1:07:47 AM Ori Bernstein o...@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 o...@eigenstate.org -- Ori Bernstein o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
Hmm. Didn't Tolstoy write a short story called How Many Languages does a Man Need? On 4 January 2015 at 21:59, Ori Bernstein o...@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 o...@eigenstate.org
Re: [9fans] New Language [Myrddin] On Plan 9/amd64
Thanks to Erik, who helped with squashing a decent number of bugs. On Sun, 4 Jan 2015 00:59:00 -0800 Ori Bernstein o...@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 o...@eigenstate.org -- Ori Bernstein o...@eigenstate.org