Себеста не в теме :) Пусть он ознакомится с ленивым функциональным языком Haskell и скажет, в какой последовательности выполняются там функции, это раз. Во-вторых, в чистых функциональных языках компилятор при синтезе объектного кода (раз уж программа выполняется на императивном процессоре) сам планирует, в какой последовательности всё выполнять. Что-то может выкинуть, если обнаружит, что результат не используется. Представьте себе компилятор C, который выкинет вызов printf, возвращаемое значение которого не используется :D
В-третьих, Лисп — не строго функциональный язык, а мультипарадигмный, как Python и JavaScript. И те строки, которые вы привели, как раз используют императивные фичи Лиспа.
А теорема Чёрча-Россера гласит о том, что если мы вычисляем лямбда-выражение в двух разных порядках оба вычисления выдают результат (а не зацикливаются), то результат будет одинаковым.
IronPython — это реализация языка Python для .NET. Python — ни разу не функциональный язык. Там даже лямбд нормальных нет, а то что есть, грозятся выкинуть (а может, уже выкинули, я не слежу). Python — язык с динамической типизацией, F# со статической типизацией.
1. Может быть. Но разработчики ATLAS считают иначе.
2. По поводу P.S. Высказывание, конечно, верное, но почитайте, что написано об опциях -ffloat-store и -ffast-math. Компилятор может такого наоптимизировать, что вместо результата будет погода на Марсе.
У них неправильный подход. Не надо брать какой-то тухлый компилятор, а надо брать какой-нибудь мощный, но быстрый современный язык программирования типа O'Caml и писать на нём.
Пару лет назад пролетало сообщение (не на хабре), что какой-то паренёк из Бразилии написал за три месяца на Haskell компилятор C. А вам слабо?
Читайте внимательнее, позиция ATLAS такова: icc быстрее, но не "аккуратнее", а gcc — самый быстрый из "аккурантных" (т.е. IEEE FP compilant). Конечно, вы можете компилировать icc, если вам всё равно, какие циферки выдаст программа :)
В-третьих, Лисп — не строго функциональный язык, а мультипарадигмный, как Python и JavaScript. И те строки, которые вы привели, как раз используют императивные фичи Лиспа.
А теорема Чёрча-Россера гласит о том, что если мы вычисляем лямбда-выражение в двух разных порядках оба вычисления выдают результат (а не зацикливаются), то результат будет одинаковым.
Теорему Чёрча-Россера знаете?
Достаточно?
2. По поводу P.S. Высказывание, конечно, верное, но почитайте, что написано об опциях
-ffloat-storeи-ffast-math. Компилятор может такого наоптимизировать, что вместо результата будет погода на Марсе.Но и общество сойдёт, спасибо. Жаль только, что оно пустое :D
Увы, ссылку не нашёл.
Конечно, редизайном сайта это излечится, но стоит ли...
Правда, в свободное от безделья время, поэтому сроков нет.
class GMarkerManager.enableScrollWheelZoom();:)
http://econym.googlepages.com/index.htm
http://mapki.com
Но самое главное &mdsah; описание API. Там правда всё просто :)
Пару лет назад пролетало сообщение (не на хабре), что какой-то паренёк из Бразилии написал за три месяца на Haskell компилятор C. А вам слабо?