Re: Side Note, Why not DSLs? (Was: Chicken and egg, with curry?)

The original post was:
Subject: Chicken and egg, with curry?
Partial and tentative:
```
   Functional = Closures/applications, Reduction/canonicity
     /    |
Logical  |   = Predicates/queries, Resolution/subsumption
     \    |
   Imperative = Procedures/invocations, Execution/...
```
And there are two views of that triangle: Logical is the top of the *ideal* such triangle, along the lines of a universe with Prop on top, which we can reason with; Imperative is the bottom of a *concrete* such triangle, the bootstrap as well as the final point of application of any concrete system.
And Logical is the constructive (structural) type-theory founding the Functional, where Functional exists for expressivity and modularity (what else?), plus can be compiled back/down to machine language...
Right?
-Julio
Chris M. Thomasson schrieb:

On 1/3/2025 1:20 PM, Mild Shock wrote:

Hi,
>
Just a side note, don't let you get distracted.
A side node about the chicken/egg problem, i.e.
without the curry:

[...]
 What about this... The universe was never created simply because it was always there. It will always be there, and never cease to exist? ;^)