Functions that return type

[thedeemon via Digitalmars-d-learn]

On Wednesday, 20 January 2016 at 04:27:27 UTC, blm768 wrote:
>>> I guess the constraints are that of a static language.
>>
>> (This is not true.)
>
> I'm playing with the design of such a language myself. 
> Basically, anything can create/use/return type objects

This is usually possible in dependently typed languages such as 
Idris, Agda or Coq. Check out Idris, it's rather small but very 
nice and interesting.