Search Results for "concept"

...While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still is to some degree) to provide users with a small set of powerful features that can be combined to great (and sometimes even unforeseen) expressivity. For example, the feature of implicits has been used to model contextual abstraction, to express type-level computation, model type-classes, perform implicit coercions, encode extension methods, and many more. ...

Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the programmer). Vale also pursues what they call Fearless FFI to make foreign function interface (e.g. interoperating with C libraries) safer and less error-prone. ...