On 10/1/2020 12:51 AM, Timon Gehr wrote: > Maybe this is related to what you mean? > > type t = readln().strip()=="int"?int:double; > auto f = (t x)=>x; As D is a statically typed language, I don't see how that can ever work.