Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.math
Subject: Re: Side Note, Why not DSLs? (Was: Chicken and egg, with curry?)
Date: Fri, 3 Jan 2025 22:48:21 +0100
Message-ID: <vl9lv5$25tsp$1@solani.org>
References: <vl9kb6$25sv2$3@solani.org> <vl9lgm$3796$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 3 Jan 2025 21:48:21 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2291609"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.19
Cancel-Lock: sha1:4jlzkOKkvOjfHDPBTIEMH6yVWuM=
X-User-ID: eJwFwYEBwDAEBMCVUD5+HEH2H6F38UHRxxHwePEyibpejyUpRTyOOS3WtOOOmfBq1TcgV3VHa2Omj2Q79AdRYRWS
In-Reply-To: <vl9lgm$3796$2@dont-email.me>

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? ;^)
>