Functions that return type

[Timon Gehr via Digitalmars-d-learn]

On 01/17/2016 08:09 PM, data pulverizer wrote:
> On Sunday, 17 January 2016 at 02:08:06 UTC, Timon Gehr wrote:
>> On 01/16/2016 11:50 PM, data pulverizer wrote:
>>> I guess the constraints are that of a static language.
>>
>> (This is not true.)
>
> Could you please explain?

E.g., a few of the systems discussed at

https://ncatlab.org/nlab/show/pure+type+system

would be a fine basis for a "static language" that supports returning 
types from functions.