Encontré respuestas que explican la diferencia entre newtype y data en Haskell. Pero si tengo el siguiente tipo sinónimo:tipo vs rendimiento de datos en haskell
type Point = (Int,Int)
¿Sería más eficiente en lugar de usar:
data Point = Pt (Int,Int) ?
Usando type será más eficiente, ya que incurre en una vía indirecta menos que la versión data.
Tenga en cuenta que ambos son más ineficiente que:
data Point = Point {-# UNPACK #-}!Int {-# UNPACK #-}!Int
como se puede ver en esta pregunta anterior sobre data representations.
pregunto si esto es más eficiente, ¿por qué no está predeterminado en el lenguaje – vis
Cambia la semántica y hace que algunos programas no se puedan implementar. Predeterminado/= Más eficiente. En cambio, el más general. –
Con algunas excepciones (nota 'longitud' versos' genericLength') –
Sí.
La construcción Pt agrega una palabra de sobrecarga (en GHC) y el campo (es decir, el par) se almacena como un puntero a un par, agregando una palabra adicional, para un total de dos palabras (y una indirección adicional para llegar a los valores).
recomiendo que use o bien el tipo sinónimo o, mejor aún, definir
data Point = Pt {-# UNPACK #-} !Int {-# UNPACK #-} !Int
Esto requiere 4 palabras de menos de
type Point = (Int, Int)
y utiliza un nivel menos de indirecciones (punteros).
ver http://stackoverflow.com/questions/5889696/difference-between-data-and-newtype-in-haskell, en particular, la parte de representación. –
Revisé esa pregunta antes de poner esta. La otra pregunta es acerca de diferente entre 'newtype' y' data' NO entre 'type' y' data' – vis
Envolver el constructor de datos Pt con un par (,) en 'data Point = Pt (Int, Int)' es ineficaz. Es mejor utilizar 'datos Point = Pt Int Int'. En algunos casos, también puedes optar por Ints estrictos. –