хех

кажется, так лучше

только вот зачем птичку на обувь... и нож имеет тип двух ножей (возможно)

Это ж хаскель, нож это первый элемент списка, а ножи - остальные элементы.

fmap f (x:xs) = f x : fmap f xs

apl внутри хачкеля

Только это вероятнее перья

agda это

Начнем с того что в расте нет anonymous enum

И понятно любому что вопрос тут стоит не за реализацией она как раз тривиально, люди спорят о синтаксисе

Тоже самое с автоматическими енумами

Хм, даже у древнего DDR3 bandwidth 24 GB/s (против 15 у топового IB 16x). А на современных вычислителях вообще стоит HBM DRAM с 500 GB/s.

А реализованы ли они в соответствующих фреймворках? Мы же вроде говорим о том что работает "из коробки".

Это код расчета основания пирамиды по желаемой высоте? :)

Ответ - врятли

Вопрос был риторический)

Это пиковые значения, к которым надо ещё добавить задержки кэшей, задержки выбора линий, особенности топологии, etc. Мы, конечно, сигналы не снимали с шины, но по perf-счётчикам получается, что прокачка по IB просто инвалидирует кэши на целевой машине, а при использовании memcpy на ней же, эти кэши загружаются новыми значениями, загружается TLB и ещё что-то, возможно. Поэтому может быть выигрыш у RDMA.

Да, мы тестировали с DDR3. Возможно, имеет смысл повторить это для новых систем.