Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. Hover, first-class regular type systems are uncommon in LP languages.   present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system.
['Ethan K. Jackson', 'Nikolaj Bjørner', 'Wolfram Schulte']
I am writing a research paper on a idea Canonical Regular Types
[{"from": "human", "value": "I am writing a research paper on a idea Canonical Regular Types"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Regular types represent sets of structured data, and have been used in logic programming (LP) for verification. Hover, first-class regular type systems are uncommon in LP languages.   present a new approach to regular types, based on type canonization, aimed at providing a practical first-class regular type system."}]