5 ms·
There’s no simple language that has generics, operator overloading and a type system because these are not simple concepts. That’s OK, surely? There are older
by exasperaited 1y ago
There’s no simple language that has generics, operator overloading and a type system because these are not simple concepts.
That’s OK, surely?
There are older languages that are simple, typed and powerful like Ada and Modula-2, but these have fallen out of favour because the world wants operator overloading and complex type definition languages and generics.
(The lack of a Modula-2 sort of language is IMO ably addressed by Go)
- akkad33 1y agoI think Julia is kind of simple in the sense that it has this idea that every function you write is automatically generic and the compiler infers the generic bounds by looking at the function implementation. A typed language that does something similar imperfectly is fsharps, but it does not work too well in practice
- exasperaited 1y agoI must say I don't really know enough about Julia to know whether it is simple, but that's some reading for a long train journey bookmarked at least :-)
- GhosT078 1y agoAll editions of Ada have supported operator overloading, complex (rich) type definitions, generics, built-in concurrency, etc. It was overlooked for too long but seems to be getting attention and increased usage again. Ada provides ways of restricting the features you use (i.e., specify your own subset if you like). Its also scalable from very small to very large projects.