Re: [boost] [GSoC] [Boost.Hana] Formal review request

Subject: Re: [boost] [GSoC] [Boost.Hana] Formal review request
From: TONGARI J (tongari95_at_[hidden])
Date: 2014-07-29 23:55:31

2014-07-30 11:47 GMT+08:00 Edward Diener <eldiener_at_[hidden]>:

> On 7/29/2014 9:38 PM, Louis Dionne wrote:
>
>> Edward Diener <eldiener <at> tropicsoft.com> writes:
>>
>>
>>> [...]
>>>
>>> Please consider also that you are using terminology in the present
>>> documentation which does not relate to C++ very well, although it may
>>> relate to Haskell for all I know. If you rework the documentation please
>>> use C++ terminology for things. As an example you referred to Type<T> as
>>> an object when in C++ it is a class.
>>>
>>
>> I am confused; `Type<T>` does not exist in Hana, so I doubt I mention it
>> anywhere unless I made an error. There's `type<T>`, which is a variable
>> template, and `Type`, which is a C++ struct.
>>
>
> Yes it is 'type<t>' and not 'Type<t>'. But...
>
> "First, type is a variable template, and type<T> is an object representing
> the C++ type T."
>
> The syntax 'type<T>' normally means a class in C++.

I believe it's object in c++ meaning, a new feature in c++1y:
http://en.wikipedia.org/wiki/C%2B%2B14#Variable_templates