Есть некая функция: f :: [A] -> B f [] = ... f

Question

Есть некая функция: f :: [A] -> B f [] = ... f

(sort -> xs@(least:_)) = ...

Компилятор видит неполный паттерн и даёт warning, хотя человеку ясно, что сортировка непустого списка даст непустой список.
Возможно ли, чтобы убрать предупреждение, указать компилятору, что конкретно в данном случае всё правильно? Или тут только можно выключить предупреждение, вынести least = head xs или собрать f = g . sort?

#haskell #programming #russian

0

27.03.2024

2 ответов

32 просмотра

Cheese Syrowiecki

в данном случае я бы выбрал head

0

8 месяцев назад

IC Rainbow · Accepted Answer

IC Rainbow

человеку может быть "ясно" много всякой фигни. в отсутствии refinement types (liquid haskell) из типа sort не следует что он сохраняет это свойство. лучше вынести sort, а потом на него уже смотреть.

0

8 месяцев назад

169 похожих чатов

Есть некая функция: f :: [A] -> B f [] = ... f

2 ответов

Похожие вопросы