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.
