Type-Level String Matching in TypeScript

This challenge explores the fascinating realm of type-level programming in TypeScript. We'll be crafting a utility type that determines if one string type is a substring of another, all at compile time. This is useful for enforcing constraints on string types, validating data structures, and creating more robust and type-safe code.

Problem Description

You are tasked with creating a TypeScript type called IsSubstring<T, U> that takes two string type arguments, T and U, and resolves to a conditional type that is either true or false. The type IsSubstring<T, U> should evaluate to true if the string type U is a substring of the string type T, and false otherwise. The matching should be case-sensitive.

Key Requirements:

• The solution must be implemented using TypeScript's type system, without runtime execution.
• The solution must accurately determine if U is a substring of T.
• The solution should handle empty strings correctly.
• The solution should be robust and handle various string lengths.

Expected Behavior:

• IsSubstring<"hello world", "world"> should resolve to true.
• IsSubstring<"hello world", "hello"> should resolve to true.
• IsSubstring<"hello world", "o"> should resolve to true.
• IsSubstring<"hello world", "universe"> should resolve to false.
• IsSubstring<"hello world", "" > should resolve to true. (Empty string is a substring of any string)
• IsSubstring<"", "hello"> should resolve to false. (Non-empty string cannot be a substring of an empty string)
• IsSubstring<"", "" > should resolve to true. (Empty string is a substring of an empty string)

Examples

Example 1:

Input: IsSubstring<"abcdefg", "bcd">
Output: true
Explanation: "bcd" is a substring of "abcdefg".

Example 2:

Input: IsSubstring<"abcdefg", "xyz">
Output: false
Explanation: "xyz" is not a substring of "abcdefg".

Example 3:

Input: IsSubstring<"abcdefg", "abcdefg">
Output: true
Explanation: The string is equal to itself, therefore it is a substring.

Example 4:

Input: IsSubstring<"", "a">
Output: false
Explanation: An empty string cannot contain a non-empty string.

Example 5:

Input: IsSubstring<"abc", "abc">
Output: true
Explanation: The string is equal to itself.

Constraints

• T and U must be string literal types.
• The solution should be reasonably efficient in terms of type inference. While performance isn't the primary concern, excessively complex type manipulations that significantly slow down type checking are discouraged.
• The solution must be valid TypeScript code that compiles without errors.

Notes

Consider using recursive type manipulations to break down the problem. You might need to compare characters at corresponding positions within the strings. Think about how to handle the base cases (empty strings, string equality). The key is to leverage TypeScript's conditional types and string literal types to achieve this type-level string matching. Avoid using any runtime functions or libraries. This is purely a type-level solution.