reddit

“So I’ve got this great programming language all worked out.  It’s called Deca, and it’s the systems-programming language I’ve always wanted.  It has bloody everything I like: a single-inheritance object system based on generic functions and multimethods, tuples-as-structures-as-arrays-as-objects, lexical scoping with Scheme-style LET statements, exceptions, a parametric module system for generic programming, local type inference with static typing, even an absolutely-most-definitely-guaranteed-safe alias/reference type that gives me processor-level mutexes for free and enables me to compile the language down to machine code with no runtime library or garbage collection.  Oh, and there’s an “unsafe” dialect for writing modules that need pointers and inline assembly.  Sounds fricking awesome, right?  Why, I should probably go ahead and implement the compiler ASAP so I can claim my world fame, right?  Actually, I still need to design a complete syntax for all this, but I could still write it in S-expressions until I work out a better syntax.” source...