Huella de memoria de los tipos de datos Haskell

¿Cómo puedo encontrar la cantidad real de memoria requerida para almacenar un valor de algún tipo de datos en Haskell (principalmente con GHC)? ¿Es posible evaluarlo en tiempo de ejecución (por ejemplo, en GHCi) o es posible estimar ...

Si se prohíbe la herencia de clase de caso, ¿cómo representar esto?

Estoy tratando de crear las clases de casos como se explica enEste artículo [https://gleichmann.wordpress.com/2011/03/06/functional-scala-a-little-expression-language-with-algebraic-datatypes-and-pattern-matching/] sealed abstract case class ...

"Coincidencia de patrones" de constructores de datos de tipo algebraico

Consideremos un tipo de datos con muchos constructores: data T = Alpha Int | Beta Int | Gamma Int Int | Delta IntQuiero escribir una función para verificar si dos valores se producen con el mismo constructor: sameK (Alpha _) (Alpha _) = True ...

¿Cuál es la diferencia entre los constructores de valores y las tuplas?

Esta escrito [https://www.haskell.org/haskellwiki/Constructor#Notes_and_tips]que las tuplas de Haskell son simplemente una sintaxis diferente para los tipos de datos algebraicos. Del mismo modo, hay ejemplos de cómo redefinir constructores de ...

Tipos de datos algebraicos de Haskell

Tipos de datos algebraicos en Kotlin

Estoy tratando de descubrir cómo usar los tipos de datos algebraicos en Kotlin, así que estoy tratando de implementar un tipo BinaryTree básico de la siguiente manera. sealed class Tree<T>{ class Node<T>(val left: Tree<T>, val right: ...

¿Es posible generar y ejecutar código Rust en tiempo de ejecución?

¿Cómo emulas los ADT y la coincidencia de patrones en TypeScript?

Desafortunadamente, a partir de la versión 0.9.5, TypeScript no tiene (todavía) tipos de datos algebraicos (tipos de unión) y coincidencia de patrones (para ...

ADT en F # y Scala [cerrado]

¿Cuáles son las diferencias clave entre los ADT en F # y Scala? ¿Hay algo que los ADT de F # puedan hacer pero los ADT de Scala no puedan (y viceversa)?

¿Cómo agregar campos que solo cachean algo a ADT?

A menudo necesito agregar campos a un ADT que solo memorice alguna información redundante. Pero no he descubierto completamente cómo hacerlo de manera agrada...