There are two interesting extremes of platform independent programming language design. One maps to hardware operations without surprising overhead, and another maximizes code correctness and verifiability by obeying all expected mathematical and set theoretic properties.
-
-
What do you mean by lack of template abstraction features? I would say with macros and typeclass-like traits you don't lose that much powrr? Unless we're talking variadic templates or something.
-
The compile-time evaluable subset of Rust is sub-Turing and doesn’t support expression evaluation. It’s more like Haskell type class constraints than metaprogramming.
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.