> а твоя цель - сделать так, чтобы любая функция с подобным паттерном потенциально его запускала? мило

использовать [1..] для создания бесконечного цикла проще всего так:

main = print last [1..]

так что твои опасения идут лесом

Только не таким способом. Эта реализачия квадратична по времени. Такой матчинг (ns ++ [n]) будет требовать O(n). Надо отрывать у списка не хвост, а голову, это дешёвая операция

Например так:

reverse                 :: [a] -> [a]
reverse l =  rev l []
  where
    rev []     a = a
    rev (x:xs) a = rev xs (x:a)
#endif

main = print last [1..]

и? глядя на эту функцию, я могу сказать, что в ней не так. глядя на вызов some_function [1..] при наличии в ленивом языке желаемых тобой паттернов, я ничего не могу сказать. оно мне надо?

так что твои опасения идут лесом

опасения у меня есть исключительно в твоей вменяемости

> reverse [] = []
> reverse (nn++[n]) = n : reverse nn

Ну дык.

{-# LANGUAGE ViewPatterns #-}
data LastView a = Empty | [a] :. a
lastView [] = Empty
lastView [a] = [] :. a
lastView (a:as) = let bs :. b = lastView as in (a : bs) :. b
rev [] = []
rev (lastView -> as :. a) = a : rev as

Love5an долбоёб

сабж

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

ыыыы
обкурился, деточка?