| C++ is in this boat now. Most of the time I'd recommend the new type-safe union std::variant, but std::any is there. It is kinda a static type, but as a container-type of anything in the type system, it may as well be a dynamic type. --- > All that survived into Common Lisp but I am not up on the current state of lisp implementations and have no idea if people bother to take advantage of it any more. Typed Racket uses the early guard theories from CL [1], and it does have an optimiser [2], though it has some quirks. And though I can't find it now, there was a fairly recent research paper on using a macro system to static type check at compile-time and optimise for Scheme. But, I should point out that Scheme doesn't need it for optimisation - compiling Scheme to C is easy, and easy to make the result fast. Its more about safety. And there's always Shen which uses sequent calculus [3] for their optional static type system. [0] https://docs.racket-lang.org/ts-guide/ [1] http://www.cs.utexas.edu/users/boyer/ftp/diss/akers.pdf [2] https://docs.racket-lang.org/ts-guide/optimization.html [3] http://shenlanguage.org/learn-shen/index.html#10%20Sequent%2... |
Neither g++ 7 nor Clang/LLVM 4.0.1 support std::variant yet :-(. We started a new (blank buffer) codebase earlier this year and decided to use C++17 as the implementation language, which has exposed us to the gaps...which are surprisingly few! But sadly this is one of them.