Re: Chicken and egg, with curry?

On 03/01/2025 22:14, Mild Shock wrote:

Not sure whether this helps. But I think it could help
nevertheless:
 - i) Logic Programming is the Egg
 - ii) From the Egg Turtles or Chickens can hatch,
     its very easy to program functionally or
     procdurally in Prolog. Just add small DSLs:

I was indeed thinking along that line, though a full-fledged dependently-typed functional language is not a small DSL, and I don't think we can eventually do with less: for expressivity and modularity up to arbitrary "functions" (I am thinking computability logic a la Japaridze here, anyway indeed functional are the *problem* domains) as well as proofs of properties of those "functions".
-Julio