Jakob // theCodeDrift on Mythryl: “Charlie Marsh posted a thread on ty's new redundant-condition check…”

Charlie Marsh posted a thread on ty's new redundant-condition check, and we wanted to know how much of it a generic tool could cover. Taskless rules caught 13 of the thread's 15 examples. The last two need real type inference. taskless.io/blog/taskles...

taskless.ioTaskless, ty, and the Type-Shaped GapCharlie Marsh's thread on ty's redundant-condition check got us asking how much a generic tool can cover. Rebuilt as Taskless rules, it reaches 13 of the thread's 15 examples, and the last two need real type inference.

12/10/26, 3:30 pm0 reposts0 likes

Post