This expression was expected to have type

@Garcian · Регистрация: 13.11.2012

Студворк — интернет-сервис помощи студентам

Здравствуйте. Имеется список списков. Я хочу удостовериться, что все внутренние списки являются одно размерными. Соответственно, функции возвращает true или false. Код:

F#
1
2
3
4
5
6
7
8
9
10
11
let rec check a =
    match a with
    | [] -> []
    | x :: xs ->
        let length = List.length x
        let res =
            if length = List.length (check xs) then
                true
            else
                false
        res

Ошибка следующая: Program.fs(17,9): error FS0001: This expression was expected to have type 'a list but here has type bool.
Подскажите, что не так?

@pycture · 13.04.2013, 22:21

Для начала попробуйте собрать список из данных в виде примера, в котором часть внутренних списков будет одноразмерная, а часть нет.

@Garcian · 13.04.2013, 23:16 **[ТС]**

ну это не сложно

F#
1
let list = [ [1; 0]; [1; 0]; [1; 0; 1]; [1; 0] ]

Во всяком случае, то что я написал ранее, совсем неправильно. Т.е. я делаю сравнение с check (который вызывается рекурсивно), соответственно он и должен давать на выходе список, чтобы можно было проверить его длину. А я пытаюсь присвоить ему булево значение. Ух тяжело же дается функциональный подход)

@pycture · 14.04.2013, 21:59

Если под "одноразмерным" имеется ввиду, что все внутренние списки имеют одинаковую длину, то так

F#
1
2
3
4
5
6
    let check a =
        match a with
        | [] -> true // false 
        | x :: _ ->
            let length = List.length x
            List.map (fun e -> List.length e = length) a |> List.reduce (&&)

@Garcian · 15.04.2013, 10:48 **[ТС]**

Спасибо за предоставленное решение, красиво получилось) Только чтобы убедиться, что я все правильно понимаю:

F#
1
List.map (fun e -> List.length e = length) a |> List.reduce (&&)

с помощью map создается новый список из булевых значений, потом это список передается reduce. (&&) - функция И, которую мы применяем к элементам списка.
Вообще для меня открытие, что функцию можно так просто задать: (&&)

@pycture · 15.04.2013, 11:06

В целом все верно, так и работает.

Новые блоги и статьи Все статьи Все блоги /
Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а привычная функция main(). . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/

@pycture 1195 / 588 / 88 Регистрация: 20.09.2012 Сообщений: 1,881
	13.04.2013, 22:21
	Для начала попробуйте собрать список из данных в виде примера, в котором часть внутренних списков будет одноразмерная, а часть нет. 0

@pycture 1195 / 588 / 88 Регистрация: 20.09.2012 Сообщений: 1,881
	15.04.2013, 11:06
	В целом все верно, так и работает. 0