algebraic-data-types

¿Cómo puedo encontrar la cantidad real de memoria necesaria para almacenar un valor de algún tipo de datos en Haskell (princ ... :set +s en GHCi para ver las estadísticas de memoria, pero no está claro cómo estimar la huella de memoria de un solo valor.

Es bastante fácil representar un árbol o una lista en haskell usando tipos de datos algebraicos. Pero ¿cómo irías sobre la re ... renciales a nivel de tipo, pero los gráficos son autorreferenciales a nivel de valor. Entonces, ¿qué está pasando realmente?

Un entrada reciente en el blog de William Cook Fusings menciona: El punto clave es que las estructuras en Ensō se ven h ... onales de sumas y productos. ¿Cuáles son las estructuras de datos tradicionales de sumas y productos a las que se refiere?

¿Hay alguna manera de definir un tipo de suma en Java? Java parece apoyar naturalmente los tipos de productos directamente, ... , a menos que haya una manera de hacerlo es una vez, con seguridad, y ser capaz de utilizar que para todos los tipos de suma.

¿Kotlin tiene algo parecido a los sindicatos discriminados (tipos de suma)? ¿Cuál sería la traducción idiomática Kotlin de e ... andleMessage msg = match msg with | New(id, qty) -> handleNew id qty | Cancel(id) -> handleCxl id

Supongamos que tengo un ADT como este: sealed trait Event case class Foo(i: Int) extends Event case class Bar(s: String) e ... cero)? (Esta pregunta surge con bastante frecuencia-ver por ejemplo esta discusión con Igor Mazor en Gitter esta mañana.)

Sé que Python NO es Haskell u Ocaml, pero ¿cuál es la mejor manera de definir tipos de datos algebraicos en Python (2 o 3)? ¡Gracias!