Как просмотреть все элементы списка в оболочке smlnj?

У меня есть список из 365 пунктов, соответствующих дням в году.

Мне нужно сравнить мои результаты с результатом, рассчитанным вручную, но все, что я вижу, это:

val it = [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,...] : int list

Есть ли способ сделать это без написания вспомогательной функции?


sml smlnj
person bentaisan    schedule 16.09.2020    source источник
comment
Возможно, используйте структуру управления: stackoverflow.com/questions/5051081/expanding -in-sml /?   -  person qouify    schedule 16.09.2020

Ответы (1)


arrow_upward
1
arrow_downward

Как предлагает цитата, вы можете увеличить глубину, на которой SML / NJ будет отображать очень большое значение.

Но вы также можете сравнить, используя =, не имея возможности видеть конец списка.

Например, предположим, что ваш список длиной 365 человек называется days, а результат, рассчитанный вручную, называется check, тогда в REPL после проверки он выглядит как много 1 в обоих:

- days;
> val it =
    [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     ...] : int list
- check;
> val it =
    [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
     ...] : int list

Использование = для этих значений покажет, на самом деле одинаковое количество элементов и эти элементы попарно фактически одинаковы.

- days = check;
> val it = true : bool

Если days и check содержат разное количество элементов или если 1 в части ... на самом деле было 0, то сравнение их на равенство вместо этого вернет false. Таким образом, вам действительно не нужно видеть на экране 365 значений, если вы можете программно проверить их эквивалентность. В любом случае это намного менее подвержено ошибкам.

Есть ли способ сделать это без написания вспомогательной функции?

Как указано выше; но я хотел бы спросить: что здесь плохого в вспомогательной функции? Я думаю, что если вы используете вспомогательную функцию, вы уменьшите риск случайного ввода 364 или 367 1s в проверяемое вручную значение.

Вот функция, которая генерирует список из n копий x:

fun repeat 0 x = []
  | repeat n x = x :: repeat (n-1) x

Затем вы можете создать функцию, которая вместо этого проверяет ваш days:

fun does_it_have_365_1s xs =
    xs = repeat 365 1

Запускаем это в REPL:

- does_it_have_365_1s [1,1,1];
> val it = false : bool
- does_it_have_365_1s [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1];
> val it = true : bool

О боже, неужели я это напечатал?

Давайте перевернем сингл 1 на 0.

- does_it_have_365_1s [1,1,1,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1];
> val it = false : bool
person Simon Shine    schedule 16.09.2020
comment
Спасибо, Саймон. Я подумал, что, возможно, есть переключатель в двоичном файле sml или что-то еще, чтобы установить ширину возвращаемых результатов. Ну что ж. Это полезный навык - научиться кататься самостоятельно. - person bentaisan; 17.09.2020
comment
quify указал на переключатель. Мое предложение состояло не в том, чтобы проверять собственное поведение, как в случае с нежелательным поведением терминала, а в том, чтобы рассматривать это поведение как хорошее и по-другому думать об автоматической проверке очень больших структур данных. :-) - person Simon Shine; 17.09.2020