Запитання з тегом «algebraic-data-types»

Вираз «алгебраїка» для алгебраїчних типів даних виглядає дуже суттєвим для тих, хто має досвід математики. Дозвольте спробувати пояснити, що я маю на увазі. Визначивши основні типи Товар • Союз + Сінглтон X Одиниця 1 і використовуючи скорочену X²для X•Xі 2Xдля X+Xі так далі, ми можемо визначити алгебраїчні вирази , наприклад …

289 haskell  functional-programming  algebraic-data-types  miranda 

Досить просто представити дерево або список у haskell, використовуючи алгебраїчні типи даних. Але як би ти почав типографічно представляти графік? Здається, що вам потрібно мати покажчики. Я здогадуюсь, ти можеш мати щось подібне type Nodetag = String type Neighbours = [Nodetag] data Node a = Node a Nodetag Neighbours І …

125 haskell  types  graph  functional-programming  algebraic-data-types 

Як я можу знайти фактичний об'єм пам'яті, необхідний для зберігання значення певного типу даних у Haskell (переважно з GHC)? Чи можна оцінити його під час виконання (наприклад, в GHCi) або можливо оцінити потреби в пам'яті складеного типу даних з його компонентів? Загалом, якщо вимоги до пам’яті типів aі bвідомі, яка …

124 haskell  memory-management  ghc  algebraic-data-types 

seasonФункція використовує алгебраїчні функції , але я відчуваю, що код повторюється. Як зробити це якомога коротше? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | …

12 haskell  algebraic-data-types