4 Feb
2010
4 Feb
'10
10:40 p.m.
Am Donnerstag 04 Februar 2010 23:18:34 schrieb Daniel Peebles:
data Stack a = EmptyStk | Stk a (Stack a)
I find it amusing that the book defined a type that is exactly isomorphic to the standard list (EmptyStk === [] and Stk === (:)). I guess it's just for clarity?
Also type safety, I think. However, I prefer newtype Stack a = Stack [a]