https://www.opennet.ru/openforum/vsluhforumID3/88526.html В списке рассылки разработчиков LLVM представлен (http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-February/058972.html) новый проект SMACK (http://smackers.github.com/smack/), в рамках которого создан инструмент для статической проверки свойств программ, написанных на языках C/C++. На основании анализа исходных текстов программы, без непосредственного выполнения приложения, SMACK позволяет выявить нарушение заданных пользователем утверждений корректности (assertions (https://github.com/smackers/smack/tree/master/examples)). <br><br><br>Код инструмента поставляется (https://github.com/smackers/smack) под лицензией MIT и интегрируется с инфраструктурой компиляции LLVM. При желании SMACK может быть выведен за рамки C/C++ и после небольшой доработки использован для проверки кода на любом другом языке программирования, поддерживаемом в LLVM. Также возможно создание расширений, работающих поверх SMACK.<br><br>URL: http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-February/058972.html<br>Новость: http://www.opennet.ru/opennews/art. https://www.opennet.ru/openforum/vsluhforumID3/88526.html#51 Wed, 06 Feb 2013 17:08:51 GMT &gt; Примерно также могли бы поступать и шаблоны в c++. Но видимо были <br>&gt; на то какие-то веские основания так не делать.<br><br>Хаскелл появился через год после введения шаблонов в С++.<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#50 Wed, 06 Feb 2013 14:01:42 GMT &gt; В вашем примере же правила приведения какие-то отрабатывают, я так понимаю?<br><br>http://www.ibm.com/developerworks/ru/library/l-haskell2/index.html?ca=drs-<br>Типы не приводятся автоматически, они могут выводятся, исходя их контекста написанного выражения.<br>Prelude&gt; :t max<br>max :: Ord a =&gt; a -&gt; a -&gt; a<br>В данном случае тип выражения наиболее общий. Любой тип, который может быть упорядочен (Ord), т.е. для которого определена функция "compare". Но тип двух аргументов и результата должен быть одинаков.<br>Prelude&gt; :t max 1<br>max 1 :: (Num a, Ord a) =&gt; a -&gt; a<br>Тут мы уже более конкретизировали наши намерения. Помимо Ord, мы ещё хотим, чтобы аргумент относился к классу чисел (Num), для которого определены функции: +, -, * и взятие абсолютного значения (abs).<br>Prelude&gt; :t max 1.2<br>max 1.2 :: (Fractional a, Ord a) =&gt; a -&gt; a<br>Более конкретно. Мы хотим тип для которго определено значение функции / "разделить".<br>Prelude&gt; :t max 'a'<br>max 'a' :: Char -&gt; Char<br>Тут мы хотим тип Char, для которого определена операция сравнения и с https://www.opennet.ru/openforum/vsluhforumID3/88526.html#49 Wed, 06 Feb 2013 13:50:48 GMT &gt; ну да, это трудно понимаемый кусок, помню с каким трудом въезжал - <br>&gt; ещё на паскале... Но он довольно невелик и далеко не всегда <br>&gt; нужен, если брать не яву какую.<br><br>Алекс, по моему опыту, переход на по-настоящему новые приёмы всегда приводит к мозголомке. У меня она была при изучении процедурного програзма, потом ОО, потом шаблонов, потом функциональщины. Я просто помню эти мозголомки, поэтому мне кажется это всё неестественным.<br><br>А дальше, как привыкнешь, уже всё кажется в доску естественным и правильным.<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#48 Wed, 06 Feb 2013 13:04:15 GMT ох, наверное, да. В вашем примере же правила приведения какие-то отрабатывают, я так понимаю? Тут я даже не уверен, какой вариант предпочту - всё же автоматическое примедение типов иногда делает те ещё подляны. Кстати, а что будет, если одним из аргументов вам сунуть не Double, а функцию или строку?<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#47 Wed, 06 Feb 2013 13:01:37 GMT ну да, это трудно понимаемый кусок, помню с каким трудом въезжал - ещё на паскале... Но он довольно невелик и далеко не всегда нужен, если брать не яву какую.<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#46 Wed, 06 Feb 2013 11:48:40 GMT &gt; NT вполне себе актуально. Просто здесь его некоторые активно не любят по <br>&gt; понятным причинам, но ядро, насколько я знаю, неплохое.<br><br>Очень хорошее ядро. Позволяет, в частности, построить поверх себя POSIX, OS/2, Win32 и т.д.<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#45 Wed, 06 Feb 2013 05:57:30 GMT &gt; Хотя нет - эта не развернется, это ж не хвостовая рекурсия... будет стек создавать зачем-то...<br><br>Тут вы правы. Гораздо читабельней и эффективней будет так:<br>let fac n = product [1..n]<br><br>Понять, что тут произойдёт и чему равен результат сможет почти кто угодно.:)<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#44 Wed, 06 Feb 2013 05:31:12 GMT сложного ничего конечно, но работает не так, как, очевидно, ожидается.:)<br>чему равна в этом случае:<br>max(1, 2.3);<br>очевидно, что должно быть:<br>max(1, 2.3) == 2.3<br>но компилятор не согласен:)<br>error: no matching function for call to 'max(int, double)'<br>note: candidate is:<br>note: template&lt;class Type&gt; Type max(Type, Type)<br>note: template argument deduction/substitution failed<br>note: deduced conflicting types for parameter 'Type' ('int' and 'double')<br><br>в отличии от:<br>Prelude&gt; :t max<br>max :: Ord a =&gt; a -&gt; a -&gt; a<br>Prelude&gt; max 1 2<br>2<br>Prelude&gt; max 1.0 2<br>2.0<br>Prelude&gt; max 1 2.0<br>2.0<br>Prelude&gt; max 1 (2/3)<br>1.0<br>Prelude&gt; :t 1<br>1 :: Num a =&gt; a<br>Prelude&gt; :t 2.0<br>2.0 :: Fractional a =&gt; a<br>Prelude&gt; :t (2/3)<br>(2/3) :: Fractional a =&gt; a<br>можно и явно указать, что мы хотим получить в результате:<br>Prelude&gt; max 1 (2.0 :: Double)<br>2.0<br>Prelude&gt; :t max 1 (2.0 :: Double)<br>max 1 (2.0 :: Double) :: Double<br><br>Ну это я уже придираюсь видимо.:)<br> https://www.opennet.ru/openforum/vsluhforumID3/88526.html#43 Wed, 06 Feb 2013 01:27:52 GMT &gt; А простой template class MyClass&lt;class T&gt; :public T {...} наваять - ничего <br>&gt; сложного, в общем-то.<br><br>Алекс, наваять и метапрограммную фигню на них несложно. Сложно это читать. :-)<br><br>Там, в шаблонах масса всяких косяков. Например, в С++98 целое число может быть параметром шаблона, а вещественное - нет.<br>