980 karma · joined September 4, 2007
I assume we are talking about a static type system here? Many common "scripting" languages are structurally typed - what Python calls duck typing.
What does this mean? I was under the impression the OCaml compiler did a decent number of floating point specific optimizations, like unboxed arrays and what not.
https://github.com/search?utf8=%E2%9C%93&q=gutenberg+static+...
> There is no shortcut for boldface, because boldface isn’t good typographic practice and so we don’t want to make it easy for you to make bad books.
Where/what is that from? Like is that common "knowledge"?
What compilers do this? With what algorithms?
I see "optimizations are bad/unnecessary/problematic/whatever" in my job writing a compiler. The underlying issue is almost never "I don't want optimizations" - even when someone thinks that's what they want; it's "I don't want optimizations that produce unexpected behavior".