An idea for generating test data

An idea come to me and it is that we convert the Java source to C# source and apply Pex the C# source and the generated test data is usable for original Java source.

But I don't know the tools that convert Java source to C# source.

I will make the tool by ANTLR or Irony. Which is easier to make tools?

The arrows in Haskell

Can the arrows in Haskell considered by a category?
I will investigate it later.

The kinds of Categories usable for computer science

I want to systematize the categories but will think later.

• cartesian closed category
• freyd category
• kleisli category
• monoidal category
• premonoidal category
• traced monoidal category
• braided monoidal category
• balanced monoidal category
• symmetric monoidal category
• ribbon category = tortile monoidal category
• compact closed category

Should the copy of variable be less?

The lambda calculus with types equals to intuitionistic logic. (from the Curry-Howard Isomorphism)
Intuitionistic logic is asymmetric and is constructive.
If we want the logic to be symmetric and constructive we should restrict the copy of assumption from the linear logic.
So we can introduce the symmetry to the calculus by the copy of variable.
I think that a symmetric structure is more beautiful than asymmetric one and symmetric one is  more maintenanceable.
So I think that it is good that we restrict the copy of variable or wrap that by a library. Is it right?