Обсуждение

В этом сборнике задачи идут с нарастающей вычислительной сложность. Если первые варианты задачи можно решить любым решением, то далее простые решения потребуют очень больших вычислительных мощностей. Поэтому, "проверяется один ответ", отчасти компенсируется ростом вычислительной сложности. Сам тоже не много решил, несколько десятков задач. Знакомился с ресурсом.

Возможно, я где-то дурак, но: на Эйлере же очень много задач на комбинаторику, на работу с целыми числами, а в Джулии, потому что её хотят эффективно компилировать, нет по умолчанию преобразования "машинных" целых в целые произвольной точности. В результате пользоваться её комбинаторными библиотеками невозможно: ладно бы требовалось просто старательно писать вручную big(1) -- это ещё пол-беды, но если в стандартной библиотеке внутри какой-то более сложной функции факториал вызывается от Int, а не от BigInt -- всё, ж*па. Это то, на чём я сломался и играть в эту игрушку забросил. Но я тихо надеюсь, что это читает кто-то, кто ткнёт меня носом в то, что я делаю неправильно. :-)

... Старческий минимализм ...

Мне кажется, что какое-то связное объяснение задуманного с автоматизацией преобразования типов есть в http://nbviewer.ipython.org/gist/StefanKarpinski/b8fe9dbb36c1427b9f22 (как минимум, там значительное число примеров чуть ли не в первых строчках посвящается BigFloat и наверняка с BigInteger там что-то похожее). Впрочем, это не означает, что в поставляемых библиотеках вся эта политика уже прописана в коде, и её не нужно перед работой вводить ручками откуда-нибудь (и, может быть, адаптировать под свои нужды).