Suggestion: a related project but with a focus on typesafe runtime integration of types present here, or/and tutoring on how to make good typesafe code.

[ForwardFeed]

The first part of this suggestion is about having a collection of runtime based code that still holds type safety.

The first things that comes into my mind would be some type safe ways to handle iterating over keys of an object

export function keys_of<T extends Object>(obj: T): Array<keyof T> {
    return Array.from(Object.keys(obj)) as any;
}

I found that quite useful, even tho there's some unsafe part of it, like the type casting to any

Another example I have is this tool I made to leverage the Paths type of this project
I haven't put too much thoughts into it. hence why it's not type safe at the current moment,
But those functions takes time to make it in a typesafe way, hence why I suggestion making a project dedicated to that.

export function path_walker<T extends Object, P extends Paths<T>>(target: T, path: P): PathValue<T, P>{
    const keys = path.split('\.')
    return keys.reduce((old, curr)=>{
        // @ts-expect-error
        return old[curr]
    }, target)  as any
}

The last part of this suggestion was a bit less substantial, just that I was wondering if that would be valuable to make a project to teach people on how to make good typesafe way to code typescript.

[komed3]

It can never be wrong to have a kind of library that provides functions ensuring type safety and remove boilerplate on the same time.

That would indeed be a good addition to devtypes. But obviously, it needs to be a new npm package, because devtypes will remain a pure type package.

Once the type rework is complete and devtypes is released in version 2.0 (maybe towards the comming weekend) we could definitely tackle a package like that.