Skip to content

Comment on Why GADTs matter for performance (2015)parent

Comments

That was an interesting read, thanks. However I fail to see how it's an issue specific to ocaml. It was a bug in the Skylake processor triggered by a special pattern of instructions produced by gcc. Ocaml built with clang was ok because it doesn't used the same pattern. Did I miss something?

If the JVM encountered the same bug other people would have discovered it before me. Most probably I won't even know the bug exists.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.