forum.opennet.ru

"В рамках проекта SMACK развивается новая система статической..."

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Заметили полезную информацию ? Пожалуйста добавьте в FAQ на WIKI.

. "В рамках проекта SMACK развивается новая система статической..."	+/–
Сообщение от Crazy Alex (ok), 06-Фев-13, 17:04
ох, наверное, да. В вашем примере же правила приведения какие-то отрабатывают, я так понимаю? Тут я даже не уверен, какой вариант предпочту - всё же автоматическое примедение типов иногда делает те ещё подляны. Кстати, а что будет, если одним из аргументов вам сунуть не Double, а функцию или строку?
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

В рамках проекта SMACK развивается новая система статической..., opennews, 04-Фев-13, 21:42 [смотреть все]

побыстрей бы clang checker допилили до C , x0r, 04-Фев-13, 21:42 (1)
Что только не сделают, лишь бы хаскелл не учить , Аноним, 04-Фев-13, 23:12 (2) //
- Так где ваши ядра операционок на хаскелле, сэр , Аноним, 04-Фев-13, 23:28 (3) //
  - http web archive org web 20041117045537 http www macs hw ac uk sebc hOp , BratSinot, 05-Фев-13, 01:20 (5) //
    - Оно настолько живет и процветает что даже пришлось использовать веб-архив А что, Аноним, 05-Фев-13, 03:04 (8)
      - Не нравится hOp из веб-архива Ну вот вам House http programatica cs pdx edu H, scor, 05-Фев-13, 09:35 (17)
        
        Обычно в таких случаях подразумевается есть ли актуальное, развивающееся, где-т, Crazy Alex, 05-Фев-13, 19:18 (28)
        
        Тогда нужно определиться в терминологии и контексте Если имелись ввиду _именно_, scor, 05-Фев-13, 23:09 (33)
  - А где ядра операционок на C , мэм , AnonymousSL, 05-Фев-13, 16:14 (23) //
    - навскидку вспоминается ядро NT Но если не нравится - полуось Мргучая вещь была, Crazy Alex, 05-Фев-13, 18:55 (26)
      - Немного противоречит вашему же 28 Они может где-то и применяются, но вот раз, scor, 05-Фев-13, 23:01 (32)
        
        NT вполне себе актуально Просто здесь его некоторые активно не любят по понятны, Crazy Alex, 06-Фев-13, 04:30 (40)
        
        Очень хорошее ядро Позволяет, в частности, построить поверх себя POSIX, OS 2, W, Vkni, 06-Фев-13, 15:48 (46)
    - L4, Aesthetus Animus, 06-Фев-13, 00:13 (34)
- Угу, язык равно чужеродный как для человека, который должен на нём писать, так и, Crazy Alex, 05-Фев-13, 02:39 (6) //
  - Да, реплика у меня холиворная получилась, но это случайность - я не против хаске, Crazy Alex, 05-Фев-13, 02:53 (7) //
    - но суть дела отражает неплохо Поэтому чего стесняться то , Аноним, 05-Фев-13, 03:06 (9)
    - ламо Мы уже поняли , Аноним, 05-Фев-13, 07:38 (12)
  - C не менее чужероден , Vkni, 05-Фев-13, 09:25 (15) //
    - По каким критериям, мальчик , Аноним, 05-Фев-13, 16:06 (21)
      - Вы б хоть погуглили прежде чем хамить , Crazy Alex, 05-Фев-13, 18:58 (27)
    - Плюсы странны, но ровно по двум причинам Во-первых, совместимость с С Благодар, Crazy Alex, 05-Фев-13, 18:53 (24)
      - Причем как для человека, так и для компьютера Все более высокоуровневые завихре, тоже Аноним, 05-Фев-13, 20:02 (29)
        
        Чаще всего это низкоуровневое управление не только нежелательно, а прямо таки вр, Vkni, 06-Фев-13, 04:02 (37)
        
        Дык там, где вредно - не берите плюсы, какие проблемы Вон, в том же D или питон, Crazy Alex, 06-Фев-13, 04:23 (39)
      - Только, как правило, все эти алгоритмы преследуют своей целью не выполнить некот, scor, 05-Фев-13, 22:57 (31)
        
        Конечно проще Здесь же натуральное изменение переменной, никакой иммутабельност, Crazy Alex, 06-Фев-13, 04:02 (36)
      - Не только этим Слишком сложный подход к шаблонам, к примеру Груда костылей, св, Vkni, 06-Фев-13, 04:01 (35)
        
        ООП тоже абсолютно естественно - Мы всю свою жизнь проводим, как-то взаимодейс, Crazy Alex, 06-Фев-13, 04:14 (38)
        
        Хорошо, неестественно наследование Неестественны виртуальные функции Так что т, Vkni, 06-Фев-13, 05:23 (42)
        
        ну да, это трудно понимаемый кусок, помню с каким трудом въезжал - ещё на паскал, Crazy Alex, 06-Фев-13, 17:01 (47)
        
        Алекс, по моему опыту, переход на по-настоящему новые приёмы всегда приводит к м, Vkni, 06-Фев-13, 17:50 (49)
        
        Тут вы правы Гораздо читабельней и эффективней будет так let fac n product 1, scor, 06-Фев-13, 09:57 (45)
        
        Да, насчет шаблонов Они в плюсах редкая гадость кстати, в основном из-за того, Crazy Alex, 06-Фев-13, 04:35 (41)
        
        Алекс, наваять и метапрограммную фигню на них несложно Сложно это читать - Та, Vkni, 06-Фев-13, 05:27 (43)
        сложного ничего конечно, но работает не так, как, очевидно, ожидается чему рав, scor, 06-Фев-13, 09:31 (44)
        
        ох, наверное, да В вашем примере же правила приведения какие-то отрабатывают, я , Crazy Alex, 06-Фев-13, 17:04 (48)
        
        http www ibm com developerworks ru library l-haskell2 index html ca drs-Типы н, scor, 06-Фев-13, 18:01 (50)
        
        Хаскелл появился через год после введения шаблонов в С , Vkni, 06-Фев-13, 21:08 (51)
  - http code google com p hedgewars source browse hg gameServerВроде и люди пишу, scor, 05-Фев-13, 09:29 (16) //
    - Дык, всегда найдётся кто-то со странно завернутыми мозгами - А уж о безумии ма, Crazy Alex, 05-Фев-13, 18:54 (25)
AddressSanitizer a fast memory error detectorhttp code google com p address-s, Аноним, 05-Фев-13, 00:30 (4) //
- Адресной дизинфектор уже давно включен в состав clang Просто компиляете проект , Путин В.В., 05-Фев-13, 03:48 (10) //
  - Спасибо за описание, но какие флаги нужны для его вкомпиляции , Аноним, 05-Фев-13, 04:31 (11) //
    - Там же в вики - http code google com p address-sanitizer wiki Flags, arka, 05-Фев-13, 07:52 (14)
  - И с какой же версии И с какими же , Аноним, 05-Фев-13, 07:39 (13) //
    - http clang llvm org docs AddressSanitizer html, Клыкастый, 05-Фев-13, 09:57 (19)
boost уже проходит валидацию этим SMACK-ом , Аноним, 05-Фев-13, 09:57 (18) //
- Сначала SMACK должен пройти боевое крещение бустом , const86, 05-Фев-13, 16:07 (22)
Static analysis of C C code Checks for memory leaks, mismatching allocation-, anonymous, 05-Фев-13, 13:58 (20)
А Макаревич будет , EuPhobos, 05-Фев-13, 20:17 (30)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру