Re: Question regarding naming of types and constructors
2012-08-01 00:13:22 GMT
the constructor for type T is T( <thisorthese> ) [ constructor(s) T() T(x::A) T(y::B) T(x::A, y::B) T(x::A, y::A) , T(xs..) if the typology allow ]
the constructor of type T is one of us
tobj = T(x)
the constructor of tobj, an object of type T, is the constructor for type T
tobjs = T(xs)
--- dinner arrived ---
On Tuesday, July 31, 2012 5:01:38 PM UTC-4, Stefan Karpinski wrote:
--On Tue, Jul 31, 2012 at 4:57 PM, John Myles White <johnmyleswhite-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:I'm completely sure I don't appreciate the subtleties of this the way you and John Cowan do, but I'm not so troubled by this. T(x) can be seen as giving you "the best approximation" of the input to an object of type T. For an array, that's an array of Int's rather than a single Int, which would be a terrible approximation to the original inputs. When the best approximation is exact, you get exact answers.
-- JohnThat's kind of a nice way to look at it. Although it doesn't quite jive with the "T(x...) constructs objects of type T" view which is where this conversation got started.