1. Some compilers like GCC support such constructs as a language extension.

Некоторые компиляторы поддерживают такие конструкции в качестве расширения языка — например, GCC.

2. Most Haskell compilers allow arbitrary-rank polymorphism as an extension, but this makes type inference undecidable.

Многие компиляторы Хаскела предоставляют полиморфизм произвольного ранга в качестве расширения, но это делает выведение типов неразрешимым, так что требуется явное провозглашение типов.

3. He is an internationally recognized expert on functional programming languages and compilers.

Он является международно признанным экспертом по языкам и компиляторам функционального программирования.

4. In practice, compilers are likely to display a warning, then assume int and continue translating the program.

На практике же, компиляторы могли определять неуказание, но также допускали, что это int и продолжали компиляцию программы.