What is the most minimal design for a static type system without slow compilation times, butt-ugly error messages or people saying "#lolnogenerics"?
Most minimal static type system
Other urls found in this thread:
C
Background is a minimal scripting language that I might try to design and implement soon, btw.
I said most minimal, not most defective.
ocaml?
You've got to decide what you want from the language. Maybe have a look at what golang has I seem to remember it was more reasonable.
Java-like classes and interfaces are pretty simple to implement, but you need methods and inheritance in your design. Parametric polymorphism if you don't want inheritance.
Templates with code generation feeded by simple function overloading is imperfect solution (2 hacks over an actual type system) that works surprisingly well.
Just add type keywords to Python and check that they match in runtime.
I mean, it'd still be a garbage language and implementation, but that's what you asked for.
Minimal doesn't have to mean shit.