standard-library

6зной

1ответ

Категории библиотеки для Agda?

Существуют ли «рекомендуемые» библиотеки, которые обеспечивают легкую в использовании формализацию базовой теории категорий в Агда? Стандартная библиотека Agda, похоже, в этом отношении очень мало. Я

standard-library agda category-theory 2014-09-04

---

0зной

1ответ

Итераторы итераторов гетерогенных типов C++

У меня есть структура, которая содержит векторы разных типов. Я хотел бы создать один итератор, который будет перебирать каждый элемент каждого вектора и в соответствии с конкретными правилами предост

c++ vector stl iterator standard-library 2014-02-20

---

8зной

1ответ

Мой класс - это в основном передняя часть контейнера, должен ли я разоблачить этот факт?

В моем дизайне у меня есть класс, который в основном является фронтом для std::vector<OtherClass>. Должен ли я, в своем интерфейсе класса, передать любому вызывающему абоненту std::iterator, передать

c++ design abstraction standard-library 2014-09-08

---

120зной

2ответ

Что такое std :: decay и когда он должен использоваться?

В чем причина существования std::decay? В каких ситуациях std::decay полезный?

c++ c++11 standard-library 2014-09-08

---

0зной

1ответ

Функция импорта из стандартной библиотеки после импорта аналогично названной функции из другой библиотеки

Это любопытство. Скажем, я использую IPython интерактивно, который за счет импорта по умолчанию from numpy import sum и после этого я решил использовать sum из стандартной библиотеки. Скажем, сделат

python numpy standard-library 2014-09-10

---

0зной

5ответ

Вызов метода в статической библиотеке

Я пытаюсь написать стандартную библиотеку C с нуля на OSX с помощью gcc. Когда я пытаюсь включить заголовочный файл из моей библиотеки в свою тестовую программу, я получаю ошибку, которая не определен

c++ c static-libraries standard-library 2014-09-13

---

2зной

2ответ

Clojure zip function

Мне нужно построить seqs (vec of vecs), объединив первый, второй и т. Д. Элементы данных секций. После быстрого поиска и просмотра the cheat sheet. Я не нашел один и закончил писать самостоятельно: (d

clojure standard-library sequences 2014-09-15

---

5зной

4ответ

C++ Должен ли я включать стандартные библиотеки для каждого исходного файла?

Я немного смущен в данный момент, потому что я планирую включить несколько исходных и заголовочных файлов в первый раз в одном из моих проектов. Так что мне интересно, будет ли это правильным? Должен

c++ include header-files standard-library precompiled-headers 2014-09-16

---