Excel-DNA

I have known the Excel-DNA recently.
That's good!

I want to know the manner of connection of Excel-DNA and WPF , Rx, etc.

This technology makes me to write "NO" VBA and it's my wish from some years ago (when C# 1.0 appeared!)... :-).

Design Supporting Tool

I have started making a aiding to design a web and RDB-base business application.
It is a WPF application and the screen capture is below:
The background color is for test :-)

Example of translation for Object Oriented style and Functional style.

In C#,

public class X
{
  public string S1 { get; set; }
  public string S2 { get; set; }

  public virtual string A()
  {
    return S2;
  }
}

public class Y : X
{
  public string S3 {get; set; }

  public override string A()
  {
    return S3;
  }
}

In F#,

type X = string * string
type Y = X * string
type Z =
  | X of X
  | Y of Y

let A(z : Z) =
  match z with
    | X (s1, s2) -> s2
    | Y (x, s3) -> s3

Functional Specification

I have an idea that the specification for business requirements is able to be represented in SQL and Regular Expressions.
And I am trying to create the tools aiding to define the specification.

I am developing the tools in .NET Framework and the client application is based on WPF.
At first, I will clarify the tasks.

Intension and Extension?

I wrote the following code.

foreach(var e1 in
  from table_1
  where table_1.field_1 == 3
  select table_1) {

  foreach(var e2 in
    from table_2
    where table_2.field_2 == e1.field_1a
    select table_2) {

    foreach(var e3 in
      from table_3
      where table_3.field_3 == e2.field_2b
      select table_3) {
      ...
    }
  }
}

But the query of that code can be written in SQL as following:

SELECT *
FROM TABLE_3,
  (SELECT *
  FROM TABLE_2,
    (SELECT *
    FROM TABLE_1
    WHERE TABLE_1.FIELD_1 = 3
    ) X
  WHERE TABLE_2.FIELD_2 = X.FIELD_1A
  ) Y
WHERE TABLE_3.FIELD_3 = Y.FIELD_2B

In the former code, the loop is expanded inside. But the SQL is expanded outside.
It is interesting but I do not know that it is significant.

Using Xaml for design document

I got an idea that we use Xaml for design document.

For example, view/state transition diagrams, ER diagrams and flow charts etc.

I want tools to create design documents in Xaml formats.

Have such tools been yet?

I am learning Coq.

But my learning speed is slow...

I want to apply Coq for describing application specifications.
But I do not think that I use Coq directly to describe application specifications.
I convert specifictions in natural language(but formal to some extent) to Coq language and process them by Coq.

Does it work good ?