Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  use a code generator--type-directed partial evaluation--to verify conversions beten isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. Hover, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms.    identify that this gigantism is due to redundancies, and that these redundancies originate in the handling of sums, which uses delimited continuations.  successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. The result only works for pure functional programs, but it provides an unexpected use of code generation and it yields orders-of-magnitude improvements both in time and in space for type isomorphisms.
['Vincent Balat', 'Olivier Danvy']
I am writing a research paper on a idea Memoization in Type-Directed Partial Evaluation
[{"from": "human", "value": "I am writing a research paper on a idea Memoization in Type-Directed Partial Evaluation"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  use a code generator--type-directed partial evaluation--to verify conversions beten isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. Hover, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms.    identify that this gigantism is due to redundancies, and that these redundancies originate in the handling of sums, which uses delimited continuations.  successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. The result only works for pure functional programs, but it provides an unexpected use of code generation and it yields orders-of-magnitude improvements both in time and in space for type isomorphisms."}]