Я правильно понимаю, что если хочу создать тип вида:

Question

Я правильно понимаю, что если хочу создать тип вида:

data Trie = [(String, Maybe Trie)]
то должен написать нечто:
data Trie = List Para | Nil
data Para = MkPara { fst :: String, snd :: Maybe Trie}
т.к. конструкторы [] и (,) с типами использовать не могу?

#haskell #programming #russian

0

16.03.2024

1 ответов

20 просмотров

Михаил · Accepted Answer

Можно обойтись и одним новым типом: data Trie = List String (Maybe Trie) | Nil Или даже data Trie = List {fst' :: String, snd' :: Maybe Trie} | Nil Отличие в том, что в вашем случае функции fst и snd тотальны (только их не получится использовать, так как они совпадают по именам с уже существующими), во втором случае их нет, а в третьем fst' и snd' — частичные функции (что не очень удобно). Но тут newtype всё равно лучше.

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

Я правильно понимаю, что если хочу создать тип вида:

1 ответов

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