• Joined on 2026年04月28日
continue2breakpoint commented on issue ziglang/zig#32099 2026年04月29日 16:37:21 +02:00
remove @TypeOf and anytype; introduce |T| syntax

@npc1054657282 Actually, Zig's type system can already do this(You even just need use print()). What disappoints me instead is that it’s often impossible to determine whether different...

continue2breakpoint commented on issue ziglang/zig#32099 2026年04月28日 07:59:16 +02:00
remove @TypeOf and anytype; introduce |T| syntax

@wzk Do not let it go this way. I would be annoyed by the Dependent Type Theory and derived features such as the Partial Specialization in template. The concept and interface in Golang are more...

continue2breakpoint commented on issue ziglang/zig#32099 2026年04月28日 02:25:25 +02:00
remove @TypeOf and anytype; introduce |T| syntax

anytype and TypeOf need improvement, but such improvements #only yield little effect because I can...