-
- Смарт ptr бегут нам на помощь... С++ форЁва, похоже. - Evgeny_CD(25.07.2013 22:02)
- пока знаю один вменяемый рисёчЬ без GC и кучи помошников. Д.ARMоед(25.07.2013 22:39)
- А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++ Evgeny_CD(25.07.2013 22:50)
- ужас. процу больше делать нечего, кроме как pointer lifetime invariant вычислять. но занятно. - Д.ARMоед(25.07.2013 23:28)
- Хвастаются относительно низкими оверхедами. - Evgeny_CD(25.07.2013 23:44)
- да, я посмотрел бенчи; но такое чувство, что где-то
нннабманули. - Д.ARMоед(25.07.2013 23:54)- Понятно где - я вот исходники так и не смог найти. Или это я ступил? - Evgeny_CD(25.07.2013 23:55)
- понять академические вещи по исходнику довольно сложно. часто присутствует глубокая оптимизация. и кроме гуроватости в цэпепе надо быть ещё и телепатом. - Д.ARMоед(26.07.2013 00:06)
- Я про другое. Бумаги они написали. А вот кода в паблике я пока не нашел. Или плохо искал? Некоторые их идеи мне показались интересными для того, чтобы рискнуть в С++ коде поковыряться... - Evgeny_CD(26.07.2013 00:17)
- почему-то на страничке одного из авторов этот айронклад связан с прототипом под другим именем - Д.ARMоед(26.07.2013 00:49, ссылка, ссылка)
- Да, но оно тут чуть другое. Full Memory Safety for C Но сорцы есть, это радует. - Evgeny_CD(26.07.2013 00:54)
- может ребрендинг происходит? - Д.ARMоед(26.07.2013 00:57)
- Или разборка вчерашних соратников, что более вероятно :) - Evgeny_CD(26.07.2013 00:58)
- может ребрендинг происходит? - Д.ARMоед(26.07.2013 00:57)
- Да, но оно тут чуть другое. Full Memory Safety for C Но сорцы есть, это радует. - Evgeny_CD(26.07.2013 00:54)
- почему-то на страничке одного из авторов этот айронклад связан с прототипом под другим именем - Д.ARMоед(26.07.2013 00:49, ссылка, ссылка)
- Я про другое. Бумаги они написали. А вот кода в паблике я пока не нашел. Или плохо искал? Некоторые их идеи мне показались интересными для того, чтобы рискнуть в С++ коде поковыряться... - Evgeny_CD(26.07.2013 00:17)
- понять академические вещи по исходнику довольно сложно. часто присутствует глубокая оптимизация. и кроме гуроватости в цэпепе надо быть ещё и телепатом. - Д.ARMоед(26.07.2013 00:06)
- Понятно где - я вот исходники так и не смог найти. Или это я ступил? - Evgeny_CD(25.07.2013 23:55)
- да, я посмотрел бенчи; но такое чувство, что где-то
- Хвастаются относительно низкими оверхедами. - Evgeny_CD(25.07.2013 23:44)
- А еще есть ANSI/ISO C Specification Language -> и его реализация... - Evgeny_CD(25.07.2013 22:59, ссылка)
- ужас. процу больше делать нечего, кроме как pointer lifetime invariant вычислять. но занятно. - Д.ARMоед(25.07.2013 23:28)
- А мы еще знаем Ironclad C++, a library-augmented type-safe subset of C++ Evgeny_CD(25.07.2013 22:50)
- пока знаю один вменяемый рисёчЬ без GC и кучи помошников. Д.ARMоед(25.07.2013 22:39)
- Смарт ptr бегут нам на помощь... С++ форЁва, похоже. - Evgeny_CD(25.07.2013 22:02)