Why don't you have advanced compilers in functional languages ​​like Haskell?

current modern compiler components are mostly written in C / C ++, the best example would be the LLVM framework. In addition, it is often said that it would be nice to have some kind of killer project implemented in a functional language.

Functional programming claims to have an advantage in solving complex algorithmic problems in an elegant (and currently fast) way - compared to imperative languages. However, most backend compilers are implemented in C / C ++. I know of existence, for example. MLRisc, but it is deprecated.

Thank you, I hope quick answers. For me, a complete whole chain of compiler tools would be a real proof of the maturity of the language.

Best regards, alas

+3
source share
1 answer

Probably the most advanced compiler written in and for functional languages ​​is probably the GHC. It compiles Haskell and - in addition to a runtime system written entirely in Haskell. I read about some compiler shootings (unfortunately, I can no longer find the source), where Haskell took third place, right after C and C ++. This is a really cool project.

GHC , x86 x64, SPARK . GHC , Linux, Windows, Mac OS X BSD. GHC , LLVM- LLVM. , C-, .

+9

All Articles