Myrddin: new programming language for coding close to the metal

http://mimir.eigenstate.org/myrddin.html

by _vya7 • 13 years ago

74 73 13 years ago

mimir.eigenstate.org

sdegutis9• 13 years ago

It also attempts to strong type checking, generics, type inference, and other features not present in C.

I'm excited already! I always love new alternatives to C.

dmunoz2• 13 years ago

I love programming languages. Big or small, toy or serious. Myrddin looks interesting, and I could certainly see myself implementing projects like this as I dive deeper into language design and implementation.

That being said, and making no judgements about Myrddin itself...

It also attempts to strong type checking, generics, type inference, and other features not present in C.

This sounds like C++. C++ as a whole is insanely complex, but it's also an awesome low level language that provides zero-cost abstraction mechanisms. It's really not all that hard to stay inside a sane subset of C++.

If you scroll down further on the linked page, under the section 'Major Features', it start to sound exactly like Rust. Exactly.

Again, I'm not trying to make any judgement about Myrddin by bringing up C++ or Rust. It's joined my bookmarks along with all the other interesting programming language implementations I have come across is the past year. Can't wait to dive into some of them in more detail when I have the spare time.

mercurial4• 13 years ago

If you scroll down further on the linked page, under the section 'Major Features', it start to sound exactly like Rust. Exactly.

I wouldn't say that. It appears to have a subset of Rust's features, but there is no word on concurrency, and that's definitely where Rust is trying to have an excellent user story. Also, Rust doesn't have global type inference.

ladzoppelin• 13 years ago

Do people that write languages also have amazing programming capability? In other words wouldn't writing a new language be harder than writing any piece of software?

ori_b11• 13 years ago

I'm pretty sure I started out working on this before Rust was widely announced, and certainly before it took it's present shape. It was kind of interesting seeing Rust slowly evolve to where I had was aiming off and/or planned to be as it simplified it's type system, dropped typestate, moved GC into libraries, etc.

evincarofautumn2• 13 years ago

Looks closely related to OCaml and similar in feel to Rust. I’m really excited that so many hobbyist language designers are exploring the space of low-level languages focusing on correctness and performance. (But of course I would.)

greenyoda• 13 years ago

"Are you tired of your compiler Just Working?"

Actually, no. Having lived through the C compilers of the 1980s on 16-bit PCs with their four different memory models (and optional 8087 floating point processor support), I'm very happy to have a C compiler that Just Works. :)

weland4• 13 years ago

That's the first thing that came into my head. Yes, thank you, I WANT a compiler that Just Works. The last thing I want to debug is stuff my compiler throws up when it thinks it's smart.

By the way, GCC, in case you're listening? Fuck you!

exDM695• 13 years ago

That's the first thing that came into my head. Yes, thank you, I WANT a compiler that Just Works. The last thing I want to debug is stuff my compiler throws up when it thinks it's smart.

Then you should stay away research and toy programming languages and stick to tried and tested languages and compilers. And perhaps refrain from commenting on discussions related to them if you don't have anything to bring to the table.

And I'm pretty sure it was a joke, kinda like Linus' "real men write their own device drivers" back in 1992 or so.

By the way, GCC, in case you're listening? Fuck you!

There's a well known software company in Redmond, WA and a famous hardware company in Santa Clara, CA that can provide you with high quality tested compilers in exchange for a little bit of money and agreeing to their licensing conditions. No one is holding a GNU to your head.

GCC is an awesome project that has liberated computing in various fields. 20+ years ago you had to pay a lot of money for C compilers that were worse than GCC in every way.

That attitude isn't going to get you very far. GCC is a team effort and if you don't want to take part in it, then don't.

adnam• 13 years ago

  $ echo 'Fuck you!' > fuck_you.c; gcc fuck_you.c
  fuck_you.c:1:1: error: unknown type name ‘Fuck’
  fuck_you.c:1:9: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ before ‘!’ token

sdegutis9• 13 years ago

I thought the very next paragraph made it clear he was joking and having a little fun:

"More seriously, Myrddin has the goal of replacing C in it's niche of OS and embedded development, but making it harder to shoot yourself in the foot. It's a language that matches the author's taste in design, and if other people want to use it, so much the better."

EDIT: Yep, this is definitely the case. The guy just has a really good sense of humor and doesn't take himself too seriously. Just read his "Beyond..." section!

ori_b11• 13 years ago

Author here: It's sarcasm with a grain of truth.

This is a one person project so far, and there are tons of bugs that haven't been flushed out yet. It's not too hard to crash the compiler yet, and I'm sure there are ways to get it to miscompile. (I recently fixed a couple, where it was trying to put overly large integers into immediates in some cases). Obviously, nobody likes debugging the compiler or tracking down miscompilation, and as things mature it will stop being an issue.

I've written ~10k lines of code in this language at this point, so at least some stuff is flushed out.

midas0073• 13 years ago

It looks awful, almost as bad as Nimrod.

evincarofautumn2• 13 years ago

Almost. But who cares? It’s a fun hobby project and you aren’t obligated to give it a second thought. And really, most language designs made in earnest are terrible. The important thing is that people get interested in this kind of language, so that we can move on from languages like C++ whose complexity is approaching unjustifiable for new projects.

skrebbel• 13 years ago

As someone who really likes Nimrod, I'd actually be interested to know why you would say that. But for now, I'll just assume you're a troll.

midas0073• 13 years ago

So how do you justify your name calling then?

You're wrong. Liking isn't a rational argument for anything. Nimrod is an awful language and worse runtime. Copying the unnecessarily verbose Pascal and Ada is going backwards in time. N has bazillions of overlapping features that are going to be very troublesome to verify the correctness of. Worse still, creating a language with so many non-orthogonal patterns makes understandability of a codebase harder.

exDM695• 13 years ago

Wtf is wrong with you? Someone shares a project that they have done for fun and enjoyment and you publicly call it "awful" without any explanation. Would you do that to someone in person when they show you something they've done?

The least you could have done is explain what you don't like about it and how you would have made it differently to make it better.

This kind of behavior is something that pisses the hell out of me, and to be frank it also keeps me from sharing some of my for-fun projects. I don't want to spend a lot of time documenting them and writing a blog post to hear some dumbass call it "awful" without explanation.

midas0073• 13 years ago

Too bad. This is why people from Founder's Institute fail, they're all nice, which is the problem because it's dishonest and a waste of time. This is why listening to friends and family for feedback is pointless. Accurate and honest feedback is gold. So trying to convince everyone else to act like friends and family isn't useful either.

st2p• 13 years ago

Please elaborate on why Nimrod "looks awful" to you?

jksmith• 13 years ago

Opposite day?

moomin• 13 years ago

It's an interesting space, and not one many have addressed till recently. I think this is a testament to the success of LLVM.

For those of you wanting help with pronunciation, "dd" is pronounced like the "th" in "the".

wubbfindel• 13 years ago

And should sound somewhat like Merlin, since it's the welsh for it. :)

exDM695• 13 years ago

I think this is a testament to the success of LLVM.

Interestingly, this project doesn't seem to use LLVM, but has a back end of its own.

But I agree, LLVM has made it really easy to write simple compilers that emit fast native code via LLVM.

ori_b11• 13 years ago

Yep. I've got some sort of mental problem, and think that writing the backend is half the fun. The frontend is the other half, and library support is the third half. Compiler writing: Now with 150% more fun, and 97% less utility than any other programming project.

NKCSS• 13 years ago

Found a typo: "A pacakge system"

exDM695• 13 years ago

While we're at it... if the OP is listening: there's a parallel make build problem, the Makefiles don't resolve dependencies correctly when I run "make -j 3".

sdegutis9• 13 years ago

I'm the OP (original poster) but not the author. Which makes me wonder: what's the HN convention for asking the article author something in a comment?

ori_b11• 13 years ago

Fixed.

afhof• 13 years ago

If you were to say "programming languages today are deficient in X, Myrddin fixes that!", what would X be? From the looks of it, it appears to be nothing. The syntax looks palatable and I like the lack of header files. That said, why would I be better off investing the time to learn your new language? (amongst the myriad other languages)

mercurial4• 13 years ago

Assuming that the creator meets his goal to reach C-level performance, C has exactly no item present on the list of Myrddin's major features. If you are programming in a higher-level language, you get performance (again, assuming it's actually fast), and "lightweight" static typing, if you don't have that already. If you're programming in Rust, switching to Myrddin is more debatable (I don't know about D or other languages competing in the same space).

ori_b11• 13 years ago

If you're programming in Rust, and you care about things working, you probably want to stay with Rust at this point.

I'd love to get people actually playing with Myrddin, but remember the joke I made on the page about broken compilers, miniscule standard libraries, and debugging in assembly? That wasn't a joke.

Play, but unless you're sure of what you're doing, don't depend on it actually working. Not yet, at least, although it's getting there.

As far as performance goes -- I've put zero effort into optimizing, and depending on the style and features you use, you tend to get between 2x (for purely numerical code) and 8x (for heavily union-using code with value semantics) overhead compared to C right now. Some basic optimizations should bring that down really quickly.

lafar6502• 13 years ago

I like his halloween costume better than the language

saljam• 13 years ago

I'm personally quite excited about this space. If the Internet of Things is going to happen, we need better languages than C/C++.

Qworg3• 13 years ago

I'm interested in why you believe this to be the case.

Joister• 13 years ago

Possibly because C has too few features for your average programmers liking, and C++ is a nightmarish hellscape of sprawling features which you have to learn and then intentionally ignore if you want others to understand your code.

But I like Java, so feel free to ignore me.

danellis• 13 years ago

C++ isn't good for embedded. C isn't as productive as an embedded language could be.

sdegutis9• 13 years ago

Author:

Have you considered hosting it on github instead of your own server? It may lower costs, and more importantly (to me at least) it's a more familiar platform so it's easier for me to browse around, and more likely to get forks and pull requests and issues filed.

al2o3cr• 13 years ago

"The identifiers used for constant values are put in Initialcase. Functions and types are in singleword style, although underscores are occasionally necessary to specify additional information within functions, due to the lack of overloading."

Excusemeijustthrewupinmymouthalittle.

ori_b11• 13 years ago

Generics handle most of the places where you'd care about overloading. You don't need a variant of, eg, parseint for every integer size:

    generic parseint = {some_str
        -> magic_algorithm(str)
    }

(Actual parseint code: http://git.eigenstate.org/ori/mc.git/tree/libstd/intparse.my...)

And, yes, you can make things generic only in the return type, and have that inferred.

coldcode• 13 years ago

I love that people keep experimenting with new programming languages. I hate that there are so many people experimenting these days I can't examine them all.

colanderman5• 13 years ago

While pleasant-looking, I'm not seeing any "close to the metal" features. C (with its extensions and standard library) has a stronghold in the embedded world because it supports:

* specified structure layout (e.g. bitfields)

* memory layout awareness (e.g. alignment & packing)

* memory ordering awareness (e.g. memory fencing)

* integration with processor intrinsics (e.g. SIMD)

Don't show me a "Hello, world!" example; show me a highly optimized lock-free single-writer single-reader queue. Show me code to decode/encode network protocols. Show me how to access MMIO.

As an embedded developer, I find C simultaneously not high-level enough and not low-level enough. What I would want to see in a language replacing C is at least:

* decoupling of data types from storage size from modular arithmetic (still allowing all to be specified)

* decoupling of logical structure layout from physical structure layout (allowing both to be specified)

* decoupling of on-the-wire layout from in-memory layout

* more expressive memory ordering/visibility constraints

* hygienic generics (Myrddin gets points for this, C++ does not)

* a proper module system (like OCaml's)

* more expressive means of hinting optimizations (such as when to make stack frames, spill registers, unroll loops, etc.)

That is, a new language needs to expand in both directions – higher- and lower-level – to replace C for "close to the metal" work. Just higher-level, like Myrddin and kin (OCaml, Rust, etc.), won't cut it.

ori_b11• 13 years ago

Patches accepted -- The language is young, and I have certainly not added all the features that I want. For example, generics should be able to provide enough runtime information that I could do something like:

      pack = std.packbits(some_struct)

and get efficiently packed values.

Memory ordering, visibility, etc -- I'd love to have that added. I haven't figured out what exactly I want that to look like. Give me ideas, and I may very well implement them.

SIMD is just a matter of finding time, I think. I haven't put much work into making exposing intrinsics yet because, let's face it, the generated code is slow right now, so optimization should probably start there. General usability (eg, DWARF output, profiling, more sanity checks) is also a priority.

And I'd like to be self hosting before I do too much feature growth.

colanderman5• 13 years ago

    char buf[2048]; /* if you hit this limit, shoot yourself */

Sorry. I stopped reading the code at that point.

ori_b11• 13 years ago

Bowing to popular demand, I also have a github mirror: https://github.com/oridb/mc/

robocaptain• 13 years ago

All I can think of when I read Myrddin is an old set of PennMUSH code: Myrddin's BBS, Myrddin's MUSHcron.

So awesome.

Myrddin: new programming language for coding close to the metal

Related Stories