Josh Junon

`typedef` creates a new type out of an existing type. `alias` just creates an alias for a type. You can think of it like this: ``` arua typedef Foo as...

Might explain type casting here and how it's handled (e.g. `-1i32 as u32`). Those conversions are to be well-defined.

// @Polygn a review of this would be _super_ helpful.

I like the literal format idea. With the suffixes in particular, I was relying a bit on modern editors having syntax highlighting to help do this (ViM can handle Arua...

I've updated the original to reflect the change in suffix (`15:u32`) syntax.

@Polygn thoughts on Tuples? I feel like Tuple support without full-on pattern matching throughout the system is useless. I like the idea of pattern matching though I feel like languages...

What does that example intend to do?

Another idea: ``` arua on Foo fn do_something() # ... foo1 Foo foo2 Foo (foo1, foo2).do_something() ``` Which is similar to Pythons: ``` python [x.do_something() for x in (foo1, foo2)]...

On second look, generics aren't the way to go. I believe with erasure, the Java example above will fail since `T`. At the best, it will return an instance of...

A note on visibility: private until made public by `pub`. Don't think protected-type visibility will be nexessary. Haven't decided yet.