Когда мне нужно использовать Bigarray и почему?

Question

Документация на модуле Bigarray несколько расплывчата. В нем указано, что целью массивов в этом модуле является хранение «больших массивов», но на самом деле он не определяет, что означает «большой массив». Когда следует использовать Bigarray над регулярным массивом? Есть ли определенное количество элементов, за которыми я должен просто использовать Bigarray? Это в тысячах? Миллионы? Миллиарды?

А что делает Bigarray лучше при работе с большими массивами? Что делает регулярный массив лучше при работе с ... не большими массивами?

Answer 1

Я нашел ответ на этот вопрос (от this page):

BigArray библиотека реализует большие, многомерные, числовые массивы. Эти массивы называются «большими массивами», чтобы отличить их от стандартных массивов Caml, описанных в модульном массиве. Основные различия между «большими массивами» и стандартных Caml массивов следующим образом:

• Большие массивы не ограничены в размерах, в отличие от Caml массивов (массив с плавающей точкой ограничены 2097151 элементами на 32-битной платформе, другой массив типы до 4194303 элементов).
• Большие массивы являются многомерными. Поддерживается любое число измерений от 1 до 16. Напротив, массивы Caml являются одномерными и требуют кодирования многомерных массивов в виде массивов массивов.
• Большие массивы могут содержать только целые числа и числа с плавающей запятой, в то время как массивы Caml могут содержать произвольные типы данных Caml. Однако большие массивы обеспечивают более экономичное пространство для хранения целочисленных и с плавающей точкой элементов, в частности потому, что они поддерживают «небольшие» типы, такие как float с одной точностью и 8 и 16-битные целые числа, в дополнение к стандартным типам Caml double -precision float и 32 и 64-битные целые числа.
• Макет памяти больших массивов полностью совместим с массивами в C и Fortran, позволяя передавать большие массивы между кодом Caml и кодом C/Fortran без копирования данных вообще.
• Большие массивы поддерживают интересные высокоуровневые операции, которые нормальные массивы не обеспечивают эффективно, например, извлечение подмассивов и «разрезание» многомерного массива по определенным размерам, без копирования.