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+systemwould be a fine basis for a "static language" that supports returning types from functions.