Почему у haskell нет гетерогенных списков

Question

Я не понимаю, почему я не могу построить список, который выглядит как [1,"1",1.1] в haskell. Я не думаю, что это статическая типизация, которая мешает мне, потому что я думал, что у head теперь будет плохо определенный тип, но потом я подумал об этом, и нет причин, чтобы система времени выполнения не создавала экземпляр другой версии head всякий раз, когда в него вводится список, поэтому head [1,"1",1.1] будет набираться как List->Int, а head (tail [1,"1",1.1]) будет набираться как List->String. Поскольку время выполнения уже делает много бухгалтерского учета, почему он не предоставляет более эффектные полиморфные (или это общие) версии различных функций прелюдии? Что мне здесь не хватает?

Answer 1

Это действительно типизация, которая предотвращает это. Рассмотрим определение списка (обратите внимание на параметр типа a, который отсутствует из ваших типов):

data List a = Nil | Cons a (List a) 

В Cons a (List a) вы можете увидеть, что тип вещи во главе списка должен быть тот же тип как элементы, которые следуют за ним. Чтобы ответить на ваш вопрос, вы не пропустите много: как вы говорите, время выполнения может это сделать, но в Haskell вы хотите принять эти решения для ввода во время компиляции, а не во время выполнения.

Если вам нужны гетерогенные списки, вы можете увидеть некоторое колдовство Олега Киселева в его работе на HList (= Гетерогенный список). Это может быть не совсем то, что вы хотите, но оно находится в одном и том же направлении.

Answer 2

Потому что в Haskell все типы известны во время компиляции. Нет такой вещи, как дожидаться времени выполнения, чтобы узнать, какой тип будет. И потому, что этого достаточно, чтобы делать все, что вы могли бы захотеть сделать в динамически типизированной системе, будучи легче рассуждать о загрузке.

Answer 3

Как вы знаете, на самом деле существует пакет для гетерогенных списков с использованием нетривиальных методов, и вы действительно должны убедиться, что вы хорошо понимаете систему типов, прежде чем погрузиться в это. У вас нет этого по умолчанию из-за системы типов. Список в Haskell - это не просто список. Это список, 'a', являющийся Int, String, независимо от того, что вы хотите. НО, один список может содержать только один тип значений.

Обратите внимание, что вы можете определить «гетерогенные списки» элементов, удовлетворяющих некоторым ограничениям, используя экзистенциальную количественную оценку, но я думаю, что вас еще нет, и на самом деле нужно сосредоточиться на понимании других ответов здесь, прежде чем идти дальше.

Answer 4

Существует гетерогенный тип списка HList (доступен в Hackage), но обратите внимание, что, вероятно, существует тип содержимого вашего списка. Рассмотрим что-то вроде этого:

history = [-12, "STATEMENT END", (-244, time January 4 2010), ...] 

Ваши данные имеют тип борющегося появляться, например .:

data HistoryEntry = Withdrawal Int | StatementClosing | ScheduledPayment Int CalendarTime 

history = [Withdrawal 12, StatementClosing, ScheduledPayment 244 (time January 4 2010)] 

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

Answer 5

Посмотрите на Heterogenous collections

{-# OPTIONS -fglasgow-exts #-} 
-- 
-- An existential type encapsulating types that can be Shown 
-- The interface to the type is held in the show method dictionary 
-- 
-- Create your own typeclass for packing up other interfaces 
-- 
data Showable = forall a . Show a => MkShowable a 

-- 
-- And a nice existential builder 
-- 
pack :: Show a => a -> Showable 
pack = MkShowable 

-- 
-- A heteoregenous list of Showable values 
-- 
hlist :: [Showable] 
hlist = [ pack 3 
     , pack 'x' 
     , pack pi 
     , pack "string" 
     , pack (Just()) ] 

-- 
-- The only thing we can do to Showable values is show them 
-- 
main :: IO() 
main = print $ map f hlist 
    where 
     f (MkShowable a) = show a 

{- 

*Main> main 
["3","'x'","3.141592653589793","\"string\"","Just()"] 

-}